CAS和ABA问题
一、CAS
CAS:對(duì)于內(nèi)存中的某一個(gè)值V,提供一個(gè)舊值A(chǔ)和一個(gè)新值B。如果提供的舊值V和A相等就把B寫入V。這個(gè)過程是原子性的。CAS執(zhí)行結(jié)果要么成功要么失敗,對(duì)于失敗的情形下一般采用不斷重試。或者放棄。在應(yīng)用中CAS可以用于實(shí)現(xiàn)無鎖數(shù)據(jù)結(jié)構(gòu),常見的有無鎖隊(duì)列(先入先出)以及無鎖堆(先入后出)。對(duì)于可在任意位置插入數(shù)據(jù)的鏈表以及雙向鏈表,實(shí)現(xiàn)無鎖操作的難度較大。
二、ABA
如果另一個(gè)線程修改V值假設(shè)原來是A,先修改成B,再修改回成A。當(dāng)前線程的CAS操作無法分辨當(dāng)前V值是否發(fā)生過變化。關(guān)于ABA問題我想了一個(gè)例子:在你非常渴的情況下你發(fā)現(xiàn)一個(gè)盛滿水的杯子,你一飲而盡。之后再給杯子里重新倒?jié)M水。然后你離開,當(dāng)杯子的真正主人回來時(shí)看到杯子還是盛滿水,他當(dāng)然不知道是否被人喝完重新倒?jié)M。解決這個(gè)問題的方案的一個(gè)策略是每一次倒水假設(shè)有一個(gè)自動(dòng)記錄儀記錄下,這樣主人回來就可以分辨在她離開后是否發(fā)生過重新倒?jié)M的情況。這也是解決ABA問題目前采用的策略。
三、結(jié)合樂觀鎖、悲觀鎖及CAS
引用回答
總結(jié)
- 上一篇: 浅析支付系统的整体架构
- 下一篇: SaaS 不懂留存!别玩