Multicast Group Communication as a Base for
a Load-Balancing Replicated Data Service.
Authors: Roger Khazan,
Alan
Fekete, and Nancy Lynch.
12th International Symposium on Distributed Computing (DISC98).
September 1998.
Full paper: Massachusetts Institute of Technology, Laboratory for Computer
Science. Master's Thesis. May 1998.
Abstract:
We give a rigorous account of an algorithm that provides sequentially consistent
replicated data on top of the view synchronous group communication service
previously specified by Fekete, Lynch and Shvartsman. The algorithm
performs updates at all members of a majority view, but rotates the work
of queries among the members to equalize the load. The algorithm
is presented and verified using I/O automata.
Full version (Master's Thesis): ps
[1.36M], ps.gz,
pdf,
abstract