【Java并发编程的艺术】第2章 原子操作的实现原理

1.Java如何实现原子操作

1.1 使用循环CAS

CAS有3个操作数，内存值V，旧的预期值A，要修改的新值B。当且仅当预期值A和内存值V相同时，将内存值V修改为B，否则什么都不做。

1.1.1 CAS实现原子操作的三大问题

1.1.1.1 ABA问题

CAS需要在操作值的时候检查有没有变化，如果没有变化则更新。但当值A->B->A时，中间变化过，但CAS检查不到变化。
解决ABA问题的方法是加上版本号，如1A->2B->3A。
从Java1.5开始，JDK的Atomic包里提供了一个AtmoicStampedReference来解决ABA问题。这个类的compareAndSet方法的作用是首先检查当前引用是否等于预期引用，并且检查当前标志是否等于预期标志，如果全部相等，则以原子方式将该引用和该标志的值设置为给定的更新值。

1.1.1.2 循环时间长CPU开销大

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

当对一个共享变量执行操作时，我们可以使用循环CAS的方式来保证原子操作，但是对多个共享变量操作时，循环CAS就无法保证操作的原子性，这个时候就可以用锁。
从Java1.5开始，JDK提供了一个AtmoicReference类来保证引用对象之间的原子性，就可以把多个变量放在一个对象里来进行CAS操作。

1.2 使用锁机制

除了偏向锁，JVM实现锁的方式都用了循环CAS，即当一个线程想进入同步块的时候使用循环CAS的方式来获取锁，当它退出同步块的时候使用循环CAS释放锁。