OSLP kombiniert pessimistisches Locking (X-Locks) mit Validierung (bei OS-Locks).
Unendliches Warten ist hier aus zwei Gründen möglich:
Bei der X-Lock-Anforderung wird TA in Warten versetzt, wenn andere TA Lock hält.
Bei der Commit-Durchführung wird TA in Warten versetzt, wenn andere TA davor ihr Commit noch nicht durchgeführt hat.
Es muss daher mit häufigem Rücksetzen von Transaktionen gerechnet werden, bei Protokollen, die OS-Lock für Lesen von nicht verbindlichem Schreiben erlauben, sogar kaskadierend.
Es ist offen, wie OSLP mit der vereinheitlichten Theorie CC und REC kombiniert werden kann.
!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!