paperbot · PL 论文追踪

全部论文 待读 收藏

P2 An Analysis of Persistent Memory Use with WHISPER

基于 WHISPER 的持久内存使用分析
ASPLOS Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems2017匹配度 1/10 · 论文关注持久内存的排序点与 epoch 抽象及其一致性机制,属于系统/体系结构方向,与用户画像中的静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析均无直接交集。引用 197 inbox
Sanketh Nalli, Swapnil Haria, Mark D. Hill, Michael M. Swift, Haris Volos, Kimberly Keeton
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:界定持久内存的排序点与 epoch 抽象,并通过 WHISPER 分析持久内存应用的一致性机制。

新兴非易失内存(NVM)具有接近 DRAM 的读写延迟,并可按字节寻址,通过普通内存指令访问,论文将其定义为持久内存(PM)。PM 应用为保证持久数据一致性,需在 PM 写之间插入排序点,从而支持更高层事务机制的构建。论文提出 epoch 作为排序点之间的一组 PM 写,用于刻画一致性区间。标题表明该工作借助 WHISPER 对持久内存的使用进行分析。给出的摘要主要给出 PM、排序点与 epoch 的概念界定,未报告具体实验数据或分析结论;整体上为理解 PM 程序的一致性与事务实现提供了基础抽象。

问题
新兴非易失内存提供接近 DRAM 的延迟且可按字节寻址,使持久内存应用必须保证持久数据的一致性。
方法
应用在 PM 写之间插入排序点,以构建高层事务机制;论文将排序点之间的 PM 写集合定义为 epoch,并借助 WHISPER 进行分析。
评估
标题表明使用 WHISPER 对持久内存使用进行分析;给定摘要未展开具体实验设置与结果。
原文摘要(Abstract)

Emerging non-volatile memory (NVM) technologies promise durability with read and write latencies comparable to volatile memory (DRAM). We define Persistent Memory (PM) as NVM accessed with byte addressability at low latency via normal memory instructions. Persistent-memory applications ensure the consistency of persistent data by inserting ordering points between writes to PM allowing the construction of higher-level transaction mechanisms. An epoch is a set of writes to PM between ordering points.

链接与引用

DOI 原文 · DBLP

BibTeX
@inproceedings{NalliHHSVK17,
  title = {An Analysis of Persistent Memory Use with WHISPER},
  author = {Sanketh Nalli and Swapnil Haria and Mark D. Hill and Michael M. Swift and Haris Volos and Kimberly Keeton},
  booktitle = {ASPLOS},
  year = {2017},
  doi = {10.1145/3037697.3037730}
}