樂觀鎖常見的兩種實(shí)現(xiàn)方式

版本號(hào)機(jī)制

一般是在數(shù)據(jù)表中加上版本號(hào)字段 version,表示數(shù)據(jù)被修改的次數(shù)。當(dāng)數(shù)據(jù)被修改時(shí),這個(gè)字段值會(huì)加1。

舉個(gè)簡單的例子:假設(shè)帳戶信息表中有一個(gè) version 字段,當(dāng)前值為 1 ,而當(dāng)前帳戶的余額( balance )為 100 。

  1. 操作員 A 此時(shí)準(zhǔn)備將其讀出( version=1 ),并從其帳戶余額中扣除 50( 100-50 );
  2. 操作員 A 操作的過程中,操作員 B 也讀入此用戶信息( version=1 ),并從其帳戶余額中扣除 20 ( 100-20 );
  3. 操作員 A 完成修改工作,將數(shù)據(jù)版本號(hào)加1( version=2 ),連同帳戶扣除后余額( balance=50 ),提交到數(shù)據(jù)庫完成更新;
  4. 操作員 B 完成了操作,也將版本號(hào)加1( version=2 )試圖向數(shù)據(jù)庫提交數(shù)據(jù)( balance=80 ),但此時(shí)比對數(shù)據(jù)庫記錄版本發(fā)現(xiàn),操作員 B 提交的數(shù)據(jù)版本號(hào)為 2 ,數(shù)據(jù)庫記錄的當(dāng)前版本也為 2 ,不滿足 “提交版本必須大于記錄當(dāng)前版本才能執(zhí)行更新“ 的樂觀鎖策略。

因此,操作員 B 的提交被駁回。這樣,就避免了操作員 B 用基于 version=1 的舊數(shù)據(jù)修改,最終造成覆蓋操作員 A 操作結(jié)果的可能。

CAS 算法

compare and swap(比較與交換),是一種有名的無鎖算法。無鎖編程,即不使用鎖(沒有線程被阻塞)的情況下實(shí)現(xiàn)多線程之間的變量同步,所以也叫非阻塞同步(Non-blocking Synchronization)。CAS 算法涉及到三個(gè)操作數(shù):

  • 需要讀寫的內(nèi)存值 V
  • 進(jìn)行比較的值 A
  • 擬寫入的新值 B

當(dāng)且僅當(dāng) V 的值等于 A 時(shí),CAS 通過原子方式用新值 B 來更新 V 的值,否則不會(huì)執(zhí)行任何操作(比較和替換是一個(gè) native 原子操作)。一般情況下,這是一個(gè)自旋操作,即不斷的重試

關(guān)于自旋鎖,可以看下這篇文章:《面試必備之深入理解自旋鎖》

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者
【社區(qū)內(nèi)容提示】社區(qū)部分內(nèi)容疑似由AI輔助生成,瀏覽時(shí)請結(jié)合常識(shí)與多方信息審慎甄別。
平臺(tái)聲明:文章內(nèi)容(如有圖片或視頻亦包括在內(nèi))由作者上傳并發(fā)布,文章內(nèi)容僅代表作者本人觀點(diǎn),簡書系信息發(fā)布平臺(tái),僅提供信息存儲(chǔ)服務(wù)。

相關(guān)閱讀更多精彩內(nèi)容

友情鏈接更多精彩內(nèi)容