“BFT Services Programming with a Dependable Tuple Space”
in Proceedings of the 39th IEEE International Conference on Dependable Systems and Networks (DSN 2009) - Fast Abstract, Estoril, Portugal, Jun-Jul 2009., Jun. 2009.
Abstract: In the last decade there has been a large body of work in how to make Byzantine fault-tolerant (BFT) systems more practical. Most of these works aim to provide efficient implementations of abstractions such as state machine replication, consensus and read-write registers. These abstractions are well regarded as important building blocks to architect dependable distributed systems. In this paper we advocate the idea of using a new abstraction for programming dependable systems: the coordination service. The idea is to have one or more shared memory objects providing some synchronization power that allows distributed problems to be solved. The final objective is to make dependable services programming more simple.
Research line(s): Fault And Intrusion Tolerance in Open Distributed Systems (FIT)