Skript Datenbanken I - Praktische Informatik Universität Kassel

Kapitel 6 – Realisierungen des Transaktionsprinzips 131
des log. Neue Sätze für das log werden dabei zuerst in flüchtige Puffer
geschrieben und dann von Zeit zu Zeit, z.B. bei einem Commit, mittels
der force-Operation in stabilen Speicher geschrieben. Man nennt dies
„forcing the log up to a certain LSN“ (Durchschreiben des log bis zu einer
LSN).
Drei Arten von Sätzen werden unterschieden
• undo-redo-log-records
• undo-only-log-records
• redo-only-log-records.
Undo-redo-Information kann dabei physisch als before- und after-image
oder operational in der Art „addiere 5 to Feld 4 von Satz 15“ gespeichert
werden. Operation logging erlaubt potentiell mehr Parallelität durch Ausnutzung
semantischer Information als striktes Sperren mit X-Sperren die
während des ganzen Commits gehalten werden.
ARIES verwendet ferner das weithin anerkannte WAL (write ahead
logging) Protokoll, bei dem „update-in-place“, also schreiben an den alten
Speicherplatz“ erfolgt, was voraussetzt, daß zumindestens die undo-Information
für dieses Update auf das log in stabilem Speicher herausgeschrieben
wurde. Um die Einhaltung des Protokolls zu überwachen, steht in
jeder Seite die LSN des log-Satzes, der die letzte Änderung auf dieser
Seite verursacht hat.
Der Transaktionsstatus wird auch im log aufgezeichnet und keine
Transaktion ist abgeschlossen, bevor nicht ihr Commit-Status und alle sie
betreffenden log-Daten auf stabilem Speicher gesichert sind, wozu das log
bis zur LSN des Commit-Satzes auf stabilen Speicher durchgeschrieben
sein muß.
6.3 Mehrbenutzerzugriff
Mehrbenutzerbetrieb verlangt die Isolierung der einzelnen Transaktion
vor Auswirkungen des quasi-parallelen Betriebs (vgl. ACID-Eigenschaften
oben). Dies wird erreicht durch „Kontrolle der Nebenläufigkeit“ (concurrency
control).