Write Skew
ライトスキューは、スナップショット分離で起きる異常である。2つのトランザクションがそれぞれ一貫したスナップショット上で条件チェックを行い、別々の行に書き込み、組み合わせると制約が破られる。
目的
スナップショット分離が直列化可能性を保証しない理由を理解し、SSIが検出すべき異常を特定する。
メカニズム
典型例はオンコール制約で、常に医師が最低1人待機している必要がある。T1は両方の待機状況を読んでAを待機解除し、T2は両方を読んでBを待機解除する。各スナップショットは制約を満たすが、組み合わせると誰も待機しない。SSIは読み取り依存を検出してロールバックする。
ユースケース
- SSIの異常検知
- スナップショット分離の限界
- 並行処理での制約チェック