Litmus tests for comparing memory consistency models: How long do they need to be?
Litmus tests for comparing memory consistency models: How long do they need to be?
复制标题
用于比较内存一致性模型的 Litmus 测试：它们需要多长时间？
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Milo M. K. Martin
中科院分区：
文献类型：
--
作者：
Sela Mador;R. Alur;Milo M. K. Martin
记忆一致性石蕊测试是小型平行程序，旨在通过为不同模型展示不同的结果来说明内存一致性模型之间的细微差异。在本文中，我们表明，对于一类内存模型，这些模型限制但表现力足以包括所有商店 - 原子硬件存储器模型，有限尺寸的石声测试足以说明此类内存一致性模型之间的差异。我们建立了两个线程的界限，不超过六个内存访问说明，以区分此类模型中的石蕊测试。因此，我们可以通过探索有界数的石榴测试来证明该类中记忆一致性模型的两个规范。我们构建了一个基于此结果比较内存模型的工具，并使用该工具来探索和映射此类模型的空间。
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes for different models. In this paper, we show that for a class of memory models that is restricted yet expressive enough to include all store-atomic hardware memory models, litmus tests of a bounded size are sufficient for illustrating differences between memory consistency models in this class. We establish a bound of two threads and no more than six memory access instructions for differentiating litmus tests in this class of models. Thus, we can prove equivalence of two specification of memory consistency models in this class by exploring a bounded number of litmus tests. We build a tool for comparing memory models based on this result, and we use the tool to explore and map the space of this class of models.
了解 POWER 多处理器
影响因子：
--
作者：
Sarkar S
通讯作者：
Sarkar S