Sharing Memory between Byzantine Processes using Policy-Enforced Tuple Spaces

A.N.Bessani and M.Correia and J.S.Fraga and L.C.Lung

In Proceedings of the 26th International Conference on Distributed Computing Systems (ICDCS), July 2006


Despite the large amount of Byzantine fault-tolerant algorithms for message-passing systems designed through the years, only recently algorithms for the coordination of processes subject to Byzantine failures using shared memory have appeared. This paper presents a new computing model in which shared memory objects are protected by fine-grained access policies, and a new shared memory object, the policy-enforced augmented tuple space (PEATS).

We show the benefits of this model by providing simple and efficient consensus algorithms. These algorithms are much simpler and use less memory bits than previous algorithms based on ACLs and sticky bits. We also prove that PEATSs are universal (they can be used to implement any shared memory object), and present an universal construction.



    author  = "A. N. Bessani and M. Correia and J. S. Fraga and L. C. Lung",

    title       = "Sharing Memory between {B}yzantine Processes using Policy-Enforced Tuple Spaces",

    booktitle    = "Proceedings of the 26th International Conference on Distributed Computing Systems",

    year         = "2006",

    month        = jul


Extended Version

Download the pdf.