Zab Correcteness

Apparently Yahoo! Labs removed access to tech reports, including the proof of correctness we had written for Zab (ZooKeeper Atomic Broadcast). I'm consequently making it available here. YL-2010-007

Keep moving forward: Liveness in distributed systems

In distributed computing jargon, properties are classified as either safety or liveness properties [1, 2]. Consistency is a typical safety property: the state of the system is never inconsistent for some definition of consistent. Of course, "never inconsistent" assumes an ideal world in which us developers do everything right in the code, which history has … Continue reading Keep moving forward: Liveness in distributed systems