Das OSLP mit OS-Locks bei allen Konflikten ist zu CPSR äquivalent.
Unter Berücksichtigung der Commit-Plazierungen ist OSLP ordnungserhaltend serialisierbar und die Commitreihenfolge entspricht der Serialisierungsreihenfolge
Beweis-Skizze:
Aus OSLP folgt CPSR, da unter der Annahme eines Zyklus im SG
ein Widerspruch zum Protokoll abgeleitet wird, ähnlich wie beim 2PL
Aus CPSR folgt OSPL, da die topologische Sortierung des SG konstruktiv eine Commitreihenfolge liefert, welche durch ein OSLP
!!! 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 !!!