Debugging programs that use atomic blocks and transactional memory

ACM SIGPLAN Notices

Volumn 45, Issue 5, 2010, Pages 57-66

  Zyulkyarov, Ferad ^a   Harris, Tim ^b   Unsal, Osman S ^a   Cristal, Adrián ^a   Valero, Mateo ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Debugging; Transactional Memory

Indexed keywords

ATOMIC BLOCKS; BENCHMARK SUITES; DEBUGGERS; DEBUGGING; PROGRAM STATEMENTS; RESEARCH PROTOTYPE; TRANSACTIONAL MEMORY;

ATOMS; BENCHMARKING; SOFTWARE PROTOTYPING; STORAGE ALLOCATION (COMPUTER);

PROGRAM DEBUGGING;

EID: 77957549508     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1837853.1693463     Document Type: Conference Paper

References (26)

1. M. Abadi, T. Harris, and M. Mehrara. Transactional memory with strong atomicity using off-the-shelf memory protection hardware. In PPoPP '09: Proc. 14th ACM SIGPLAN symposium on principles and practice of parallel programming, pages 185-196, Feb. 2009.
2. J. Bobba, K. E. Moore, H. Volos, L. Yen, M. D. Hill, M. M. Swift, and D. A. Wood. Performance pathologies in hardware transactional memory. In ISCA '07: Proc. 34th international symposium on computer architecture, pages 81-91, June 2007. (Pubitemid 47582093)
3. C. Cao Minh, J. Chung, C. Kozyrakis, and K. Olukotun. STAMP: Stanford transactional applications for multi-processing. In IISWC '08: Proc. 11th IEEE international symposium on workload characterization, pages 35-46, September 2008.
4. H. Chafi, C. Cao Minh, A. McDonald, B. D. Carlstrom, J. Chung, L. Hammond, C. Kozyrakis, and K. Olukotun. TAPE: A transactional application profiling environment. In ICS '05: Proc. 19th international conference on supercomputing, pages 199-208, June 2005.
5. H. Chafi, J. Casper, B. D. Carlstrom, A. McDonald, C. Cao Minh, W. Baek, C. Kozyrakis, and K. Olukotun. A scalable, non-blocking approach to transactional memory. In HPCA '07: Proc. 13th IEEE international symposium on high performance computer architecture, pages 97-108, Feb. 2007.
6. D. Dice, O. Shalev, and N. Shavit. Transactional locking II. In DISC '06: Proc. 20th ACM international symposium on distributed computing, pages 194-208, Sept. 2006.
7. V. Gajinov, F. Zyulkyarov, A. Cristal, O. S. Unsal, E. Ayguadé, T. Harris, and M. Valero. QuakeTM: Parallelizing a complex serial application using transactional memory. In ICS '09: Proc. 23rd international conference on supercomputing, pages 126-135, June 2009.
8. S. Gupta, F. Sultan, S. Cadambi, F. Ivancic, and M. Rotteler. Using hardware transactional memory for data race detection. In IPDPS '09: Proc. 23rd IEEE international parallel and distributed processing symposium, pages 1-11, may 2009.
9. T. Harris and K. Fraser. Language support for lightweight transactions. In OOPSLA '03: Proc. 18th ACM SIGPLAN conference on objectoriented programming, systems, languages, and applications, pages 388-402, Oct. 2003.
10. T. Harris, M. Plesko, A. Shinnar, and D. Tarditi. Optimizing memory transactions. In PLDI '06: Proc. 2006 ACM SIGPLAN conference on programming language design and implementation, pages 14-25, June 2006.
11. M. Herlihy and Y. Lev. tm db: A generic debugging library for transactional programs. In PACT '09: Proc. 18th international conference on parallel architectures and compilation techniques, pages 136-145, Sep 2009.
12. G. Kestor, S. Stipic, O. S. Unsal, A. Cristal, and M. Valero. RMS-TM: A transactional memory benchmark for recognition, mining and synthesis applications. In TRANSACT '09: 4th workshop on transactional computing, Feb. 2009.
13. J. Larus and R. Rajwar. Transactional Memory (Synthesis Lectures on Computer Architecture). 1st edition, Jan. 2007.
14. Y. Lev. Making debuggers transaction-ready. Transactional Memory: From Implementation to Application, Seminar 2008241, Dagstuhl, Germany, June 2008.
15. Y. Lev, V. Luchangco, V. J. Marathe, M. Moir, D. Nussbaum, and M. Olszewski. Anatomy of a scalable software transactional memory. In TRANSACT '09: 4th workshop on transactional computing, Feb. 2009.
16. Y. Lev and M. Moir. Debugging with transactional memory. In TRANSACT '06: 1st workshop on transactional computing, June 2006.
17. Microsoft Corporation - MSDN. Debugger engine and extension APIs. http://msdn.microsoft.com/en-us/library/ cc267863.aspx.
18. Microsoft Corporation - MSDN. Debugging tools for windows. http://msdn.microsoft.com/en-us/library/cc266321. aspx.
19. V. Pankratius, A.-R. Adl-Tabatabai, and F. Otto. Does transactional memory keep its promises? Results from an empirical study. Technical Report 2009-12, University of Karlsruhe, Sept. 2009.
20. C. Perfumo, N. Sonmez, S. Stipic, A. Cristal, O. S. Unsal, T. Harris, and M. Valero. The limits of software transactional memory (STM): Dissecting Haskell STM applications on a many-core environment. In CF '08: Proc. 5th international conference on computing frontiers, pages 67-78, May 2008.
21. C. J. Rossbach, O. S. Hofmann, and E. Witchel. Is transactional programming actually easier? In PPoPP '10: Proc. 15th ACM SIGPLAN symposium on principles and practice of parallel programming, Jan. 2010.
22. M. F. Spear, M. Silverman, L. Dalessandro, M. M. Michael, and M. L. Scott. Implementing and exploiting inevitability in software transactional memory. In ICPP '08: Proc. 37th IEEE international conference on parallel processing, pages 59-66, Oct. 2008.
23. A. Welc, B. Saha, and A.-R. Adl-Tabatabi. Irrevocable transactions and their applications. In SPAA '08: Proc. 20th ACM symposium on parallelism in algorithms and architectures, pages 285-296, June 2008.
24. 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 '08: Proc. 20th ACM symposium on parallelism in algorithms and architectures, pages 265-274, June 2008.
25. F. Zyulkyarov, S. Cvijic, O. S. Unsal, A. Cristal, E. Ayguadé, T. Harris, and M. Valero. WormBench: A configurable workload for evaluating transactional memory systems. In MEDEA '08: Proc. 9th workshop on memory performance, pages 61-68, Oct. 2008.
26. F. Zyulkyarov, V. Gajinov, O. S. Unsal, A. Cristal, E. Ayguadé, T. Harris, and M. Valero. Atomic Quake: Using transactional memory in an interactive multiplayer game server. In PPoPP '09: Proc. 14th ACM SIGPLAN symposium on principles and practice of parallel programming, pages 25-34, Feb. 2009.