Locking Engineering Principles

cs distributed systems