Memory Consistency Models for Program Transformations: An Intellectual Abstract
Memory Consistency Models for Program Transformations: An Intellectual Abstract
复制标题
程序转换的内存一致性模型：知识摘要
DOI：
10.1145/3591195.3595274
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
Gopalakrishnan A
中科院分区：
文献类型：
--
作者：
Gopalakrishnan A
内存一致性模型传统上指定共享内存并发硬件的行为。硬件行为偏离了传统的顺序推理，因此表现出被称为“弱”的行为。较弱的一致性模型允许更多并发行为，从而证明读/写缓冲区等硬件优化是合理的。同时，较弱的软件内存模型允许更多的编译器优化(转换)。然而，这个“更多”可能并不严格：在更强的模型中的某些安全优化在比它们弱的模型中变得不安全。我们确定了在一对弱和强记忆模型中必须保持的属性，以确保这一点。我们提出了一个框架，可以用来构建这样的模型，展示了我们在允许顺序一致性(SC)上的读/读重新排序方面的结果。我们还展示了如何部分保留一对模型的所需属性，将约束放在转换集上，或者等价地放在程序结构上。最后，我们讨论了设计满足这些性质的模型的潜在优势。
Memory consistency models traditionally specify the behavior of shared memory concurrent hardware. Hardware behavior drifts away from traditional sequential reasoning, thus exhibiting behaviors that are termed as "weak". Weaker consistency models allow for more concurrent behaviors, thus justifying hardware optimizations such as read/write buffers. In parallel, weaker memory models for software allow more compiler optimizations (transformations). However, this "more" may not be strict: certain safe optimizations in stronger models are rendered unsafe in ones weaker than them. We identify properties that must hold among a pair of weak and strong memory models to guarantee this. We propose a framework using which we could build such models, showcasing our results in allowing Read Read reordering over Sequential Consistency (SC). We also show how to partially retain our desired property for a pair of models, placing constraints on the set of transformations or equivalently, on program structure. Lastly, we discuss the potential advantage of designing models satisfying such properties.
登录
查看更多内容
DOI：
--
发表时间：
2015
期刊：
European Symposium on Programming
影响因子：
--
作者：
Mark Batty;Kayvan Memarian;Kyndylan Nienhuis;Jean Pichon;Peter Sewell
通讯作者：
Peter Sewell
弱内存模型的数据流健全性分析
DOI：
--
发表时间：
2011
期刊：
Asian Symposium on Programming Languages and Systems
影响因子：
--
作者：
J. Alglave;D. Kroening;John Lugton;Vincent Nimal;Michael Tautschnig
通讯作者：
Michael Tautschnig
内存一致性模型
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
Cs Dep
通讯作者：
Cs Dep
如何使正确的多进程程序在多处理器上正确执行
DOI：
--
发表时间：
1997
期刊：
IEEE Trans. Computers
影响因子：
--
作者：
L. Lamport
通讯作者：
L. Lamport
DOI：
10.1007/978-3-030-44914-8_22
发表时间：
2020-04-18
期刊：
Programming Languages and Systems
影响因子：
--
作者：
Paviotti M;Cooksey S;Paradis A;Wright D;Owens S;Batty M
通讯作者：
Batty M