Multicast Group Communication as a Base for a Load-Balancing Replicated Data Service

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.

• Type: Conference
• Year: 1998
• Where: WDAG
• Authors: Roger Khazan, Alan Fekete, Nancy A. Lynch
• Keywords: Algorithm Performs Updates, Algorithms, Consistent Replicated Data, View Synchronous Group, WDAG 1998