MySQL基本概念－－鎖

介紹下對于Mysql鎖機制的了解

從基本概念開始：

共享鎖

共享鎖的代号是S，是Share的縮寫，共享鎖的鎖粒度是行或者元組（多個行）。一個事務擷取了共享鎖之後，可以對鎖定範圍内的資料執行讀操作。

排它鎖

排它鎖的代号是X，是eXclusive的縮寫，排它鎖的粒度與共享鎖相同，也是行或者元組。一個事務擷取了排它鎖之後，可以對鎖定範圍内的資料執行寫操作。

假設有兩個事務t1和t2

如果事務t1擷取了一個元組的共享鎖，事務t2還可以立即擷取這個元組的共享鎖，但不能立即擷取這個元組的排它鎖（必須等到t1釋放共享鎖之後）。

如果事務t1擷取了一個元組的排它鎖，事務t2不能立即擷取這個元組的共享鎖，也不能立即擷取這個元組的排它鎖（必須等到t1釋放排它鎖之後）

意向鎖

意向鎖是一種表鎖，鎖定的粒度是整張表，分為意向共享鎖(IS)和意向排它鎖(IX)兩類。意向共享鎖表示一個事務有意對資料上共享鎖或者排它鎖。“有意”這兩個字表達的意思比較微妙，說的明白點就是指事務想幹這個事但還沒真去幹。舉例說明下意向共享鎖，比如一個事務t執行了這樣一個語句：select * from table lock in share model ，如果這個語句執行成功，就對表table上了一個意向共享鎖。lock in share model就是說事務t1在接下來要執行的語句中要擷取S鎖。如果t1的select * from table lock in share model執行成功，那麼接下來t1應該可以暢通無阻的去執行隻需要共享鎖的語句了。意向排它鎖的含義同理可知，上例中要擷取意向排它鎖，可以使用select * from table for update 。

lock in share model 和 for update這兩個東西在資料率理論中還有個學名叫悲觀鎖，與悲觀鎖相對的當然還有樂觀鎖。大家可以看到各種鎖都是成雙成對出現的。關于悲觀鎖和樂觀鎖的問題暫且不表，下文再來詳述。

鎖的互斥與相容關系

鎖和鎖之間的關系，要麼是相容的，要麼是互斥的。

鎖a和鎖b相容是指：操作同樣一組資料時，如果事務t1擷取了鎖a,另一個事務t2還可以擷取鎖b；

鎖a和鎖b互斥是指：操作同樣一組資料時，如果事務t1擷取了鎖a，另一個事務t2在t1釋放鎖a之前無法擷取鎖b。

上面提到的共享鎖、排它鎖、意向共享鎖、意向排它鎖互相之前都是有相容/互斥關系的，可以用一個相容性矩陣表示(y表示相容，n表示不相容):

    X    S    IX    IS
X  n     n    n     n
S  n     y    n     y
IX n     n    y     y
IS n     y    y     y        

相容性矩陣為什麼是這個樣子的？

X和S的互相關系在上文中解釋過了，IX和IS的互相關系全部是相容，這也很好了解，因為它們都隻是“有意”，還處于YY階段，沒有真幹，是以是可以相容的；

剩下的就是X和IX，X和IS, S和IX， S和IS的關系了，我們可以由X和S的關系推導出這四組關系。

簡單的說：X和IX的=X和X的關系。為什麼呢？因為事務在擷取IX鎖後，接下來就有權利擷取X鎖。如果X和IX相容的話，就會出現兩個事務都擷取了X鎖的情況，這與我們已知的X與X互斥是沖突的，是以X與IX隻能是互斥關系。其餘的三組關系同理，可用同樣的方式推導出來。

對于 UPDATE、DELETE和INSERT語句，InnoDB會自動給涉及資料集加排他鎖（X)；對于普通SELECT語句，InnoDB不會加任何鎖； 事務可以通過顯式給記錄集加共享鎖或排他鎖。

其它：

一緻性非阻塞讀

select... lock in share mode和select ... for update的差別

索引記錄鎖

間隙鎖

後碼鎖

各種語句對應的鎖類型

在有索引的情況下是以後碼鎖為基礎的行級鎖，在固定索引鍵查找的情況下是索引記錄鎖，在沒有可用索引的情況下上升到表鎖

有索引的情況：

select ... from 一緻性非阻塞讀，不上鎖。在serializable隔離級别下例外，在這個隔離級别下上共享後碼鎖

select ... from ... lock in share mode  共享後碼鎖

select ... from ... for update 排它後碼鎖

update .... where  排它後碼鎖

delete from .... where 排它後碼鎖

insert ... 排它索引記錄鎖，如果發生鍵值唯一性沖突則轉成共享鎖

insert ... on duplicate key update ，一直都是排它鎖

replace ... 一直都是排它鎖