（1）先定義3個積木：三角形A，四邊形B，五邊形D

// 初始化一個積木對象A，形狀為三角形 BuildingBlock A = new BuildingBlock("三角形"); // 初始化一個積木對象B，形狀為四邊形，乙會將三角形替換成四邊形 BuildingBlock B = new BuildingBlock("四邊形"); // 初始化一個積木對象B，形狀為四邊形，乙會將三邊形替換成五邊形 BuildingBlock D = new BuildingBlock("五邊形");

（2）創(chuàng)建一個原子引用類型的實例 atomicReference

// 傳遞兩個值，一個是初始值，一個是初始版本號 AtomicStampedReferenceatomicStampedReference = new AtomicStampedReference<>(A, 1);

（3）創(chuàng)建一個線程“乙”執(zhí)行ABA操作

new Thread(() -> { // 獲取版本號 int stamp = atomicStampedReference.getStamp();
    System.out.println(Thread.currentThread().getName() + "\t 第一次版本號" + stamp); // 暫停線程“乙”1秒鐘，使線程“甲”可以獲取到原子引用的版本號 try {
        TimeUnit.SECONDS.sleep(1);
    } catch (InterruptedException e) {
        e.printStackTrace();
    } /*
    * 乙線程開始ABA替換
    * */ // 1.比較并替換，傳入4個值，期望值A(chǔ)，更新值B，期望版本號，更新版本號 atomicStampedReference.compareAndSet(A, B, atomicStampedReference.getStamp(), atomicStampedReference.getStamp() + 1);
    System.out.println(Thread.currentThread().getName() + "\t 第二次版本號" + atomicStampedReference.getStamp()); //乙  第一次版本號1 // 2.比較并替換，傳入4個值，期望值B，更新值A(chǔ)，期望版本號，更新版本號 atomicStampedReference.compareAndSet(B, A, atomicStampedReference.getStamp(), atomicStampedReference.getStamp() + 1); // 乙  第二次版本號2 System.out.println(Thread.currentThread().getName() + "\t 第三次版本號" + atomicStampedReference.getStamp()); // 乙  第三次版本號3 }, "乙").start();

1）乙先獲取原子類的版本號，第一次獲取到的版本號為1

2）暫停線程“乙”1秒鐘，使線程“甲”可以獲取到原子引用的版本號

3）比較并替換，傳入4個值，期望值A(chǔ)，更新值B，期望版本號stamp，更新版本號stamp+1。A被替換為B，當(dāng)前版本號為2

4）比較并替換，傳入4個值，期望值B，更新值A(chǔ)，期望版本號getStamp()，更新版本號getStamp()+1。B替換為A，當(dāng)前版本號為3

（4）創(chuàng)建一個線程“甲”執(zhí)行D替換A操作

new Thread(() -> { // 獲取版本號 int stamp = atomicStampedReference.getStamp();
     System.out.println(Thread.currentThread().getName() + "\t 第一次版本號" + stamp); // 甲   第一次版本號1 // 暫停線程“甲”3秒鐘，使線程“乙”進行一次ABA替換操作 try {
     TimeUnit.SECONDS.sleep(3);
     } catch (InterruptedException e) {
         e.printStackTrace();
     } boolean result = atomicStampedReference.compareAndSet(A,D,stamp,stamp + 1);
     System.out.println(Thread.currentThread().getName() + "\t 修改成功否" + result + "\t 當(dāng)前最新實際版本號：" + atomicStampedReference.getStamp()); // 甲     修改成功否false     當(dāng)前最新實際版本號：3 System.out.println(Thread.currentThread().getName() + "\t 當(dāng)前實際最新值：" + atomicStampedReference.getReference()); // 甲     當(dāng)前實際最新值：BuildingBlock{shape='三角形} }, "甲").start();

（1）甲先獲取原子類的版本號，版本號為1，因為乙線程還未執(zhí)行ABA，所以甲獲取到的版本號和乙獲取到的版本號一致。

（2）暫停線程“甲”3秒鐘，使線程“乙”進行一次ABA替換操作

（3）乙執(zhí)行完ABA操作后，線程甲執(zhí)行比較替換，期望為A，實際是A，版本號期望值是1，實際版本號是3

（4）雖然期望值和實際值都是A，但是版本號不一致，所以甲不能將A替換成D，這個就避免了ABA的問題。

小結(jié)： 帶版本號的原子引用類可以利用CAS+版本號來比較變量是否被修改。

總結(jié)

本篇分析了ABA產(chǎn)生的原因，然后又列舉了生活中的兩個案例來分析ABA的危害。然后提出了怎么解決ABA問題：用帶版本號的原子引用類AtomicStampedReference。

限于篇幅和側(cè)重點，CAS的優(yōu)化并沒有涉及到，后續(xù)再倒騰這一塊吧。另外AtomicStampedReference的缺點本篇本沒有進行講解，限于筆者的技術(shù)水平原因，并沒有一一作答，期待后續(xù)能補上這一塊的解答。

我是悟空，一只努力變強的碼農(nóng)！我要變身超級賽亞人啦！

特別推薦一個分享架構(gòu)+算法的優(yōu)質(zhì)內(nèi)容，還沒關(guān)注的小伙伴，可以長按關(guān)注一下：
			

		

		

			
		

長按訂閱更多精彩▼
		

			
如有收獲，點個在看，誠摯感謝