Committing conflicting transactions in an STM

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2009, Pages 163-171

  Ramadan, Hany E ^a   Roy, Indrajit ^a   Herlihy, Maurice ^b   Witchel, Emmett ^a  

^a UNIVERSITY OF TEXAS AT AUSTIN   (United States)

^b BROWN UNIVERSITY   (United States)

Author keywords

Concurrency control; Dependence aware; Serializability; transactional memory

Indexed keywords

DEPENDENCE-AWARE; INTERLEAVINGS; SERIALIZABILITY; SOFTWARE TRANSACTIONAL MEMORY; SPEED-UP; STATE OF THE ART; TRANSACTIONAL MEMORY;

PARALLEL PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

CONCURRENCY CONTROL;

EID: 67650073118     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1504176.1504201     Document Type: Conference Paper

References (33)

1. Ali-Reza Adl-Tabatabai, Brian Lewis, Vijay Menon, Brian Murphy, Bratin Saha, and Tatiana Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI, Jun 2006. (Pubitemid 44074918)
2. Utku Aydonat and Tarek Abdelrahman. Serializability of transactions in software transactional memory. In TRANS- ACT, Feb 2008.
3. Philip Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison Wesley, 1987.
4. Charles T. Davies. Data processing spheres of control. IBM Systems Journal, 17(2), 1978.
5. Dave Dice, Ori Shalev, and Nir Shavit. Transactional locking II. In DISC, Sep 2006.
6. Dave Dice and Nir Shavit. What really makes transactions faster? In TRANSACT, Jun 2006.
7. Aleksandar Dragojevic, Rachid Guerraoui, and Michal Kapalka. Dividing Transactional Memories by Zero. In TRANSACT, Feb 2008.
8. Jim Gray and Andreas Reuter. Transaction Processing: Con- cepts and Techniques. Morgan Kaufmann, 1993.
9. Rachid Guerraoui, Michal Kapalka, and Jan Vitek. Stmbench7: A benchmark for software transactional memory. In EuroSys, Mar 2007.
10. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA, Oct 2003.
11. Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi. Optimizing memory transactions. In PLDI, Jun 2006. (Pubitemid 46946426)
12. Tim Harris and Srdan Stipic. Abstract nested transactions. In TRANSACT, Aug 2007.
13. Maurice Herlihy and Eric Koskinen. Dreadlocks: Efficient deadlock detection for stm. In TRANSACT, Feb 2008.
14. Maurice Herlihy and Eric Koskinen. Transactional boosting: a methodology for highly-concurrent transactional objects. In PPoPP, Feb 2008.
15. Maurice Herlihy, Victor Luchangco, and Mark Moir. A flexible framework for implementing software transactional memory. In OOPSLA, Oct 2006. (Pubitemid 46726085)
16. Maurice Herlihy and J. Eliot Moss. Transactional memory: Architectural support for lock-free data structures. In ISCA, May 1993.
17. Maurice Herlihy and Jeannette M. Wing. Linearizability: A correctness condition for concurrent objects. ACM TOPLAS, 12(3):463-492, Jul 1990. (Pubitemid 20721345)
18. Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, and L. Paul Chew. Optimistic parallelism requires abstractions. In PLDI, Jun 2007.
19. Jim Larus and Ravi Rajwar. Transactional Memory. Morgan & Claypool, 2006.
20. Nancy A. Lynch, Michael Merritt,William E.Weihl, and Alan Fekete. Atomic Transactions. Morgan Kaufmann, 1993.
21. Virendra J. Marathe, Michael F. Spear, Christopher Heriot, Athul Acharya, David Eisenstat, William N. Scherer III, and Michael L. Scott. Lowering the overhead of nonblocking software transactional memory. In TRANSACT, Jun 2006.
22. Chi Cao Minh, JaeWoong Chung, Christos Kozyrakis, and Kunle Olukotun. Stamp: Stanford transactional applications for multi-processing. In IEEE International Symposium on Workload Characterization (IISWC), Sep 2008.
23. Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Bronson, Jared Casper, Christos Kozyrakis, and Kunle Olukotun. An effective hybrid transactional memory system with strong isolation guarantees. In ISCA, Jun 2007.
24. Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, and David A. Wood. Supporting nested transactional memory in LogTM. In ASPLOS, Oct 2006. (Pubitemid 47168415)
25. J. Eliot Moss and Antony L. Hosking. Nested transactional memory: Model and preliminary architecture sketches. In SCOOL, Oct 2005.
26. Hany E. Ramadan, Christopher J. Rossbach, Owen Hofmann, and EmmettWitchel. Dependence-aware transactional memory. Technical Report TR-07-58, University of Texas at Austin, Computer Sciences Department, 2007.
27. Hany E. Ramadan, Christopher J. Rossbach, and Emmett Witchel. Dependence-aware transactions for increased concurrency. In MICRO, Nov 2008.
28. David P. Reed. Implementing atomic actions on decentralized data. ACM TOCS, 1(1), 1981.
29. Torvald Riegel, Christof Fetzer, and Pascal Felber. Snapshot isolation for software transactional memory. In TRANSACT, Jun 2006.
30. Torvald Riegel, Heiko Sturzrehm, Pascal Felber, and Christof Fetzer. From causal to z-linearizable transactional memory. Technical Report RR-I-07-02.1, Universite de Neuchatel, Institut d'Informatique, February 2007.
31. Nir Shavit and Dan Touitou. Software transactional memory. In PODC, Aug 1995.
32. Travis Skare and Christos Kozyrakis. Early release: Friend or foe? In Workshop on Transactional Memory Workloads, Jun 2006.
33. Michael Spear, Virendra Marathe, Luke Dalessandro, and Michael Scott. Privatization techniques for software transactional memory. In PODC, Aug 2007.