Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Adve, S.V., Gharachorloo, K.: Shared memory consistency models: A tutorial. IEEE Computer 29(12), 66–76 (1996)
2. Adve, S.V., Hill, M.D.: A unified formalization of four shared-memory models. IEEE Trans. Parallel Distrib. Syst. 4(6), 613–624 (1993)
3. Ahamad, M., Neiger, G., Burns, J.E., Kohli, P., Hutto, P.W.: Causal memory: Definitions, implementation, and programming. Distributed Computing 9(1) (1995)
4. AMD64 Architecture Programmer’s Manual (3 vols). Advanced Micro Devices, rev. 3.14 (September 2007)
5. Lecture Notes in Computer Science;D. Aspinall,2007
Cited by
53 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. How Hard Is Weak-Memory Testing?;Proceedings of the ACM on Programming Languages;2024-01-05
2. Probabilistic Concurrency Testing for Weak Memory Programs;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2023-01-27
3. Risotto: A Dynamic Binary Translator for Weak Memory Model Architectures;Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 1;2022-12-19
4. Armada: Automated Verification of Concurrent Code with Sound Semantic Extensibility;ACM Transactions on Programming Languages and Systems;2022-05-27
5. Taming x86-TSO persistency;Proceedings of the ACM on Programming Languages;2021-01-04