The Problem of Programming Language Concurrency Semantics
The Problem of Programming Language Concurrency Semantics
复制标题
编程语言并发语义问题
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Peter Sewell
中科院分区：
文献类型：
--
作者：
Mark Batty;Kayvan Memarian;Kyndylan Nienhuis;Jean Pichon;Peter Sewell
尽管几十年的研究，我们没有一个令人满意的并发语义的任何通用编程语言，旨在支持并发系统代码。Java内存模型已经被证明在标准编译器优化方面是不可靠的，而C/C++11模型太弱，允许不受欢迎的稀薄空气执行。
Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.
同步 C/C 和 POWER
DOI：
10.1145/2254064.2254102
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Sarkar S
通讯作者：
Sarkar S
了解 POWER 多处理器
影响因子：
--
作者：
Sarkar S
通讯作者：
Sarkar S
C/C 并发的库抽象
DOI：
10.1145/2429069.2429099
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Batty M
通讯作者：
Batty M