traitorous

traitorous - Traitorous Failures and Consensus Dennis...

Info iconThis preview shows pages 1–6. Sign up to view the full content.

View Full Document Right Arrow Icon
Traitorous Failures and Consensus Dennis Shasha (following Lynch, Fischer, Merritt)
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Problem Statement 1 Three generals A, B, and C. At most one is a traitor. The traitor knows the protocol and the inputs of the others. The generals must decide to attack or not to attack (analogous to commit or abort).
Background image of page 2
Problem Statement 2 Each day each general wakes up with an inclination to attack or not to attack. The generals then talk to one another by two way phone. So, A cannot overhear the conversation of B with C and symmetrically.
Background image of page 3

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Problem Statement 3 If all generals wake up with an attack inclination, the non-traitors should attack (liveness 1) If all generals wake up with a non-attack inclination, the non-traitors should not attack (liveness 2). If some wake up wanting to attack and others not, then either both non-traitors should attack or both should not attack (safety).
Background image of page 4
What Makes this Hard If all generals could get together in a single room, they could simply vote. If two vote to attack then at least one non-
Background image of page 5

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 6
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 11

traitorous - Traitorous Failures and Consensus Dennis...

This preview shows document pages 1 - 6. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online