Using Atomic Actions in Replica Groups to Simplify the Replication Implementation

摘要

Active replica groups require complex protocols implementing ordering anddelivery guarantees to ensure state consistency. These protocols have an impact on the performance of the replica groups. In this report, we demonstrate that using atomic actions in the replication infrastructure allows the use of a simpler protocol. Execution failures of this protocol to ensure the ordering and delivery guarantees can now be managed within atomic actions by relying on their serialization property. The atomic actions are integrated in the replication infrastructure in such a way that interacting groups are not aware of each other's group membership changes. (Copyright (c) 1993 by Faculty of Technical Mathematics and Informatics, Delft, The Netherlands.)