prev up next

Rücksetzbare Historien

Wie im vorigen Kapitel geschildert wurde, überwacht der Scheduler die Serialisierbarkeit von Transaktionen. Um auch Recovery-Maßnahmen durchführen zu können, verlangen wir jetzt zusätzlich die Verwendung von rücksetzbaren Historien, die auf den Schreib- und Leseabhängigkeiten basieren.

Wir sagen, daß in einer Historie $H$ die Transaktion $T_i$ von der Transaktion $T_j$ liest, wenn folgendes gilt:

Eine Historie heißt rücksetzbar, falls immer die schreibende Transaktion $T_j$ vor der lesenden Transaktion $T_i$ ihr commit ausführt. Anders gesagt: Eine Transaktion darf erst dann ihr commit ausführen, wenn alle Transaktionen, von denen sie gelesen hat, beendet sind. Wäre diese Bedingung nicht erfüllt, könnte man die schreibende Transaktion nicht zurücksetzen, da die lesende Transaktion dann mit einem offiziell nie existenten Wert für $A$ ihre Berechnung commited hätte.


prev up next