非阻塞同步機制和CAS
我們知道在java 5之前同步是通過Synchronized關鍵字來實現的,在java 5之後,java.util.concurrent包裏面添加了很多性能更加強大的同步類。這些強大的類中很多都實現了非阻塞的同步機制從而幫助其提升性能。
什麼是非阻塞同步
非阻塞同步的意思是多個線程在競爭相同的數據時候不會發生阻塞,從而能夠在更加細粒度的維度上進行協調,從而極大的減少線程調度的開銷,從而提升效率。非阻塞算法不存在鎖的機制也就不存在死鎖的問題。
在基於鎖的算法中,如果一個線程持有了鎖,那麼其他的線程將無法進行下去。使用鎖雖然可以保證對資源的一致性訪問,但是在掛起和恢復線程的執行過程中存在非常大的開銷,如果鎖上面存在着大量的競爭,那麼有可能調度開銷比實際工作開銷還要高。
悲觀鎖和樂觀鎖
我們知道獨佔鎖是一個悲觀鎖,悲觀鎖的意思就是假設最壞的情況,如果你不鎖定該資源,那麼就有其他的線程會修改該資源。悲觀鎖雖然可以保證任務的順利執行,但是效率不高。
樂觀鎖就是假設其他的線程不會更改要處理的資源,但是我們在更新資源的時候需要判斷該資源是否被別的線程所更改。如果被更改那麼更新失敗,我們可以重試,如果沒有被更改,那麼更新成功。
使用樂觀鎖的前提是假設大多數時間系統對資源的更新是不會產生衝突的。
樂觀鎖的原子性比較和更新操作,一般都是由底層的硬件支持的。
CAS
大多數的處理器都實現了一個CAS指令(compare and swap),通常來說一個CAS接收三個參數,數據的現值V,進行比較的值A,準備寫入的值B。只有當V和A相等的時候,纔會寫入B。無論是否寫入成功,都會返回V。翻譯過來就是“我認爲V現在的值是A,如果是那麼將V的值更新爲B,否則不修改V的值,並告訴我現在V的值是多少。”
這就是CAS的含義,JDK中的併發類是通過使用Unsafe類來使用CAS的,我們可以自己構建一個併發類,如下所示:
public class CasCounter {
private static final Unsafe unsafe = Unsafe.getUnsafe();
private static final long valueOffset;
private volatile int value;
static {
try {
valueOffset = unsafe.objectFieldOffset
(CasCounter.class.getDeclaredField("value"));
} catch (Exception ex) { throw new Error(ex); }
}
public CasCounter(int initialValue) {
value = initialValue;
}
public CasCounter() {
}
public final int get() {
return value;
}
public final void set(int newValue) {
value = newValue;
}
public final boolean compareAndSet(int expect, int update) {
return unsafe.compareAndSwapInt(this, valueOffset, expect, update);
}
}
上面的例子中,我們定義了一個原子操作compareAndSet, 它內部調用了unsafe的compareAndSwapInt方法。
看起來上面的CAS使用比直接使用鎖複雜,但實際上在JVM中實現鎖定時需要遍歷JVM中一條非常複雜的代碼路徑,並可能導致操作系統級的鎖定,線程掛機和上下文切換等操作。在最好的情況下,鎖定需要執行一次CAS命令。
CAS的主要缺點就是需要調用者自己來處理競爭問題(重試,回退,放棄),而在鎖中可以自動處理這些問題。
前面的文章我們也講到了原子變量,原子變量的底層就是使用CAS。
本文的例子請參考https://github.com/ddean2009/learn-java-concurrency/tree/master/CAS
更多內容請訪問 flydean的博客