next up previous contents
Next: Isolation -- Vielfalt Up: 4.1 Entwurf Previous: 4.1 Entwurf

4.1.1 Serialisierbarkeit wiederaufgegriffen -- und fallengelassen

  Wie in Kapitel 3.1 gezeigt, beruhen klassische Transaktionskonzepte darauf, die Aktionen der Transaktionen in eine serialisierbare Historie zu bringen. Die meisten fortgeschrittenen Systeme gewichten hingegen auf die eine oder andere Weise die Serialisierbarkeit geringer. Wofür wird diese Serialisierbarkeit überhaupt gebraucht?

Von den im oben erwähnten Kapitel aufgeführten vier klassischen Eigenschaften einer Transaktion (ACID) beruhen, wie bereits gezeigt wurde, in klassischen Konzepten zwei auf der Serialisierbarkeit: Konsistenz und Isolation. Isolation ist bekanntermaßen in Entwicklungsumgebungen nur eingeschränkt erwünscht, zur Erhaltung der Konsistenz bieten sich in ConceptBase andere Möglichkeiten als die Serialisierbarkeit. Inwiefern diese Transaktionseigenschaften aufgeben werden, zeigen die nächsten beiden Unterkapitel. Vorher soll aber noch kurz darauf eingegangen werden, wie die beiden anderen Eigenschaften sichergestellt werden können.

Atomarität
Bisher wird in ConceptBase die Atomarität von Transaktionen durch das Eintragen von Änderungen in einen lokalen temporären Speicher erreicht, dessen Inhalt erst nach erfolgreichem Abschluß der Operation in die Datenbasis übernommen wird. Es bietet sich an, diesen Mechanismus beizubehalten, da so das Eintragen inkonsistenter Informationen in die Datenbasis verhindert werden kann und das Rücksetzen von Transaktionen (Typ--1 Recovery) einfach durch das Löschen des temporären Speichers vorgenommen werden kann.
Dauerhaftigkeit
Die Typ--2 bis Typ--4 Recovery soll wie gesagt in dieser Diplomarbeit nicht behandelt werden und ist bisher in ConceptBase

auch nicht vorgesehen. Im Rahmen der Dauerhaftigkeit muß also nur beachtet werden, daß erfolgreich abgeschlossene Transaktionen nicht mehr zurückgesetzt werden dürfen. Zudem sollte das Transaktionskonzept die spätere Einführung einer Recovery--Komponente nicht von vorneherein unmöglich machen.





Markus Baumeister
Fri Jun 9 15:38:00 MET DST 1995