Author:
Gopalakrishnan Ganesh,Yang Yue,Sivaraj Hemanthkumar
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. Computer 29(12), 66–76 (1996)
2. A Formal Specification of Intel(R) Itanium(R) Processor Family Memory Ordering (2002), http://www.intel.com/design/itanium/downloads/251429.htm
3. Gibbons, P.B., Korach, E.: Testing shared memories. SIAM Journal on Computing 26(4), 1208–1244 (1997)
4. Lamport, L.: How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers C-28(9), 690–691 (1979)
5. Cantin, J.F., Lipasti, M.H., Smith, J.E.: The complexity of verifying memory coherence. In: Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures (SPAA), San Diego, pp. 254–255 (2003)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EveCheck: An Event-Driven, Scalable Algorithm for Coherent Shared Memory Verification;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2023-02
2. Hardware-Based Sequential Consistency Violation Detection Made Simpler;Algorithms and Architectures for Parallel Processing;2016
3. AutoMO: automatic inference of memory order parameters for C/C++11;ACM SIGPLAN Notices;2015-12-18
4. AutoMO: automatic inference of memory order parameters for C/C++11;Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications;2015-10-23
5. Precise and Sound Automatic Fence Insertion Procedure under PSO;Networked Systems;2015