Foundations of the C++ Concurrency Memory Model (2008)

by Hans-j. Boehm , Sarita V. Adve
Citations:92 - 11 self

Active Bibliography

Memory – Hans-j. Boehm, Sarita V. Adve, Sarita V. Adve - 2008
34 Memory Models: A Case for Rethinking Parallel Languages and Hardware – Sarita V. Adve, Hans-J. Boehm - 2010
19 Conflict Exceptions: Simplifying Concurrent Language Semantics with Precise Hardware Exceptions for Data-Races – Brandon Lucia, et al. - 2010
8 Efficient Processor Support for DRFx, a Memory Model with Exceptions – Abhayendra Singh, Daniel Marino, Satish Narayanasamy, Todd Millstein, Madanlal Musuvathi - 2011
6 A Case for an SC-Preserving Compiler – Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy - 2011
University of California Los Angeles Simplified Semantics and Debugging of Concurrent Programs via Targeted Race Detection – Daniel Luke Marino, Madanlal Musuvathi, Sorin Lerner, Rupak Majumdar, Jens Palsberg, Todd Millstein, Committee Chair - 2011
20 Recent Advances in Memory Consistency Models for Hardware Shared Memory – Sarita V. Adve, Vijay S. Pai, Parthasarathy Ranganathan - 1999
3 End-to-End Sequential Consistency – Abhayendra Singh, Satish Narayanasamy, Daniel Marino, Todd Millstein, Madanlal Musuvathi - 2012
Imposing Minimal Memory Ordering on Multiprocessors – Changhui Lin, Changhui Lin - 2013
10 Reordering Constraints for Pthread-Style Locks – Hans-j. Boehm - 2005
9 Transactional Memory Should Be an Implementation Technique, Not a Programming Interface – Hans-j. Boehm
Programming Interface This will appear as a position paper in the USENIX HOTPAR ’09 workshop. – Hans-j. Boehm, Hans-j. Boehm
An Abstract memory model describing the interaction between thread and memory with debugger tools – Shruti Sandal, Raghuraj Singh, Abdul Jabbar Khilji, Shashi Shekhar Ranga, Sanjay Tejasvee - 2010
Simple thread semantics . . . – Hans-J. Boehm - 2009
DEFINITION – Sarita V. Adve
3 Using Information from the Programmer to Implement Shared-Memory Optimizations Without Violating Sequential Consistency – Sarita V. Adve - 1998
13 DRFx: A simple and efficient memory model for concurrent programming languages – Daniel Marino, Abhayendra Singh, Todd Millstein, Madanlal Musuvathi, Satish Narayanasamy - 2009
ENFORSCER: Hybrid Static–Dynamic Analysis for End-to-End Sequential Consistency in Software – Aritra Sengupta, Swarnendu Biswas, Michael D. Bond, Milind Kulkarni
290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999