Date: 02 Jun 2005

Efficient asynchronous consensus with the value-oblivious adversary scheduler

* Final gross prices may vary according to local VAT.

Get Access


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 log2 n) 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(log2 n).

This work was done while the author was at Harvard University, supported in part by ONR contract ONR-N00014-91-J-1981.
The author was supported by NSF contract CCR-9313775.