Shared memory consistency models: a tutorial, Computer, vol.29, issue.12, pp.66-76, 1995. ,
DOI : 10.1109/2.546611
Weak Ordering -A New Definition, 1990. ,
Memory Models: A Case for Rethinking Parallel Languages and Hardware ,
Fences in Weak Memory Models, 2010. ,
DOI : 10.1007/978-3-642-14295-6_25
URL : https://hal.archives-ouvertes.fr/hal-01100859
Litmus: Running Tests against Hardware, TACAS, 2011. ,
DOI : 10.1145/1785414.1785443
URL : https://hal.archives-ouvertes.fr/hal-01100851
Reordering constraints for pthread-style locks, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming , PPoPP '07, 2007. ,
DOI : 10.1145/1229428.1229470
Threads Cannot Be Implemented As a Library, PLDI, 2005. ,
Foundations of the C++ Concurrency Memory Model, PLDI, 2008. ,
Checkfence: Checking consistency of concurrent data types on relaxed memory models, PLDI, 2007. ,
Effective Program Verification for Relaxed Memory Models, CAV, 2008. ,
DOI : 10.1007/978-3-540-70545-1_12
The complexity of verifying memory coherence, Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures , SPAA '03, 2003. ,
DOI : 10.1145/777412.777457
Automatic fence insertion for shared memory multiprocessing, Proceedings of the 17th annual international conference on Supercomputing , ICS '03, 2003. ,
DOI : 10.1145/782814.782854
A Memory Model Sensitive Checker for C#, 2006. ,
DOI : 10.1007/11813040_32
Automatic inference of memory fences, ACM SIGACT News, vol.43, issue.2, 2010. ,
DOI : 10.1145/2261417.2261438
How to make a correct multiprocess program execute correctly on a multiprocessor, IEEE Transactions on Computers, vol.46, issue.7, pp.779-782, 1979. ,
DOI : 10.1109/12.599898
The JSR-133 Cookbook for Compiler Writers, 2006. ,
Hiding relaxed memory consistency with a compiler, IEEE Transactions on Computers, vol.50, issue.8, pp.824-833, 2001. ,
DOI : 10.1109/12.947002
The Java Memory Model, POPL, 2005. ,
Example Power Implementation for C/C++ Memory Model, 2008. ,
Reasoning about the Implementation of Concurrency Abstractions on x86-TSO, 2010. ,
DOI : 10.1007/978-3-642-14107-2_23
An executable specification, analyzer and verifier for RMO, SPAA 95 ,
Analysis of Multithreaded Programs, SAS, 2001. ,
DOI : 10.1007/3-540-47764-0_1
Program Transformations in Weak Memory Models, 2008. ,
Efficient and correct execution of parallel programs that share memory, TOPLAS, 1988. ,
DOI : 10.1145/42190.42277
Compiler techniques for high performance SC Java programs, PPoPP'05, 2005. ,
Memory-Model-Sensitive Data Race Analysis, 2004. ,
DOI : 10.1007/978-3-540-30482-1_11