In either case, these consensus protocols terminate in a expected number of operations polynomial in the number of clients. With consensus objects in hand, implementing exactlyone mutual exclusion is straightforward. Each mutual exclusion object is represented by a consensus object. However, the consensus object based implementation described here, while somewhat more complex, offers certain advantages in practice. Due to the quorum structure of our system, the aforementioned simpler solutions to exactly one mutual exclusion provide less information to servers and thus less capability for these added features.
Survivable consensus objects .
In Proceedings of the 17th IEEE Symposium on Reliable Distributed Systems, October 1998.