Mysql鎖

摘要： 樂觀鎖具體實現細節：主要就是兩個步驟：衝突檢測和資料更新。還有一種比較典型的就是Compare and Swap(CAS)。 CAS 操作包含三個運算元 —— 記憶體位置（V）、預期原值（A）和新值(B)。如果記憶體位置的值與預期原值相匹配，那麼處理器會自動將該位置值更新為新值。...

樂觀鎖具體實現細節：主要就是兩個步驟：衝突檢測和資料更新。還有一種比較典型的就是Compare and Swap(CAS)。

CAS 操作包含三個運算元 —— 記憶體位置（V）、預期原值（A）和新值(B)。如果記憶體位置的值與預期原值相匹配，那麼處理器會自動將該位置值更新為新值。否則，處理器不做任何操作。無論哪種情況，它都會在 CAS 指令之前返回該位置的值。（在 CAS 的一些特殊情況下將僅返回 CAS 是否成功，而不提取當前值。）CAS 有效地說明了“我認為位置 V 應該包含值 A；如果包含該值，則將 B 放到這個位置；否則，不要更改該位置，只告訴我這個位置現在的值即可。”這其實和樂觀鎖的衝突檢查+資料更新的原理是一樣的。

ABA問題

CAS看起來很爽，但是會導致“ABA問題”。比如說一個執行緒one從記憶體位置V中取出A，這時候另一個執行緒two也從記憶體中取出A，並且two進行了一些操作變成了B，然後two又將V位置的資料變成A，這時候執行緒one進行CAS操作發現記憶體中仍然是A，然後one操作成功。儘管執行緒one的CAS操作成功，但是不代表這個過程就是沒有問題的。如果連結串列的頭在變化了兩次後恢復了原值，但是不代表連結串列就沒有變化。通過版本號可以解決ABA問題。