Write Skew
Write Skew ist eine Anomalie der Snapshot-Isolation: Zwei Transaktionen führen bedingte Prüfungen auf einem konsistenten Snapshot aus und schreiben dann verschiedene Zeilen; kombiniert verletzen sie die Constraint.
Zweck
Verstehen, warum Snapshot-Isolation keine Serialisierbarkeit garantiert, und die Anomalie identifizieren, die SSI erkennen muss.
Mechanismus
Klassisches Beispiel: Die Bereitschafts-Constraint verlangt mindestens einen diensthabenden Arzt. T1 liest beide Bereitschaften und nimmt A heraus; T2 liest beide und nimmt B heraus. Jeder Snapshot erfüllt die Constraint, kombiniert ist niemand mehr im Dienst. SSI erkennt Leseabhängigkeiten und rollt zurück.
Anwendungsfälle
- Anomalieerkennung in SSI
- Grenzen der Snapshot-Isolation
- Analyse nebenläufiger Constraints