内存模型系列(下)- 内存持久性模型(Memory Persistency)

Memory Models Series - Memory Persistency (Slides)

日志

  1. [2018-07-25] 完成了本文的 PPT 框架,文字描述有空再加。

作者按:内存模型系列 - 内存一致性模型。本文为内存模型系列下篇,主要深入浅出地介绍了用于约束内存持久化指令完成顺序的内存持久性模型(Memory Persistency)。该模型面向未来的 NVMM(Non-volatile Main Memory,非易失主存)系统,其核心主张为:通过将 Memory Consistency 与 Memory Persistency 解耦,而 1) 帮助架构师挖掘指令级并行度,2) 帮助编程者推理崩溃一致性。

本系列的上篇为:内存模型系列(上)- 内存一致性模型(Memory Consistency)


1. 引言

内存模型系列(下)- 内存持久性模型(Memory Persistency)

2. 术语

内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)

3. Strict Persistency

内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)

4. Relaxed Persistency

4.1 Epoch Persistency

内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)
内存模型系列(下)- 内存持久性模型(Memory Persistency)

4.2 Strand Persistency

内存模型系列(下)- 内存持久性模型(Memory Persistency)

Reference

内存模型系列(下)- 内存持久性模型(Memory Persistency)