Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models
Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models
复制标题
Visual-MCM：可视化多个内存一致性模型上的执行历史
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
S. C. Chagas
中科院分区：
文献类型：
--
作者：
A. Melo;S. C. Chagas
分布式共享内存系统的行为由内存一致性模型决定。为了更好地了解记忆模型的语义，许多研究人员提出了形式主义来定义它们。即使有正式的定义，仍然很难说在特定的内存模型上可以产生哪种执行历史。在本文中，我们提出了Visual-MCM，这是一种可视化工具，该工具显示了哪些操作订购可以导致在不同内存模型上用户定义的执行历史记录。我们还提出了一个Visual-MCM的原型，该原型分析了两个不同的内存一致性模型的执行历史。
The behaviour of Distributed Shared Memory Systems is dictated by the memory consistency model. In order to provide a better understanding on the semantics of the memory models, many researchers have proposed formalisms to define them. Even with formal definitions, it is still difficult to say what kind of execution histories can be produced on a particular memory model. In this paper, we propose Visual-MCM, a visualisation tool that shows what operations orderings could lead to user-defined execution histories on different memory models. We also present a prototype of Visual-MCM that analyses execution histories for two different memory consistency models.