We give a rigorous account of an algorithm that provides sequentially consistent replicated data on top of the view synchronous group communication servide 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.
展开▼
机译:我们提供了一个严格的算法帐户,该算法在以前由Fekete,Lynch和Shvartsman指定的视图同步组通信常规上提供顺序一致的复制数据。该算法在大多数视图的所有成员处执行更新,但旋转成员之间的查询工作以均衡负载。使用I / O Automata呈现和验证该算法。
展开▼