Replica management in object-based systems

In object-based systems, objects are encapsulations of data and procedures named methods and methods are invoked in a nested manner. We discuss how to lock replicated objects by using the quorum-based scheme. If a pair of methods op₁ and op₂ are compatible each method is surely performed on some replica, but both of them may not be performed on the same replica. Compatible methods are exchanged between the replicas if both the methods are not performed on any of the replicas in our protocol. If a method op₁ is invoked on multiple replicas and each instance of the method op₁ invokes a method op₂, op₂ is performed multiple times on an object, i.e. redundant invocation. In addition since each instance of op₁ issues a request op₂ to its quorum, more number of the replicas are locked than the quorum number of op₁ . This is quorum explosion. We discuss how to resolve these redundant invocations and quorum explosion