版本號機制
一般是在數(shù)據(jù)表中加上版本號字段 version
昵观,表示數(shù)據(jù)被修改的次數(shù)绸罗。當數(shù)據(jù)被修改時,這個字段值會加1驶兜。
舉個簡單的例子:假設(shè)帳戶信息表中有一個 version 字段,當前值為 1 ,而當前帳戶的余額( balance )為 100 抄淑。
- 操作員 A 此時準備將其讀出( version=1 )屠凶,并從其帳戶余額中扣除 50( 100-50 );
- 操作員 A 操作的過程中肆资,操作員 B 也讀入此用戶信息( version=1 )矗愧,并從其帳戶余額中扣除 20 ( 100-20 );
- 操作員 A 完成修改工作郑原,將數(shù)據(jù)版本號加1( version=2 )唉韭,連同帳戶扣除后余額( balance=50 ),提交到數(shù)據(jù)庫完成更新犯犁;
- 操作員 B 完成了操作属愤,也將版本號加1( version=2 )試圖向數(shù)據(jù)庫提交數(shù)據(jù)( balance=80 ),但此時比對數(shù)據(jù)庫記錄版本發(fā)現(xiàn)酸役,操作員 B 提交的數(shù)據(jù)版本號為 2 住诸,數(shù)據(jù)庫記錄的當前版本也為 2 ,不滿足 “提交版本必須大于記錄當前版本才能執(zhí)行更新“ 的樂觀鎖策略涣澡。
因此贱呐,操作員 B 的提交被駁回。這樣暑塑,就避免了操作員 B 用基于 version=1 的舊數(shù)據(jù)修改吼句,最終造成覆蓋操作員 A 操作結(jié)果的可能。
CAS 算法
即 compare and swap(比較與交換)事格,是一種有名的無鎖算法惕艳。無鎖編程,即不使用鎖(沒有線程被阻塞)的情況下實現(xiàn)多線程之間的變量同步驹愚,所以也叫非阻塞同步(Non-blocking Synchronization)远搪。CAS 算法涉及到三個操作數(shù):
- 需要讀寫的內(nèi)存值 V
- 進行比較的值 A
- 擬寫入的新值 B
當且僅當 V 的值等于 A 時,CAS 通過原子方式用新值 B 來更新 V 的值逢捺,否則不會執(zhí)行任何操作(比較和替換是一個 native 原子操作)谁鳍。一般情況下,這是一個自旋操作劫瞳,即不斷的重試倘潜。
關(guān)于自旋鎖,可以看下這篇文章:《面試必備之深入理解自旋鎖》