Validity Conditions in Agreement Problemsand Time Complexity

Abstract : We study the time complexity of different agreement problems in the synchrono- us model with crash failures, by varying their validity condition. We first introduce a continuous class of agreement problems, the k-TAg problems, which includes both the Uniform Consensus and Non-Blocking Atomic Commitment. We then exhibit a general early-deciding algorithm, that we instanciate to solve every problem of this class. The algorithm always achieves the previously established lower-bounds for early-deciding, showing that these lower-bounds are tight.
Document type :
Reports
[Research Report] RR-4526, INRIA. 2002
Liste complète des métadonnées

https://hal.inria.fr/inria-00072062
Contributor : Rapport de Recherche Inria <>
Submitted on : Tuesday, May 23, 2006 - 7:40:38 PM
Last modification on : Saturday, September 17, 2016 - 1:27:41 AM
Document(s) archivé(s) le : Sunday, April 4, 2010 - 10:51:19 PM

Identifiers

  • HAL Id : inria-00072062, version 1

Collections

Citation

Bernadette Charron-Bost, Fabrice Le Fessant. Validity Conditions in Agreement Problemsand Time Complexity. [Research Report] RR-4526, INRIA. 2002. <inria-00072062>

Share

Metrics

Record views

131

Document downloads

72