Performance Optimizations for Software Transactional Memory

Performance Optimizations for Software Transactional Memory

[1]  Victor Luchangco,et al.  The Fortress Language Specification Version 1.0 , 2007 .

[2]  Antony L. Hosking,et al.  Nested Transactional Memory: Model and Preliminary Architecture Sketches , 2005 .

[3]  James R. Larus,et al.  Transactional Memory , 2006, Transactional Memory.

[4]  Keir Fraser,et al.  Practical lock-freedom , 2003 .

[5]  David Gay,et al.  Autolocker: synchronization inference for atomic sections , 2006, POPL '06.

[6]  James R. Goodman,et al.  Transactional lock-free execution of lock-based programs , 2002, ASPLOS X.

[7]  Maurice Herlihy,et al.  Transactional Memory: Architectural Support For Lock-free Data Structures , 1993, Proceedings of the 20th Annual International Symposium on Computer Architecture.

[8]  Mark Moir,et al.  PhTM: Phased Transactional Memory , 2007 .

[9]  Vivek Sarkar,et al.  Type inference for locality analysis of distributed data structures , 2008, PPoPP.

[10]  Maurice Herlihy,et al.  A methodology for implementing highly concurrent data structures , 1990, PPOPP '90.

[11]  Virendra J. Marathe,et al.  Adaptive Software Transactional Memory , 2005, DISC.

[12]  Sean Lie.  Hardware Support for Unbounded Transactional Memory , 2004 .

[13]  Kunle Olukotun,et al.  STAMP: Stanford Transactional Applications for Multi-Processing , 2008, 2008 IEEE International Symposium on Workload Characterization.

[14]  Maurice Herlihy,et al.  Virtualizing transactional memory , 2005, 32nd International Symposium on Computer Architecture (ISCA'05).

[15]  Madalin Mihailescu,et al.  Exploiting distributed version concurrency in a transactional memory cluster , 2006, PPoPP '06.

[16]  Yoav Freund,et al.  The Alternating Decision Tree Learning Algorithm , 1999, ICML.

[17]  Friedemann Mattern,et al.  Virtual Time and Global States of Distributed Systems , 2002 .

[18]  J. Eliot B. Moss.  Open Nested Transactions: Semantics and Support , 2006 .

[19]  Vivek Sarkar,et al.  Phasers: a unified deadlock-free construct for collective and point-to-point synchronization , 2008, ICS '08.

[20]  Bradley C. Kuszmaul,et al.  Unbounded Transactional Memory , 2005, HPCA.

[21]  Nir Shavit,et al.  Software transactional memory , 1995, PODC '95.

[22]  William N. Scherer,et al.  Composability for Application-Specific Transactional Optimizations , 2010 .

[23]  Bradley C. Kuszmaul,et al.  Cilk: an efficient multithreaded runtime system , 1995, PPOPP '95.

[24]  Mustaque Ahamad,et al.  Plausible clocks: constant size logical clocks for distributed systems , 1996, Distributed Computing.

[25]  Vivek Sarkar,et al.  Minimum Lock Assignment: A Method for Exploiting Concurrency among Critical Sections , 2008, LCPC.

[26]  Mark Plesko,et al.  Optimizing memory transactions , 2006, PLDI '06.

[27]  Radha Jagadeesan,et al.  A theory of memory models , 2007, PPOPP.

[28]  Maged M. Michael,et al.  Software Transactional Memory: Why Is It Only a Research Toy? , 2008, ACM Queue.

[29]  Nir Shavit,et al.  What Really Makes Transactions Faster , 2006 .

[30]  Rachid Guerraoui,et al.  Polymorphic Contention Management , 2005, DISC.

[31]  Maurice Herlihy,et al.  Snapshots and software transactional memory , 2005, Sci. Comput. Program..

[32]  Milo M. K. Martin,et al.  Deconstructing Transactional Semantics: The Subtleties of Atomicity , 2005 .

[33]  Maged M. Michael,et al.  RingSTM: scalable transactions with a single atomic instruction , 2008, SPAA '08.

[34]  David A. Wood,et al.  LogTM: log-based transactional memory , 2006, The Twelfth International Symposium on High-Performance Computer Architecture, 2006..

[35]  Torvald Riegel,et al.  A Lazy Snapshot Algorithm with Eager Validation , 2006, DISC.

[36]  C. Y. Lee.  An Algorithm for Path Connections and Its Applications , 1961, IRE Trans. Electron. Comput..

[37]  Maurice Herlihy,et al.  Software transactional memory for dynamic-sized data structures , 2003, PODC '03.

[38]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[39]  Christopher J. Hughes,et al.  Hybrid transactional memory , 2006, PPoPP '06.

[40]  David Eisenstat,et al.  Hardware Acceleration of Software Transactional Memory , 2005 .

[41]  Virendra J. Marathe,et al.  Design tradeoffs in modern software transactional memory systems , 2004 .

[42]  William N. Scherer,et al.  Runtime Tuning of STM Validation Techniques , 2008 .

[43]  Craig Zilles,et al.  Extending Hardware Transactional Memory to Support Non-busy Waiting and Non-transactional Actions , 2006 .