Consensus in arbitrary failures
Last updated
Last updated
Consider a set of processes where the communication between processes is inconsistent.
Consider a primary P and n-1 backups B1, ..., Bn-1.
A client sends v ∈ {T, F} a P
Messages can get lost, but are detected.
Messages cannot be corrupted without being detected.
A message receptor can reliably detect who is the sender.
BA1: All non-failing backups store the same value.
BA2: If the primary is not failing then all non-failing backups store exactly what the primary sends.
