Compound Memory Models
Compound Memory Models
复制标题
DOI：
10.1145/3591267
复制
发表时间：
2023-06
影响因子：
--
通讯作者：
Andrés Goens;S. Chakraborty;Susmit Sarkar;Sukarn Agarwal;Nicolai Oswald;V. Nagarajan
中科院分区：
文献类型：
--
作者：
Andrés Goens;S. Chakraborty;Susmit Sarkar;Sukarn Agarwal;Nicolai Oswald;V. Nagarajan
当今的手机，桌面和服务器处理器是异质的，不仅由CPU，而且由GPU和其他加速器组成。这样的异质处理器开始在这些设备上公开共享内存界面。启用这些单个设备通常支持独特的指令集体系结构和独特的内存一致性模型，尚不清楚异类机器的内存一致性模型应该是什么。在本文中，我们通过形式化“复合”内存模型来回答这个问题：我们提出了一个构图操作模型，该模型描述了所得模型时，当具有不同一致性模型的设备融合在一起时。我们使用化合物X86TSO/PTX模型实例化模型-CPU强制执行X86TSO和GPU执行PTX模型。一个关键结果是X86TSO/PTX复合模型保留了基于语言（SCOPED）C内存模型的编译器映射。这意味着映射到X86TSO设备的线程可以继续使用已验证的C-TO-X86TSO编译器映射，而PTX则相同。
Today's mobile, desktop, and server processors are heterogeneous, consisting not only of CPUs but also GPUs and other accelerators. Such heterogeneous processors are starting to expose a shared memory interface across these devices.Given that each of these individual devices typically supports a distinct instruction set architecture and a distinct memory consistency model, it is not clear what the memory consistency model of the heterogeneous machine should be. In this paper, we answer this question by formalizing "compound" memory models: we present a compositional operational model describing the resulting model when devices with distinct consistency models are fused together. We instantiate our model with the compound x86TSO/PTX model -- a CPU enforcing x86TSO and a GPU enforcing the PTX model. A key result is that the x86TSO/PTX compound model retains compiler mappings from the language-based (scoped) C memory model. This means that threads mapped to the x86TSO device can continue to use the already proven C-to-x86TSO compiler mapping, and the same for PTX.