Efficient asynchronous consensus with the value-oblivious adversary scheduler

  • Yonatan Aumann
  • Michael A. Bender
Session 15: Distributed Systems

DOI: 10.1007/3-540-61440-0_164

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1099)
Cite this paper as:
Aumann Y., Bender M.A. (1996) Efficient asynchronous consensus with the value-oblivious adversary scheduler. In: Meyer F., Monien B. (eds) Automata, Languages and Programming. ICALP 1996. Lecture Notes in Computer Science, vol 1099. Springer, Berlin, Heidelberg

Abstract

We consider the power given to adversary scheduler of an asynchronous system and define the value-oblivious scheduler. At each step this scheduler determines the next processor to operate based on the full history of the dynamics of the execution; the scheduler is oblivious to the intermediate values the processors manipulate. We argue that the value-oblivious scheduler captures the possible sources of asynchrony in real systems.

Assuming the value oblivious adversary, we study the asynchronous consensus problem in the shared-memory setting with atomic reads and writes. We present a probabilistic algorithm that obtains consensus in O(n log2n) total work. Here, total work is defined as the total number of steps performed by all processors collectively. Thus, the amortized work per processor is O(log2n).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Yonatan Aumann
    • 1
  • Michael A. Bender
    • 2
  1. 1.Department of Mathematics and Computer ScienceBar-Ilan UniversityRamat-GanIsrael
  2. 2.Aiken Computation LaboratoryHarvard UniversityCambridge

Personalised recommendations