On the correctness of transactional memory

By Rachid Guerraoui, M. Kapalka. ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming, 2008

513 citations recorded by the source corpus.

Subfields: Computer Networks and Communications, Experimental and Cognitive Psychology

View Paper: https://www.semanticscholar.org/paper/13f7c5807452ae602046582a385c0fb544ec5de1

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computer Networks and Communications

1. T. Harris
2. J. Larus
3. Ravi Rajwar
4. Dushyanth Narayanan
5. Miguel Oom Temudo de Castro
6. Keir Fraser
7. Håkan Grahn
8. Maged M. Michael

In Experimental and Cognitive Psychology

1. T. Harris
2. J. Larus
3. Ravi Rajwar

Citations in the corpus

• Transactional Memory, 2nd edition (2010, background): “Guerraoui and Kapałka formalized this as the notion of opacity [125], by defining a form of strict serializability in which running and aborted transactions must also appear in the serial order (albeit without their effects being exposed to other threads).”
• No compromises: distributed transactions with consistency, availability, and performance (2015, background): “This illustrates the importance of reducing CPU overhead to realize the potential of the new hardware.”