Speicher-Transaktionen

Benutzung:

• Transaktions-Variablen
• Lese- und Schreibzugriffe nur innerhalb einer Transaktion
• Transaktion wird atomar und isoliert ausgeführt

Implementierung:

• während der Transaktion: Zugriffe in Log schreiben
• am Ende (commit): prüfen, ob Log konsistent mit derzeitigem Speicherzustand ist
• ..., wenn nicht, dann Transaktion wiederholen