2022年9月27日
Repairing and Mechanising the JavaScript Relaxed Memory Model
摘要： https://www.cl.cam.ac.uk/~jp622/repairing_javascript.pdf 阅读全文
posted @ 2022-09-27 19:51 papering 阅读(13) 评论(0) 推荐(0) 编辑
The Problem of Programming Language Concurrency Semantics
摘要： https://www.cl.cam.ac.uk/~jp622/the_problem_of_programming_language_concurrency_semantics.pdf Despite decades of research, we do not have a satisfacto 阅读全文
posted @ 2022-09-27 19:49 papering 阅读(21) 评论(0) 推荐(0) 编辑
Foundations of the C++ Concurrency Memory Model
摘要： Foundations of the C++ Concurrency Memory Model https://www.hpl.hp.com/techreports/2008/HPL-2008-56.pdf Common Compiler Optimisations are Invalid in t 阅读全文
posted @ 2022-09-27 19:49 papering 阅读(33) 评论(0) 推荐(0) 编辑
A Guide to Undefined Behavior in C and C++, Part 1
摘要： https://blog.regehr.org/archives/213 搜索 复制 阅读全文
posted @ 2022-09-27 19:48 papering 阅读(8) 评论(0) 推荐(0) 编辑
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/b 阅读全文
posted @ 2022-09-27 19:48 papering 阅读(28) 评论(0) 推荐(0) 编辑
Memory Models: A Case for Rethinking Parallel Languages and Hardware
摘要： http://rsim.cs.illinois.edu/Pubs/10-cacm-memory-models.pdf 阅读全文
posted @ 2022-09-27 19:47 papering 阅读(7) 评论(0) 推荐(0) 编辑
Meltdown and Spectre
摘要： https://spectreattack.com/ 阅读全文
posted @ 2022-09-27 19:47 papering 阅读(8) 评论(0) 推荐(0) 编辑
Threads Cannot Be Implemented As a Library
摘要： https://www.hpl.hp.com/techreports/2004/HPL-2004-209.pdf 搜索 复制 阅读全文
posted @ 2022-09-27 19:46 papering 阅读(15) 评论(0) 推荐(0) 编辑