1. Atomic
1.1 Atomic 原子类介绍
Atomic 翻译成中文是原子的意思。在化学上,我们知道原子是构成一般物质的最小单位,在化学反应中是不可分割的。在我们这里 Atomic 是指一个操作是不可中断的。即使是在多个线程一起执行的时候,一个操作一旦开始,就不会被其他线程干扰。
所以,所谓原子类说简单点就是具有原子/原子操作特征的类。
并发包 java.util.concurrent 的原子类都存放在java.util.concurrent.atomic 下,如下图所示。
根据操作的数据类型,可以将JUC包中的原子类分为4类
基本类型
使用原子的方式更新基本类型
AtomicInteger:整型原子类
AtomicLong:长整型原子类
AtomicBoolean :布尔型原子类
数组类型
使用原子的方式更新数组里的某个元素
AtomicIntegerArray:整型数组原子类
AtomicLongArray:长整型数组原子类
AtomicReferenceArray :引用类型数组原子类
引用类型
AtomicReference: 引 用 类 型 原 子 类
AtomicMarkableReference:原子更新带有标记的引用类型。该类将 boolean 标记与引用关联起来
AtomicStampedReference :原子更新带有版本号的引用类型。该类将整数值与引用关联起来, 可用于解决原子的更新数据和数据的版本号,可以解决使用 CAS 进行原子更新时可能出现的 ABA 问题。
对象的属性修改类型
AtomicIntegerFieldUpdater:原子更新整型字段的更新器
AtomicLongFieldUpdater:原子更新长整型字段的更新器
AtomicReferenceFieldUpdater:原子更新引用类型里的字段
修正: AtomicMarkableReference 不能解决ABA问题
CAS ABA 问题
代码例子(以AtomicInteger 为例)
输出内容如下:
下面我们来详细介绍一下这些原子类。
1.2 基本类型原子类
1.2.1 基本类型原子类介绍
使用原子的方式更新基本类型
上面三个类提供的方法几乎相同,所以我们这里以 AtomicInteger 为例子来介绍。
AtomicInteger 类常用方法
1.2.2 AtomicInteger 常见方法使用
1.2.3 基本数据类型原子类的优势
通过一个简单例子带大家看一下基本数据类型原子类的优势
①多线程环境不使用原子类保证线程安全(基本数据类型)
②多线程环境使用原子类保证线程安全(基本数据类型)
1.2.4 AtomicInteger 线程安全原理简单分析
AtomicInteger 类的部分源码:
AtomicInteger 类主要利用 CAS (compare and swap) + volatile 和 native 方法来保证原子操作,从而避免 synchronized 的高开销,执行效率大为提升。
CAS的原理是拿期望的值和原本的一个值作比较,如果相同则更新成新的值。UnSafe 类的objectFieldOffset() 方法是一个本地方法,这个方法是用来拿到“原来的值”的内存地址。另外 value 是一个volatile变量,在内存中可见,因此 JVM 可以保证任何时刻任何线程总能拿到该变量的最新值。
1.3 数组类型原子类
1.3.1 数组类型原子类介绍
上面三个类提供的方法几乎相同,所以我们这里以 AtomicIntegerArray 为例子来介绍。
AtomicIntegerArray 类常用方法
1.3.2 AtomicIntegerArray 常见方法使用
1.4 引用类型原子类
1.4.1 引用类型原子类介绍
上面三个类提供的方法几乎相同,所以我们这里以 AtomicReference 为例子来介绍。
1.4.2 AtomicReference 类使用示例
上述代码首先创建了一个 Person 对象,然后把 Person 对象设置进 AtomicReference 对象中,然后调用 compareAndSet 方法,该方法就是通过 CAS 操作设置 ar。如果 ar 的值为 person 的话,则将其设置为 updatePerson。实现原理与 AtomicInteger 类中的 compareAndSet 方法相同。运行上面的代码后的输出结果如下:
1.4.3 AtomicStampedReference 类使用示例
输出结果如下:
1.4.4 AtomicMarkableReference 类使用示例
输出结果如下:
1.5 对象的属性修改类型原子类
1.5.1 对象的属性修改类型原子类介绍
上面三个类提供的方法几乎相同,所以我们这里以 AtomicIntegerFieldUpdater 为例子来介绍。
1.5.2 AtomicIntegerFieldUpdater 类使用示例
输出结果: