Global lock ordering avoids deadlocks. Locking Client failure handled via leases. Module linked into each Frangipani server. Lock ids are 64-bit integers. Lock table per file system.
Communication is via asynchronous messages.
Global lock information maintained via Lamports Paxos algorithm. 8 MB presto-serve board per server. Next looks at Conectathon benchmark. Frangipani is slower on creates, setattr, and readdir, but the authors claim that these operations don't matter. Recall that one of LFS's big claims was its superior create performance.