Issue No. 08 - August (2009 vol. 58)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2009.71
Alysson Neves Bessani , University of Lisboa, Lisboa
Miguel Correia , University of Lisboa, Lisboa
Joni da Silva Fraga , Universidade Federal de Santa Catarina, Florianópolis
Lau Cheuk Lung , Universidade Federal de Santa Catarina, Florianópolis
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconnections and security against malicious actions. Tuple spaces are a well-known coordination model for this kind of systems. They can support communication that is decoupled both in time and space. There are currently several implementations of distributed fault-tolerant tuple spaces but they are not Byzantine-resilient, i.e., they do not provide a correct service if some replicas are attacked and start to misbehave. This paper presents an efficient implementation of a Linearizable Byzantine fault-tolerant Tuple Space (LBTS) that uses a novel Byzantine quorum systems replication technique in which most operations are implemented by quorum protocols while stronger operations are implemented by more expensive protocols based on consensus. LBTS is linearizable and wait-free, showing interesting performance gains when compared to a similar construction based on state machine replication.
Tuple spaces, Byzantine fault tolerance, intrusion tolerance, quorum systems.
M. Correia, A. N. Bessani, J. da Silva Fraga and L. C. Lung, "An Efficient Byzantine-Resilient Tuple Space," in IEEE Transactions on Computers, vol. 58, no. , pp. 1080-1094, 2009.