Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour

International audience; Consensus is the most basic agreement problem encountered in fault-tolerant distributed computing: each process proposes a value and non-faulty processes must agree on the same value, which has to be one of the proposed values. While this problem is impossible to solve in asynchronous systems prone to process crash failures, it can be solved in synchronous (round-based) systems where all but one process might crash in any execution. It is well-known that (t + 1) rounds are necessary and sufficient in the worst case execution scenario for the processes to decide and stop executing, where t < n is a system parameter denoting the maximum number of allowed process crashes and n denotes the number of processes in the system. Early decision and stopping considers the case where f < t processes actually crash, f not being known by processes. It has been shown that the number of rounds that have to be executed in the worst case is then min(f + 2, t + 1). Following Castañeda, Gonczarowski and Moses (DISC 2014), the paper shows that this value is an upper bound attained only in worst execution scenarios. To this end, it investigates a sequence of three early deciding/stopping predicates P1 = Pcount, P2 = P dif and P3 = P pref0 , of increasing power, which differ in the information obtained by the processes from the actual failure, communication and data pattern. It is shown that each predicate Pi is better than the previous one Pi−1, i ∈ {2, 3}, in the sense that there are executions where Pi allows processes to reach a decision earlier than Pi−1, while Pi−1 never allows a process to decide earlier than Pi. Moreover, P3 = P pref0 is an unbeatable predicate in the sense that it cannot be strictly improved: if there is an early deciding/stopping predicate P that improves the decision time of a process with respect to P pref0 in a given execution , then there is at least one execution in which a process decides with P strictly later than with P pref0 .