从CAS和原子类看unsafe

J.U.C中的原子类实现大致相同，所以我们看AtomicInteger的实现来看一下CAS

AtomicInteger的实现

其有一个私有，volatile变量

private volatile int value；//实现可见性

public final int incrementAndGet() {

       for (;;) {

           int current = get();

           int next = current + 1; 

           if (compareAndSet(current, next))

               return next; 

      }

}

//实现原子自增

publicfinalboolean compareAndSet(int expect,int update) { 

     return unsafe.compareAndSwapInt(this, valueOffset, expect, update);

}

//可以看到调用unsafe类的CAS

unsafe类的CAS

1. static inline bool  
2. compareAndSwap (volatile jint *addr, jint old, jint new_val)  
3. {  
4.   jboolean result = false;  
5.   spinlock lock;  
6.   if ((result = (*addr == old)))  
7.     *addr = new_val;  
8.   return result;  
9. }  

//这是一段c++代码，用当前值和期望值比较

回到cpu的指令上，CAS被编译成cmpxchg，CMPXCHG r/m,r 将累加器AL/AX/EAX/RAX中的值与首操作数（目的操作数）比较，如果相等，第2操作数（源操作数）的值装载到首操作数，zf置1。如果不等， 首操作数的值装载到AL/AX/EAX/RAX并将zf清0