VS-08-Transaktionen

• Herstellung serieller Äquivalenz
• konsistenter und persistenter Zustand

• Pessimistische Sperren
• Zeitstempel
• Optimistische Kontrolle

• lost-update
• dirty-read
• unrepeatable read

• Nebenläufigkeit auf gleicher Hierarchieebene
• Unabhängigkeit einzelner Subtransaktionen
• Individuelle Strategien für den Abbruch von Subtransaktionen

• Commit wenn alle Subtransaktionen committed sind
• Rollback führt zum Rollback aller Subtransaktionen
• Subtransaktion trifft unabhängige Entscheidungen
• Commit der Top-Level Transaktion führt zum finalen Commit

• früh: schrittweise freigeben
• streng: alle Sperren am Ende freigeben

• Lebensdauerbegrenzung von Sperren
• Sperren aller Objekte beim Start
• Anforderung der Sperren in vordefinierter Reihenfolge

• Iteriere über alle aktiven Transaktionen
• Prüfe, ob zu schreibende Daten von anderer Transaktion gelesen werden

Alle anderen Transaktionen können die von der eigenen Transaktion gelesenen Daten zum Zeitpunkt der Auswertung noch nicht schreibend verändert haben

• startTn ist ist größte T-Nr zu Beginn der Arbeitsphase
• finish-Tn ist größte T-Nr zu Beginn der Auswertungsphase
• Iteriere von startTn bis finishTn
• prüfe, ob gelesene Daten von anderen Transaktionen geschrieben werden

Alle Reads von anderen Transaktionen wurden sicher vor Beginn der Auswertungsphase durchgeführt und sind daher nicht betroffen

• Verschieben
• Abbruch aller Konfliktverursacher
• Abbruch der aktuellen Transaktion

• 1: Koordinator sendet prepare an alle Teilnehmer
• 2: Teilnehmer führen Transaktion zu Ende und loggen Ereignisse
• 3: Teilnehmer antworten mit ready oder failed

• 1: Koordinator sendet commit/abort an alle Teilnehmer
• 2: Teilnehmer schliessen Transaktion ab und geben Sperren frei
• 3: Teilnehmer senden Bestätigung
• 4: Koordinator beendet Transaktion wenn alle Bestätigungen da sind

• Unsicherer Zustand
• Knoten sind blockiert
• Einsatz von Timern