1 Principles of Reliable Distributed Systems Lecture 11: Disk Paxos, Quorum Systems, and Frangipani Spring 2008 Prof. Idit Keidar.