在Java中,對一個整數(shù)a執(zhí)行“a++”運算,在單線程的情況下是沒有任何問題的媳友,但是對于多線程的情況來說褒脯,就有可能產(chǎn)生線程安全問題【┤颍考慮到這個問題,Java中存在一個具有原子性的類型
AtomicInteger
,它的出現(xiàn)能夠很好的解決這個情況辱志。
原始類:
public class TestDemo1 {
public static volatile int num = 0;
public static void add() {
num++;
}
}
使用AtomicInteger類:
public class TestDemo2 {
// AtomicInteger類中已經(jīng)攜帶了Volatile關(guān)鍵字
public static AtomicInteger num = new AtomicInteger(0);
public static void add() {
// 下方的方法代表線程安全的自增方法
num.getAndIncrement();
}
}
附上AtomicInteger
類的內(nèi)部實現(xiàn)
AtomicInteger內(nèi)部實現(xiàn)
Compare and Swap(CAS),解決多線程并行情況下使用鎖造成性能損耗的一種機(jī)制狞膘,CAS操作包含三個操作數(shù)——內(nèi)存位置(V)揩懒、預(yù)期原值(A)和新值(B)。如果內(nèi)存位置的值與預(yù)期原值相匹配挽封,那么處理器會自動將該位置值更新為新值已球。否則,處理器不做任何操作辅愿。無論哪種情況智亮,它都會在CAS指令之前返回該位置的值。CAS有效地說明了“我認(rèn)為位置V應(yīng)該包含值A(chǔ)点待;如果包含該值阔蛉,則將B放到這個位置;否則癞埠,不要更改該位置状原,只告訴我這個位置現(xiàn)在的值即可。
其實上述的AtomicInteger類中的getAndIncrement()
方法苗踪,底層實現(xiàn)如下:
getAndIncrement方法
可以看到其中使用到
Unsafe
類颠区,它是CAS的核心類,存在于sun.misc
包中通铲,Unsafe類中所有的方法都是native的毕莱,故其基本都是直接調(diào)用底層資源來執(zhí)行相關(guān)的任務(wù)。而Unsafe類對象的getAndAddInt()
方法內(nèi)部實現(xiàn)如下:getAndAddInt方法
其中參數(shù)
var1
對應(yīng)上方的this,var2
對應(yīng)上方的valueoffset朋截,var4
則對應(yīng)上方的增值蛹稍,通過getIntVolatile
方法獲取當(dāng)前主內(nèi)存中對應(yīng)地址的值(預(yù)期原值),并將其賦值給var5
质和,此時再執(zhí)行while中的compareAndSwapInt
方法對預(yù)期原值進(jìn)行運算并返回稳摄,此時會再次獲取一次主內(nèi)存中的值跟預(yù)期原值進(jìn)行比較,若相同則進(jìn)行計算并返回饲宿,若不同則更新預(yù)期原值厦酬。