Java 并发系列:CAS机制
在并发程序中,经常有“check and act”的场景:检查某个变量的值,然后再做相应的操作。
例如获取锁的例子:
class MyLock {
private boolean locked = false;
public boolean lock() {
if(!locked) {
locked = true;
return true;
}
return false;
}
}
上面这个例子在并发环境下,不能保证正确运行。线程A和线程B可能都运行检查到lock = false,上面的例子会导致线程A和B都获取到锁。
结论:在并发环境下,check and act 必须要是原子操作
check 和 act 两个操作要做成一个不可分割的操作,当线程A在执行check and act时,线程B需要等待B完成此操作。
可以使用Java中的java.util.concurrent.atomic提供的原子类实现原子操作,原子类中提供compareAndSet()原子操作:
public static class MyLock {
private AtomicBoolean locked = new AtomicBoolean(false);
public boolean lock() {
return locked.compareAndSet(false, true);
}
}