Threads cannot be implemented as a library (2005)

Cached

Download Links

by Hans-J. Boehm
Venue:PROCEEDINGS, ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION
Citations:75 - 6 self

Documents Related by Co-Citation

290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
350 Shared memory consistency models: A tutorial – Sarita V. Adve, Kourosh Gharachorloo - 1996
1027 How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs – L Lamport
742 Transactional Memory: Architectural Support for Lock-Free Data Structures – Maurice Herlihy, J. Eliot B. Moss
136 Compiler and runtime support for efficient software transactional memory – Ali-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman - 2006
175 Efficient and correct execution of parallel programs that share memory – D Shasha, M Snir - 1988
384 Composable memory transactions – Tim Harris, Mark Plesko, Avraham Shinnar, David Tarditi - 2005
229 Formal certification of a compiler back-end, or: programming a compiler with a proof assistant – Xavier Leroy - 2006
141 Permission accounting in separation logic – Richard Bornat, Cristiano Calcagno, Matthew Parkinson - 2005
158 Resources, Concurrency and Local Reasoning – Peter W. O’Hearn - 2004
10 Reordering Constraints for Pthread-Style Locks – Hans-j. Boehm - 2005
103 Weak ordering—a new definition – S V ADVE, M D HILL - 1990
58 Oracle semantics for concurrent separation logic – Aquinas Hobor - 2008
16 Reasoning about the Implementation of Concurrency Abstractions on x86-TSO – Scott Owens
42 A better x86 memory model: x86-TSO – Scott Owens, Susmit Sarkar, Peter Sewell - 2009
179 McRT-STM: a High Performance Software Transactional Memory System for a Multi-Core Runtime – Bratin Saha, Ali-reza Adl-tabatabai, Richard L. Hudson, Chi Cao Minh, Benjamin Hertzberg - 2006
405 Language Support for Lightweight Transactions – Tim Harris, Keir Fraser - 2003
74 Atomcaml: firstclass atomicity via rollback – M F Ringenburg, D Grossman - 2005
516 Software Transactional Memory – Nir Shavit, Dan Touitou - 1995