Java 多线程 - 9 - Java 原子变量类

Java 原子

在 Java 里面 ++i 或者--i不是线程安全的,这里面有三个独立的操作：获得变量当前值,为该值+1/-1,然后写回新的值.

针对上述问题 JDK1.5 之后的 java.util.concurrent.atomic 包里,多了一批原子处理类.主要用于在高并发环境下的高效程序处理,以简化同步处理.

Java 原子处理类分类

• 基本类型：AtomicInteger、AtomicLong、AtomicBoolean
• 数组类型：AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray
• 属性原子修改器（Updater）：AtomicIntegerFieldUpdater、AtomicLongFieldUpdater、AtomicReferenceFieldUpdater
• 引用类型：AtomicReference、AtomicReference 的 ABA 实例、AtomicStampedRerence、AtomicMarkableReference

Atomic 则通过 CAS（Compare and Swap 即比较并交换）的一种乐观锁机制在 cpu 层面实现的线程安全的操作接口,可以自动实现同步.乐观锁就是,每次不加锁而是假设没有冲突而去完成某项操作,如果因为冲突失败就重试,直到成功为止.

比较并交换 (CAS)

CAS 指的是现代 CPU 广泛支持的一种对内存中的共享数据进行操作的一种特殊指令.这个指令会对内存中的共享数据做原子的读写操作.

指令的操作过程

1. CPU 会将内存中将要被更改的数据与期望的值做比较.
2. 当这两个值相等时, CPU 才会将内存中的数值替换为新的值.
3. 否则便不做操作, CPU 会将旧的数值返回.

这一系列的指令的操作过程是原子的.它们虽然看似复杂,但却是 Java 5 并发机制优于原有锁机制的根本.简单来说,CAS 的含义是 “我认为原有的值应该是什么,如果是,则将原有的值更新为新值,否则不做修改,并告诉我原来的值是多少”.

CAS 操作包含三个操作数内存位置（V）、预期原值（A）和新值(B).如果内存位置的值与预期原值相匹配,那么处理器会自动将该位置值更新为新值.否则,处理器不做任何操作.无论哪种情况,它都会在 CAS 指令之前返回该位置的值.（在 CAS 的一些特殊情况下将仅返回 CAS 是否成功,而不提取当前值.）CAS 有效地说明了“我认为位置 V 应该包含值 A；如果包含该值,则将 B 放到这个位置；否则,不要更改该位置,只告诉我这个位置现在的值即可.

通常将 CAS 用于同步的方式是从地址 V 读取值 A,执行多步计算来获得新值 B,然后使用 CAS 将 V 的值从 A 改为 B.如果 V 处的值尚未同时更改,则 CAS 操作成功.

类似于 CAS 的指令允许算法执行读-修改-写操作,而无需害怕其他线程同时修改变量,因为如果其他线程修改变量,那么 CAS 会检测它（并失败）,算法可以对该操作重新计算.

CAS 操作是抱着乐观的态度进行的,它总是认为自己可以成功完成操作.当多个线程同时使用 CAS 操作一个变量时,只有一个会胜出,并成功更新,其余均会失败.失败的线程不会被挂起,仅是被告知失败,并且允许再次尝试,当然也允许失败的线程放弃操作.基于这样的原理, CAS 操作即时没有锁,也可以发现其他线程对当前线程的干扰,并进行恰当的处理.
CAS 其底层是通过 CPU 的 1 条指令来完成 3 个步骤,因此其本身是一个原子性操作,不存在其执行某一个步骤的时候而被中断的可能.

CSA的优点
Compare and Set 是一个非阻塞的算法,这是它的优势.因为使用的是 CPU 支持的指令,提供了比原有的并发机制更好的性能和伸缩性.可以认为一般情况下性能更好,并且也更容易使用

CSA的缺点
ABA 问题：因为 CAS 需要在操作值的时候检查下值有没有发生变化,如果没有发生变化则更新,但是如果一个值原来是 A 变成了 B ,又变成了 A ,那么使用 CAS 进行检查时会发现它的值没有发生变化,但是实际上却变化了.ABA 问题的解决思路就是使用版本号.在变量前面追加上版本号,每次变量更新的时候把版本号加一,那么 A－B－A 就会变成 1A-2B－3A. 从 Java1.5 开始 JDK 的 atomic 包里提供了一个类 AtomicStampedReference 来解决 ABA 问题.这个类的 compareAndSet 方法作用是首先检查当前引用是否等于预期引用,并且当前标志是否等于预期标志,如果全部相等,则以原子方式