CAS剖析

无锁CAS与Unsafe类及其应用

原子性

原子操作意为“不可被中断的一个或一系列操作”。再多处理器上实现原子操作就变的有点复杂。

加锁是一种悲观的策略，它总是认为每次访问共享资源的时候，总会发生冲突，所以宁愿牺牲性能（时间）来保证数据安全。

无锁是一种乐观的策略，它假设线程访问共享资源不会发生冲突，所以不需要加锁，因此线程将不断执行，不需要停止。一旦碰到冲突，就重试当前操作直到没有冲突。

​ 无锁的策略使用一种叫做比较交换的技术（CAS Compare And Swap）来鉴别线程冲突，一旦检测到冲突产生，就重试当前操作直到没有冲突为止。

CAS的思想很简单：三个参数，一个当前内存值V，旧的预期值A,即将更新的值B,当且晋档预期值A和内存值V相同时，将内存值修改为B并返回true，否则什么都不做，并返回false

无锁的执行者： CAS

利用CPU的CAS指令，同时借助JNI来完成Java的非阻塞算法，其他原子操作都是利用类似的特性完成的。而整个JUC都是建立在CAS之上的，因此对于synchronized阻塞算法，JUC在性能上有了很大的提升

如果V值等于E值，则将V的值设为N。若V值和E值不同，则说明已经有其他线程做了更新，则当前线程什么都不做。通俗的理解就是CAS操作需要我们提供一个期望值，当期望值与当前线程的变量值相同时，说明还没线程修改该值，当前线程可以进行修改，也就是执行CAS操作，但如果期望值与当前线程不符，则说明该值已被其他线程修改，此时不执行更新操作，但可以选择重新读取该变量再尝试再次修改该变量，也可以放弃操作

javaCAS的实现-Unsafe类

在JAVA中，sun.misc.Unsafe类提供了硬件级别的原子操作来实现这个CAS。java.util.concurrent包下的大量类都使用了这个 Unsafe.java 类的CAS操作；其内部方法操作可以像C的指针一样直接操作内存；

CAS是一些CPU直接支持的指令，也就是我们前面分析的无锁操作，在Java中无锁操作CAS基于以下3个方法实现，在稍后讲解Atomic系列内部方法是基于下述方法的实现的。

//第一个参数o为给定对象，offset为对象内存的偏移量，通过这个偏移量迅速定位字段并设置或获取该字段的值，
//expected表示期望值，x表示要设置的值，下面3个方法都通过CAS原子指令执行操作。
public final native boolean compareAndSwapObject(Object o, long offset,Object expected, Object x);                                                                                                  

public final native boolean compareAndSwapInt(Object o, long offset,int expected,int x);

public final native boolean compareAndSwapLong(Object o, long offset,long expected,long x);

Unsafe内存语义的实现剖析

Unsafe类最终会生成lock指令，intel对lock指令具有原子性、可见性和有序性
最终实现：
cmpxchg = cas 修改变量值
lock cmpxchg指令(volitale和synchronized全根这条指令有关系）
硬件： lock指令在执行后面指令的时候锁定一个北桥信号

• ** 确保对内存的读-改-写操作原子操作，在奔腾寄之前的处理器中，带有Lock前缀的指令在执行期间会锁住总线，使得其他处理器暂时无法通过总线访问内存，很显然，这样会带来昂贵的开销；崩腾以后，Intel使用缓存锁定来保证指令执行的原子性，缓存锁定将大大降低lock前缀指令的执行开销**
• 禁止该指令，与之前和之后的读和写指令重排序
• 把写缓冲区中的所有数据刷新到内存中

concurrent包的实现=CAS+volitale变量

Java的CAS会使用现代处理器上提供的高效机器级别的原子指令，这些原子指令以原子方式对内存执行读-改-写操作，这是在多处理器中实现同步的关键。同时，volitale变量的读/写和CAS可以实现线程之间的通信。把这些特性整合在一起，就形成了整个concurrent包得以实现的基石。如果我们仔细分析concurrent包的源代码的实现，会发现一个通用化的实现模式：

• 首先，声明共享变量为volitale
• 然后，使用CAS的原子条件更新来实现线程之间的同步
• 同时，配合以voluitale的读/写和CAS所具有的volitale读和写的内存语义来实现线程之间的通信

** AQS，非阻塞数据结构和原子变量类（java.util.concurrent.atomic包中的类），这些concurrent包中的基础类都是使用这种模式来实现的，而concurrent包中的高层类又是依赖于这些基础类来实现的，从整体上来看，concurrenrt包的实现示意图如下**

ABA问题

如果一个变量V初次读取的时候是A值，并且在准备赋值的时候检查到他仍然是A值，那么我们就能说她的值没有被其他线程改变过吗

如果在这段期间它的值曾经该成了B,后来又改成了A,那么CAS操作就会无人为它没有被改变过，这个漏洞称为ABA问题。解决的核心思想是加上时间戳来标志不同阶端的数值。

比如JUC包为了解决这个问题，提供了一个带有标记的原子引用婆娘个类“AtmociSampedReference”，它可以通过控制变量值的版本来保证CAS的正确性，如果需要解决ABA问题，改用传统的互斥同步（典型的就是synchronized和Lock)可能会比原子类更高效

原子类包

AQS及其应用 ReentranLock