工程 · 1 min read
mutex 只給你 ACID 的 I，其餘全靠自己
把 login() 包進一把鎖，看似像資料庫交易一樣安全，其實 mutex 只提供 ACID 四項特性中的隔離性，原子性與持久性都必須自己手動處理。
mutex 只提供 ACID 的「I」，沒有 A、C、D
把 login() 包進一把鎖。看起來就跟包進一個資料庫交易一樣安全。但其實鎖只給了 ACID 四個字母裡的一個。就是I（Isolation，隔離性）。
鎖和 DB 交易都會把並發工作序列化，可是兩者給的保證差很多：
| ACID | DB 交易 | mutex |
|---|---|---|
| Atomicity（回滾） | 有 | 沒有。臨界區中途拋錯會留半成品 |
| Consistency（不變量） | 引擎強制 | 程式碼自行維護 |
| Isolation（隔離） | 有（可調） | 有。類似 Serializable |
| Durability（持久） | 落盤 | 沒有（純記憶體） |
除了這張表，還有兩個結構性差異值得記住：
- 交易保護的是資料（引擎對所有存取者強制）。mutex 保護的是程式碼路徑。只有自願去取同一把鎖的執行緒才受保護。
- 它的規則是「必須結束才換下一個」。不是「必須成功」。失敗的交易會回滾。失敗的臨界區則可能留一堆爛攤子給下一位持鎖者。
也正因如此，login() 才得手動去繞開回滾問題。先做完再發佈。畢竟鎖不會自動還原那些只寫到一半的資料。
鎖序列化的是「執行」，不是「成功」。想要原子性，得自己動手。
參考來源：
- http://ithare.com/databases-101-acid-mvcc-vs-locks-transaction-isolation-levels-and-concurrency/
- https://www.designgurus.io/blog/acid-database-transaction
延伸閱讀： 參見先做完再發佈的安全發佈模式。或回到讓 login 執行緒安全的四筆學費總覽。