CAS原理

今天看ribbon的源码有一个同步代码用到了CAS，想来好奇，加上CAS是JAVA并发的很重要的思想

直接贴源码，其中一个定时任务TimeTask，用于检查本地服务列表每个服务的健康状态是否可用

 /**
  * TimerTask that keeps runs every X seconds to check the status of each
  * server/node in the Server List
  * 
  * @author stonse
  * 
  */
public void runPinger() throws Exception {
     if (!pingInProgress.compareAndSet(false, true)) { 
         return; // Ping in progress - nothing to do
     }
     
     // we are "in" - we get to Ping

     Server[] allServers = null;
     boolean[] results = null;

     Lock allLock = null;
     Lock upLock = null;

public final boolean compareAndSet(boolean expect, boolean update) {
    int e = expect ? 1 : 0;
    int u = update ? 1 : 0;
    // 这里发现使用unsafe方法 就是JAVA的Native Interface 本地方法就是C/C++
    return unsafe.compareAndSwapInt(this, valueOffset, e, u);
}

CAS三个参数含义是：当前内存中的value，旧的预期值，要修改的值；当且仅当旧的预期值和当前内存中的值一样，才会去修改成新值。这是一个非阻塞的算法，当前线程的执行或挂起不影响其他线程的执行。
先来看一下原子性integer的递增是如何保证原子性的

public final int incrementAndGet() {
    for (;;) {
        int current = get();
        int next = current + 1;
        if (compareAndSet(current, next))
            return next;
    }
}

CAS虽然很高效，但是也有缺点，就是ABA问题，但是JAVA1.5之后提供的新方法可以解决ABA问题，加了modCount操作数机制，每次会对比当前的modCount和预期值是否一样，一样才会进行修改操作；另外源码发现是一直自旋去尝试修改成功，这是很消耗性能的；还有一个缺点就是只能保证一个共享变量的原子性。
volatile和CAS机制是JAVA并发的基石，volatile保证了共享变量的读可见性，CAS保证写的线程安全性以及可见性；是JAVA并发线程间共享变量通信的基石。
AQS，非阻塞队列，原子类这是JAVA并发的核心实现