Nested parallelism in transactional memory

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

Volumn , Issue , 2008, Pages 163-174

  Agrawal, Kunal ^a   Fineman, Jeremy T ^a   Sukha, Jim ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Cilk; Data structure; Fork join; Multithreading; Nested parallel computations; Series parallel computations; Transaction conflict detection; Transactional memory; Work stealing

Indexed keywords

DATA STRUCTURES; INTEGRATED CIRCUIT DESIGN; MULTITASKING; PARALLEL PROGRAMMING; PROGRAM PROCESSORS; STORAGE ALLOCATION (COMPUTER);

CILK; CONFLICT DETECTION; MULTI-THREADING; PARALLEL COMPUTATION; SERIES-PARALLEL; TRANSACTIONAL MEMORY; WORK STEALING;

PARALLEL PROCESSING SYSTEMS;

EID: 77749339453     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1345206.1345232     Document Type: Conference Paper

References (23)

1. Ali-Reza Adl-Tabatabai, Brian T. Lewis, Vijay Menon, Brian R. Murphy, Bratin Saha, and Tatiana Shpeisman. Compiler and runtime support for efficient software transactional memory. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 26-37, Jun 2006.
2. Kunal Agrawal, Charles E. Leiserson, and Jim Sukha. Memory models for open-nested transactions. In Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness (MSPC), October 2006. In conjunction with International Conference on Architectutal Support for Programming Languages and Operating Systems.
3. Eric Allen, David Chase, Joe Hllett, Victor Luchango, Jan-Willem Maessen, Sukyoung Ryu, Guy L. Steele Jr., and Sam Tobin-Hochstadt. The Fortress language specification, version 1.0 β. Technical report, Sun Microsystems, Inc., March 2007.
4. C. Scott Ananian, Krste Asanovic, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. Unbounded transactional memory. IEEE Micro, 26 (1):59-69, January 2006. URL http://supertech.csail.mit.edu/papers/xaction.pdf.
5. M. A. Bender, R. Cole, E. Demaine, M. Farach-Colton, and J. Zito. Two simplified algorithms for maintaining order in a list. In Proceedings of the European Symposium on Algorithms (ESA), pages 152-164, 2002.
6. Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, and Charles E. Leiserson. On-the-fly maintenance of series-parallel relationships in fork-join multithreaded programs. In Proceedings of the ACM Symposium on Parallel Algorithms and Architectures (SPAA), pages 133-144, Barcelona, Spain, June 2004.
7. Guy E. Blelloch and John Greiner. A provable time and space efficient implementation of NESL. In ICFP, pages 213-225, 1996.
8. Robert D. Blumofe and Dionisios Papadopoulos. Hood: A user-level threads library for multiprogrammed multiprocessors. Technical Report, University of Texas at Austin, 1999.
9. Robert D. Blumofe, Christopher F. Joerg, Bradley C. Kuszmaul, Charles E. Leiserson, Keith H. Randall, and Yuli Zhou. Cilk: An efficient multithreaded runtime system. Journal of Parallel and Distributed Computing, 37(1):55-69, August 25 1996.
10. Colin Blundell, E Christopher Lewis, and Milo M. K. Martin. Subtleties of transactional memory atomicity semantics. Computer Architecture Letters, 5(2), Nov 2006.
11. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms. The MIT Press and McGraw-Hill, second edition, 2001.
12. Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, and Daniel Nussbaum. Hybrid transactional memory. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), October 2006.
13. P. Dietz and D. Sleator. Two algorithms for maintaining order in a list. In Proceedings of the Symposium on Theory of Computing, pages 365-372, New York City, May 1987.
14. Kemal Ebcioglu, Vijay Saraswat, and Vivek Sarkar. X10: an experimental language for high productivity programming of scalable systems. In Proceedings of Workshop on Productivity and Performance in High-End Computing (P-PHEC), 2005. In conjunction with Symposium on High Performance Computer Architecture (HPCA).
15. Mingdong Feng and Charles E. Leiserson. Efficient detection of determinacy races in Cilk programs. In Proceedings of the Symposium on Parallel Algorithms and Architectures (SPAA), pages 1-11, Newport, Rhode Island, June22-25 1997.
16. Jeremy T. Fineman. Provably good race detection that runs in parallel. Master's thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology, Cambridge, MA, August 2005.
17. Lance Hammond, Vicky Wong, Mike Chen, Brian D. Carlstrom, John D. Davis, Ben Hertzberg, Manohar K. Prabhu, Honggo Wijaya, Christos Kozyrakis, and Kunle Olukotun. Transactional memory coherence and consistency. In Proceedings of the International Symposium on Computer Architecture (ISCA), page 102, Washington, DC, USA, 2004. IEEE Computer Society. ISBN 0-7695-2143-6.
18. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: Architectural support for lock-free data structures. In Proceedings of the International Symposium on Computer Architecture (ISCA), pages 289-300, 2003. doi:http://doi.acm.org/10.1145/165123.165164. URL http://www.cs.brown.edu/ people/mph/isca2.ps.
19. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer, III. Software transactional memory for dynamic-sized data structures. In Proceedings of ACM Symposium on Principles of Distributed Computing (PODC), pages 92-101, 2003. ISBN 1-58113-708-7. doi:http://doi.acm.org/10.1145/872035. 872048.
20. Sanjeev Kumar, Michael Chu, Christopher J. Hughes, Partha Kundu, and Anthony Nguyen. Hybrid transactional memory. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP), March 2006.
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 Proceedings of the Workshop of Languages, Compilers, and Hardware Support for Transactional Computing (TRANSACT), June 2006.
22. K.E. Moore, J. Bobba, M.J. Moravan, M.D. Hill, and D.A. Wood. LogTM: Log-based transactional memory. In Proceedings of the International Symposium on High-Performance Computer Architecture (HPCA), Feb 2006.
23. Supercomputing. Cilk 5.4.2.3 Reference Manual. Supercomputing Technologies Group, Massachusetts Institute of Technology Laboratory for Computer Science, April2006. URL http://supertech.csail.mit.edu/cilk/manual-5.4. 2.3.pdf.