An operational happens-before memory model-Reference-Cited by-同舟云学术

An operational happens-before memory model

Published:2015-10-28 Issue:1 Volume:10 Page:54-81
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Zhang Yang,Feng Xinyu

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11704-015-4492-4.pdf

Reference18 articles.

1. Aspinall D, Ševčík J. Java memory model examples: good, bad and ugly. In: Proceedings of Verification and Analysis of Multi-threaded Java-like Programs. 2007, 66–80

2. Lamport L. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 1979, 28(9): 690–691

3. Boehm H J. Threads cannot be implemented as a library. In: Proceedings of Programming Language Design and Implementation. 2005, 261–268

4. Adve S V, Gharachorloo K. Shared memory consistency models: a tutorial. IEEE Transactions on Computers, 1996, 29(12): 66–76

5. Manson J, Pugh W, Adve S V. The Java memory model. In: Proceedings of the 32nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. 2005, 378–391

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Survey of Programming Language Memory Models;Programming and Computer Software;2021-11

2. Modular data-race-freedom guarantees in the promising semantics;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18

3. Operational semantics of a weak memory model with channel synchronization;Journal of Logical and Algebraic Methods in Programming;2019-02

4. Towards understanding the costs of avoiding out-of-thin-air results;Proceedings of the ACM on Programming Languages;2018-10-24

5. Operational Semantics of a Weak Memory Model with Channel Synchronization;Formal Methods;2018