CAS,Compare and Swap,这是一个原子操作。比较然后赋值。
class MyLock {
private boolean locked = false;
public boolean lock() {
if(!locked) {
locked = true;
return true;
}
return false;
}
}
这个例子中,先看locked是不是false,是的话赋值为true。但是这个代码在多线程下容易出问题。
于是人们想到了synchronized,通过这个可以互斥操作。
class MyLock {
private boolean locked = false;
public synchronized boolean lock() {
if(!locked) {
locked = true;
return true;
}
return false;
}
}
但是这样虽然解决了问题,但是也导致性能大打折扣。
有没有什么更好的解决办法呢?
有!
我们先来分析一下第一种情况为什么不行,假设现在locked是false,线程A进入if块,在A准备置值为true之前,线程B也观察到false,也进入if块,这样就两个线程都能获得锁,锁的机制就失效了。
于是聪明的人们开始想了,这种问题,是因为这里包含多条指令导致的。线程A的获取locked值指令和重写locked值指令中间插入了线程B的获取locked值的指令导致的。
如果我们把这两种指令做成一个原子指令形式不就行了吗?现在cpu也支持这种Compare and Swap形式,我们通过Java中的一个包装类访问。
public static class MyLock {
private AtomicBoolean locked = new AtomicBoolean(false);
public boolean lock() {
return locked.compareAndSet(false, true);
}
}
参考:
http://tutorials.jenkov.com/java-concurrency/compare-and-swap.html