Posted by Heiko Schuldt on January 10, 2001 at 16:13:12:
In Reply to: CCSR aus IS-K versus CPSR aus AR-1 posted by Andreas on January 10, 2001 at 16:01:15:
: in IS-K gab es ein Korrektheitskriterium 'CCSR', welches ziemlich aehnlich wie unser 'CPSR' aussah (Serialisierungsgraph Test).
: Kann man sagen, dass CPSR=CCSR, falls die Transaktionen gegenseitig nicht geordnet sein muessen (leere < Menge)?
: Weiss das jemand? ;-)
Das Korrektheitskriterium der Konfliktserialisierbarkeit (CPSR), so wie es in AR1 vorgestellt wurde geht von der wesentlichen Annahme aus,
dass alle Transaktionen voneinander unabhängig sind und betrachtet die korrekte parallele Ausführung der Transaktionen
durch einen einzigen Scheduler.
Die Besonderheit der Conflict Consistent Serializability (CCSR) besteht darin, dass
- Scheduler nicht mehr alleine auftreten, sondern hierarchisch angeordnet sind
(die Ausgabe eines Schedulers wird zur Eingabe des nächst tieferen)
- dadurch werden auch exlizit Ordnungen ZWISCHEN Transaktionen (starke und schwache Eingabeordnung)
betrachtet. Die Einhaltung dieser Eingabeordnungen msss zusätzlich noch berücksichtigt werden; im
Falle von CPSR ist dies nicht nötig, da solche Eingabeordnungen nicht existieren.
Gruss, Heiko