AutoMO: automatic inference of memory order parameters for C/C++11
AutoMO: automatic inference of memory order parameters for C/C++11
复制标题
AutoMO：自动推断 C/C 11 的内存顺序参数
DOI：
--
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Brian Demsky
中科院分区：
文献类型：
--
作者：
Peizhao Ou;Brian Demsky
许多并发数据结构最初是为顺序一致性（SC）内存模型设计的。开发人员经常通过添加足够的围栏来确保其在弱内存模型上的实现与SC内存模型相同的执行，通常在具有较弱的内存模型的现实世界系统上实现这些数据结构。最近，C11和C ++ 11标准已为C和C ++语言添加了薄弱的内存模型。为弱记忆模型开发和调试代码可能极具挑战性。我们提供汽车，这是一个框架，用于支持为C/C ++ 11内存模型设计的移植数据结构。汽车在整个移植过程中提供支持：（1）它会自动渗透到内存订单参数的初始设置，（2）它检测到C/C ++ 11执行是否等于某些SC的执行，并且（3）简化了痕迹使它们更容易理解。我们已经使用汽车成功地推断出一系列数据结构的内存订单参数，并检查执行几个并发数据结构实现是否为SC。
Many concurrent data structures are initially designed for the sequential consistency (SC) memory model. Developers often implement these data structures on real-world systems with weaker memory models by adding sufficient fences to ensure that their implementation on the weak memory model exhibits the same executions as the SC memory model. Recently, the C11 and C++11 standards have added a weak memory model to the C and C++ languages. Developing and debugging code for weak memory models can be extremely challenging. We present AutoMO, a framework to support porting data structures designed for the SC memory model to the C/C++11 memory model. AutoMO provides support across the porting process: (1) it automatically infers initial settings for the memory order parameters, (2) it detects whether a C/C++11 execution is equivalent to some SC execution, and (3) it simplifies traces to make them easier to understand. We have used AutoMO to successfully infer memory order parameters for a range of data structures and to check whether executions of several concurrent data structure implementations are SC.
吹毛求疵的c并发
DOI：
10.1145/2003476.2003493
发表时间：
2011
期刊：
--
影响因子：
--
作者：
Blanchette J
通讯作者：
Blanchette J
C/C 并发的库抽象
DOI：
10.1145/2429069.2429099
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Batty M
通讯作者：
Batty M