| D. Malki and R. van Renesse. The Replication Service Layer. internal manuscript, 1994. |
....consistent object replication over dynamic networks; the network may partition into several components 1 , and remerge. COReL is a high level communication service layer, designed in the Transis environment. It supplies the services defined for the Replication Service layer in HORUS and Transis [22]. COReL may be implemented over any transport layer that supplies similar group membership and multicast services. It is well known that reaching agreement in asynchronous environments with a possibility of even one failure is impossible [17] Every fault tolerant algorithm that correctly solves ....
....may partition into several components, and remerge. It is explicitly assumed that multiple network components may exist in the system simultaneously. COReL is designed as a high level communication layer, supporting the services defined for the Replication Service layer in HORUS and Transis [22]. This layer is built on top of a transport layer that supplies reliable group multicast and membership services with the restrictions described in Section 4. COReL supports long term reliable multicast; it guarantees that all the messages will eventually reach all their destinations, and will be ....
D. Malki and R. V. Renesse. The Replication Service Layer. Private Communication.
....specifies otherwise. However, the system provides no means for merging the components upon recovery. The Horus system intends to adopt the Transis approach to partitionable operation, and to collaborate with us on the development of high level mechanisms and methodologies for partition recovery [41]. The second issue that trigerred the work on Transis is, that the implementation of the 1 Sometimes in the literature, a partition refers to a disconnected network component. We use the term partition to denote the detaching of the network, that causes several components to become ....
D. Malki and R. van Renesse. The Replication Service Layer. internal manuscript, 1994.
....It requires end to end acknowledgment only on membership changes, and not on each update message. The algorithm requires certain properties of the EVS model [15] ffl A general purpose message logging and replaying service is given in the Persistent Replication Service Layer (PRSL) of Horus [14]. Unlike the above applications, the order of messages in this application is unimportant, and the goal is to diffuse messages throughout the system despite failures and partitions. The PRSL performs automatic merging of detached components upon recovery. The merging procedure gains considerable ....
D. Malki and R. van Renesse. The Replication Service Layer. internal manuscript, 1994.
....on WAN protocols in this paper. Transis is a modular and extendible system. Many higher level services can benefit from the underlying transport services. For example, in the current prototype, Transis supports a Persistent Replication Service, designed in collaboration with the Horus project [21]. The Persistent Replication Service Layer (PRSL) provides the application builder with long term services such as message logging and replaying, and reconciliation of states among recovered and reconnected endpoints. The persistent message replication service that is built within Transis provides ....
....Persistent Replication Services Transis is a modular and extendible system. We envision many higher level services that can benefit from the underlying transport services. In this section, we describe the Persistent Replication Service designed for Transis in collaboration with the Horus project [21]. The Persistent Replication Service Layer (PRSL) provides the application builder with long term services such as message logging and replaying, and reconciliation of states among recovered and reconnected endpoints. The PRSL supports multicast messages among members of a designated group. The ....
D. Malki and R. van Renesse. The Replication Service Layer. internal manuscript, 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC