Java多线程-CAS操作

Java中的CAS操作

CAS 即Compare and Swap,其是JDK 提供的非阻塞原子性操作,它通过硬件保证了比较更新操作的原子性。JDK 里面的Unsafe 类提供了一系列的compareAndSwap。

boolean compareAndSwapLong(Object obj ,long valueOffset,long expect, long update)

CAS有四个操作数,分别为:对象内存位置、对象中的变量的偏移量、变量预期值和新的值。其操作含义是,如果对象obj 中内存偏移量为valueOffset的变量值为expect ，则使用新的值update替换旧的值expect,这是处理器提供的一个原子性指令。

但是CAS中有一个经典的ABA问题。比如有内存中有一个值为A，我们想要把它改为B，这个时候有两个线程去改。如果没有其他情况的话，只能其中一个能改成功。但是假如以下情况：第一个线程将A->B，此时第二个线程处于阻塞状态，图三个线程把B->了A，那么第二个线程又把B改成A了。

JDK 中的AtomicStampedReference 类给每个变量的状态值都配备了
一个时间戳， 从而避免了ABA 问题的产生。