Exploration of lock-based software transactional memory

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

[2]  G. Amdhal,et al.  Validity of the single processor approach to achieving large scale computing capabilities , 1967, AFIPS '67 (Spring).

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

[4]  Gary L. Peterson,et al.  Myths About the Mutual Exclusion Problem , 1981, Inf. Process. Lett..

[5]  Leslie Lamport,et al.  The mutual exclusion problem: partII—statement and solutions , 1986, JACM.

[6]  Edsger Wybe Dijkstra,et al.  Cooperating Sequential Processes, Technical Report EWD-123 , 1965 .

[7]  Christoforos E. Kozyrakis,et al.  Unlocking Concurrency , 2006, ACM Queue.

[8]  Edsger W. Dijkstra.  A Tutorial on the Split Binary Semaphore , 1982 .

[9]  G. E. Reeves,et al.  What Really Happened on Mars , 1998 .

[10]  Mark Alan Jones,et al.  What really happened on mars rover pathfinder , 1997 .

[11]  Keir Fraser,et al.  Language support for lightweight transactions , 2003, SIGP.

[12]  Hugh Garraway.  Parallel Computer Architecture: A Hardware/Software Approach , 1999, IEEE Concurrency.

[13]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[14]  Mads Torgersen,et al.  The c# programming language, third edition , 2008 .

[15]  Gul Agha,et al.  Concurrent programming for DAI , 1999 .

[16]  D. B. Lomet.  Process structuring, synchronization, and recovery using atomic actions , 1977 .

[17]  Maurice Herlihy,et al.  A methodology for implementing highly concurrent data objects , 1993, TOPL.

[18]  Thomas F. Knight.  An architecture for mostly functional languages , 1986, LFP '86.

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

[20]  Eliot B. Moss,et al.  Nesting Transactions: Why and What Do We Need? , 2006 .

[21]  Robert Ennals.  Software Transactional Memory Should Not Be Obstruction-Free , 2005 .

[22]  David Eisenstat,et al.  Lowering the Overhead of Nonblocking Software Transactional Memory , 2006 .

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

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

[25]  Simon L. Peyton Jones,et al.  Composable memory transactions , 2005, CACM.

[27]  Virendra J. Marathe,et al.  A Qualitative Survey of Modern Software Transactional Memory Systems , 2004 .

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

[29]  Michael J. Flynn,et al.  Very high-speed computing systems , 1966 .

[30]  Robert S. Mulliken,et al.  TECHNICAL REPORT 1965 , 1965 .

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

[32]  David Abrahams.  Exception-Safety in Generic Components , 1998, Generic Programming.

[33]  Pradeep Dubey,et al.  Platform 2015: Intel ® Processor and Platform Evolution for the Next Decade , 2005 .

[34]  Daniel A. Connors,et al.  DracoSTM: a practical C++ approach to software transactional memory , 2007, LCSD '07.

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

[36]  Maurice Herlihy,et al.  Obstruction-free synchronization: double-ended queues as an example , 2003, 23rd International Conference on Distributed Computing Systems, 2003. Proceedings..

[37]  Nir Shavit,et al.  Transactional Locking II , 2006, DISC.

[38]  James O. Coplien,et al.  Curiously recurring template patterns , 1995 .

[39]  Doug Lea,et al.  Concurrent programming in Java - design principles and patterns , 1996, Java series.

[40]  Herb Sutter.  Exceptional C++: 47 Engineering Puzzles, Programming Problems, and Solutions , 1999 .

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

[42]  William N. Scherer,et al.  Advanced contention management for dynamic software transactional memory , 2005, PODC '05.

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

[44]  Nir Shavit,et al.  Understanding Tradeoffs in Software Transactional Memory , 2007, International Symposium on Code Generation and Optimization (CGO'07).

[45]  Leslie Lamport,et al.  The mutual exclusion problem: part I—a theory of interprocess communication , 1986, JACM.

[46]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .