AtomicStampedReference與AtomicMarkableReference的區(qū)別
AtomicReference
通過volatile和Unsafe提供的CAS函數(shù)實(shí)現(xiàn)原子操作。 自旋+CAS的無鎖操作保證共享變量的線程安全
value是volatile類型,這保證了:當(dāng)某線程修改value的值時(shí),其他線程看到的value的值都是最新的值,即修改之后的volatile的值
通過CAS設(shè)置value。這保證了:某線程池通過CAS函數(shù)(如compareAndSet函數(shù))設(shè)置value時(shí),它的操作時(shí)原子性的,即線程在操作vu略時(shí)不會(huì)被中斷。
但是CAS操作可能存在ABA問題。AtomicStampedReference的出現(xiàn)就是為了解決這問題
AtomicStampedReference
構(gòu)造方法中initialStamp(時(shí)間戳)用來唯一標(biāo)識(shí)引用變量,在構(gòu)造器內(nèi)部,實(shí)例化了一個(gè)Pair對(duì)象,Pair對(duì)象記錄了對(duì)象引用和時(shí)間戳信息,采用int作為時(shí)間戳,實(shí)際使用的時(shí)候,要保證時(shí)間戳唯一(一般做成自增的),如果時(shí)間戳如果重復(fù),還會(huì)出現(xiàn)ABA的問題。
AtomicStampedReference中的每一個(gè)引用變量都帶上了pair.stamp這個(gè)時(shí)間戳,這樣就可以解決CAS中的ABA的問題。
/**
* Creates a new {@code AtomicStampedReference} with the given
* initial values.
*
* @param initialRef the initial reference
* @param initialStamp the initial stamp
*/
public AtomicStampedReference(V initialRef, int initialStamp) {
pair = Pair.of(initialRef, initialStamp);
}
AtomicMarkableReference
AtomicStampedReference可以知道,引用變量中途被更改了幾次。有時(shí)候,我們并不關(guān)心引用變量更改了幾次,只是單純的關(guān)心是否更改過,所以就有了AtomicMarkableReference。
AtomicMarkableReference的唯一區(qū)別就是不再用int標(biāo)識(shí)引用,而是使用boolean變量——表示引用變量是否被更改過。
構(gòu)造函數(shù)
/**
* Creates a new {@code AtomicMarkableReference} with the given
* initial values.
*
* @param initialRef the initial reference
* @param initialMark the initial mark
*/
public AtomicMarkableReference(V initialRef, boolean initialMark) {
pair = Pair.of(initialRef, initialMark);
}
評(píng)論
圖片
表情
