并发-原子类
一、原子变量类简介
为何需要原子变量类
保证线程安全是 Java 并发编程必须要解决的重要问题。Java 从原子性、可见性、有序性这三大特性入手，确保多线程的数据一致性。
- 确保线程安全最常见的做法是利用锁机制（
Lock、sychronized）来对共享数据做互斥同步，这样在同一个时刻，只有一个线程可以执行某个方法或者某个代码块，那么操作必然是原子性的，线程安全的。互斥同步最主要的问题是线程阻塞和唤醒所带来的性能问题。 volatile是轻量级的锁（自然比普通锁性能要好），它保证了共享变量在多线程中的可见性，但无法保证原子性。所以，它只能在一些特定场景下使用。- 为了兼顾原子性以及锁带来的性能问题，Java 引入了 CAS （主要体现在
Unsafe类）来实现非阻塞同步（也叫乐观锁）。并基于 CAS ，提供了一套原子工具类。
原子变量类的作用
原子变量类 比锁的粒度更细，更轻量级，并且对于在多处理器系统上实现高性能的并发代码来说是非常关键的。原子变量将发生竞争的范围缩小到单个变量上。
原子变量类相当于一种泛化的 volatile 变量，能够支持原子的、有条件的读/改/写操作。
原子类在内部使用 CAS 指令（基于硬件的支持）来实现同步。这些指令通常比锁更快。
原子变量类可以分为 4 组：
- 基本类型
AtomicBoolean- 布尔类型原子类AtomicInteger- 整型原子类AtomicLong- 长整型原子类
- 引用类型
AtomicReference- 引用类型原子类AtomicMarkableReference- 带有标记位的引用类型原子类AtomicStampedReference- 带有版本号的引用类型原子类
- 数组类型
AtomicIntegerArray- 整形数组原子类AtomicLongArray- 长整型数组原子类AtomicReferenceArray- 引用类型数组原子类
- 属性更新器类型
AtomicIntegerFieldUpdater- 整型字段的原子更新器。AtomicLongFieldUpdater- 长整型字段的原子更新器。AtomicReferenceFieldUpdater- 原子更新引用类型里的字段。
这里不对 CAS、volatile、互斥同步做深入探讨。如果想了解更多细节，不妨参考：Java 并发核心机制
二、基本类型
这一类型的原子类是针对 Java 基本类型进行操作。
AtomicBoolean- 布尔类型原子类AtomicInteger- 整型原子类AtomicLong- 长整型原子类
以上类都支持 CAS，此外，AtomicInteger、AtomicLong 还支持算术运算。
提示：
虽然 Java 只提供了
AtomicBoolean、AtomicInteger、AtomicLong，但是可以模拟其他基本类型的原子变量。要想模拟其他基本类型的原子变量，可以将short或byte等类型与int类型进行转换，以及使用Float.floatToIntBits、Double.doubleToLongBits来转换浮点数。由于
AtomicBoolean、AtomicInteger、AtomicLong实现方式、使用方式都相近，所以本文仅针对AtomicInteger进行介绍。
AtomicInteger 用法：
public final int get() // 获取当前值 public final int getAndSet(int newValue) // 获取当前值，并设置新值 public final int getAndIncrement()// 获取当前值，并自增 public final int getAndDecrement() // 获取当前值，并自减 public final int getAndAdd(int delta) // 获取当前值，并加上预期值 boolean compareAndSet(int expect, int update) // 如果输入值（update）等于预期值，将该值设置为输入值 public final void lazySet(int newValue) // 最终设置为 newValue，使用 lazySet 设置之后可能导致其他线程在之后的一小段时间内还是可以读到旧的值。
AtomicInteger 源码，可以看到如下定义：
private static final Unsafe unsafe = Unsafe.getUnsafe(); private static final long valueOffset; static { try { valueOffset = unsafe.objectFieldOffset (AtomicInteger.class.getDeclaredField("value")); } catch (Exception ex) { throw new Error(ex); } } private volatile int value;
说明：
value- value 属性使用volatile修饰，使得对 value 的修改在并发环境下对所有线程可见。valueOffset- value 属性的偏移量，通过这个偏移量可以快速定位到 value 字段，这个是实现 AtomicInteger 的关键。unsafe- Unsafe 类型的属性，它为 AtomicInteger 提供了 CAS 操作。
三、引用类型
Java 数据类型分为 基本数据类型 和 引用数据类型 两大类（不了解 Java 数据类型划分可以参考： Java 基本数据类型 ）。
上一节中提到了针对基本数据类型的原子类，那么如果想针对引用类型做原子操作怎么办？Java 也提供了相关的原子类：
AtomicReference- 引用类型原子类AtomicMarkableReference- 带有标记位的引用类型原子类AtomicStampedReference- 带有版本号的引用类型原子类
AtomicStampedReference类在引用类型原子类中，彻底地解决了 ABA 问题，其它的 CAS 能力与另外两个类相近，所以最具代表性。因此，本节只针对AtomicStampedReference进行说明。
原子类的实现基于 CAS 机制，而 CAS 存在 ABA 问题（不了解 ABA 问题，可以参考：Java 并发基础机制 - CAS 的问题）。正是为了解决 ABA 问题，才有了 AtomicMarkableReference 和 AtomicStampedReference。
AtomicMarkableReference 使用一个布尔值作为标记，修改时在 true / false 之间切换。这种策略不能根本上解决 ABA 问题，但是可以降低 ABA 发生的几率。常用于缓存或者状态描述这样的场景。
AtomicStampedReference 使用一个整型值做为版本号，每次更新前先比较版本号，如果一致，才进行修改。通过这种策略，可以根本上解决 ABA 问题。
四、数组类型
Java 提供了以下针对数组的原子类：
AtomicIntegerArray- 整形数组原子类AtomicLongArray- 长整型数组原子类AtomicReferenceArray- 引用类型数组原子类
已经有了针对基本类型和引用类型的原子类，为什么还要提供针对数组的原子类呢？
数组类型的原子类为 数组元素 提供了 volatile 类型的访问语义，这是普通数组所不具备的特性——volatile 类型的数组仅在数组引用上具有 volatile 语义。
五、属性更新器类型
更新器类支持基于反射机制的更新字段值的原子操作。
AtomicIntegerFieldUpdater- 整型字段的原子更新器。AtomicLongFieldUpdater- 长整型字段的原子更新器。AtomicReferenceFieldUpdater- 原子更新引用类型里的字段。
这些类的使用有一定限制：
- 因为对象的属性修改类型原子类都是抽象类，所以每次使用都必须使用静态方法
newUpdater()创建一个更新器，并且需要设置想要更新的类和属性。 - 字段必须是
volatile类型的； - 不能作用于静态变量（
static）； - 不能作用于常量（
final）；
六、LongAddr
在 JDK1.8 中，Java 提供了一个新的原子类 LongAdder。LongAdder 在高并发场景下会比 AtomicInteger 和 AtomicLong 的性能更好，代价就是会消耗更多的内存空间。
LongAdder 内部由一个 base 变量和一个 cell[] 数组组成。当只有一个写线程，没有竞争的情况下，LongAdder 会直接使用 base 变量作为原子操作变量，通过 CAS 操作修改变量；当有多个写线程竞争的情况下，除了占用 base 变量的一个写线程之外，其它各个线程会将修改的变量写入到自己的槽 cell[] 数组中，最终结果可通过以下公式计算得出：
我们可以发现，LongAdder 在操作后的返回值只是一个近似准确的数值，但是 LongAdder 最终返回的是一个准确的数值， 所以在一些对实时性要求比较高的场景下，LongAdder 并不能取代 AtomicInteger 或 AtomicLong。
