MySQL  使用 SELECT ... FOR UPDATE 做事務寫入前的確認

以MySQL 的InnoDB 為例，預設的 Tansaction isolation level 為 REPEATABLE READ，在 SELECT 的讀取鎖定主要分為兩種方式:

SELECT ... LOCK IN SHARE MODE
SELECT ... FOR UPDATE

這兩種方式在事務(Transaction) 進行當中SELECT 到同一個資料表時，都必須等待其它事務資料被提交(Commit)後才會執行。而主要的不同在於LOCK IN SHARE MODE 在有一方事務要Update 同一個表單時很容易造成死鎖 。

簡單的說，如果SELECT 後面若要UPDATE 同一個表單，最好使用 SELECT ... UPDATE。

舉個例子：假設商品表單products 內有一個存放商品數量的quantity ，在訂單成立之前必須先確定quantity 商品數量是否足夠(quantity>0) ，然後才把數量更新為1。

不安全的做法：

SELECT quantity FROM products WHERE id=3;
UPDATE products SET quantity = 1 WHERE id=3;

為什麼不安全呢？

少量的狀況下或許不會有問題，但是大量的資料存取「鐵定」會出問題。

如果我們需要在 quantity>0 的情況下才能扣庫存，假設程式在第一行 SELECT 讀到的 quantity 是 2 ，看起來數字沒有錯，但是當MySQL 正準備要UPDATE 的時候，可能已經有人把庫存扣成 0 了，但是程式卻渾然不知，將錯就錯的 UPDATE 下去了。

因此必須透過的事務機制來確保讀取及提交的資料都是正確的。

於是我們在MySQL 就可以這樣測試：(注1)

===========================================

SET AUTOCOMMIT=0;
BEGIN WORK;
SELECT quantity FROM products WHERE id=3 FOR UPDATE;

===========================================

此時 products 資料中 id=3 的資料被鎖住(注3)，其它事務必須等待此次事務提交後才能執行 SELECT * FROM products WHERE id=3 FOR UPDATE (注2)如此可以確保 quantity 在別的事務讀到的數字是正確的。

===========================================

UPDATE products SET quantity = '1' WHERE id=3 ;
COMMIT WORK;

===========================================

提交(Commit)寫入資料庫，products 解鎖。

注1：BEGIN/COMMIT 為事務的起始及結束點，可使用二個以上的MySQL Command 視窗來互動觀察鎖定的狀況。

注2：在事務進行當中，只有SELECT ... FOR UPDATE 或LOCK IN SHARE MODE 同一筆資料時會等待其它事務結束後才執行，一般SELECT ... 則不受此影響。

注3：由於InnoDB 預設為Row-level Lock，資料列的鎖定可參考這篇。

注4：InnoDB 表單儘量不要使用LOCK TABLES 指令，若情非得已要使用，請先看官方對於InnoDB 使用LOCK TABLES 的說明，以免造成系統經常發生死鎖。

MySQL SELECT ... FOR UPDATE 的 Row Lock 與 Table Lock

上面介紹過SELECT ... FOR UPDATE 的用法，不過鎖定(Lock)的資料是判別就得要注意一下了。由於InnoDB 預設是Row-Level Lock，所以只有「明確」地指定主鍵，MySQL 才會執行 Row lock (只鎖住被選取的資料) ，否則MySQL 將會執行 Table Lock (將整個資料表單給鎖住)。

舉個例子:

假設有個表單products ，裡面有id 跟name 二個欄位，id 是主鍵。

例1: (明確指定主鍵，並且有此資料，row lock)

SELECT * FROM products WHERE id='3' FOR UPDATE;

SELECT * FROM products WHERE id='-1' FOR UPDATE;

SELECT * FROM products WHERE name='Mouse' FOR UPDATE;

SELECT * FROM products WHERE id<>'3' FOR UPDATE;

SELECT * FROM products WHERE id LIKE '3' FOR UPDATE;

注1: FOR UPDATE 僅適用於InnoDB，且必須在事務區塊(BEGIN/COMMIT)中才能生效。

注2: 要測試鎖定的狀況，可以利用MySQL 的Command Mode ，開二個視窗來做測試。