Datenbanken

Binäre Sperren

2 Zustände: entsperrt (0) // gesperrt (1)

2 Operationen: lock_item (X) // unlock_item (X)

Transaktion fordert den Zugriff auf ein Datenobjekt X an, indem sie lock_item (X) aufruft; X ist gesperrt, Transaktion kann zugreifen

Transaktion ist beendet--> ruft unlock_item (X) auf

lock_item (X) und unlock_item (X) sind atomare Operationen => können nicht nebenläufig zueinander ausgeführt werden

Binäre Sperre wird im Betriebssystemkontext "Mutex" (eng.: Exclusion) genannt

Diskussion