Stability in Weak Memory Models
- 1 January 2011
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Litmus: Running Tests against HardwareLecture Notes in Computer Science, 2011
- Fences in Weak Memory ModelsLecture Notes in Computer Science, 2010
- Effective Program Verification for Relaxed Memory ModelsLecture Notes in Computer Science, 2008
- Foundations of the C++ concurrency memory modelPublished by Association for Computing Machinery (ACM) ,2008
- CheckFencePublished by Association for Computing Machinery (ACM) ,2007
- Reordering constraints for pthread-style locksPublished by Association for Computing Machinery (ACM) ,2007
- Threads cannot be implemented as a libraryPublished by Association for Computing Machinery (ACM) ,2005
- The complexity of verifying memory coherencePublished by Association for Computing Machinery (ACM) ,2003
- Shared memory consistency models: a tutorialComputer, 1996
- Weak ordering---a new definitionPublished by Association for Computing Machinery (ACM) ,1990