2021.05.20

这简直就是一片内存模型入门综述！

摘要：

设计&理解内存一致性模型（Memory Consistency Model, MCM）的4步骤

  1. generating conformance tests
  2. distinguishing two MCMs
  3. checking compiler optimisations
  4. checking compiler mappings

4个问题都是约束满足问题。

提出模型框架Alloy，辨析很多出名的因MCM不同而产生的现象。（这些现象名字暂时还看不懂，作为读者，期待论文中有说明）

Introduction

需要考虑MCM的领域：编程语言、CPU架构、GPU架构。

关于MCM测试，分成了4类，

  1. 如何测试编译器or机器属于某个MCM
  2. 如何区分两个MCM
  3. 如何加强程序，让其在某MCM正确运行
  4. 如何验证软件or硬件MCM是否正确