Stretching transactional memory

ACM SIGPLAN Notices

Volumn 44, Issue 6, 2009, Pages 155-165

  Dragojević, Aleksandar ^a   Guerraoui, Rachid ^a   Kapałka, Michal ^a  

^a EPFL   (Switzerland)

Author keywords

Benchmarks; Software transactional memories

Indexed keywords

BENCHMARKING; MULTICORE PROGRAMMING; STORAGE ALLOCATION (COMPUTER);

BUSINESS SOFTWARE; COMPLEX DATA STRUCTURES; CONFLICT DETECTION; MULTI-CORE SYSTEMS; POTENTIAL TARGETS; SOFTWARE SOLUTION; SOFTWARE TRANSACTIONAL MEMORY; TRANSACTIONAL MEMORY;

APPLICATION PROGRAMS;

EID: 67650841093     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1543135.1542494     Document Type: Conference Paper

References (42)

1. M. Abadi, A. Birrell, T. Harris, and M. Isard. Semantics of transactional memory and automatic mutual exclusion. In POPL, 2008.
2. A.-R. Adl-Tabatabai, B. T. Lewis, V. Menon, B. R. Murphy, B. Saha, and T. Shpeisman. Compiler and runtime support for efficient software transactional memory. In PLDI, 2006.
3. C. S. Ananian, K. AsanoviC., B. C. Kuszmaul, C. E. Leiserson, and S. Lie. Unbounded transactional memory. In HPCA, 2005.
4. M. Ansari, C. Kotselidis, K. Jarvis, M. Luján, C. Kirkham, and I. Watson. Lee-TM: A non-trivial benchmark for transactional memory. In ICA3PP, 2008.
5. The atomic-ops project. http://www.hpl.hp.com/research/ linux/atomic-ops.
6. C. Blundell, H. Cain, M. M. Michael, P. Wu, S. Chiras, and S. Chatterjee. Software transactional memory: Why is it only a research toy? ACM Queue, Sept. 2008.
7. J. Cachopo and A. Rito-Silva. Versioned boxes as the basis for memory transactions. Sci. Comput. Program., 63(2):172-185, 2006.
8. C. Cao Minh, J. Chung, C. Kozyrakis, and K. Olukotun. STAMP: Stanford transactional applications for multi-processing. In IISWC., 2008.
9. D. Dice, M. Herlihy, D. Lea, Y. Lev, V. Luchangco, W. Mesard, M. Moir, K. Moore, and D. Nussbaum. Applications of the adaptive transactional memory test platform. In TRANSACT, 2008.
10. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC., 2006.
11. A. Dragojević., R. Guerraoui, and M. Kapałka. Dividing transactional memories by zero. In TRANSACT, 2008.
12. R. Ennals. Efficient software transactional memory. Technical report, Intel Research Cambridge, Jan 2005.
13. K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Commun. ACM, 19(11):624-633, 1976.
14. P. Felber, C. Fetzer, U. Müller, T. Riegel, M. Süsskraut, and H. Sturzrehm. Transactifying applications using an open compiler framework. In TRANSACT, 2007.
15. R. Guerraoui, M. Herlihy, and B. Pochon. Polymorphic Contention Management. In DISC., 2005.
16. R. Guerraoui, M. Herlihy, and B. Pochon. Toward a theory of transactional contention managers. In PODC., 2005.
17. R. Guerraoui and M. Kapałka. On the correctness of transactional memory. In PPoPP, 2008.
18. R. Guerraoui, M. Kapałka, and J. Vitek. STMBench7: A benchmark for software transactional memory. In EuroSys, 2007.
19. T. Harris and K. Fraser. Revocable locks for non-blocking programming. In PPoPP, 2005.
20. T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Composable memory transactions. In PPoPP, 2005.
21. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In PLDI, 2006.
22. M. Herlihy, V. Luchangco, M. Moir, and W. Scherer. Software transactional memory for dynamic-sized data structures. In PODC., 2003.
23. M. Herlihy and J. E. B. Moss. Transactional memory: Architectural support for lock-free data structures. In ISCA, 1993.
24. J. R. Larus and R. Rajwar. Transactional Memory. Morgan&Claypool, 2007.
25. Y. Lev, V. Luchangco, V. Marathe, M. Moir, D. Nussbaum, and M. Olszewski. Anatomy of a scalable software transactional memory. In TRANSACT, 2009.
26. Y. Lev, M. Moir, and D. Nussbaum. PhTM: Phased transactional memory. In TRANSACT, 2007.
27. V. J. Marathe, M. F. Spear, C. Heriot, A. Acharya, D. Eisenstat, W. N. Scherer III, and M. L. Scott. Lowering the overhead of software transactional memory. In TRANSACT, 2006.
28. V. J. Marathe, M. F. Spear, and M. L. Scott. Scalable techniques for transparent privatization in software transactional memory. In ICPP, 2008.
29. Y. Ni, A. Welc, A.-R. Adl-Tabatabai, M. Bach, S. Berkowits, J. Cownie, R. Geva, S. Kozhukow, R. Narayanaswamy, J. Olivier, S. Preis, B. Saha, A. Tal, and X. Tian. Design and implementation of transactional constructs for c/c++. In OOPSLA, 2008.
30. C. H. Papadimitriou. The serializability of concurrent database updates. J. ACM, 26(4), 1979.
31. T. R. Pascal Felber and C. Fetzer. Dynamic performance tuning of word-based software transactional memory. In PPoPP, 2008.
32. R. Rajwar, M. Herlihy, and K. Lai. Virtualizing transactional memory. In ISCA, 2005.
33. T. Riegel, P. Felber, and C. Fetzer. A lazy snapshot algorithm with eager validation. In DISC., 2006.
34. RSTM home page. http://www.cs.rochester.edu/research/ synchronization/rstm.
35. B. Saha, A.-R. Adl-Tabatabai, R. L. Hudson, C. Cao Minh, and B. Hertzberg. McRT-STM: a high performance software transactional memory system for a multi-core runtime. In PPoPP, 2006.
36. W. N. Scherer III and M. L. Scott. Contention management in dynamic software transactional memory. In CSJP, 2004.
37. N. Shavit and D. Touitou. Software transactional memory. In PODC., 1995.
38. M. F. Spear, V. J. Marathe, L. Dalessandro, and M. L. Scott. Privatization techniques for software transactional memory. In PODC), 2007.
39. M. F. Spear, V. J. Marathe, W. N. Scherer III, and M. L. Scott. Conflict detection and validation strategies for software transactional memory. In DISC., 2006.
40. T. Sweeney. The next mainstream programming language: a game developer's perspective. Invited talk at POPL, 2006.
41. I. William N. Scherer and M. L. Scott. Advanced contention management for dynamic software transactional memory. In PODC., 2005.
42. R. M. Yoo, Y. Ni, A. Welc, B. Saha, A.-R. Adl-Tabatabai, and H.-H. S. Lee. Kicking the tires of software transactional memory: why the going gets tough. In SPAA, 2008.