Software |
[Blasgen et al., 1979] |
Mike Blasgen and Jim Gray and Mike Mitoma and Tom Price ( 1979). The Convoy Phenomenon. In: SIGOPS Oper. Syst. Rev., 3(2):20--25. |
[Kung and Robinson, 1981] |
H.T. Kung and John T. Robinson (Jun 1981). On Optimistic Methods of Concurrency Control. In: ACM Transactions on Database Systems, 6(2):213--226. |
[Gray, 1981] |
Jim Gray (Sep 1981). The Transaction Concept: Virtues and Limitations. In: Seventh International Conference on Very Large Data Bases. pp. 144--154. |
[Agrawal et al., 1983] |
Rakesh Agrawal and Michael J. Carey and David J. DeWitt ( 1983). Deadlock Detection is Cheap. In: SIGMOD Record, 13(2):19--34. |
[Massalin and Pu, 1991] |
Henry Massalin and Calton Pu (May 1991). A Lock-Free Multiprocessor Os Kernel. (CUCS-005-91). Columbia University. |
[Bershad, 1991] |
Brian N. Bershad (Sep 1991). Practical Considerations for Lock-Free Concurrent Objects. (CMU-CS-91-183). Carnegie Mellon University. |
[Banatre et al., 1991] |
Michel Banatre and Gilles Muller and Bruno Rochat and P. Sanchez ( 1991). Design Decisions for the FTM: A General Purpose Fault Tolerant Machine. In: FTCS. pp. 71-78. |
[Gray and Reuter, 1993] |
Jim Gray and Andreas Reuter ( 1993). Transaction Processing: Concepts and Techniques. Morgan Kaufmann. |
[Shavit and Touitou, 1995] |
Nir Shavit and Dan Touitou (Aug 1995). Software Transactional Memory. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 204--213. |
[Valois, 1995] |
John D. Valois (Aug 1995). Lock-Free Linked Lists Using Compare-and-Swap. In: Proceedings of the 14th ACM Symposium on Principles of Distributed Computing. pp. 214--222. |
[Johnson, 1995] |
Theodore Johnson (Oct 1995). Characterizing the Performance of Algorithms for Lock-Free Objects. In: IEEE Transactions on Computers, 44(10):1194--1207. |
[Valois, 1995] |
John D. Valois ( 1995). Lock-Free Data Structures. PhD thesis, Rochester Institute of Technology. |
[Moir, 1997] |
Mark Moir (Sep 1997). Transparent Support for Wait-Free Transactions. In: 11th International Workshop on Distributed Algorithms. pp. 305--319. |
[Anderson and Moir, 1999] |
James H. Anderson and Mark Moir (Dec 1999). Universal Constructions for Large Objects. In: IEEE Transactions on Parallel and Distributed Systems, 10(12):1317-1332. |
[Gray, 2000] |
Jim Gray (Mar 2000). Nesting Transactions: Why and What Do We Need? Turing Award Lecture. |
[Flanagan and Qadeer, 2003] |
Cormac Flanagan and Shaz Qadeer (Jan 2003). Types for Atomicity. In: ACM SIGPLAN Workshop on Types in Language Design and Implementation. pp. 1--12. |
[Harris and Fraser, 2003] |
Tim Harris and Keir Fraser (Oct 2003). Language Support for Lightweight Transactions. In: Object-Oriented Programming, Systems, Languages, and Applications. pp. 388--402. |
[Fraser, 2003] |
Keir Fraser ( 2003). Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory. Also available as Technical Report UCAM-CL-TR-579. |
[Michael, 2004] |
Maged M. Michael (Jun 2004). Hazard Pointers: Safe Memory Reclamation for Lock-FreeObjects. In: IEEE Transactions on Parallel and Distributed Systems, 15(6). |
[Michael, 2004] |
Maged M. Michael (Jun 2004). Scalable Lock-Free Malloc. In: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation. pp. 35--46. |
[Ennals, 2005] |
Robert Ennals (Jan 2005). Efficient Software Transactional Memory. Technical Report Nr. IRC-TR-05-051. Intel Research Cambridge Tech Report. |
[Moir, 2005] |
Mark Moir (Jul 2005). Hybrid Transactional Memory. Unpublished manuscript. |
[Jagannathan et al., 2005] |
Suresh Jagannathan and Jan Vitek and Adam Welc and Antony Hosking ( 2005). A transactional object calculus. In: Sci. Comput. Program., 57(2):164--186. |
[Goetz, 2006] |
Brian Goetz (Jan 2006). Optimistic Thread Concurrency. Azul Systems Whitepaper. |
[Ennals, 2006] |
Robert Ennals (Jan 2006). Software Transactional Memory Should Not Be Obstruction-Free. Technical Report Nr. IRC-TR-06-052. Intel Research Cambridge Tech Report. |
[Moss, 2006] |
J. Eliot B. Moss (Feb 2006). Open Nested Transactions: Semantics and Support (poster). In: Workshop on Memory Performance Issues. |
[Singh, 2006] |
Satnam Singh (jun 2006). Higher Order Combinators for Join Patterns using STM. In: TRANSACT~'06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing. |
[Skare and Kozyrakis, 2006] |
Travis Skare and Christos Kozyrakis (Jun 2006). Early Release: Friend or Foe? In: Proc. Workshop on Transactional Workloads. |
[Liblit, 2006] |
Ben Liblit (aug 2006). An Operational Semantics for LogTM. Technical Report Nr. 1571. University of Wisconsin--Madison. Version 1.0. |
[Larus and Rajwar, 2006] |
James R. Larus and Ravi Rajwar ( 2006). Transactional Memory. Morgan & Claypool. |
[Ying et al., 2006] |
V. Ying and C. Wang and Y. Wu and X. Jiang ( 2006). Dynamic Binary Translation and Optimization of Legacy Library Code in a STM Compilation Environment. |
[Fraser and Harris, 2007] |
Keir Fraser and Tim Harris (may 2007). Concurrent programming without locks. In: ACM Transactions on Computer Systems (TOCS), 25(2). |
[Isard and Birrell, 2007] |
Michael Isard and Andrew Birrell (may 2007). Automatic Mutual Exclusion. In: HotOS~'07: Proc. 11th Workshop on Hot Topics in Operating Systems. |
[Moore and Grossman, 2007] |
Katherine F. Moore and Dan Grossman (aug 2007). High-Level Small-Step Operational Semantics for Transactions. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
[Harris and Stipic, 2007] |
Tim Harris and Srdjan Stipic (aug 2007). Abstract Nested Transactions. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
[Lev et al., 2007] |
Yosef Lev and Mark Moir and Dan Nussbaum (aug 2007). PhTM: Phased Transactional Memory. In: TRANSACT~'07: 2nd Workshop on Transactional Computing. |
[Kimball and Grossman, 2007] |
Aaron Kimball and Dan Grossman (Sep 2007). Software Transactions Meet First-Class Continuations. In: The 8th Annual Workshop on Scheme and Functional Programming. |
[Lev et al., 2007] |
Yossi Lev and Mark Moir and Dan Nussbaum ( 2007). PhTM: Phased Transactional Memory. In: Workshop on Transactional Computing (TRANSACT). |
[Tabba et al., 2007] |
Fuad Tabba and Cong Wang and James R. Goodman and Mark Moir ( 2007). NZTM: Nonblocking, Zero-Indirection Transactional Memory. In: Workshop on Transactional Computing (TRANSACT). |
[Moore and Grossman, 2008] |
Katherine F. Moore and Dan Grossman (Jan 2008). High-Level Small-Step Operational Semantics for Transactions. In: 35th ACM Symposium on Principles of Programming Languages. |
[Herlihy and Koskinen, 2008] |
Maurice Herlihy and Eric Koskinen (feb 2008). Checkpoints and continuations instead of nested transactions. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
[Herlihy and Koskinen, 2008] |
Maurice Herlihy and Eric Koskinen (feb 2008). Dreadlocks: Efficient Deadlock Detection for STM. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
[Riegel and Brum, 2008] |
Torvald Riegel and Diogo B. D. Brum (feb 2008). Making Object-Based STM Practical in Unmanaged Environments. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
[Volos et al., 2008] |
Haris Volos and Neelam Goyal and Michael Swift (feb 2008). Pathological Interaction of Locks with Transactional Memory. In: TRANSACT~'08: 3rd Workshop on Transactional Computing. |
[Carlstrom, 2008] |
Brian David Carlstrom (Jun 2008). Programming with Transactional Memory. PhD thesis, Stanford University. |
[Hill, 2008] |
Mark D. Hill (Aug 2008). Is Transactional Memory an Oxymoron? VLDB Keynote Address. |
[Drepper, 2008] |
Ulrich Drepper (sep 2008). Parallel Programming with Transactional Memory. In: Queue, 6(5):38--45. |
[Moir, 2008] |
Mark Moir (sep 2008). Technical perspective: transactional memory in the operating system. In: Communications of the ACM, 51(9):82--82. |
[Larus and Kozyrakis, 2008] |
James Larus and Christos Kozyrakis (Dec 2008). Transactional Memory. In: Communications of the ACM, 51(7):80--88. |
[Herlihy and Shavit, 2008] |
Maurice Herlihy and Nir Shavit ( 2008). The art of multiprocessor programming. Morgan Kaufmann. |
[Guerraoui et al., 2008] |
Rachid Guerraoui and Thomas A. Henzinger and Vasu Singh ( 2008). Permissiveness in Transactional Memories. In: DISC. Published by Springer. |
[Dalessandro and Scott, 2009] |
Luke Dalessandro and Michael L. Scott (feb 2009). Strong Isolation is a Weak Idea. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Dice and Shavit, 2009] |
David Dice and Nir Shavit (feb 2009). TLRW: Return of the Read-Write Lock. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Dudnik and Swift, 2009] |
Polina Dudnik and Michael Swift (feb 2009). Condition Variables and Transactional Memory: Problem or Opportunity? In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Koskinen and Herlihy, 2009] |
Eric Koskinen and Maurice Herlihy (feb 2009). Concurrent Non-commutative Boosted Transactions. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Pant and Byrd, 2009] |
Salil Pant and Greg Byrd (feb 2009). A Case for using Value Prediction to improve performance of transactional memory. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Ramadan and Witchel, 2009] |
Hany Ramadan and Emmett Witchel (feb 2009). The Xfork in the Road to Coordinated Sibling Transactions. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Spear et al., 2009] |
Michael F. Spear and Arrvindh Shriraman and Luke Dalessandro and Michael Scott (feb 2009). Transactional Mutex Locks. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Tabba et al., 2009] |
Fuad Tabba and Andrew W. Hay and James R. Goodman (feb 2009). Transactional Value Prediction. In: TRANSACT~'09: 4th Workshop on Transactional Computing. |
[Baldassin and Burckhardt, 2009] |
Alexandro Baldassin and Sebastian Burckhardt (mar 2009). Lightweight Software Transactions for Games. In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism. |
[Boehm, 2009] |
Hans-J. Boehm (mar 2009). Transactional Memory Should Be an Implementation Technique, Not a Programming Interface. In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism. |
[Heindl and Pokam, 2009] |
Armin Heindl and Gilles Pokam (March 2009). Modeling Software Transactional Memory with AnyLogic. In: SimuTools. pp. 10. |
[Roy et al., 2009] |
Amitabha Roy and Steven Hand and Tim Harris (mar 2009). Exploring the Limits of Disjoint Access Parallelism. In: HotPar~'09: Proc. 1st Workshop on Hot Topics in Parallelism. |
[Shriraman et al., 2009] |
Arrvindh Shriraman and Sandhya Dwarkadas and Michael L. Scott (apr 2009). Tapping into Parallelism with Transactional Memory. In: The USENIX Magazine, 34(2):12--23. |
[Porter and Witchel, 2009] |
Donald E. Porter and Emmett Witchel (may 2009). Operating Systems Should Provide Transactions. In: HotOS~'09: Proc. 12th Workshop on Hot Topics in Operating Systems. |
[Heindl and Pokam, 2009] |
Armin Heindl and Gilles Pokam (June 2009). An Analytic Framework for Performance Modeling of Software Transactional Memory. In: Computer Networks, 53(8):1202--1214. |
[Boehm, 2009] |
Hans-J. Boehm (jul 2009). Threads basics. An online introduction to shared-memory programming. \urlhttp://www.hpl.hp.com/personal/Hans_Boehm/c++mm/threadsintro.html. |
[Dias and Louren\c co, 2009] |
Ricardo J. Dias and Jo\~ao M. Louren\c co (aug 2009). Unifying Memory and Database Transactions. In: EUROPAR~'09: Proc. 15th European Conference on Parallel Processing. |
[Lev et al., 2009] |
Yossi Lev and Victor Luchangco and Marek Olszewski (aug 2009). Scalable Reader-Writer Locks. In: SPAA~'09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures. |
[Abadi and Harris, 2009] |
Martin Abadi and Tim Harris (sep 2009). Perspectives on Transactional Memory (invited paper). In: CONCUR~'09: Proc. 20th Conference on Concurrency Theory. |
[Felber et al., 2009] |
Pascal Felber and Vincent Gramoli and Rachid Guerraoui (sep 2009). Elastic Transactions. In: DISC~'09: Proc. 23rd International Symposium on Distributed Computing. |
[Sinha and Malik, 2010] |
Arnab Sinha and Sharad Malik ( 2010). Runtime Checking of Serializability in Software Transactional Memory. In: IPDPS. pp. 1-12. Published by IEEE. |