Transactional memory, 2nd edition

Synthesis Lectures on Computer Architecture

Volumn 11, Issue , 2010, Pages 1-263

  Harris, Tim ^a   Larus, James ^a   Rajwar, Ravi ^b  

^a MICROSOFT RESEARCH   (United States)

^b INTEL CORPORATION   (United States)

Author keywords

cache coherence; compilers; computer architecture; computer hardware; concurrent programming; lock free data structures; nonblocking algorithms; parallel programming; programming languages; synchronization; transactional memory

Indexed keywords

CACHE COHERENCE; COMPILERS; CONCURRENT PROGRAMMING; LOCK-FREE DATA STRUCTURES; NONBLOCKING ALGORITHMS; PROGRAMMING LANGUAGE; TRANSACTIONAL MEMORY;

CACHE MEMORY; COMPUTER HARDWARE; COMPUTER PROGRAMMING LANGUAGES; CONCURRENCY CONTROL; DATA STRUCTURES; HARDWARE; LINGUISTICS; PARALLEL ARCHITECTURES; PROGRAM COMPILERS; QUERY LANGUAGES; STORAGE ALLOCATION (COMPUTER);

PARALLEL PROGRAMMING;

EID: 77954898633     PISSN: 19353235     EISSN: 19353243     Source Type: Book Series    
DOI: 10.2200/S00272ED1V01Y201006CAC011     Document Type: Conference Paper

References (350)

1. Martín Abadi, Andrew Birrell,Tim Harris,Johnson Hsieh, and Michael Isard. Dynamic separation for transactional memory. Technical Report MSR-TR-2008-43, Microsoft Research, March 2008. 40, 95
2. Martín Abadi, Andrew Birrell, Tim Harris, Johnson Hsieh, and Michael Isard. Implementation and use of transactional memory with dynamic separation. In CC '09: Proc. International Conference on Compiler Construction, pages 63-77, March 2009. DOI: 10.1007/978-3-642-00722-4-6 40, 95
3. Martín Abadi, Andrew Birrell, Tim Harris, and Michael Isard. Semantics of transactional memory and automatic mutual exclusion. In POPL '08: Proc. 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 63-74, January 2008. DOI: 10.1145/1328438.1328449 23, 31, 38, 40, 41, 68, 77, 145
4. Martín Abadi and Tim Harris. Perspectives on transactional memory (invited paper). In CONCUR '09: Proc. 20th Confernece on Concurrency Theory, September 2009. 23
5. Martín Abadi,Tim Harris, and Mojtaba 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, February 2009. DOI: 10.1145/1504176.1504203 35, 71, 107, 109
6. Martín Abadi, Tim Harris, and Katherine Moore. A model of dynamic separation for trans-actional memory. In CONCUR '08: Proc. 19th Confernece on Concurrency Theory, pages 6-20, August 2008. DOI: 10.1007/978-3-540-85361-9-5 23, 95, 145
7. 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 PLDI '06: Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 26-37, June 2006. DOI: 10.1145/1133981.1133985 73, 102, 109 (Pubitemid 46946427)
8. Ali-Reza Adl-Tabatabai, Victor Luchangco, Virendra J. Marathe, Mark Moir, Ravi Narayanaswamy, Yang Ni, Dan Nussbaum, Xinmin Tian, Adam Welc, and Peng Wu. Exceptions and transactions in C++. In HotPar '09: Proc. 1st Workshop on Hot Topics in Parallelism, March 2009. 62, 75, 80
9. Sarita V. Adve and Kourosh Gharachorloo. Shared memory consistency models: a tutorial. IEEE Computer, 29(12):66-76, December 1996. DOI: 10.1109/2.546611 103
10. Sarita V. Adve and Mark D. Hill. Weak ordering-a new definition. In ISCA '90: Proc. 17th Annual International Symposium on Computer Architecture, pages 2-14, May 1990. DOI: 10.1145/325164.325100 39
11. S.V. Adve and J.K. Aggarwal. A unified formalization of four shared-memory models. IEEE Transactions on Parallel and Distributed Systems, 4(6):613-624, 1993. DOI: 10.1109/71.242161 143 (Pubitemid 23709234)
12. Ole Agesen, David Detlefs, Alex Garthwaite, Ross Knippel, Y. S. Ramakrishna, and Derek White. An efficient meta-lock for implementing ubiquitous synchronization. In OOPSLA '99: Proc. 14th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 207-222, November 1999. DOI: 10.1145/320384.320402 106
13. Kunal Agrawal, Jeremy T. Fineman, and Jim Sukha. Nested parallelism in transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 163-174, February 2008. An earlier version appeared at TRANSACT '07. DOI: 10.1145/1345206.1345232 44
14. Kunal Agrawal, I-Ting Angelina Lee, and Jim Sukha. Safe open-nested transactions through ownership. In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 151-162, February 2009. DOI: 10.1145/1378533.1378553 57
15. C. Scott Ananian, Krste Asanović, Bradley C. Kuszmaul, Charles E. Leiserson, and Sean Lie. Unbounded transactional memory. In HPCA '05: Proc. 11th International Symposium on High-Performance Computer Architecture, pages 316-327, February 2005. DOI: 10.1109/HPCA.2005.41 162, 164, 187
16. Nikos Anastopoulos, Konstantinos Nikas, Georgios Goumas, and Nectarios Koziris. Early experiences on accelerating Dijkstra's algorithm using transactional memory. In MTAAP '09: Proc 3rd Workshop on Multithreaded Architectures and Applications, May 2009. DOI: 10.1109/IPDPS.2009.5161103 91
17. Mohammad Ansari, Kim Jarvis, Christos Kotselidis, Mikel Luján, Chris Kirkham, and Ian Watson. Profiling transactional memory applications. In PDP '09: Proc. 17th Euromicro International Conference on Parallel, Distributed, and Network-based Processing, pages 11-20, February 2009. DOI: 10.1109/PDP.2009.35 90
18. Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Luján, Chris Kirkham, and Ian Watson. Advanced concurrency control for transactional memory using transaction commit rate. In EUROPAR '08: Proc. 14th European Conference on Parallel Processing, pages 719-728, August 2008. Springer-Verlag Lecture Notes in Computer Science volume 5168. DOI: 10.1007/978-3-540-85451-7-77 54
19. Mohammad Ansari, Christos Kotselidis, Kim Jarvis, Mikel Lujan, Chris Kirkham, and Ian Watson. Experiences using adaptive concurrency in transactional memory with Lee's routing algorithm (poster). In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 261-262, February 2008. DOI: 10.1145/1345206.1345246 54
20. Mohammad Ansari, Christos Kotselidis, Mikel Luján, Chris Kirkham, and Ian Watson. Investigating contention management for complex transactional memory benchmarks. In MULTIPROG '09: Proc. 2nd Workshop on Programmability Issues for Multi-Core Computers, January 2009. 54
21. Mohammad Ansari, Mikel Luján, Christos Kotselidis, Kim Jarvis, Chris Kirkham, and Ian Watson. Steal-on-abort: improving transactional memory performance through dynamic transaction reordering. In HIPEAC '09: Proc. 4th International Conference on High Performance and Embedded Architectures and Compilers, pages 4-18, January 2009. Springer-Verlag Lecture Notes in Computer Science volume 5409. DOI: 10.1007/978-3-540-92990-1-3 54
22. Nimar S. Arora, Robert D. Blumofe, and C. Greg Plaxton. Thread scheduling for multi-programmed multiprocessors. In SPAA '98: Proc. 10th Symposium on Parallel Algorithms and Architectures, pages 119-129, June 1998. DOI: 10.1145/277651.277678 2
23. Hagit Attiya, Eshcar Hillel, and Alessia Milani. Inherent limitations on disjoint-access parallel implementations of transactional memory. In SPAA '09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures, pages 69-78, August 2009. An earlier version appeared at TRANSACT '09. DOI: 10.1145/1583991.1584015 48
24. Hillel Avni and Nir Shavit. Maintaining consistent transactional states without a global clock. In SIROCCO '08: Proc.15th International Colloquium on Structural Information and Communication Complexity, pages 131-140, June 2008. Springer-Verlag Lecture Notes in Computer Science volume 5058. DOI: 10.1007/978-3-540-69355-0-12 122
25. Woongki Baek,Chi Cao Minh,MartinTrautmann,Christos Kozyrakis,and Kunle Olukotun. The OpenTM transactional application programming interface. In PACT '07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques, pages 376-387, September 2007. DOI: 10.1109/PACT.2007.74 44
26. Tongxin Bai, Xipeng Shen, Chengliang Zhang, William N. Scherer III, Chen Ding, and Michael L. Scott. A key-based adaptive transactional memory executor. In NSF Next Generation Software Program Workshop, held in conjunction with IPDPS, 2007. Also available as TR 909, Department of Computer Science, University of Rochester, December 2006. DOI: 10.1109/IPDPS.2007.370498 53 (Pubitemid 47428605)
27. Alexandro Baldassin and Sebastian Burckhardt. Lightweight software transactions for games. In HotPar '09: Proc. 1st Workshop on Hot Topics in Parallelism, March 2009. 92
28. Lee Baugh, Naveen Neelakantam, and Craig Zilles. Using hardware memory protection to build a high-performance, strongly atomic hybrid transactional memory. In ISCA '08: Proc. 35th Annual International Symposium on Computer Architecture, pages 115-126, June 2008. DOI: 10.1145/1394608.1382132 71, 107, 166, 191, 200, 201
29. Lee Baugh and Craig Zilles. An analysis of I/O and syscalls in critical sections and their implications for transactional memory. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. DOI: 10.1109/ISPASS.2008. 4510738 88
30. Emery D. Berger, Ting Yang, Tongping Liu, and Gene Novark. Grace: safe multithreaded programming for C/C++. In OOPSLA '09: Porc. 24th ACM SIGPLAN Conference on Object-Oriented Programming Systems Languages and Applications,pages 81-96, October 2009. DOI: 10.1145/1640089.1640096 55, 99, 128
31. Philip A.Bernstein.Transaction processing monitors. Communications of the ACM,33(11):75-86, 1990. DOI: 10.1145/92755.92767 5, 88 (Pubitemid 20739398)
32. Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987. 158
33. Burton H. Bloom. Space/time trade-offs in hash coding with allowable errors. Communications of the ACM, 13(7):422-426, 1970. DOI: 10.1145/362686.362692 107, 124, 193
34. Colin Blundell, Joe Devietti, E. Christopher Lewis, and Milo M. K. Martin. Making the fast case common andthe uncommoncase simpleinunbounded transactional memory.SIGARCH Computer Architecture News, 35(2):24-34, 2007. DOI: 10.1145/1273440.1250667 150, 172, 173, 188
35. Colin Blundell, E. Christopher Lewis, and Milo M. K. Martin. Deconstructing transactions: The subtleties of atomicity. In WDDD '05: Proc. 4th Annual Workshop on Duplicating, Deconstructing, and Debunking, June 2005. 30, 31, 64
36. Colin Blundell, E. Christopher Lewis, and Milo M. K. Martin. Subtleties of transac-tional memory atomicity semantics. Computer Architecture Letters, 5(2), November 2006. DOI: 10.1109/L-CA.2006.18 30, 31, 64 (Pubitemid 46190872)
37. Colin Blundell, E. Christopher Lewis, and Milo M. K. Martin. Unrestricted transactional memory: Supporting I/O and system calls within transactions. Technical Report CIS-06-09, Department of Computer and Information Science, University of Pennsylvania, April 2006. 21, 81, 87, 141
38. Colin Blundell, Milo M.K. Martin, and Thomas F. Wenisch. InvisiFence: performance-transparent memory ordering in conventional multiprocessors. In ISCA '09: Proc. 36th annual International Symposium on Computer Architecture, pages 233-244, July 2009. DOI: 10.1145/1555754.1555785 150, 154
39. Jayaram Bobba, Neelam Goyal, Mark D. Hill, Michael M. Swift, and David A. Wood. To-kenTM: Efficient execution of large transactions with hardware transactional memory. In ISCA '08: Proc. 35th Annual International Symposium on Computer Architecture, pages 127-138, June 2008. 189, 191
40. Jayaram Bobba, Kevin E. Moore, Luke Yen, Haris Volos,Mark D. Hill, Michael M. Swift,and David A. Wood. Performance pathologies in hardware transactional memory. In ISCA '07: Proc. 34th Annual International Symposium on Computer Architecture, pages 81-91, June 2007. DOI: 10.1145/1250662.1250674 14, 50 (Pubitemid 47582093)
41. Robert L. Bocchino, Vikram S. Adve, and Bradford L. Chamberlain. Software transac-tional memory for large scale clusters. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 247-258, February 2008. DOI: 10.1145/1345206.1345242 144
42. Hans-J. Boehm. Transactional memory should be an implementation technique, not a programming interface. In HotPar '09: Proc. 1st Workshop on Hot Topics in Parallelism, March 2009. 96
43. Hans-J. Boehm and Sarita V. Adve. Foundations of the C++ concurrency memory model. In PLDI '08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 68-78, June 2008. DOI: 10.1145/1375581.1375591 36, 65, 103
44. Nathan G. Bronson, Christos Kozyrakis, and Kunle Olukotun. Feedback-directed barrier optimization in a strongly isolated STM. In POPL '09: Proc. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 213-225, January 2009. DOI: 10.1145/1480881.1480909 71
45. João Cachopo and António Rito-Silva. Versioned boxes as the basis for memory transactions. In SCOOL '05: Proc.OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages, October 2005. DOI: 10.1016/j.scico.2006.05.009 14, 143
46. João Cachopo and António Rito-Silva. Combining software transactional memory with a domain modeling language to simplify web application development. In ICWE '06: Proc. 6th International Conference on Web Engineering, pages 297-304, July 2006. DOI: 10.1145/1145581.1145640 143 (Pubitemid 46946832)
47. Chi Cao Minh, JaeWoong Chung, Christos Kozyrakis, and Kunle Olukotun. STAMP: Stanford transactional applications for multi-processing. In IISWC '08: Proceedings of The IEEE International Symposium on Workload Characterization, September 2008. DOI: 10.1109/IISWC.2008.4636089 91
48. Chi Cao Minh, Martin Trautmann, JaeWoong Chung, Austen McDonald, Nathan Bronson, Jared Casper, Christos Kozyrakis, and Kunle Olukotun. An effective hybrid transactional memory system with strong isolation guarantees. In ISCA '07: Proc. 34th Annual International Symposium on Computer Architecture, pages 69-80, June 2007. DOI: 10.1145/1250662.1250673 199 (Pubitemid 47582092)
49. Brian D. Carlstrom, JaeWoong Chung, Hassan Chafi, Austen McDonald, Chi Cao Minh, Lance Hammond, Christos Kozyrakis, and Kunle Olukotun. Transactional execution of Java programs. In SCOOL '05: Proc. OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages, October 2005. 86
50. Brian D. Carlstrom, Austen McDonald, Hassan Chafi, JaeWoong Chung, Chi Cao Minh, Christos Kozyrakis, and Kunle Olukotun. The Atomos transactional programming language. In PLDI '06: Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 1-13, June 2006. DOI: 10.1145/1133981.1133983 62, 74, 75, 81, 88 (Pubitemid 46946425)
51. Nuno Carvalho, João Cachopo, Luís Rodrigues, and António Rito-Silva. Versioned trans-actional shared memory for the FénixEDU web application. In SDDDM '08: Proc. 2nd Workshop on Dependable Distributed Data Management, pages 15-18, March 2008. DOI: 10.1145/1435523. 1435526 143
52. Calin Cascaval, Colin Blundell, Maged Michael, Harold W. Cain, Peng Wu, Stefanie Chiras, and Siddhartha Chatterjee. Software transactional memory:why is it only a research toy? Communications of the ACM,51(11):40-46,November 2008.DOI: 10.1145/1400214.1400228 10
53. Luis Ceze, James Tuck, Calin Cascaval, and Josep Torrellas. Bulk disambiguation of speculative threads in multiprocessors. In ISCA '06: Proc. 33rd Annual International Symposium on Computer Architecture, pages 227-238, June 2006. DOI: 10.1109/ISCA.2006.13 147, 170, 174, 176, 177 (Pubitemid 46016618)
54. Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, JaeWoong Chung, Lance Hammond, Christos Kozyrakis, and Kunle Olukotun. TAPE: A transactional application profiling environment. In ICS '05: Proc. 19th Annual International Conference on Supercomputing, pages 199-208, June 2005. DOI: 10.1145/1088149.1088176 90 (Pubitemid 43251324)
55. HassanChafi,Jared Casper,BrianD.Carlstrom,AustenMcDonald,Chi Cao Minh,Woongki Baek, Christos Kozyrakis, and Kunle Olukotun. A scalable, non-blocking approach to trans-actional memory. In HPCA '07: Proc. 13th International Symposium on High-Performance Computer Architecture, pages 97-108, February 2007. DOI: 10.1109/HPCA.2007.346189 181 (Pubitemid 47208156)
56. David Chaiken, John Kubiatowicz, and Anant Agarwal. LimitLESS directories: a scalable cache coherence scheme. In ASPLOS '91: Proc. 4th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 224-234, April 1991. DOI: 10.1145/106972.106995 157
57. Albert Chang and Mark F. Mergen. 801 storage: architecture and programming. In TOCS: ACM Transactions on Computer Systems, volume 6, pages 28-50, 1988. DOI: 10.1145/35037.42270 194 (Pubitemid 18574133)
58. Shailender Chaudhry, Robert Cypher, Magnus Ekman, Martin Karlsson, Anders Landin, Sherman Yip, Håkan Zeffer, and Marc Tremblay. Rock: A high-performance Sparc CMT processor. IEEE Micro, 29(2):6-16, 2009. DOI: 10.1109/MM.2009.34 161
59. Sigmund Cherem,Trishul Chilimbi, and Sumit Gulwani. Inferring locks for atomic sections. In PLDI '08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 304-315, June 2008. DOI: 10.1145/1375581.1375619 9, 65
60. Colin E. Cherry. Some experiments on the recognition of speech, with one and with two ears. Journal of the Acoustical Society of America, 25(5):975-979, 1953. DOI: 10.1121/1.1907229 2
61. Dave Christie,Jae-Woong Chung,Stephan Diestelhorst,Michael Hohmuth,Martin Pohlack, Christof Fetzer, Martin Nowack, Torvald Riegel, Pascal Felber, Patrick Marlier, and Etienne Riviere. Evaluation of AMD's advanced synchronization facility within a complete transac-tional memory stack. In EuroSys '10: Proc. 5th ACM European Conference on Computer Systems, April 2010. DOI: 10.1145/1755913.1755918 13, 14, 149, 150, 158
62. Weihaw Chuang,Satish Narayanasamy,GaneshVenkatesh,Jack Sampson,MichaelVan Bies-brouck, Gilles Pokam, Brad Calder, and Osvaldo Colavin. Unbounded page-based transac-tional memory. In ASPLOS '06: Proc. 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 347-358, October 2006. DOI: 10.1145/1168857.1168901 196 (Pubitemid 47168414)
63. JaeWoong Chung, Chi Cao Minh, Brian D. Carlstrom, and Christos Kozyrakis. Parallelizing SPECjbb2000 with transactional memory. In Proc. Workshop on Transactional Workloads, June 2006. 57
64. JaeWoong Chung, Chi Cao Minh, Austen McDonald,Travis Skare, Hassan Chafi, Brian D. Carlstrom, Christos Kozyrakis, and Kunle Olukotun. Tradeoffs in transactional memory virtualization. In ASPLOS '06: Proc. 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 371-381, October 2006. DOI: 10.1145/1168857.1168903 196 (Pubitemid 47168416)
65. JaeWoong Chung, Hassan Chafi, Chi Cao Minh, Austen McDonald, Brian D. Carlstrom, Christos Kozyrakis, and Kunle Olukotun. The common case transactional behavior of multithreaded programs. In HPCA '06: Proc. 12th International Symposium on High-Performance Computer Architecture, pages 266-277, February 2006. DOI: 10.1109/HPCA.2006.1598135 90 (Pubitemid 44418397)
66. Cliff Click. HTM will not save the world, May 2010. Presentation at TMW10 workshop, http://sss.cs.purdue.edu/projects/tm/tmw2010/Schedule.html. 149, 150, 162
67. E. G. Coffman, M. Elphick, and A. Shoshani. System deadlocks. ACM Computing Surveys, 3(2):67-78, 1971. DOI: 10.1145/356586.356588 158
68. Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, and Lenore D. Zuck. Verifying correctness of transactional memories. In FMCAD '07: Proc. 7th International Conference on Formal Methods in Computer-Aided Design, pages 37-44, November 2007. DOI: 10.1109/FAMCAD.2007.40 144
69. Ariel Cohen, Amir Pnueli, and Lenore Zuck. Verification of transactional memories that support non-transactional memory accesses. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 144
70. Compaq. Alpha architecture handbook. October 1998. Version 4. 35, 155
71. M. Couceiro, P. Romano, N. Carvalho, and L. Rodrigues. D2STM: Dependable distributed software transactional memory. In PRDC '09: Proc. 15th Pacific Rim International Symposium on Dependable Computing, November 2009. DOI: 10.1109/PRDC.2009.55 143
72. A. L. Cox, S. Dwarkadas, P. Keleher, H. Lu, R. Rajamony, and W. Zwaenepoel. Software versus hardware shared-memory implementation: a case study. In ISCA '94: Proc. 21st Annual International Symposium on Computer Architecture, pages 106-117, April 1994. DOI: 10.1145/192007.192021 142
73. Lawrence Crowl, Yossi Lev, Victor Luchangco, Mark Moir, and Dan Nussbaum. Integrating transactional memory into C++. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 62
74. Dave Cunningham, Khilan Gudka, and Susan Eisenbach. Keep off the grass: locking the right path for atomicity. In CC '08: Proc. International Conference on Compiler Construction, pages 276-290, March 2008. DOI: 10.1007/978-3-540- 78791-4-19 9, 65
75. Luke Dalessandro, Virendra J. Marathe, Michael F. Spear, and Michael L. Scott. Capabilities and limitations of library-based software transactional memory in C++. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 94
76. Luke Dalessandro and Michael L. Scott. Strong isolation is a weak idea. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 38, 41
77. Luke Dalessandro, Michael F. Spear, and Michael L. Scott. NOrec: Streamlining STM by abolishing ownership records. In PPoPP '10: Proc.15th ACM Symposium on Principles and Practice of Parallel Programming,pages 67-78, January 2010. DOI: 10.1145/1693453.1693464 15, 55, 102, 124, 126, 167
78. Peter Damron, Alexandra Fedorova, Yossi Lev, Victor Luchangco, Mark Moir, and Dan Nussbaum. Hybrid transactional memory. In ASPLOS '06: Proc. 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 336-346, October 2006. DOI: 10.1145/1168857.1168900 15, 165 (Pubitemid 47168413)
79. Alokika Dash and Brian Demsky. Software transactional distributed shared memory (poster). In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 297-298, February 2009. DOI: 10.1145/1504176.1504223 144
80. James C. Dehnert, Brian K. Grant, John P. Banning, Richard Johnson, Thomas Kistler, Alexander Klaiber, and Jim Mattson. The Transmeta code morphing software: using speculation, recovery, and adaptive retranslation to address real-life challenges. In CGO '03: Proc. International Symposium on Code Generation and Optimization, pages 15-24, March 2003. DOI: 10.1109/CGO.2003. 1191529 161
81. David Detlefs and Lingli Zhang. Transacting pointer-based accesses in an object-based software transactional memory system. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 68, 83, 105
82. Dave Dice, Ori Shalev, and Nir Shavit. Transactional locking II. In DISC '06: Proc. 20th International Symposium on Distributed Computing, pages 194-208, September 2006. Springer-Verlag Lecture Notes in Computer Science volume 4167. DOI: 10.1007/11864219-14 13, 15, 29, 47, 102, 105, 116, 122
83. Dave Dice and Nir Shavit. Understanding tradeoffs in software transactional memory. In CGO '07: Proc. International Symposium on Code Generation and Optimization, pages 21-33, March 2007. DOI: 10.1109/CGO.2007.38 116 (Pubitemid 47214296)
84. David Dice and Nir Shavit. What really makes transactions faster? In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 47, 108, 116
85. David Dice and Nir Shavit. TLRW: return of the read-write lock. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 10, 137
86. Stephan Diestelhorst,Martin Pohlack,Michael Hohmuth,Dave Christie,Jae-Woong Chung, and Luke Yen. Implementing AMD's Advanced Synchronization Facility in an out-of-order x86 core. In TRANSACT '10: 5th Workshop on Transactional Computing, April 2010. 169
87. Chen Ding, Xipeng Shen, Kirk Kelsey, Chris Tice, Ruke Huang, and Chengliang Zhang. Software behavior oriented parallelization. In PLDI '07: Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 223-234, June 2007. DOI: 10.1145/1250734.1250760 xiii, 55, 99, 128 (Pubitemid 47630690)
88. Simon Doherty, Lindsay Groves, Victor Luchangco, and Mark Moir. Towards formally specifying and verifying transactional memory. In Refinement Workshop 2009, November 2009. 23, 145
89. Shlomi Dolev, Danny Hendler, and Adi Suissa. CAR-STM: scheduling-based collision avoidance and resolution for software transactional memory. In PODC '08: Proc. 27th ACM Symposium on Principles of Distributed Computing, pages 125-134, August 2008. DOI: 10.1145/1400751.1400769 53
90. Kevin Donnelly and Matthew Fluet. Transactional events. In ICFP '06: Proc. 11th ACM SIGPLAN International Conference on Functional Programming, pages 124-135, September 2006. DOI: 10.1145/1159803.1159821 92 (Pubitemid 46609407)
91. Aleksandar Dragojević, Pascal Felber, Vincent Gramoli, and Rachid Guerraoui. Why STM can be more than a research toy. Technical Report LPD-REPORT-2009-003, LPD (Distributed Programming Laboratory), EPFL, 2009. 10
92. Aleksandar Dragojević, Rachid Guerraoui, and Michał Kapałka. Stretching transactional memory. In PLDI '09: Proc. 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 155-165, June 2009. DOI: 10.1145/1542476.1542494 15, 52, 123
93. Aleksandar Dragojević, Rachid Guerraoui, Anmol V. Singh, and Vasu Singh. Preventing versus curing: avoiding conflicts in transactional memories. In PODC '09: Proc. 28th ACM Symposium on Principles of Distributed Computing, pages 7-16, August 2009. DOI: 10.1145/1582716.1582725 54
94. Polina Dudnik and Michael Swift. Condition variables and transactional memory: problem or opportunity? InTRANSACT '09: 4th Workshop on Transactional Computing,February 2009. 86
95. Laura Effinger-Dean, Matthew Kehrt, and Dan Grossman. Transactional events for ML. In ICFP '08: Proc. 13th ACM SIGPLAN International Conference on Functional Programming, pages 103-114, September 2008. DOI: 10.1145/1411204. 1411222 92
96. Faith Ellen,Yossi Lev,Victor Luchangco, and Mark Moir. SNZI: scalable nonzero indicators. In PODC '07: Proc.26th ACM Symposium onPrinciples of Distributed Computing,pages 13-22, August 2007. DOI: 10.1145/1281100.1281106 115, 140 (Pubitemid 350229298)
97. Tayfun Elmas, Shaz Qadeer, and Serdar Tasiran. Goldilocks: a race and transaction-aware Java runtime. In PLDI '07: Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 245-255, June 2007. DOI: 10.1145/1250734.1250762 90 (Pubitemid 47630692)
98. Robert Ennals. Efficient software transactional memory. Technical Report IRC-TR-05-051, Intel Research Cambridge Tech Report, January 2005. 47, 116
99. Robert Ennals. Software transactional memory should not be obstruction-free. Technical Report IRC-TR-06-052, Intel Research Cambridge Tech Report, January 2006. 47
100. K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger. The notions of consistency and predicate locks in a database system. Communications of the ACM, 19(11):624-633, 1976. DOI: 10.1145/360363.360369 62
101. Li Fan, Pei Cao, Jussara M. Almeida, and Andrei Z. Broder. Summary cache: a scalable wide-area web cache sharing protocol. IEEE/ACM Transactions on Networking, 8(3):281-293, 2000. DOI: 10.1109/90.851975 193
102. Pascal Felber, Christof Fetzer, and Torvald Riegel. Dynamic performance tuning of word-based software transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 237-246, February 2008. DOI: 10.1145/1345206.1345241 107, 119, 120
103. Pascal Felber, Vincent Gramoli, and Rachid Guerraoui. Elastic transactions. In DISC '09: Proc. 23rd International Symposium on Distributed Computing, September 2009. DOI: 10.1007/978-3-642-04355-0-12 56
104. Keir Fraser. Practical lock freedom. PhD thesis, Cambridge University Computer Laboratory, 2003. Also available as Technical Report UCAM-CL-TR-579. 55, 56, 70, 82, 131, 137
105. Keir Fraser and Tim Harris. Concurrent programming without locks. TOCS: ACM Transactions on Computer Systems, 25(2), May 2007. DOI: 10.1145/1233307. 1233309 17, 131 (Pubitemid 46827000)
106. Vladimir Gajinov, Ferad Zyulkyarov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé,Tim Harris, and Mateo Valero. QuakeTM: parallelizing a complex sequential application using transactional memory. In ICS '09: Proc. 23rd International Conference on Supercomputing,pages 126-135, June 2009. DOI: 10.1145/1542275.1542298 43, 92
107. Justin Gottschlich and Daniel A. Connors. DracoSTM: a practical C++ approach to software transactionalmemory.InLCSD'07:Proc.2007 ACMSIGPLANSymposiumonLibrary-Centric Software Design, October 2007. DOI: 10.1145/1512762.1512768 94
108. Justin Gottschlich and Daniel A. Connors. Extending contention managers for user-defined priority-based transactions. In EPHAM '08: Workshop on Exploiting Parallelism with Trans-actional Memory and other Hardware Assisted Methods, April 2008. 53
109. Justin E. Gottschlich, Jeremy G. Siek, and Daniel A.Connors. C++ move semantics for exception safety and optimization in software transactional memory libraries. In ICOOOLPS '08: Proc. 3rd International Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems. July 2008. 94
110. Justin E. Gottschlich, Jeremy G. Siek, Manish Vachharajani, Dwight Y. Winkler, and Daniel A. Connors. An efficient lock-aware transactional memory implementation. In ICOOOLPS '09: Proc. 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, pages 10-17, July 2009. DOI: 10.1145/1565824.1565826 85
111. Justin E. Gottschlich, Manish Vachharajani, and Siek G. Jeremy. An efficient software trans-actional memory using commit-time invalidation. In CGO '10: Proc. International Symposium on Code Generation and Optimization, apr 2010. DOI: 10.1145/1772954.1772970 125
112. Jim Gray and Andreas Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993. 5
113. Dan Grossman. The transactional memory/garbage collection analogy. In OOPSLA '07: Proc. 22nd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (Essays),pages 695-706, October 2007. DOI: 10.1145/1297027.1297080 64
114. Dan Grossman, Jeremy Manson, and William Pugh. What do high-level memory models mean for transactions? In MSPC '06: Proc. 2006 Workshop on Memory System Performance and Correctness, October 2006. DOI: 10.1145/1178597.1178609 23, 31, 38, 136 (Pubitemid 47177304)
115. A. S. Grove. Only the paranoid survive. Doubleday, 1996. 1
116. Rachid Guerraoui. Transactional Memory: The Theory. Morgan & Claypool. Synthesis Lectures on Distributed Computing Theory (to appear). xiii
117. Rachid Guerraoui, Thomas Henzinger, and Vasu Singh. Completeness and nondetermin-ism in model checking transactional memories. In CONCUR '08: Proc. 19th Confernece on Concurrency Theory, pages 21-35, August 2008. DOI: 10.1007/978-3-540-85361-9-6 144
118. Rachid Guerraoui, Thomas Henzinger, and Vasu Singh. Permissiveness in transactional memories. In DISC '08: Proc. 22nd International Symposium on Distributed Computing, pages 305-319, September 2008. Springer-Verlag Lecture Notes in Computer Science volume 5218. DOI: 10.1007/978-3-540-87779-0-21 23, 48
119. Rachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, and Vasu Singh. Model checking transactional memories. In PLDI '08: Proc. 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 372-382, June 2008. DOI: 10.1145/1375581.1375626 144
120. Rachid Guerraoui, Thomas A. Henzinger, and Vasu Singh. Software transactional memory on relaxed memory models. In CAV '09: Proc. 21st International Conference on Computer Aided Verification, 2009. DOI: 10.1007/978-3-642-02658-4-26 103
121. Rachid Guerraoui, Maurice Herlihy, and Bastian Pochon. Polymorphic contention management. In DISC '05: Proc. 19th International Symposium on Distributed Computing, pages 303-323. LNCS, Springer, September 2005. DOI: 10.1007/11561927-23 51, 131
122. Rachid Guerraoui, Maurice Herlihy, and Bastian Pochon. Toward a theory of trans-actional contention managers. In PODC '05: Proc. 24th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, pages 258-264, July 2005. DOI: 10.1145/1073814.1073863 48, 49, 51 (Pubitemid 43218403)
123. Rachid Guerraoui and Michał Kapałka. On obstruction-free transactions. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 304-313, June 2008. DOI: 10.1145/1378533.1378587 48
124. Rachid Guerraoui and Michał Kapałka. On the correctness of transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 175-184, February 2008. DOI: 10.1145/1345206.1345233 23, 29
125. Rachid Guerraoui and Michał Kapałka. The semantics of progress in lock-based transactional memory. In POPL '09: Proc. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 404-415, January 2009. DOI: 10.1145/1480881.1480931 23
126. Rachid Guerraoui, Michał Kapałka, and Jan Vitek. STMBench7: A benchmark for software transactional memory. In EuroSys '07: Proc. 2nd ACM European Conference on Computer Systems, pages 315-324, March 2007. DOI: 10.1145/1272998.1273029 90
127. Nicholas Haines, Darrell Kindred, J. Gregory Morrisett, Scott M. Nettles, and Jeannette M. Wing. Composing first-class transactions. TOPLAS: ACM Transactions on Programming Languages and Systems, 16(6):1719-1736, 1994. DOI: 10.1145/197320.197346 42
128. Richard L. Halpert, Christopher J. F. Pickett, and Clark Verbrugge.
129. Robert H. Halstead, Jr. MULTILISP: a language for concurrent symbolic computation. TOPLAS: ACM Transactions on Programming Languages and Systems, 7(4):501-538, 1985. DOI: 10.1145/4472.4478 98
130. Lance Hammond, Brian D. Carlstrom, Vicky Wong, Ben Hertzberg, Mike Chen, Chris-tos Kozyrakis, and Kunle Olukotun. Programming with transactional coherence and consistency (TCC). In ASPLOS '04: Proc. 11th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 1-13, October 2004. DOI: 10.1145/1024393.1024395 94
131. 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 ISCA '04: Proc. 31st Annual International Symposium on Computer Architecture, page 102, June 2004. DOI: 10.1145/1028176.1006711 147, 170, 179
132. Tim Harris. Exceptions and side-effects in atomic blocks. In CSJP '04: Proc. ACM PODC Workshop on Concurrency and Synchronization in Java Programs, pages 46-53, July 2004. Proceedings published as Memorial University of Newfoundland CS Technical Report 2004-01. DOI: 10.1016/j.scico.2005.03.005 81, 88
133. Tim Harris and Keir Fraser. Language support for lightweight transactions. In OOPSLA '03: Proc. Object-Oriented Programming, Systems, Languages, and Applications, pages 388-402, October 2003. DOI: 10.1145/949343.949340 62, 68, 75, 83, 133, 141
134. Tim Harris and Keir Fraser. Revocable locks for non-blocking programming. In Proc. ACM Symposium on Principles and Practice of Parallel Programming, June 2005. DOI: 10.1145/1065944.1065954 55, 128, 134
135. Tim Harris, Maurice Herlihy, Simon Marlow, and Simon Peyton Jones. Composable memory transactions. In PPoPP '05: Proc. ACM Symposium on Principles and Practice of Parallel Programming, June 2005. A shorter version appeared in CACM 51(8):91-100, August 2008. DOI: 10.1145/1065944.1065952 40, 62, 68, 73, 74, 83, 84 (Pubitemid 43182832)
136. Tim Harris and Simon Peyton Jones. Transactional memory with data invariants. InTRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 24
137. Tim Harris, Mark Plesko, Avraham Shinnar, and David Tarditi. Optimizing memory transactions. In PLDI '06: Proc. 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 14-25, June 2006. DOI: 10.1145/1133981.1133984 47, 62, 68, 83, 102, 105, 106, 107, 109, 113, 114 (Pubitemid 46946426)
138. Tim Harris and Srdjan Stipic. Abstract nested transactions. InTRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 55, 57
139. Tim Harris,SasaTomic,Adrián Cristal,and Osman Unsal. Dynamic filtering: multi-purpose architecture support for language runtime systems. In ASPLOS '10: Proc. 15th International
140. Maurice Herlihy. Wait-free synchronization. TOPLAS: ACM Transactions on Programming Languages and Systems, 13(1):124-149, January 1991. DOI: 10.1145/114005.102808 47 (Pubitemid 23600427)
141. Maurice Herlihy and Eric Koskinen. Transactional boosting: a methodology for highly-concurrent transactional objects. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 207-216, February 2008. DOI: 10.1145/1345206.1345237 58
142. Maurice Herlihy andYossi 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, September 2009. DOI: 10.1109/PACT.2009.23 55, 89
143. Maurice Herlihy, Victor Luchangco, and Mark Moir. The repeat offender problem: a mechanism for supporting dynamic-sized, lock-free data structures. In DISC '02: Proceedings of the 16th International Conference on Distributed Computing, pages 339-353, 2002. DOI: 10.1007/3-540-36108-1-23 82
144. Maurice Herlihy, Victor Luchangco, and Mark Moir. Obstruction-free synchronization: double-ended queues as an example. In ICDCS '03: Proc. 23rd International Conference on Distributed ComputingSystems,pages522-529,May2003. DOI: 10.1109/ICDCS.2003.1203503 47
145. Maurice Herlihy, Victor Luchangco, Mark Moir, and William N. Scherer III. Software transactional memory for dynamic-sized data structures. In PODC '03: Proc. 22nd ACM Symposium on Principles of Distributed Computing, pages 92-101, July 2003. DOI: 10.1145/872035.872048 56, 94, 128, 131
146. Maurice Herlihy, Mark Moir, and Victor Luchangco. A flexible framework for implementing software transactional memory. In OOPSLA '06: Proc. 21st ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications, pages 253-262, October 2006. DOI: 10.1145/1167473.1167495 131 (Pubitemid 46726085)
147. Maurice Herlihy and J. Eliot B. Moss. Transactional memory: architectural support for lock-free data structures. In ISCA '93: Proc. 20th Annual International Symposium on Computer Architecture, pages 289-300, May 1993. DOI: 10.1145/165123.165164 6, 17, 149, 155
148. Maurice Herlihy and Nir Shavit. The art of multiprocessor programming. Morgan Kaufmann, 2008. DOI: 10.1145/1146381.1146382 56
149. Maurice Herlihy and Jeannette M. Wing. Linearizability: a correctness condition for concurrent objects. TOPLAS: ACM Transactions on Programming Languages and Systems, 12(3):463-492, July 1990. DOI: 10.1145/78969.78972 23 (Pubitemid 20721345)
150. Michael Hicks, Jeffrey S. Foster, and Polyvios Prattikakis. Lock inference for atomic sections. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 9, 65
151. Mark D. Hill, Derek Hower, Kevin E. Moore, Michael M. Swift, Haris Volos, and David A. Wood. A case for deconstructing hardware transactional memory systems. Technical Report CS-TR-2007-1594, University of Wisconsin-Madison, 2007. Also Dagstuhl Seminar Proceedings 07361. 169
152. W. Daniel Hillis and Guy L. Steele,Jr. Data parallel algorithms. Communications of the ACM, 29(12):1170-1183, 1986. DOI: 10.1145/7902.7903 2 (Pubitemid 17509855)
153. Benjamin Hindman and Dan Grossman. Atomicity via source-to-source translation. In MSPC '06: Proc. 2006 Workshop on Memory System Performance and Correctness, October 2006. DOI: 10.1145/1178597.1178611 71, 116 (Pubitemid 47177306)
154. Benjamin Hindman and Dan Grossman. Strong atomicity for Java without virtual-machine support. Technical Report 2006-05-01, University of Washington, Dept. Computer Science, May 2006. 35, 71
155. C. A. R. Hoare. Monitors: an operating system structuring concept. Communications of the ACM, pages 549-557, October 1974. DOI: 10.1145/355620.361161 63
156. C. A. R. Hoare. Towards a theory of parallel programming. In The origin of concurrent programming: from semaphores to remote procedure calls, pages 231-244. Springer-Verlag, 2002. DOI: 10.1007/3-540-07994-7-47 63, 76
157. Owen S. Hofmann, Donald E. Porter, Christopher J. Rossbach, Hany E. Ramadan, and Emmett Witchel. Solving difficult HTM problems without difficult hardware. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 203
158. Owen S. Hofmann, Christopher J. Rossbach, and Emmett Witchel. Maximum benefit from a minimal HTM. In ASPLOS '09: Proc. 14th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 145-156, March 2009. DOI: 10.1145/1508244.1508262 203
159. James J. Horning, Hugh C. Lauer, P. M. Melliar-Smith, and Brian Randell. A program structure for error detection and recovery. In Operating Systems, Proceedings of an International Symposium, pages 171-187. Springer-Verlag, 1974. DOI: 10.1007/BFb0029359 80
160. Liyang Hu and Graham Hutton. Towards a verified implementation of software transactional memory. In Proc. Symposium on Trends in Functional Programming, May 2008. 145
161. Richard L. Hudson, Bratin Saha, Ali-Reza Adl-Tabatabai, and Benjamin C. Hertzberg. McRT-Malloc: a scalable transactional memory allocator. In ISMM '06: Proc. 5th International Symposium on Memory Management, pages 74-83, June 2006. DOI: 10.1145/1133956.1133967 82, 105, 137 (Pubitemid 46609208)
162. Damien Imbs, José Ramon de Mendivil, and Michel Raynal. Virtual world consistency: a new condition for STM systems (brief announcement). In PODC '09: Proc. 28th ACM Symposium on Principles of Distributed Computing, pages 280-281, August 2009. DOI: 10.1145/1582716.1582764 30
163. Amos Israeli and Lihu Rappoport. Disjoint-access-parallel implementations of strong shared memory primitives. In PODC '94: Proc. 13th ACM Symposium on Principles of Distributed Computing, pages 151-160, August 1994. DOI: 10.1145/197917.198079 48
164. Eric H. Jensen, Gary W. Hagensen, and Jeffrey M. Broughton. A new approach to exclusive data access in shared memory multiprocessors. Technical Report Technical Report UCRL-97663, November 1987. 155
165. Gerry Kane. MIPS RISC architecture. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1988. 155
166. Seunghwa Kang and David A. Bader. An efficient transactional memory algorithm for computing minimum spanning forest of sparse graphs. In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 15-24, February 2009. DOI: 10.1145/1504176.1504182 91
167. Gokcen Kestor, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, and Mateo Valero. RMS-TM: A transactional memory benchmark for recognition, mining and synthesis applications. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 91
168. Behram Khan, Matthew Horsnell, Ian Rogers, Mikel Luján, Andrew Dinn, and Ian Watson. An object-aware hardware transactional memory. In HPCC '08: Proc. 10th International Conference on High Performance Computing and Communications, pages 93-102, September 2008. DOI: 10.1109/HPCC.2008.110 150
169. Aaron Kimball and Dan Grossman. Software transactions meet first-class continuations. In Proc. 8th Annual Workshop on Scheme and Functional Programming, September 2007. 62, 80
170. Thomas F. Knight. An architecture for mostly functional languages. In LFP '86: Proc. ACM Lisp and Functional Programming Conference, pages 500-519, August 1986. DOI: 10.1145/319838.319854 179
171. G.K. Konstadinidis, M. Tremblay, S. Chaudhry, M. Rashid, P.F. Lai, Y. Otaguro, Y. Orginos, S. Parampalli, M. Steigerwald, S. Gundala, R. Pyapali, L.D. Rarick, I. Elkin, Y. Ge, and I. Parulkar. Architecture and physical implementation of a third generation 65nm, 16 core, 32 thread chip-multithreading SPARC processor. IEEE Journal of Solid-State Circuits, 44(1):7-17, January 2009. DOI: 10.1109/JSSC.2008.2007144 161
172. Guy Korland, Nir Shavit, and Pascal Felber. Noninvasive Java concurrency with Deuce STM (poster). In SYSTOR '09: The Israeli Experimental Systems Conference, May 2009. Further details at http://www.deucestm.org/. 13
173. Guy Korland, Nir Shavit, and Pascal Felber. Noninvasive concurrency with Java STM. In MULTIPROG '10: Proc. 3rd Workshop on Programmability Issues for Multi-Core Computers, January 2010. 68, 131
174. Eric Koskinen and Maurice Herlihy. Checkpoints and continuations instead of nested transactions. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 160-168, June 2008. An earlier version appeared at TRANSACT '08. DOI: 10.1145/1378533.1378563 57
175. Eric Koskinen and Maurice Herlihy. Dreadlocks: efficient deadlock detection. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 297-303, June 2008. An earlier version appeared at TRANSACT '08.DOI: 10.1145/1378533.1378585 21, 109
176. Eric Koskinen and Maurice Herlihy. Concurrent non-commutative boosted transactions. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 58
177. Eric Koskinen, Matthew Parkinson, and Maurice Herlihy. Coarse-grained transactions. In POPL '10: Proc. 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 19-30, January 2010. DOI: 10.1145/1706299.1706304 58
178. Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, and Ian Watson. DiSTM: A software transactional memory framework for clusters. In ICPP '08: Proc. 37th International Conference on Parallel Processing, September 2008. DOI: 10.1109/ICPP.2008.59 143
179. Christos Kotselidis, Mohammad Ansari, Kim Jarvis, Mikel Luján, Chris C. Kirkham, and Ian Watson. Investigating software transactional memory on clusters. In IPDPS '08: Proc. 22nd International Parallel and Distributed Processing Symposium, 2008. DOI: 10.1109/IPDPS.2008.4536340 143
180. Milind Kulkarni, Patrick Carribault, Keshav Pingali, Ganesh Ramanarayanan, Bruce Walter, Kavita Bala, and L. Paul Chew. Scheduling strategies for optimistic parallel execution of irregular programs. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 217-228, June 2008. DOI: 10.1145/1378533.1378575 54, 58
181. Milind Kulkarni, Keshav Pingali, Bruce Walter, Ganesh Ramanarayanan, Kavita Bala, and L. Paul Chew. Optimistic parallelism requires abstractions. In PLDI '07: Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 211-222, June 2007. DOI: 10.1145/1250734.1250759 58 (Pubitemid 47630689)
182. Sanjeev Kumar, Michael Chu, Christopher J. Hughes, Partha Kundu, and Anthony Nguyen. Hybrid transactional memory. In PPoPP '06: Proc. 11th ACM SIGPLAN Symposium on Principles andPractice of Parallel Programming,March 2006.DOI: 10.1145/1122971.1123003 166
183. Bradley C. Kuszmaul and Charles E. Leiserson. Transactions everywhere, January 2003. Available at http://dspace.mit.edu/handle/1721.1/3692. 94
184. Edmund S. L. Lam and Martin Sulzmann. A concurrent constraint handling rules implementation in Haskell with software transactional memory. In DAMP '07: Proc. 2007 workshop on Declarative aspects of multicore programming, pages 19-24, January 2007. DOI: 10.1145/1248648.1248653 92 (Pubitemid 47582029)
185. Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, 1978. DOI: 10.1145/359545.359563 161 (Pubitemid 8615486)
186. Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess progranm. IEEETrans. Comput., 28(9):690-691,1979.DOI: 10.1109/TC.1979.1675439 38
187. Yossi Lev, Victor Luchangco, Virendra Marathe, Mark Moir, Dan Nussbaum, and Marek Olszewski. Anatomy of a scalable software transactional memory. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 15, 115, 122, 131, 139, 140
188. Yossi Lev and Jan-Willem Maessen. Toward a safer interaction with transactional memory by tracking object visibility. In SCOOL '05: Proc. OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages, October 2005. 40
189. Yossi Lev and Jan-Willem Maessen. Split hardware transactions: true nesting of transactions using best-effort hardware transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 197-206, February 2008. DOI: 10.1145/1345206.1345236 81, 88, 202
190. Yossi Lev and Mark Moir. Fast read sharing mechanism for software transactional memory (poster). In PODC '04: Proc. 23rd ACM Symposium on Principles of Distributed Computing, 2004. 115, 131
191. Yossi Lev and Mark Moir. Debugging with transactional memory. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 89
192. Yossi Lev, Mark Moir, and Dan Nussbaum. PhTM: Phased transactional memory. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 15, 166
193. Sean Lie. Hardware support for unbounded transactional memory. Master's thesis, May 2004. Massachusetts Institute of Technology 165 2004.
194. Richard J. Lipton. Reduction: a method of proving properties of parallel programs. Communications of the ACM, 18(12):717-721, December 1975. DOI: 10.1145/361227.361234 58
195. Barbara Liskov. Distributed programming in Argus. Communications of the ACM, 31(3):300-312, 1988. DOI: 10.1145/42392.42399 5 (Pubitemid 18589577)
196. Yi Liu, Xin Zhang, He Li, Mingxiu Li, and Depei Qian. Hardware transactional memory supporting I/O operations within transactions. In HPCC '08: Proc. 10th International Conference on High Performance Computing and Communications, pages 85-92, September 2008. DOI: 10.1109/HPCC.2008.71 81
197. Yu David Liu, Xiaoqi Lu, and Scott F. Smith. Coqa: concurrent objects with quantized atomicity. In CC '08: Proc. International Conference on Compiler Construction, pages 260-275, March 2008. DOI: 10.1007/978-3-540-78791-4-18 96
198. David B. Lomet. Process structuring, synchronization, and recovery using atomic actions. In ACM Conference on Language Design for Reliable Software, pages 128-137, March 1977. DOI: 10.1145/800022.808319 6, 62
199. João Lourenço and Goncalo T. Cunha. Testing patterns for software transactional memory engines. In PADTAD '07: Proc. 2007 ACM Workshop on Parallel and Distributed Systems: Testing and Debugging, pages 36-42, July 2007. DOI: 10.1145/1273647.1273655 144 (Pubitemid 47325129)
200. David B. Loveman. High performance Fortran. IEEE Parallel Distrib. Technol., 1(1):25-42, 1993. DOI: 10.1109/88.219857 2
201. Victor Luchangco. Against lock-based semantics for transactional memory (brief announcement). In SPAA '08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures, pages 98-100, June 2008. DOI: 10.1145/1378533. 1378549 36
202. Victor Luchangco and Virendra J. Marathe. Transaction synchronizers. In SCOOL '05: Proc. OOPSLA Workshop on Synchronization and Concurrency in Object-Oriented Languages,October 2005, 76.
203. Marc Lupon,Grigorios Magklis,and Antonio González.Version management alternatives for hardware transactional memory. In MEDEA '08: Proc. 9th Workshop on Memory Performance, October 2008. DOI: 10.1145/1509084.1509094 172
204. Kaloian Manassiev, Madalin Mihailescu, and Cristiana Amza. Exploiting distributed version concurrency in a transactional memory cluster. In PPoPP '06: Proc. 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 198-208, March 2006. DOI: 10.1145/1122971.1123002 142
205. Chaiyasit Manovit, Sudheendra Hangal, Hassan Chafi, Austen McDonald, Christos Kozyrakis, and Kunle Olukotun. Testing implementations of transactional memory. In PACT '06: Proc. 15th international conference on Parallel architectures and compilation techniques, pages 134-143, September 2006. DOI: 10.1145/1152154.1152177 144 (Pubitemid 46601091)
206. Jeremy Manson, William Pugh, and Sarita V. Adve. The Java memory model. In POPL '05: Proc. 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 378-391, January 2005. DOI: 10.1145/1040305.1040336 34, 35, 36, 65, 97, 103
207. Virendra J.Marathe and Mark Moir.Toward high performance nonblocking software transac-tional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming,pages 227-236,February 2008.DOI: 10.1145/1345206.1345240 47, 102, 134
208. Virendra J. Marathe, William N. Scherer III, and Michael L. Scott. Adaptive software trans-actional memory. In Proc. 19th International Symposium on Distributed Computing, September 2005. Earlier but expanded version available as TR 868, University of Rochester Computer Science Dept., May 2005. 131, 132
209. Virendra J. Marathe and Michael L. Scott. Using LL/SC to simplify word-based software transactional memory (poster). In PODC '05: Proc. 24th ACM Symposium on Principles of Distributed Computing, July 2005. 135
210. Virendra J. Marathe, Michael F. Spear, Christopher Heriot, Athul Acharya, David Eisenstat, William N.Scherer III,and Michael L.Scott. Lowering the overhead of software transactional memory. Technical Report TR 893, Computer Science Department, University of Rochester, March 2006. Condensed version presented at TRANSACT '06. 15, 131, 132, 197, 198
211. Virendra J. Marathe, Michael F. Spear, and Michael L. Scott. Scalable techniques for transparent privatization in software transactional memory. In ICPP '08: Proc. 37th International Conference on Parallel Processing, September 2008. DOI: 10.1109/ICPP.2008.69 138, 139
212. Milo M. K. Martin, Mark D. Hill, and David A. Wood. Token coherence: decoupling performance and correctness. In ISCA '03: Proc. 30th International Symposium on Computer Architecture, pages 182-193, June 2003. DOI: 10.1109/ISCA.2003.1206999 190
213. Bill McCloskey, Feng Zhou, David Gay, and Eric Brewer. Autolocker: synchronization inference for atomic sections. In POPL '06: Proc. 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 346-358, January 2006. DOI: 10.1145/1111037.1111068 9, 65
214. Austen McDonald, JaeWoong Chung, Brian D. Carlstrom, Chi Cao Minh, Hassan Chafi, Christos Kozyrakis, and Kunle Olukotun. Architectural semantics for practical transactional memory. In ISCA '06: Proc. 33rd Annual International Symposium on Computer Architecture, pages 53-65, June 2006. 81, 88, 201, 202
215. Phil McGachey, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Vijay Menon, Bratin Saha, and Tatiana Shpeisman. Concurrent GC leveraging transactional memory. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 217-226, February 2008. DOI: 10.1145/1345206.1345238 83
216. P.E. McKenney and J. D. Slingwine. Read-copy update: using execution history to solve concurrency problems. In Proc.10th International Conference on Parallel and Distributed Computing and Systems, pages 508-518, 1998. 82
217. Mojtaba Mehrara, Jeff Hao, Po-Chun Hsu, and Scott Mahlke. Parallelizing sequential applications on commodity hardware using a low-cost software transactional memory. In PLDI '09: Proc. 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 166-176, June 2009. DOI: 10.1145/1542476.1542495 125
218. Vijay Menon,StevenBalensiefer,TatianaShpeisman,Ali-RezaAdl-Tabatabai, Richard Hudson, Bratin Saha, and Adam Welc. Single global lock semantics in a weakly atomic STM. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 31, 37, 38, 65, 136, 137
219. Vijay Menon, Steven Balensiefer, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Bratin Saha, and Adam Welc. Practical weak-atomicity semantics for Java STM. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 314-325, June 2008. DOI: 10.1145/1378533.1378588 31, 62, 65, 136
220. Vijay S. Menon, Neal Glew, Brian R. Murphy, Andrew McCreight, Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, and Leaf Petersen. A verifiable SSA program representation for aggressive compiler optimization. In POPL '06:Proc.33rd ACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 397-408, January 2006. 114
221. Maged M. Michael. Hazard pointers: safe memory reclamation for lock-free objects. IEEE Transactions on Parallel and Distributed Systems, 15(6):491-504, June 2004. DOI: 10.1109/TPDS.2004.8 82
222. Maged M.Michael and MichaelL.Scott. Simple,fast,and practical non-blocking and blocking concurrent queue algorithms. In PODC '96: Proc. 15th Annual ACM Symposium on Prin-ciples of Distributed Computing, pages 267-275, May 1996. DOI: 10.1145/248052.248106 2
223. Maged M. Michael, Martin T. Vechev, and Vijay A. Saraswat. Idempotent work stealing. In PPoPP '09: Proc. 14th Symposium on Principles and Practice of Parallel Programming, pages 45-54, February 2009. DOI: 10.1145/1504176.1504186 2
224. Milo? Milovanović, Roger Ferrer, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, and Mateo Valero. Multithreaded software transactional memory and OpenMP. In MEDEA '07: Proc. 2007 Workshop on Memory Performance, pages 81-88, September 2007. DOI: 10.1145/1327171.1327181 44
225. Katherine F. Moore and Dan Grossman. High-level small-step operational semantics for transactions. In POPL '08: Proc. 35th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 51-62, January 2008. Earlier version presented at TRANSACT '07. DOI: 10.1145/1328438.1328448 23, 31, 38, 40, 44, 68, 145
226. Kevin E. Moore, Jayaram Bobba, Michelle J. Moravan, Mark D. Hill, and David A. Wood. LogTM: Log-based transactional memory. In HPCA '06: Proc. 12th International Symposium on High-Performance Computer Architecture, pages 254-265, February 2006. 14, 21, 22, 147, 170, 172
227. Michelle J. Moravan, Jayaram Bobba, Kevin E. Moore, Luke Yen, Mark D. Hill, Ben Liblit, Michael M. Swift, and David A. Wood. Supporting nested transactional memory in LogTM. In ASPLOS '06: Proc. 12th International Conference on Architectural Support for Programming Languages and Operating Systems, pages 359-370, October 2006. DOI: 10.1145/1168857.1168902 81, 201
228. J. Eliot B. Moss and Antony L. Hosking. Nested transactional memory: Model and architecture sketches. 63(2):186-201, December 2006. DOI: 10.1016/j.scico.2006.05.010 42, 43, 202 (Pubitemid 44486443)
229. Armand Navabi, Xiangyu Zhang, and Suresh Jagannathan. Quasi-static scheduling for safe futures. In PPoPP '08: Proc. 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 23-32, February 2008. DOI: 10.1145/1345206.1345212 98
230. Yang Ni, Vijay S. Menon, Ali-Reza Adl-Tabatabai, Antony L. Hosking, Richard L. Hudson, J. Eliot B. Moss, Bratin Saha, and Tatiana Shpeisman. Open nesting in software transactional memory. In PPoPP '07: Proc. 12th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, pages 68-78, March 2007. DOI: 10.1145/1229428.1229442 43 (Pubitemid 47479082)
231. Yang Ni, Adam Welc, Ali-Reza Adl-Tabatabai, Moshe Bach,Sion Berkowits, James Cownie, Robert Geva, Sergey Kozhukow, Ravi Narayanaswamy, Jeffrey Olivier, Serguei Preis, Bratin Saha, Ady Tal, and Xinmin Tian. Design and implementation of transactional constructs for C/C++. In OOPSLA '08: Proc. 23rd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 195-212, September 2008. DOI: 10.1145/1449764.1449780 62, 69, 80
232. Konstantinos Nikas, Nikos Anastopoulos, Georgios Goumas, and Nektarios Koziris. Employing transactional memoryand helper threadsto speedup Dijkstra's algorithm. In ICPP '09: Proc. 38th International Conference on Parallel Processing, September 2009. 91
233. Cosmin E. Oancea, Alan Mycroft, and Tim Harris. A lightweight in-place implementation for software thread-level speculation. In SPAA '09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures, August 2009. DOI: 10.1145/1583991.1584050 xiv
234. John O'Leary, Bratin Saha, and Mark R. Tuttle. Model checking transactional memory with Spin (brief announcement). In PODC '08: Proc. 27th ACM symposium on Principles of Distributed Computing, pages 424-424, August 2008. DOI: 10.1145/1400751.1400816 144
235. Marek Olszewski, Jeremy Cutler, and J. Gregory Steffan. JudoSTM: a dynamic binary-rewriting approach to software transactional memory. In PACT '07: Proc. 16th International Conference on Parallel Architecture and Compilation Techniques, pages 365-375, September 2007. DOI: 10.1109/PACT.2007.42 55, 68, 102, 124, 126
236. Kunle Olukotun and Lance Hammond. The future of microprocessors. Queue, 3(7):26-29, 2005. DOI: 10.1145/1095408.1095418 1
237. Victor Pankratius,Ali-Reza Adl-Tabatabai,and Frank Otto. Does transactional memory keep its promises? Results from an empirical study. Technical Report 2009-12, IPD, University of Karlsruhe, Germany, September 2009. 94
238. Salil Pant and Gregory Byrd. Extending concurrency of transactional memory programs by using value prediction. In CF '09: Proc. 6th ACM conference on Computing frontiers, pages 11-20, May 2009. DOI: 10.1145/1531743.1531748 56
239. Salil Pant and Gregory Byrd. Limited early value communication to improve performance of transactional memory. In ICS '09: Proc. 23rd International Conference on Supercomputing, pages 421-429, June 2009. DOI: 10.1145/1542275.1542334 56
240. Cristian Perfumo, Nehir Sönmez, Srdjan Stipic, Osman S. Unsal, Adrián Cristal, Tim Harris, and Mateo Valero. The limits of software transactional memory (STM): dissecting Haskell STM applications on a many-core environment. In CF '08: Proc. 5th conference on Computing frontiers, pages 67-78, May 2008. Earlier version presented at TRANSACT '07. DOI: 10.1145/1366230.1366241 90, 92
241. Filip Pizlo, Marek Prochazka, Suresh Jagannathan, and Jan Vitek. Transactional lock-free objects for real-time Java. In CSJP '04: Proc. ACM PODC Workshop on Concurrency and Synchronization in Java Programs, pages 54-62, 2004. 53, 63, 84
242. Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel. Operating systems transactions. In SOSP '09: Proc. 22nd ACM SIGOPS Symposium on Operating Systems Principles, pages 161-176, October 2009. DOI: 10.1145/1629575.1629591 15, 81, 88
243. Donald E. Porter and Emmett Witchel. Operating systems should provide transactions. In HotOS '09: Proc. 12th Workshop on Hot Topics in Operating Systems, May 2009. 88
244. Seth H. Pugsley, Manu Awasthi, Niti Madan, Naveen Muralimanohar, and Rajeev Bala-subramonian. Scalable and reliable communication for hardware transactional memory. In PACT '08: Proc. 17th International Conference on Parallel Architectures and Compilation Techniques, pages 144-154, October 2008. DOI: 10.1145/1454115.1454137 182
245. George Radin. The 801 minicomputer. In ASPLOS '82: Proc. 1st International Symposium on Architectural Support for Programming Languages and Operating Systems, pages 39-47, 1982. DOI: 10.1145/800050.801824 194
246. Ravi Rajwar. Speculation-Based Techniques for Transactional Lock-Free Execution of Lock-Based Programs. PhD thesis, October 2002. University of Wisconsin. 96, 150, 160
247. Ravi Rajwar and James R. Goodman. Speculative lock elision: enabling highly concurrent multithreaded execution. In MICRO '01: Proc. 34th International Symposium on Microarchitecture, pages 294-305, December 2001. 93, 96, 149, 150, 159
248. Ravi Rajwar and James R. Goodman. Transactional lock-free execution of lock-based programs. In ASPLOS '02: Proc. 10th Symposium on Architectural Support for Programming Languages and Operating Systems, pages 5-17, October 2002. DOI: 10.1145/605397.605399 159, 161
249. Ravi Rajwar and James R. Goodman. Transactional execution: toward reliable, high-performance multithreading. IEEE Micro, 23(6):117-125, Nov-Dec 2003.
250. Ravi Rajwar, Maurice Herlihy, and Konrad Lai. Virtualizing transactional memory. In ISCA '05: Proc. 32nd Annual International Symposium on Computer Architecture, pages 494-505, June 2005. 191
251. Hany Ramadan and Emmett Witchel. The Xfork in the road to coordinated sibling transactions. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 44
252. Hany E. Ramadan, Christopher J. Rossbach, Donald E. Porter, Owen S. Hofmann, Aditya Bhandari, and Emmett Witchel. MetaTM/TxLinux: transactional memory for an operating system. In ISCA '07: Proc. 34th annual international symposium on Computer architecture, pages 92-103, 2007. A later paper about this work appeared in CACM 51(9), September 2008. DOI: 10.1145/1250662.1250675 93 (Pubitemid 47582094)
253. Hany E. Ramadan, Christopher J. Rossbach, and Emmett Witchel. Dependence-aware transactional memory for increased concurrency. In MICRO '08: Proc. 2008 41st IEEE/ACM International Symposium on Microarchitecture, pages 246-257, 2008. DOI: 10.1109/MICRO.2008.4771795 56
254. Hany E. Ramadan, Indrajit Roy, Maurice Herlihy, and Emmett Witchel. Committing conflicting transactions in an STM. In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 163-172, February 2009. DOI: 10.1145/1504176.1504201 56
255. R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw-Hill, 2000. 5
256. G. Ramalingam. Context-sensitive synchronization-sensitive analysis is undecidable. TOPLAS: ACM Transactions on Programming Languages and Systems, 22(2):416-430, 2000. DOI: 10.1145/349214.349241 2
257. Paruj Ratanaworabhan, Martin Burtscher, Darko Kirovski, Benjamin Zorn, Rahul Nagpal, and Karthik Pattabiraman. Detecting and tolerating asymmetric races. In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 173-184, February 2009. DOI: 10.1145/1504176.1504202 31
258. Lukas Renggli and Oscar Nierstrasz. Transactional memory for Smalltalk. In ICDL '07: Proc. 2007 International Conference on Dynamic Languages, pages 207-221, August 2007. DOI: 10.1145/1352678.1352692 62
259. Torval Riegel, Christof Fetzer, Heiko Sturzrehm, and Pascal Felber. From causal to z-linearizable transactional memory (brief announcement). In PODC '07: Proc. 26th ACM symposium on Principles of distributed computing, pages 340-341, August 2007. DOI: 10.1145/1281100.1281162 27 (Pubitemid 350229345)
260. Torvald Riegel and Diogo Becker de Brum. Making object-based STM practical in unman-aged environments. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 105
261. Torvald Riegel, Pascal Felber, and Christof Fetzer. A lazy snapshot algorithm with eager validation. In DISC '06: Proc. 20th International Symposium on Distributed Computing, volume 4167 of Lecture Notes in Computer Science, pages 284-298, September 2006. DOI: 10.1007/11864219-20 15, 123
262. Torvald Riegel, Christof Fetzer, and Pascal Felber. Snapshot isolation for software trans-actional memory. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 27, 123
263. Torvald Riegel, Christof Fetzer, and Pascal Felber. Time-based transactional memory with scalable time bases. In SPAA '07: Proc. 19th ACM Symposium on Parallelism in Algorithms and Architectures, pages 221-228, June 2007. DOI: 10.1145/1248377.1248415 121 (Pubitemid 47568571)
264. Torvald Riegel, Christof Fetzer, and Pascal Felber. Automatic data partitioning in software transactional memories. In SPAA '08: Proc. 20th Symposium on Parallelism in Algorithms and Architectures, pages 152-159, June 2008. DOI: 10.1145/1378533.1378562 105
265. Michael F. Ringenburg and Dan Grossman. AtomCaml: First-class atomicity via rollback. In Proc. 10th ACM SIGPLAN International Conference on Functional Programming, September 2005. DOI: 10.1145/1086365.1086378 62, 73, 75, 86
266. Paolo Romano, Nuno Carvalho, and Luís Rodrigues. Towards distributed software transac-tional memory systems. In LADIS '08: Proc. 2nd Workshop on Large-Scale Distributed Systems and Middleware, September 2008. DOI: 10.1145/1529974.1529980 143
267. Daniel J. Rosenkrantz, Richard E. Stearns, and Philip M. Lewis, II. System level concurrency control for distributed database systems. TODS: ACM Transactions on Database Systems, 3(2):178-198, 1978. DOI: 10.1145/320251.320260 161
268. Christopher Rossbach, Owen Hofmann, and Emmett Witchel. Is transactional memory programming actually easier? In PPoPP '10: Proc. 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 47-56, January 2010. Earlier version presented at TRANSACT '09. DOI: 10.1145/1693453.1693462 93
269. Christopher J. Rossbach, Owen S. Hofmann, Donald E. Porter, Hany E. Ramadan, Aditya Bhandari,and Emmett Witchel. TxLinux:using and managing hardware transactional memory in an operating system. In SOSP '07: Proc. 21st ACM SIGOPS Symposium on Operating Systems Principles, pages 87-102, October 2007. A later paper about this work appeared in C ACM 51(9), September 2008. DOI: 10.1145/1294261.1294271 93 (Pubitemid 351436324)
270. Christopher J. Rossbach, Hany E. Ramadan, Owen S. Hofmann, Donald E. Porter, Aditya Bhandari, and Emmett Witchel. TxLinux and MetaTM: transactional memory and the operating system. Communications of the ACM,51(9):83-91,September 2008. Earlier versions of this work appeared at ISCA '07 and SOSP '07. DOI: 10.1145/1378727.1378747 14, 93
271. Amitabha Roy, Steven Hand, and Tim Harris. A runtime system for software lock elision. In EuroSys '09: Proc. 4th ACM European Conference on Computer Systems, pages 261-274, April 2009. DOI: 10.1145/1519065.1519094 96
272. Bratin Saha, Ali-Reza Adl-Tabatabai, Anwar Ghuloum, Mohan Rajagopalan, Richard L. Hudson, Leaf Petersen, Vijay Menon, Brian Murphy,Tatiana Shpeisman, Eric Sprangle, Anwar Rohillah, Doug Carmean, and Jesse Fang. Enabling scalability and performance in a large scale CMP environment. In EuroSys '07: Proc. 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007, pages 73-86, March 2007. DOI: 10.1145/1272996.1273006 109 (Pubitemid 47281576)
273. Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, and Benjamin Hertzberg. McRT-STM: a high performance software transactional memory system for a multi-core runtime. In PPoPP '06: Proc. 11th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 187-197, March 2006. DOI: 10.1145/1122971.1123001 47, 102, 108, 109, 115
274. Bratin Saha,Ali-Reza Adl-Tabatabai,and Quinn Jacobson. Architectural support for software transactional memory.InMICRO '06:Proc.39th Annual IEEE/ACM International Symposium on Microarchitecture, pages 185-196, 2006. DOI: 10.1109/MICRO.2006.9 197
275. Daniel Sanchez, Luke Yen, Mark D. Hill, and Karthikeyan Sankaralingam. Implementing signatures for transactional memory. In MICRO '07: Proc. 40th Annual IEEE/ACM International Symposium on Microarchitecture, pages 123-133, 2007. DOI: 10.1109/MICRO.2007.20 174, 175
276. Sutirtha Sanyal,Adrián Cristal, Osman S. Unsal,Mateo Valero, and Sourav Roy. Dynamically filtering thread-local variables in lazy-lazy hardware transactional memory. In HPCC '09: Proc. 11th Conference on High Performance Computing and Communications, June 2009. 178
277. William N. Scherer III and Michael L. Scott. Contention management in dynamic software transactional memory. In CSJP '04: Proc. ACM PODC Workshop on Concurrency and Synchronization in Java Programs, July 2004. In conjunction with PODC'04. Please also download errata from http://www.cs.rochester.edu/u/scott/ papers/2004-CSJP-contention-mgmt-errata.pdf. 29, 51, 131
278. William N. Scherer III and Michael L. Scott. Nonblocking concurrent objects with condition synchronization. In DISC '04: Proc. 18th International Symposium on Distributed Computing, October 2004. 75
279. William N.Scherer III and Michael L.Scott. Advanced contention management for dynamic software transactional memory. In PODC '05: Proc. 24th ACM Symposium on Principles of Distributed Computing, pages 240-248, July 2005. DOI: 10.1145/1073814.1073861 51, 52
280. Florian T. Schneider, Vijay Menon, Tatiana Shpeisman, and Ali-Reza Adl-Tabatabai. Dynamic optimization for efficient strong atomicity. In OOPSLA '08:Proc.23rd ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 181-194, September 2008. DOI: 10.1145/1449764.1449779 35, 71
281. Michael L. Scott. Sequential specification of transactional memory semantics. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 23
282. Michael L. Scott, Michael F. Spear, Luke Dalessandro, and Virendra J. Marathe. De-launay triangulation with transactions and barriers. In IISWC '07: Proc. 2007 IEEE International Symposium on Workload Characterization, September 2007. Benchmarks track. DOI: 10.1109/IISWC.2007.4362186 91
283. Michael L. Scott, Michael F. Spear, Luke Dalessandro, and Virendra J. Marathe. Transactions and privatization in Delaunay triangulation (brief announcement). In PODC '07: Proc. 26th PODC ACM Symposium on Principles of Distributed Computing, August 2007. DOI: 10.1145/1281100.1281160 40
284. Nir Shavit and Dan Touitou. Software transactional memory. In PODC '95: Proc. 14th ACM Symposium on Principles of Distributed Computing, pages 204-213, August 1995. DOI: 10.1145/224964.224987 101, 128
285. Avraham Shinnar, David Tarditi, Mark Plesko, and Bjarne Steensgaard. Integrating support for undo with exception handling. Technical Report MSR-TR-2004-140, Microsoft Research, December 2004. 80, 83
286. Tatiana Shpeisman, Ali-Reza Adl-Tabatabai, Robert Geva, Yang Ni, and Adam Welc. Towards transactional memory semantics for C++. In SPAA '09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures, pages 49-58, August 2009. DOI: 10.1145/1583991.1584012 62, 80
287. TatianaShpeisman,Vijay Menon,Ali-RezaAdl-Tabatabai,SteveBalensiefer,Dan Grossman, Richard Hudson, Katherine F. Moore, and Bratin Saha. Enforcing isolation and ordering in STM. In PLDI '07: Proc. 2007 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 78-88, June 2007.DOI: 10.1145/1250734.1250744 31, 35, 40, 71
288. Arrvindh Shriram,Virendra J. Marathe, Sandhya Dwarkadas,Michael L. Scott, David Eisen-stat,Christopher Heriot,William N.Scherer III,and Michael F.Spear. Hardware acceleration of software transactional memory. Technical Report TR 887, Computer Science Department, University of Rochester, December 2005. Revised, March 2006; condensed version presented at TRANSACT '06. 182, 198
289. Arrvindh Shriraman and Sandhya Dwarkadas. Refereeing conflicts in hardware transac-tional memory. In ICS '09: Proc. 23rd International Conference on Supercomputing, pages 136-146, June 2009. Also available asTR 939, Department of Computer Science, University of Rochester, September 2008. DOI: 10.1145/1542275.1542299 50, 52, 147, 152, 170, 182, 198
290. Arrvindh Shriraman, Sandhya Dwarkadas, and Michael L. Scott. Flexible decoupled trans-actional memory support. Journal of Parallel and Distributed Computing: Special Issue on Transactional Memory, June 2010. Earlier version published in ISCA '08. 50, 52, 147, 170, 182, 183, 198
291. Arrvindh Shriraman, Michael F. Spear, Hemayet Hossain, Virendra Marathe, Sandhya Dwarkadas, and Michael L. Scott. An integrated hardware-software approach to flexible transactional memory. In ISCA '07: Proc. 34rd Annual International Symposium on Computer Architecture, pages 104-115, June 2007. DOI: 10.1145/1250662.1250676 197 (Pubitemid 47582095)
292. Ed Sikha, Rick Simpson, Cathy May, and Hank Warren, editors. The PowerPC architecture: a specification for a new family of RISC processors. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 1994. 155
293. Satnam Singh. Higher order combinators for join patterns using STM. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 92
294. Travis Skare and Christos Kozyrakis. Early release: friend or foe? In Proc. Workshop on Transactional Workloads, June 2006. 56
295. J. E. Smith and G. Sohi. The microarchitecture of superscalar processors. Proc. IEEE, 48:1609-1624, December 1995. DOI: 10.1109/5.476078 152, 159
296. Nehir Sonmez, Tim Harris, Adrián Cristal, Osman S. Unsal, and Mateo Valero. Taking the heat off transactions: dynamic selection of pessimistic concurrency control. In IPDPS '09: Proc. 23rd International Parallel and Distributed Processing Symposium, May 2009. 54, 109
297. Nehir Sonmez, Cristian Perfumo, Srdan Stipic, Osman Unsal, Adrian Cristal, and Mateo Valero. UnreadTVar: extending Haskell software transactional memory for performance. In Symposium on Trends in Functional Programming, April 2007. 56
298. Michael F. Spear, Luke Dalessandro, Virendra Marathe, and Michael L. Scott. Ordering-based semantics for software transactional memory. In OPODIS '08: Proc. 12th International Conference on Principles of Distributed Systems, pages 275-294, December 2008. Springer-Verlag Lecture Notes in Computer Science volume 5401. DOI: 10.1007/978-3-540-92221-6-19 38, 136
299. Michael F. Spear, Luke Dalessandro, Virendra J. Marathe, and Michael L. Scott. A comprehensive strategy for contention management in software transactional memory. In PPoPP '09: Proc. 14th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 141-150, February 2009. DOI: 10.1145/1504176.1504199 21, 50, 52, 53, 107, 108, 121, 184
300. Michael F. Spear, Virendra J. Marathe, Luke Dalessandro, and Michael L. Scott. Privatization techniques for software transactional memory (brief announcement). In PODC '07: Proc. 26th PODC ACM Symposium on Principles of Distributed Computing, August 2007. Extended version available as TR-915, Computer Science Department, University of Rochester, Feb. 2007, http://www.cs.rochester.edu/u/scott/papers/2007-TR915.pdf. DOI: 10.1145/1281100.1281161 137
301. Michael F. Spear, Virendra J. Marathe,William N. Scherer III, and Michael L. Scott. Conflict detection and validation strategies for software transactional memory. In DISC '06: Proc. 20th International Symposium on Distributed Computing, September 2006. 115, 123, 131, 132
302. Michael F. Spear, Maged M. Michael, and Michael L. Scott. Inevitability mechanisms for software transactional memory. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 21, 81, 87
303. Michael F. Spear, Maged M. Michael, Michael L. Scott, and Peng Wu. Reducing memory ordering overheads in software transactional memory. In CGO '09: Proc. 2009 International Symposium on Code Generation and Optimization, pages 13-24, March 2009. DOI: 10.1109/CGO.2009.30 103, 120
304. Michael F. Spear, Maged M. Michael, and Christoph von Praun. RingSTM: scalable transactions with a single atomic instruction. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 275-284, June 2008. DOI: 10.1145/1378533.1378583 15, 102, 124
305. Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, Sandhya Dwarkadas, and Michael L. Scott. Nonblocking transactions without indirection using alert-on-update. In SPAA '07: Proc. 19th ACM Symposium on Parallel Algorithms and Architectures, pages 210-220, June 2007. DOI: 10.1145/1248377.1248414 134 (Pubitemid 47568570)
306. Michael F. Spear, Arrvindh Shriraman, Luke Dalessandro, and Michael L. Scott. Transac-tional mutex locks. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 126
307. Michael F. Spear, Michael Silverman, Luke Dalessandro, Maged M.Michael, and Michael L. Scott. Implementing and exploiting inevitability in software transactional memory. In ICPP '08: Proc. 37th International Conference on Parallel Processing, September 2008. DOI: 10.1109/ICPP.2008.55 21, 87, 91, 141, 142
308. Janice M. Stone, Harold S. Stone, Phil Heidelberger, and John Turek. Multiple reservations and the Oklahoma update. IEEE Parallel & Distributed Technology, 1(4):58-71, November 1993. DOI: 10.1109/88.260295 6, 149, 150, 158
309. P. Sweazey and A. J. Smith. A class of compatible cache consistency protocols and their support by the IEEE Futurebus. In ISCA '86: Proc. 13th annual international symposium on Computer architecture, pages 414-423, 1986. 151
310. Michael Swift, Haris Volos, Neelam Goyal, Luke Yen, Mark Hill, and David Wood. OS support for virtualizing hardware transactional memory. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 187
311. Fuad Tabba, Andrew W. Hay, and James R. Goodman. Transactional value prediction. In TRANSACT '09: 4th Workshop on Transactional Computing, February 2009. 55
312. Fuad Tabba, Mark Moir, James R. Goodman, Andrew Hay, and Cong Wang. NZTM: Nonblocking zero-indirection transactional memory. In SPAA '09: Proc. 21st Symposium on Parallelism in Algorithms and Architectures, August 2009. 47, 102, 134, 135
313. Fuad Tabba, Cong Wang, James R. Goodman, and Mark Moir. NZTM: Nonblocking, zero-indirection transactional memory. In TRANSACT '07: 2nd Workshop on Transactional Computing, August 2007. 47, 102, 134, 135
314. Serdar Tasiran. A compositional method for verifying software transactional memory implementations. Technical Report MSR-TR-2008-56, Microsoft Research, April 2008. 145
315. Rubén Titos, Manuel E. Acacio, and José M. García. Directory-based conflict detection in hardware transactional memory. In HiPC '08: Proc. 15th International Conference on High Performance Computing, December 2008. Springer-Verlag Lecture Notes in Computer Science volume 5374. DOI: 10.1007/978-3-540-89894-8-47 164
316. Rubén Titos, Manuel E. Acacio, and Jose M. Garcia. Speculation-based conflict resolution in hardware transactional memory. In IPDPS '09: Proc.23rd International Parallel and Distributed Processing Symposium, May 2009. 56
317. Sasa Tomic, Cristian Perfumo, Chinmay Kulkarni, Adria Armejach, Adrián Cristal, Osman Unsal,Tim Harris,and Mateo Valero. EazyHTM: eager-lazy hardware transactional memory. In MICRO '09: Proc. 2009 42nd IEEE/ACM International Symposium on Microarchitecture, December 2009. DOI: 10.1145/1669112.1669132 50, 184
318. Takayuki Usui,Yannis Smaragdakis,and Reimer Behrends. Adaptive locks: Combining transactions and locks for efficient concurrency. In PACT '09: Proc. 18th International Conference on Parallel Architectures and Compilation Techniques, September 2009. 98
319. Jan Vitek, Suresh Jagannathan, Adam Welc, and Antony L. Hosking. A semantic framework for designer transactions. In ESOP '04: Proc. European Symposium on Programming, volume 2986 of Lecture Notes in Computer Science, pages 249-263, 2004. DOI: 10.1007/b96702 44
320. Haris Volos, Neelam Goyal, and Michael Swift. Pathological interaction of locks with trans-actional memory. In TRANSACT '08: 3rd Workshop on Transactional Computing, February 2008. 84, 203
321. Haris Volos, Andres Jaan Tack, Neelam Goyal, Michael M. Swift, and Adam Welc. xCalls: safe I/O in memory transactions. In EuroSys '09: Proc. 4th ACM European Conference on Computer Systems, pages 247-260, April 2009. DOI: 10.1145/1519065.1519093 81, 88
322. Haris Volos, Adam Welc, Ali-Reza Adl-Tabatabai, Tatiana Shpeisman, Xinmin Tian, and Ravi Narayanaswamy. NePaLTM: Design and implementation of nested parallelism for transactional memory systems. In ECOOP '09: Proc. 23rd European Conference on Object-Oriented Programming, June 2009. Springer-Verlag Lecture Notes in Computer Science volume 5653. DOI: 10.1007/978-3-642-03013-0-7 44
323. Christoph von Praun, Luis Ceze, and Calin Caşcaval. Implicit parallelism with ordered transactions. In PPoPP '07: Proc. 12th ACM SIGPLAN symposium on Principles and Practice of Parallel Programming, pages 79-89, March 2007. DOI: 10.1145/1229428.1229443 98, 179
324. M. M. Waliullah and Per Stenström. Starvation-free transactional memory system protocols. In Proc. 13th Euro-Par Conference: European Conference on Parallel and Distributed Computing, pages 280-291, August 2007. 182
325. M. M. Waliullah and Per Stenström. Intermediate checkpointing with conflicting access prediction in transactional memory systems. In IPDPS '08: Proc. 22nd International Parallel and Distributed Processing Symposium, April 2008. DOI: 10.1109/IPDPS.2008.4536249 57
326. Cheng Wang, Wei-Yu Chen, Youfeng Wu, Bratin Saha, and Ali-Reza Adl-Tabatabai. Code generation and optimization for transactional memory constructs in an unmanaged language. In CGO '07: Proc. International Symposium on Code Generation and Optimization, pages 34-48, March 2007. DOI: 10.1109/CGO.2007.4 62, 68, 105, 120, 121, 137
327. Cheng Wang, Victor Ying, and Youfeng Wu. Supporting legacy binary code in a software transaction compiler with dynamic binary translation and optimization. In CC '08: Proc. International Conference on Compiler Construction, pages 291-306, March 2008. DOI: 10.1007/978-3-540-78791-4-20 68
328. William E. Weihl. Data-dependent concurrency control and recovery (extended abstract). In PODC '83: Proc. second Annual ACM symposium on Principles of distributed computing, pages 63-75, 1983. DOI: 10.1145/800221.806710 58
329. Adam Welc, Antony L. Hosking, and Suresh Jagannathan. Transparently reconciling transactions with locking for Java synchronization. In ECOOP '06: Proc. European Conference on Object-Oriented Programming, pages 148-173, July 2006. DOI: 10.1007/11785477 96, 97
330. Adam Welc, Suresh Jagannathan, and Antony Hosking. Safe futures for Java. In OOPSLA '05: Proc. 20th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, pages 439-453, October 2005. DOI: 10.1145/1094811.1094845 98
331. Adam Welc, Suresh Jagannathan,and Antony L.Hosking.Transactional monitors for concurrent objects. In ECOOP '04: Proc. European Conference on Object-Oriented Programming, volume 3086 of Lecture Notes in Computer Science, pages 519-542, 2004. DOI: 10.1007/b98195 50
332. Adam Welc, Bratin Saha, and Ali-Reza Adl-Tabatabai. Irrevocable transactions and their applications. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 285-296, June 2008. DOI: 10.1145/1378533.1378584 21, 81, 87, 141, 142
333. I. W. Williams and M. I. Wolczko. An object-based memory architecture. In Proc. 4th International Workshop on Persistent Object Systems, pages 114-130. Morgan Kaufmann, 1990. 150
334. Greg Wright, Matthew L.Seidl,and Mario Wolczko. An object-aware memory architecture. Science of Computer Programming, 62(2):145-163, 2006. DOI: 10.1016/j.scico.2006.02.007 150
335. Peng Wu, Maged M. Michael, Christoph von Praun, Takuya Nakaike, Rajesh Bordawekar, Harold W. Cain, Calin Cascaval, Siddhartha Chatterjee, Stefanie Chiras, Rui Hou, Mark F. Mergen, Xiaowei Shen, Michael F. Spear, Huayong Wang, and Kun Wang. Compiler and runtime techniques for software transactional memory optimization. Concurrency and Computation: Practice and Experience, 21(1):7-23, 2009. DOI: 10.1002/cpe.1336 62, 114
336. Luke Yen, Jayaram Bobba, Michael M. Marty, Kevin E. Moore, Haris Volos, Mark D. Hill, Michael M. Swift, and David A. Wood. LogTM-SE: Decoupling hardware transactional memory from caches. In HPCA '07: Proc. 13th International Symposium on High-Performance Computer Architecture,February 2007. DOI: 10.1109/HPCA.2007.346204 14, 177, 178, 185, 186
337. Luke Yen, Stark C. Draper, and Mark D. Hill. Notary: Hardware techniques to enhance signatures. In MICRO '08: Proc. 2008 41st IEEE/ACM International Symposium on Microarchitecture, pages 234-245, 2008. DOI: 10.1109/MICRO.2008. 4771794 178
338. V.Ying,C.Wang,Y.Wu,and X. Jiang. Dynamic binary translation and optimization of legacy library code in a STM compilation environment. In Proc. Workshop on Binary Instrumentation and Applications, October 2006. 68
339. Richard M. Yoo and Hsien-Hsin S. Lee. Adaptive transaction scheduling for transactional memory systems. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 169-178, June 2008. DOI: 10.1145/1378533.1378564 53
340. Richard M. Yoo, Yang Ni, Adam Welc, Bratin Saha, Ali-Reza Adl-Tabatabai, and Hsien-Hsin S. Lee. Kicking the tires of software transactional memory: why the going gets tough. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 265-274, June 2008. DOI: 10.1145/1378533.1378582 139
341. Rui Zhang, Zoran Budimlić,and William N.Scherer III. Commit phase in timestamp-based STM. In SPAA '08: Proc. 20th Annual Symposium on Parallelism in Algorithms and Architectures, pages 326-335, June 2008. DOI: 10.1145/1378533.1378589 121, 122
342. Lukasz Ziarek and Suresh Jagannathan. Memoizing multi-threaded transactions. In DAMP '08: Proc. Workshop on Declarative Aspects of Multicore Programming, 2008. 92
343. Lukasz Ziarek, K. C. Sivaramakrishnan, and Suresh Jagannathan. Partial memo-ization of concurrency and communication. In ICFP '09: Proc. 14th ACM SIG-PLAN International Conference on Functional Programming, pages 161-172, August 2009. DOI: 10.1145/1596550.1596575 92
344. Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, Vijay Menon, Tatiana Shpeisman, and Suresh Jagannathan. A uniform transactional execution environment for Java. In ECOOP '08: Proc. 22nd European Conference on Object-Oriented Programming, pages 129-154, July 2008. Springer-Verlag Lecture Notes in Computer Science volume 5142. DOI: 10.1007/978-3-540-70592-5-7 62, 96, 97
345. Craig Zilles and Lee Baugh. Extending hardware transactional memory to support non-busy waiting and nontransactional actions. In TRANSACT '06: 1st Workshop on Languages, Compilers, and Hardware Support for Transactional Computing, June 2006. 43, 81, 88, 202
346. Craig Zilles and David Flint. Challenges to providing performance isolation in transactional memories. In WDDD '05: Proc. 4th Workshop on Duplicating, Deconstructing, and Debunking, pages 48-55, June 2005. 51, 164
347. Craig Zilles and Ravi Rajwar. Implications of false conflict rate trends for robust software transactional memory. In IISWC '07: Proc. 2007 IEEE INTL Symposium on Workload Characterization, September 2007. DOI: 10.1109/IISWC.2007.4362177 105, 150
348. Ferad Zyulkyarov, Adrián Cristal, Sanja Cvijic, Eduard Ayguadé, Mateo Valero, Osman S. Unsal, and Tim Harris. WormBench: a configurable workload for evaluating transactional memory systems. In MEDEA '08: Proc. 9th Workshop on Memory Performance, pages 61-68, October 2008. DOI: 10.1145/1509084.1509093 91
349. Ferad Zyulkyarov, Vladimir Gajinov, Osman S. Unsal, Adrián Cristal, Eduard Ayguadé, Tim Harris, and Mateo 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, February 2009. DOI: 10.1145/1504176.1504183 12, 92
350. Ferad Zyulkyarov,Tim Harris,Osman S.Unsal,Adrián Cristal,and Mateo Valero. Debugging programs that use atomic blocks and transactional memory. In PPoPP '10: Proc. 15th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 57-66, January 2010. DOI: 10.1145/1693453.1693463 89, 90