SCert: Speculative certification in replicated software transactional memories

  title={SCert: Speculative certification in replicated software transactional memories},
  author={Nuno Carvalho and Paolo Romano and Lu{\'i}s E. T. Rodrigues},
Being much simpler to compose and verify than classical lock based synchronization schemes, Software Transactional Memories (STMs) have emerged as an attractive paradigm for supporting concurrent access to in-memory storage systems. This paper is focused on the issue of how to replicate STMs to enhance both their performance and dependability. This is an extremely challenging problem, since the communication/processing ratio in STMs is typically several orders of magnitude higher than in… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 20 extracted citations

Distributed Computing and Networking

Lecture Notes in Computer Science • 2014
View 10 Excerpts
Highly Influenced

Dealing with Interactive Transactions in a Byzantine Fault Tolerant STM

2014 Brazilian Symposium on Computer Networks and Distributed Systems • 2014
View 6 Excerpts
Highly Influenced

Enhancing Locality via Caching in the GMU Protocol

2014 14th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing • 2014
View 4 Excerpts

Similar Papers

Loading similar papers…