內存模型系列（下）- 內存持久化模型（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) 幫助編程者推理崩潰一致性。

---

1. 引言

2. 術語

3. Strict Persistency

4. Relaxed Persistency

4.1 Epoch Persistency

4.2 Strand Persistency

Reference