On speculative replication of transactional systems
Main innovative idea: exploitation of speculative processing to overlap replica coordination and local computation phases in actively replicated transactional systems. Speculation is based on the exploration of multiple transaction serialization orders associated with alternative final (definitive) message delivery orders. Speculation takes into account actual conflict relations among transactions, which allows exploring non-redundant (already explored) serialization orders. Definition of a formal framework specifying speculative replication of transactional systems in terms of correctness and optimality properties. Assessment of the relevance of the proposed framework via a simulation study in the context of Software Transactional memory systems.
software transactional memories fault tolerance distributed protocols