CAS原子操作 -- JDK实现原子操作类

一：概述

多线程的数据安全问题一直是比较常见的多线程问题，衍生出系列如 ++ 运算线程安全，dubbo、long等64位操作数据安全问题。Java自JDK1.5开始，为基本类型、数组、引用对象类型等数据都提供了对应的原子操作类，即线程安全的操作类，其底层采用Unsafe类实现

二：基础类型

基本类型原子操作类JDK中提供三种实现，AtomicInteger、AtomicLong、AtomicBoolean分别对应int、long、boolean类型。至于其余五种基本类型都可以仿照AtomicBoolean自定义实现

2.1 AtomicInteger

因为实现的操作基本都类似，所以就以AtomicInteger为代表进行分析，当然后续会讲述AtomicBoolean的实现原理。下面介绍几个典型API实现

调用本地方法实现，核心思想在于将内存值与期望值进行比较后修改内存值。第一个参数为期望值即原内存值，第二个参数为修改值即更新修改后的内存值

这个API方法就是将原内存值进行一定操作后重新赋值。参数IntUnaryOperator接口是一个函数式接口，applyAsInt()方法入参参数为原内存值，返回操作后的数值作为更新值

将原内存值增加修改并进行重新赋值，increment自增操作类似

2.2 AtomicBoolean

前面讲到JDK提供的基础原子操作只有三类，其中AtomicBoolean实现可以作为其余五种基础类型实现模板。Unsafe只提供了数值操作，其余的操作基本都是转换为数值后再执行。以AtomicBoolean为例如下所示

三：数组

原子更新数组提供的类型与原子更新基本类型基本一致，提供AtomicIntegerArray、AtomicLongArray、AtomicReferenceArray三个原子类，分别针对int类型数组，long类型数组以及引用类型数组

以AtomicIntegerArray为例，其中比较赋值操作相对于AtomicInteger类来讲就是多了参数执行数组下标。数组数据的更新需要根据数组下标进行定义

四：引用类型

前面基本类型原子操作提供了三个原子操作类，当对象为引用类型的时候JDK也提供了对应的原子操作类AtomicReference、AtomicReferenceFieldUpdater。分别对应原子操作引用类型对象以及引用对象类型属性

五：版本原子操作

原子操作本质是CAS操作，CAS操作中有个经典的问题就是ABA版本问题。JDK中提供AtomicStampedReference类解决ABA问题。该类相对于其它原子操作类就是多一个版本号参数，通过比较版本号参数解决ABA问题

其中还有一个与AtomicStampedReferemce类似的原子操作类AtomicMarkableReference，该类相对于AtomicStampedReference来讲采用boolean类型作为版本标记，只关心是否已经被修改