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!
Back to first slide
View graphic version