On the coordinator's rule for Fast Paxos

  • Authors:

  • Gustavo M. D. Vieira;Luiz E. Buzato

  • Affiliations:

  • Institute of Computing---UNICAMP, Caixa Postal 6176, 13083-970 Campinas, São Paulo, Brazil;Institute of Computing---UNICAMP, Caixa Postal 6176, 13083-970 Campinas, São Paulo, Brazil

  • Venue:
  • Information Processing Letters
  • Year:
  • 2008

Quantified Score

Hi-index 0.89

Visualization

Abstract

Fast Paxos is an algorithm for consensus that works by a succession of rounds, where each round tries to decide a value v that is consistent with all past rounds. Rounds are started by a coordinator process and consistency is guaranteed by the rule used by this process for the selection of v and by the properties of process sets called quorums. We show a simplified version of this rule for the specific case where the quorums are defined by the cardinality of these process sets. This rule is of special interest for implementors of the algorithm.