阿兰·杰弗里;詹姆斯·里利 在稀薄的空气中阅读：朝向放松记忆的事件结构模型。 （英语） Zbl 1423.68311号 日志。方法计算。科学。 15，第1号，第33号论文，第25页（2019年）. 摘要：为了模拟放松记忆，我们建议无混淆事件结构在带有正当理由关系。执行的模型由正当的配置，其中每个读取事件都有一个调整写入事件。仅证明是一个太弱的标准，因为它允许循环出现所谓的“空读”。非循环理由禁止此类循环，但也会使编译器优化和动态指令调度导致的事件重新排序无效。我们提出合理的理由基于一个类似游戏的模型，它占据了中间位置。我们表明，合理的配置满足DRF定理：在任何无数据空间的程序中，所有合理的配置都是顺序一致的。我们也证明了这一点可靠保证对于合理的配置，推理是合理的，但对于合理的设置，推理是不合理的。例如，合理的配置是类型安全的.良好的理由允许通过放松的记忆进行许多但不是所有的重新排序。特别是，它无法验证独立读取的交换。我们讨论可能解决这些缺点的变体。 引用于三文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68季度55 计算理论中的语义学 关键词：放松的记忆;事件结构 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Riely}，Log。方法计算。科学。15，第1号，第33号论文，25页（2019年；Zbl 1423.68311） 全文： 内政部 arXiv公司