Strict 2PL
Strict 2PL:
If T wants to read an object, first obtains an S lock.
If T wants to modify an object, first obtains X lock.
Hold all locks until end of transaction.
Guarantees serializability, and recoverable schedule, too!
Thus ensures ACA!
Previous slide
Next slide
Back to first slide
View graphic version