多线程/并发编程——CAS、Unsafe及Atomic

多线程/并发编程——CAS、Unsafe及Atomic

在前面的文章中，我们已经知道了线程安全及实现机制： 多线程——线程安全及实现机制，在 Java 中主要从以下三个方面来实现线程安全

• 互斥同步：多线程——深入剖析 Synchronized、多线程\并发编程——ReentrantLock 详解
• 非阻塞同步：无锁CAS、Unsafe及 Atomic 原子类
• 无同步方案：ThreadLocal

在前面我们已经详细学习了基于互斥同步手段实现线程安全的两种方式——Synchronized、ReentrantLock

在本篇文章中，我们将要学习基于非阻塞同步的线程安全实现手段——无锁CAS、Unsafe及 Atomic

一、无锁CAS

我们在讨论无锁概念的时候，总是会关联起乐观派和悲观派。对于乐观派而言，它们认为事情总是会往好的方向发展，总是认为坏的情况发生的概率特别少，可以无所顾忌的做事；但是对于悲观派来说，它们如果不对事态发展进行控制，就一定会发生无法挽回的严重后果

这两种派系映射到并发编程中就如同加锁和无锁的策略，即加锁是一种悲观策略，无锁是一种乐观策略。对于加锁的并发程序来说，它们总是认为访问共享资源时一定会发生冲突，因此必须对每一次的数据操作都加锁；而对于无锁来说，它们总是认为每次对共享资源的访问不会发生冲突，线程可以不停执行，无需加锁，无需等待，一旦发生数据争用，则使用一种名为 CAS 的补救措施来保证线程安全性，因此 CAS 操作就是非互斥同步的乐观并发策略的关键，下面我们就来学习 CAS 的奇妙之处

1、无锁的执行者——CAS

CAS 是一条操作系统级别的原子指令，从硬件级别来保证 CAS 本身是线程安全的

CAS 的全称是 Compare And Swap，即比较与交换，其核心思想如下

执行函数：CAS(V, E, N)

CAS 函数包含三个操作数：

• V：要操作的变量的内存地址
• E：变量的旧的预期值
• N：准备设置的新值

CAS 指令执行时，当且仅当 V 符合 E 时，才会用新值 N 更新 V 的值。若 V 的值不符合 E ，说明在其进行修改之前，有其他线程修改了变量 V 的值，此时就不会执行更新操作，但可以重新读取该变量的值并再次尝试进行 CAS 修改此变量（比如一个需要自增的 int 变量阅读数，只要保证能够自增一次即可，不要求其在什么时候自增），也可以放弃操作，根据具体场景选择哪种方式

由于CAS操作属于乐观派，它总认为自己可以成功完成操作，当多个线程同时使用CAS操作一个变量时，只有一个会胜出，并成功更新，其余均会失败，但失败的线程并不会被挂起，仅是被告知失败，并且允许再次尝试，当然也允许失败的线程放弃操作

基于这样的原理，CAS操作即使没有锁，同样也能知道其他线程对共享资源操作影响，并执行相应的处理措施。同时由于 CAS 操作中没有锁的存在，因此不可能出现死锁的情况，也就是说无锁操作天生免疫死锁

2、CAS 的缺陷——ABA问题

虽然 CAS 的效率很高，但是 CAS 由于无锁，所有人都能访问共享资源，因此会带来另一个问题—— ABA

即线程 1 在被告知执行CAS操作：CAS(V, A, B) 的时候，线程 1 的时间片到了，CPU切换另一个线程 2 执行，另一个线程 2 执行的时候，把变量 V 从 A 修改成了 B，又从 B 修改成了 A，这样当切换回线程 1 的时候，对于线程 1 而言 V 好像是从来没有发生过改变一样

比如你和你女朋友分手了，隔了一年你女朋友又来找你复合，你女朋友还是你女朋友这个人，但是在这段时间，她是否交往过别的男朋友，性格脾气发生了什么变化，都是不知道的。换言之，你女朋友不一定还是你印象中的温暖的、青涩的女朋友了

一般而言 ABA 发生的概率很小，可能发生了也没什么问题，比如我们对某个数字做减法，不关心数字的变化过程，那么发生 ABA 问题也没啥关系。但是对于引用类型的数据，有些情况下还是会需要防止的，那么该如何解决 ABA 问题呢？我么可以使用带时间戳或者版本号的原子类来解决，最常用的是——AtomicStampedReference

二、CAS 的使用支持——Unsafe

在 Java 中并不是原生支持 CAS 操作，因为 Java 中 CAS 操作的执行依赖于 Unsafe 类

Unsafe 类存在于 sun.misc 包中，其内部方法操作可以向 C 语言的指针一样直接操作内存，仅从类的名字我们就可以直到这个类是不安全的，毕竟 Unsafe 拥有着类似 C 语言的指针，因此总是不应该首先使用 Unsafe 类，Java 官方团队也不建议直接使用 Unsafe 类，据说官方在后续版本打算去除 Unsafe 类

Unsafe类是在sun.misc包下，不属于Java标准，但是很多Java的基础类库，包括一些被广泛使用的高性能开发库都是基于Unsafe类开发的，比如Netty、Hadoop、Kafka等。使用Unsafe可用来直接访问系统内存资源并进行自主管理，Unsafe类在提升Java运行效率，增强Java语言底层操作能力方面起了很大的作用

但是 Unsafe 被认为是Java中留下的后门，提供了一些低层次操作，如直接内存访问、线程调度等，有可能产生一定的安全风险，因此官方并不建议使用Unsafe

Unsafe 类的所有方法都是 native 修饰的，也就是说 Unsafe 类中的方法都是直接调用操作系统底层资源执行相应任务，关于 Unsafe 类的主要功能点如下：

//分配内存指定大小的内存
public native long allocateMemory(long bytes);
//根据给定的内存地址address设置重新分配指定大小的内存
public native long reallocateMemory(long address, long bytes);
//用于释放allocateMemory和reallocateMemory申请的内存
public native void freeMemory(long address);
//将指定对象的给定offset偏移量内存块中的所有字节设置为固定值
public native void setMemory(Object o, long offset, long bytes,