Fixing the Java Memory Model

https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.17.7914&rep=rep1&type=pdf

http://rsim.cs.uiuc.edu/Pubs/popl05.pdf

https://drum.lib.umd.edu/bitstream/handle/1903/1949/umi-umd-1898.pdf

posted @ 2022-09-27 19:48  papering  阅读(47)  评论(0)    收藏  举报