Formalizing Memory Coherency Models
Formalizing Memory Coherency Models
复制标题
形式化记忆一致性模型
DOI：
--
复制
发表时间：
1994
期刊：
影响因子：
--
通讯作者：
Vicente Cholvi
中科院分区：
文献类型：
--
作者：
M. Bernabeu;Vicente Cholvi
内存访问操作在算法设计中起着至关重要的作用。实际上，数据访问操作的语义（读取和写入）将直接（CID：11）ECT递观给定算法在使用特定类型的内存类型时正确的条件。在本文中，我们介绍了内存模型概念的形式化，该概念可用于指定给定的内存类别的行为。该模型使我们能够识别系统组件A（CID：11）执行内存访问操作的方式。本文还通过将允许的执行限制为允许给定类型的观察的人限制允许的执行，以介绍DE（CID：12）NE内存类型的机制。
Memory access operations play an essential role in the design of algorithms. In fact, the semantics of the data access operations (read, and write) will directly a(cid:11)ect the conditions under which a given algorithm will be correct when operating with a particular type of memory. In this paper we present a formalization of the concept of memory model which can be used to specify the behavior of a given class of memory. This model allows us to identify the system components a(cid:11)ecting the way memory access operations are performed. The paper also presents a mechanism to de(cid:12)ne memory types by way of restricting the set of permitted executions to those allowing a given type of observation.