Common Contracts
1 similar Efficient Agreement contracts
Efficient Agreement Protocols for Asynchronous Distributed SystemsEfficient Agreement • May 18th, 2021
However, in the presence of a single failure, the processes might gather different sets of values and the minimum among them might not be the same for each process. If processes use timeouts, then each of them might use different timeout on different sets of proposals which would lead to processes deciding on different values, therefore violating the Agree- ment property. Thus, each process should wait until it has received a value from each other process. But if only one process is faulty and crashes, every other correct process would then wait forever and may never decide on a value (see Figure 2.2).
