CAS原理

CAS原理

CAS(Compare And Swap)，即比较并交换 CAS(V,E,N)。是解决多线程并行情况下使用锁造成性能损耗的一种机制，CAS操作包含三个操作数——要更新的变量（V）、预期原值（E）和新值(N)。核心算法是如果V 值等于E 值，则将V 的值设为N 。若V 值和E 值不同，则说明已经有其他线程做了更新，则当前线程不做更新，直到V、E两个值相等，才更新V的值。

//自定义原子类
public class AtomicityClass {
   private volatile long val;

    public long getVal() {
        return val;
    }

    private boolean compareAndSwap(long expectedValue,long newValue){
        synchronized (this){
            if(expectedValue==val){
                val=newValue;
                return true;
            }else {
                return false;
            }
        }
    }
    public long incrementAndGet(){
        long oldValue;
        long newValue;
        do {
            oldValue=val;
            newValue=oldValue+1;
        }while (!compareAndSwap(oldValue,newValue));
           return newValue;
    }
}
//测试
public class TestThread {
    public static void main(String[] args) {
        AtomicityClass atomicityClass = new AtomicityClass();
        for(int i=0;i<10000;i++){
            new Thread(new Runnable() {
                @Override
                public void run() {
                    System.out.println( atomicityClass.incrementAndGet());
                }
            }).start();
        }
    }
}

ABA问题

CAS实现原子操作背后有一个假设: 共享变量的当前值与当前线程提供的期望值相同, 就认为这个变量没有被其他线程修改过。
实际上这种假设不一定总是成立.如有共享变量 count = 0
A线程对count值修改为10
B线程对count值修改为20
C线程对count值修改为0
当前线程看到count变量的值现在是0,现在是否认为count变量的值没有被其他线程更新呢? 这种结果是否能够接受?
这就是CAS中的ABA问题,即共享变量经历了A->B->A的更新。
是否能够接收ABA问题跟实现的算法有关。
如果想要规避ABA问题,可以为共享变量引入一个修订号(时间戳), 每次修改共享变量时,相应的修订号就会增加1. ABA变量更新过程变量: [A,0] ->[B,1]->[A,2], 每次对共享变量的修改都会导致修订号的增加,通过修订号依然可以准确判断变量是否被其他线程修改过. AtomicStampedReference类就是基于这种思想产生的。