Phase 1: Basic semantics stats Overall stats Individual lock stats (Who's got it, how long, etc...) Phase 2: Durability/Fault Tolerance Store lock states in mnesia. Demonstrate various failure modes and global lock consistency.