Serializability
直列化可能性は最も高い分離レベルである。並行トランザクションの結果が何らかの直列実行順序と等価になり、並行処理の異常を完全に排除する。
目的
最も強い並行処理の正確性保証を提供し、正確性要件が厳しいシナリオに向けている。
メカニズム
二相ロック(2PL)、直列化可能スナップショット分離(SSI)、OCC で実装される。コストとして並行性が低下し、デッドロックのリスクが生じる。PostgreSQL の SSI は書き込みスキューの異常を検出するとロールバックする。
ユースケース
- トランザクション分離の設計
- 並行処理が正しいことの保証
- データベースの分離レベル