Quorum-based locking protocol for replicated objects

In order to make an object based system fault tolerant, objects are replicated. We discuss a novel object based locking (OBL) protocol to lock replicated objects by extending the traditional quorum based protocols to abstract methods. If a pair of methods op₁ and op₂ are compatible, the quorums for op₁ and op₂ do not intersect in the OBL protocol, even if op₁ or op₂ updates the object. We propose a version vector to identify which methods are performed on a replica. We discuss the OBL protocol where the replicas exchange the compatible methods by using the version vector