From spontaneous total order to uniform total order: different degrees of optimistic delivery

A total order protocol is a fundamental building block in the construction of distributed fault-tolerant applications. Unfortunately, the implementation of such a primitive can be expensive both in terms of communication steps and of number of messages exchanged. This problem is exacerbated in large-scale systems, where the performance of the algorithm may be limited by the presence of high-latency links.Optimistic total order protocols have been proposed to alleviate this problem. However, different optimistic protocols offer quite distinct services. This paper makes an overview of different optimistic approaches and shows how they can be combined in a single adaptive protocol.

[1]  Luís E. T. Rodrigues,et al.  Appia, a flexible protocol kernel supporting multiple coordinated channels , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[2]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

[3]  Francisco Moura,et al.  Optimistic total order in wide area networks , 2002, 21st IEEE Symposium on Reliable Distributed Systems, 2002. Proceedings..

[4]  Ricardo Jiménez-Peris,et al.  Consistent Data Replication: Is It Feasible in WANs? , 2005, Euro-Par.

[5]  Robbert van Renesse,et al.  Reliable Multicast between Micro-Kernels , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[6]  Rachid Guerraoui,et al.  Software-Based Replication for Fault Tolerance , 1997, Computer.

[7]  David Powell,et al.  Group communication , 1996, CACM.

[8]  David M. Nicol,et al.  Simulation of large scale networks I: simulation of large-scale networks using SSF , 2003, WSC '03.

[9]  Guanhua Yan,et al.  Simulation of large scale networks using SSF , 2003, Proceedings of the 2003 Winter Simulation Conference, 2003..

[10]  André Schiper,et al.  Optimistic Atomic Broadcast , 1998, DISC.

[11]  André Schiper,et al.  Optimistic active replication , 2001, Proceedings 21st International Conference on Distributed Computing Systems.

[12]  Robbert van Renesse,et al.  Fast protocol transition in a distributed environment (brief announcement) , 2000, PODC '00.

[13]  Kenneth P. Birman,et al.  Exploiting virtual synchrony in distributed systems , 1987, SOSP '87.