Locks and Versions

A compact concurrency-control book for readers extending the track: 2PL locking, waits, deadlocks, MVCC version chains, snapshot reads, and recomputed protocol traces.

Concurrency Control

Shared vs Exclusive Locks
Two-phase Locking
Conflicting Request Waits
Deadlock Is a Wait-for Cycle
MVCC Writes Create Versions
Snapshot Reads
Locks vs Versions
Honest by Construction