Skript Datenbanken I - Praktische Informatik Universität Kassel

132
Beispiel 6–3 Platzbuchung
Buchen n Plätze auf Flug x
Lesen(Freie-Plätze, x);
Wenn Freie-Plätze >= n
dann Freie-Plätze := Freie-Plätze - n
sonst Buchung zurückweisen;
Schreiben(Freie-Plätze, x);
Datenbanken I
Zwei verzahnt ablaufende Transaktionen T 1 und T 2 können dabei ein falsches
Ergebnis liefern (z.B. ein Platz noch frei und jede Transaktion will
einen Platz).
T 1
Lesen(FP, x)
Test positiv
FP := FP - 1
Schreiben(FP {= 0}, x)
T 2
Lesen(FP, x)
Test positiv
FP := FP - 1
Schreiben(FP {= 0}, x)
Offensichtlich wurden beiden Kunden ein Platz vergeben, obwohl nur
noch einer vorhanden war (sog. lost update problem). Dieses Ergebnis
wäre nicht eingetreten, hätte man die Transaktionen T 1 und T 2 hintereinander
(sequentiell) ablaufen lassen.
Bei der Ablauffolge (engl. schedule) hätte T 1 den Platz
bekommen, bei der Folge hätte T 2 ihn bekommen. Damit kann
man aber jetzt eine Korrektheitskriterium für den Mehrbenutzerzugriff
definieren:
eine nebenläufige Ablauffolge S von Operationen heißt serialisierbar,
wenn es eine serielle Ablauffolge S’ gibt, die in ihren Auswirkungen
äquivalent zu S ist.