java多线程——竞态条件与临界区 学习笔记
允许被多个线程同时执行的代码称作线程安全的代码。线程安全的代码不包含竞态条件。当多个线程同时更新共享资源时会引发竞态条件。因此,了解 Java 线程执行时共享了什么资源很重要。
一、局部变量(函数内定义)
局部变量存储在线程自己的栈中。也就是说,局部变量永远也不会被多个线程共享。
1、基础类型的局部变量
线程安全
2、局部的对象引用
对象的局部引用和基础类型的局部变量不太一样。尽管引用本身没有被共享,但引用所指的对象并没有存储在线程的栈内。所有的对象都存在共享堆中;
如果在某个方法中创建的对象不会逃逸出(即该对象不会被其它方法获得,也不会被非局部变量引用到)该方法,那么它就是线程安全的。
二、对象成员
对象成员存储在堆上。如果两个线程同时更新同一个对象的同一个成员,那这个代码就不是线程安全的。
三、确保线程安全
1、创建不可变的共享对象来保证对象在线程间共享时不会被修改,从而实现线程安全;
2、一个对象是线程安全的不可变对象,指向这个对象的引用也可能不是线程安全的,即引用不是线程安全的,通过同步可以解决;