Software replication in three-tiers architectures: is it a real challange?

This paper is a first attempt to study the problem of handling software replication in three tiers architectures. In particular a study based on synchronization and communication patterns imposed by replication is presented. We show how the complexity of the replication scheme is affected by the deterministic (or not) behavior of the members of the backtier We also give two generic synchronization and communication patterns used in two and three tiers replication. Well-known schemes such us active and passive replication are particular instances of these generic patterns.

[1]  Fred B. Schneider,et al.  The primary-backup approach , 1993 .

[2]  Louise E. Moser,et al.  Totem: a fault-tolerant multicast group communication system , 1996, CACM.

[3]  Vivek Agrawala,et al.  Asynchronous Fault-Tolerant Total Ordering Algorithms , 1993, SIAM J. Comput..

[4]  André Schiper,et al.  Lightweight causal and atomic group multicast , 1991, TOCS.

[5]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[6]  Fred B. Schneider,et al.  Implementing fault-tolerant services using the state machine approach: a tutorial , 1990, CSUR.

[7]  Robbert van Renesse,et al.  Horus: a flexible group communication system , 1996, CACM.

[8]  Maurice Herlihy,et al.  Linearizability: a correctness condition for concurrent objects , 1990, TOPL.

[9]  Flaviu Cristian,et al.  A Highly Available Local Leader Election Service , 1999, IEEE Trans. Software Eng..

[10]  Rachid Guerraoui,et al.  Implementing E-Transactions with Asynchronous Replication , 2001, IEEE Trans. Parallel Distributed Syst..

[11]  Yair Amir,et al.  Transis: A Communication Sub-system for High Availability , 1992 .

[12]  Robbert van Renesse,et al.  Reliable Distributed Computing with the Isis Toolkit , 1994 .

[13]  Leslie Lamport,et al.  Concurrent reading and writing , 1977, Commun. ACM.

[14]  Flaviu Cristian,et al.  The Timed Asynchronous Distributed System Model , 1998, IEEE Trans. Parallel Distributed Syst..

[15]  André Schiper,et al.  Uniform reliable multicast in a virtually synchronous environment , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

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

[17]  Maurice Herlihy,et al.  Wait-free synchronization , 1991, TOPL.