0 相关源码
1 竞态条件与临界区
多个线程访问了相同的资源,向这些资源做了写操作时,对执行顺序有要求。
1.1 临界区
incr 方法内部就是临界区域,关键部分代码的多线程并发执行,会对执行结果产生影响。
1.2 竞态条件
可能发生在临界区域内的特殊条件。多线程执行incr方法中的i++关键代码时,产生了竞态条件
2 共享资源
- 如果一段代码是线程安全的,则它不包含竞态条件。只有当多个线程更新共享资源时,才会发生竞态条件
- 栈封闭时,不会在线程之间共享的变量,都是线程安全的
- 局部对象引用本身不共享, 但是引用的对象存储在共享堆中。如果方法内创建的对象,只是在方法中传递,并且不对其他线程可用,那么也是线程安全的
3 不可变对象
创建不可变的共享对象来保证对象在线程间共享时不会被修改,从而实现线程安全。
实例被创建,value变量就不能再被修改,这就是不可变性。
1 原子操作的定义
原子操作可以是一个步骤,也可以是多个操作步骤,但是其顺序不可以被打乱,也不可以被切割而只执行其中的一部分(不可中断性)。
将整个操作视作一个整体,资源在该次操作中保持一致,这是原子性的核心特征。
存在竞态条件,线程不安全,需要转变为原子操作才能安全。方式:循环CAS、锁;
上例只是针对一个变量的原子操作改进,我们也可以实现更大逻辑的原子操作。
- 推荐阅读
Java的CAS乐观锁原理解析