“Probabilistic Adaptive Time-Aware Consensus”
in Eurosys 2009, WIP session, Nuremberg, Germany, March 2009, Mar. 2009.
Abstract: The consensus problem is a fundamental building block on the design of distributed systems, as it contributes to the coordination of actions in order to achieve consistent decisions. In a consensus execution, each process proposes an initial value to the others, and, despite failures, all correct processes have to agree on a common value, which has to be one of the proposed values. The solution for many agreement problems, such as atomic broadcast, leader election or clock synchronization, relies on the ability to achieve some form of consensus among a set of processes. In distributed applications that require agreement-based services to be provided with certain guarantees with respect to timeliness, it may be necessary to ensure not only that consensus is solvable, but also that it is solvable within a bounded amount of time. In other words, it may be necessary to solve a timed consensus problem.
Research line(s): Timeliness and Adaptation in Dependable Systems (TADS)