On speculative replication of transactional systems
作者：
Highlights：
• 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.
摘要
•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.
论文关键词：Fault tolerance,Distributed protocols,Software transactional memories
论文评审过程：Received 17 December 2010, Revised 28 November 2012, Accepted 22 July 2013, Available online 6 August 2013.
论文官网地址：https://doi.org/10.1016/j.jcss.2013.07.006
