An Executable Specification and Verifier for Relaxed Memory Order
暂无分享,去创建一个
[1] K. Gharachodoo,et al. Memory consistency models for shared memory multiprocessors , 1996 .
[2] Cathy May,et al. The PowerPC Architecture: A Specification for a New Family of RISC Processors , 1994 .
[3] Anoop Gupta,et al. Programming for Different Memory Consistency Models , 1992, J. Parallel Distributed Comput..
[4] Michel Cekleov,et al. Formal Specification of Memory Models , 1992 .
[5] Kourosh Gharachorloo,et al. Proving sequential consistency of high-performance shared memories (extended abstract) , 1991, SPAA '91.
[6] David L. Dill,et al. The Murphi Verification System , 1996, CAV.
[7] Michel Dubois,et al. Memory access buffering in multiprocessors , 1998, ISCA '98.
[8] Veljko M. Milutinovic,et al. Distributed shared memory: concepts and systems , 1997, IEEE Parallel Distributed Technol. Syst. Appl..
[9] David L. Dill,et al. Formal specification of abstract memory models , 1993 .
[10] Natarajan Shankar,et al. Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS , 1995, IEEE Trans. Software Eng..
[11] Kourosh Gharachorloo,et al. Memory consistency models for shared-memory multiprocessors , 1995 .
[12] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, ISCA '90.
[13] Michel Dubois,et al. Correct memory operation of cache-based multiprocessors , 1987, ISCA '87.
[14] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.
[15] Mordechai Ben-Ari,et al. Principles of concurrent and distributed programming , 2005, PHI Series in computer science.
[16] David L Weaver,et al. The SPARC architecture manual : version 9 , 1994 .
[17] Corporate. SPARC architecture manual - version 8 , 1992 .
[18] Mark D. Hill,et al. Implementing Sequential Consistency in Cache-Based Systems , 1990, ICPP.
[19] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.
[20] James R. Goodman,et al. Cache Consistency and Sequential Consistency , 1991 .
[21] Richard L. Sites,et al. Alpha AXP architecture reference manual , 1995 .
[22] William W. Collier,et al. Reasoning about parallel architectures , 1992 .