News for hackers. Stuff that matters.
Re:Doozer: a consistent, highly-available data store from He... by krarick on Thursday April 14, 2011 @03:49AM (#2446001)
That is not how paxos works. It guarantees that all hosts in the system learn the same sequence of writes. The scenario where "one host accepts the write and two fail" does not happen. This is proved in http://research.microsoft.com/users/lamport/pubs/paxos-simpl...
Re:Doozer: a consistent, highly-available data store from He... by leef on Thursday April 14, 2011 @10:50AM (#2447020)
Right, I was talking about the quorum semantics as used by systems like Dynamo and Cassandra. Paxos provides a much stronger guarantee than simple quorums.