锁是一种阻塞的实现方式,而CAS是一个非阻塞算法的常见实现。
CAS全称比较并交换。在Java的底层对这个的实现是利用了底层的机器指令。CAS主要包含了3个操作数—-需要读写的内存位置(V)、进行比较的预期原值(A)和拟写入的新值(B)。当且仅当V位置的值与预期的原值A相同时CAS才会通过原子的方式把新值B更新到A,否则不会执行任何操作。需要注意的是,无论是否操作成功都会返回V原有的值。这其实和乐观锁的冲突检查+数据更新的原理是一样的。
Java模拟CAS的实现
public class SimulatedCAS {
private int value;
public SimulatedCAS(int value) {
this.value = value;
}
public synchronized int get(){
return value;
}
public synchronized int compareAndSwap(int expectedValue, int newValue){
int oldValue = value;//获取旧值
if(oldValue == expectedValue){//如果期望值与当前V位置的值相同就给予新值
value = newValue;
}
return oldValue;//返回V位置原有的值
}
public synchronized boolean compareAndSet(int expectedValue, int newValue){
return ( expectedValue == compareAndSwap(expectedValue, newValue));
}
public static void main(String[] args) {
SimulatedCAS cas = new SimulatedCAS(10);
cas.compareAndSet(10, 20);
System.out.print(cas.get());
}
}
上面的compareAndSwap函数主要就是一个CAS的操作。当多个线程尝试使用CAS同时更新一个变量时,只有一个线程能够更新成功,其余线程都将失败。但是,失败的线程并不会被挂起(这个地方就是与获取锁的不同之处,当获取锁失败时,线程会被挂起),而是被告知在这次竞争中失败,并可以再次尝试。(这里可以决定是否再次尝试或执行恢复操作或不执行任何操作)
非阻塞的计数器案例
public class CasCounter {
private SimulatedCAS value;
public int getValue(){
return value.get();
}
public int increment() {
int v;
do{
v = value.get();//期望值
}
while( v!= value.compareAndSwap(v, v+1));//如果原值与期望值不同,就一直执行.
return v+1;
}
}