A replication protocol to support dynamically configurable groups of servers

The paper addresses the problem of dynamic configuration management of highly available services. In particular, we are concerned with services that are provided by a group of actively replicated servers and are used by a large, rapidly changing set of clients. In this system model, we propose a replication management protocol to facilitate the dynamic configuration management of the server group, while maintaining service state consistency. We argue about the correctness of the protocol and report on initial implementation results.