Authors:
Roy Friedman,
Idit Keidar,
Dalia Malki,
Ken Birman and
Danny Dolev.
Technical Report CS95-16, Institute of Computer Science, The Hebrew
University of Jerusalem, 1995. Also Technical Report 95-1554,
Department of Computer Science, Cornell University.
Abstract:
We study decision protocols in a model that closely approximates
``real'' distributed systems. Our results show how the weakest
failure detector and associated consensus algorithm can be adapted to
a network in which omission failures can occur during periods when
processes suspect one-another as faulty. For protocols in which a
majority subset of the participants can reach decisions on behalf of
the system as a whole, we also characterize a series of stages that
necessarily arise during execution.
Postscript Version:
ps,
ps.gz.
idish@theory.lcs.mit.edu
Last modified: Fri Nov 13 11:03:24 EST 1998