cas原理

1什么是cas
是一种用来实现并发的一种安全策略
思路如下
我认为V的值应该是A，如果是的话那我就把它改成B，如果不是A（说明被别人修改过了)，那我就不修改了，避免多人同时修改导致出错
CAS有三个操作数∶内存值V、预期值A、要修改的值B，当且仅当预期值A和内存值V相同时，才将内存值修改为B，否则什么都不做。最后返回现在的V值
最终安全性的保证是由指令集中有 cmpxchg 指令完成 CAS 功能。
sun.misc.Unsafe 中 CAS 的核心方法：

public final native boolean compareAndSwapObject(Object var1, long var2, Object var4, Object var5);
 public final native boolean compareAndSwapInt(Object var1, long var2, int var4, int var5); 
public final native boolean compareAndSwapLong(Object var1, long var2, long var4, long var6);

这三个方法可以对应去查看 openjdk 的 hotspot 源码：
源码位置：hotspot/src/share/vm/prims/unsafe.cpp

#define FN_PTR(f) CAST_FROM_FN_PTR(void*, &f) {CC"compareAndSwapObject", CC"("OBJ"J"OBJ""OBJ")Z",  FN_PTR(Unsafe_CompareAndSwapObject)}, {CC"compareAndSwapInt",  CC"("OBJ"J""I""I"")Z",      FN_PTR(Unsafe_CompareAndSwapInt)}, {CC"compareAndSwapLong", CC"("OBJ"J""J""J"")Z",      FN_PTR(Unsafe_CompareAndSwapLong)}, 

上述三个方法，最终在 hotspot 源码实现中都会调用统一的 cmpxchg 函数，可以在 hotspot 源码中找到核心代码。
源码地址：hotspot/src/share/vm/runtime/Atomic.cpp
cmpxchg 函数源码：

jbyte Atomic::cmpxchg(jbyte exchange_value, volatile jbyte*dest, jbyte compare_value) { 		 assert (sizeof(jbyte) == 1,"assumption."); 	
	 uintptr_t dest_addr = (uintptr_t) dest;                                                                                      uintptr_t offset = dest_addr % sizeof(jint); 	
	   volatile jint*dest_int = ( volatile jint*)(dest_addr - offset); 		
// 对象当前值 		 jint cur = *dest_int; 	
// 当前值cur的地址 		 jbyte * cur_as_bytes = (jbyte *) ( & cur); 		
 // new_val地址 		 jint new_val = cur; 	
   jbyte * new_val_as_bytes = (jbyte *) ( & new_val); 		 
    // new_val存exchange_value，后面修改则直接从new_val中取值 		 new_val_as_bytes[offset] = exchange_value; 		
    // 比较当前值与期望值，如果相同则更新，不同则直接返回 		
  while (cur_as_bytes[offset] == compare_value) { 		 
  // 调用汇编指令cmpxchg执行CAS操作，期望值为cur，更新值为new_val 	
  		 jint res = cmpxchg(new_val, dest_int, cur); 			
       if (res == cur) break; 			
     cur = res; 			 
     new_val = cur; 			
    new_val_as_bytes[offset] = exchange_value; 	
         } 		
     // 返回当前值 	
   return cur_as_bytes[offset]; } 

源码中具体变量添加了注释，因为都是 C++ 代码，所以作为了解即可 ~
jint res = cmpxchg(new_val, dest_int, cur);
这里就是调用了汇编指令 cmpxchg 了，其中也是包含了三个参数，跟CAS上的参数能对应上。
3 应用场景
cas是一种乐观锁的实现，适用并发不是很高的场景
4优缺点
aba 问题 ，自旋的消耗
时间戳可以解决aba问题，自旋的消耗 由于通过自旋的操作，所以长时间自旋会占用过多cpu