Submission to IEEE Transactions on Knowledge and Data Engineering. D. Malkhi and M. Reiter. In addition, in Section 6, we demonstrate how masking quorum systems can be used to guarantee consistency and completion of updates, even those executed by faulty clients. The rest of this paper is structured as follows. We begin in Section 2 with a description of related work.
Survivable consensus objects .
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.