traitorous

# traitorous - Traitorous Failures and Consensus Dennis...

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

Traitorous Failures and Consensus Dennis Shasha (following Lynch, Fischer, Merritt)

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

View Full Document
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).
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.

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

View Full Document
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).
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-

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

View Full Document
This is the end of the preview. Sign up to access the rest of the document.

## traitorous - Traitorous Failures and Consensus Dennis...

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

View Full Document
Ask a homework question - tutors are online