Java性能 -- CAS樂觀鎖

synchronized / Lock / CAS

synchronized和Lock實現(xiàn)的同步鎖機制，都屬于悲觀鎖，而CAS屬于樂觀鎖
悲觀鎖在高并發(fā)的場景下，激烈的鎖競爭會造成線程阻塞，而大量阻塞線程會導(dǎo)致系統(tǒng)的上下文切換，增加系統(tǒng)的性能開銷

樂觀鎖

樂觀鎖：在操作共享資源時，總是抱著樂觀的態(tài)度進(jìn)行，認(rèn)為自己能夠完成操作
但實際上，當(dāng)多個線程同時操作一個共享資源時，只有一個線程會成功，失敗的線程不會被掛起，僅僅只是返回
樂觀鎖相比于悲觀鎖來說，不會帶來死鎖、饑餓等活性故障問題，線程間的相互影響也遠(yuǎn)遠(yuǎn)比悲觀鎖要小

樂觀鎖沒有因競爭而造成的系統(tǒng)上下文切換，所以在性能上更勝一籌

實現(xiàn)原理

CAS是實現(xiàn)樂觀鎖的核心算法，包含3個參數(shù)：V（需要更新的變量），E（預(yù)期值）、N（最新值）
只有V等于E時，V才會被設(shè)置為N
如果V不等于E了，說明其它線程已經(jīng)更新了V，此時該線程不做操作，返回V的真實值

CAS實現(xiàn)原子操作

AtomicInteger是基于CAS實現(xiàn)的一個線程安全的整型類，Unsafe調(diào)用CPU底層指令實現(xiàn)原子操作

// JAVA.util.concurrent.atomic.AtomicInteger
public final int getAndIncrement() {
 return unsafe.getAndAddInt(this, valueOffset, 1);
}
public final int getAndDecrement() {
 return unsafe.getAndAddInt(this, valueOffset, -1);
}
// sun.misc.Unsafe
public final int getAndAddInt(Object o, long offset, int delta) {
 int v;
 do {
 v = getIntVolatile(o, offset);
 } while (!compareAndSwapInt(o, offset, v, v + delta));
 return v;
}
public native int getIntVolatile(Object o, long offset);
public final native boolean compareAndSwapInt(Object o, long offset, int expected, int x);

處理器實現(xiàn)原子操作

CAS是調(diào)用處理器底層指令來實現(xiàn)原子操作的
處理器和物理內(nèi)存之間的通信速度要遠(yuǎn)低于處理器間的處理速度，所以處理器有自己的內(nèi)部緩存（L1/L2/L3）
服務(wù)器通常為多處理器，并且處理器是多核的，每個處理器維護了一塊字節(jié)的緩存存，每個內(nèi)核也維護了一塊字節(jié)的緩存

此時在多線程并發(fā)就會存在緩存不一致的問題，從而導(dǎo)致數(shù)據(jù)不一致

處理器提供了總線鎖定和緩存鎖定兩種機制來保證復(fù)雜內(nèi)存操作的原子性

總線鎖定
當(dāng)處理器要操作一個共享變量時，會在總線上會發(fā)出一個Lock信號，此時其它處理器就不能操作共享變量了
總線鎖定在阻塞其他處理器獲取該共享變量的操作請求時，也可能會導(dǎo)致大量阻塞，從而增加系統(tǒng)的性能開銷
緩存鎖定（后來出現(xiàn)）
當(dāng)某個處理器對緩存中的共享變量進(jìn)行了操作，就會通知其他處理器放棄存儲或者重新讀取該共享變量
目前最新的處理器都支持緩存鎖定機制

優(yōu)化CAS樂觀鎖

樂觀鎖在并發(fā)性能上要優(yōu)于悲觀鎖

但在寫大于讀的操作場景下，CAS失敗的可能性增大，如果循環(huán)CAS，會長時間占用CPU
例如上面的AtomicInteger#getAndIncrement

JDK 1.8中，提供了新的原子類LongAdder

LongAdder在高并發(fā)場景下會比AtomicInteger和AtomicLong的性能更好，代價是消耗更多的內(nèi)存空間
核心思想：空間換時間
實現(xiàn)原理：降低操作共享變量的并發(fā)數(shù)
LongAdder內(nèi)部由一個base變量和一個cell[]數(shù)組組成
當(dāng)只有一個寫線程（沒有競爭）
LongAdder會直接使用base變量作為原子操作變量，通過CAS操作修改base變量
當(dāng)有多個寫線程（存在競爭）
除了占用base變量的一個寫線程外，其他寫線程的value值會分散到cell數(shù)組中
不同線程會命中到數(shù)組的不同槽中，各個線程只對自己槽中的value進(jìn)行CAS操作
value=base+∑ni=0Cell[i]
LongAdder在操作后的返回值只是一個近似準(zhǔn)確的值，但最終返回的是一個準(zhǔn)確的值
LongAdder不適合實時性要求較高的場景