【Java多线程】原子操作实现之CAS

目录

1 前言

2 CAS机制

3 CAS实现原子操作的弊端

3.1 ABA问题

3.2 循环时间长开销大

3.3 只能保证一个共享变量的原子操作

---

1 前言

Java中除了使用锁来实现原子操作外，还大量的使用了CAS机制来实现对共享资源的原子操作。从JDK1.5版本开始，JDK的并发包中提供了以Atomic开头的类，来支持原子操作，比如AtomicBoolean，AtomicInteger，AtomicLong等。Java中的原子类可参考：Atomic原子类及原理。

2 CAS机制

CAS全名为compare and swap。顾名思义，比较及替换，一般有3个基本参数：内存地址，预期值，更新值。若指定内存地址的值等于预期值，则修改为更新值，否则修改失败，并返回该位置的值。

是一条CPU的原子指令，其作用是让CPU先进行比较两个值是否相等，然后原子地更新某个位置的值，其实现方式是基于硬件平台的汇编指令，在intel的CPU中，使用的是cmpxchg指令，就是说CAS是靠硬件实现的，从而在硬件层面提升效率。

Java的并发包中大量使用了循环CAS来对共享资源进行原子操作，若修改失败，则线程会一直循环，直到修改成功，如原子类AtomicInteger中的getAndAdd、getAndSet等方法。

3 CAS实现原子操作的弊端

CAS虽然很高效的解决了原子操作，但是依然存在几个问题。

3.1 ABA问题

因为CAS需要在操作值的时候，检查值有没有发生变化，如果没有发生变化则更新。但是如果一个值原来是A，变成了B，又变成了A，那么使用CAS进行检查的时候会发现他的值没有变化，但实际上变化了。ABA问题的解决思路是，使用版本号。在变量前面追加版本号，每次变量更新的时候把版本号+1，这样A->B->A,就会变成1A->2B->3A。

从JDK1.5开始，JDK的Atomic包里提供了一个类AtomicStampedReference来解决ABA的问题。原子操作类AtomicStampedReference的compareAndSet方法的作用是首先检查当前引用是否等于预期引用，并且检查当前标志是否等于预期标志，如果全部相等，则以原子方式将该引用和该标志的值设置为给定的更新值。

3.2 循环时间长开销大

自旋CAS如果长时间不成功，会给CPU带来非常大的执行开销。

3.3 只能保证一个共享变量的原子操作

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁。还有一个取巧的办法，就是把多个共享变量合并成一个共享变量来操作。如将多个变量放到一个对象中，然后讲对象传给AtomicReference进行原子操作。

4 CAS的优点

1. 不用加锁，当系统操作以读为主时效率较高。
2. 相比于传统悲观锁的使用场景，能减少线程的切换。