paperbot · PL 论文追踪

全部论文 待读 收藏

P2 MOD

MOD
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10 · 论文关注持久内存可恢复应用中的缓存行刷写排序与 STM 性能权衡,属于并发/内存模型和运行时系统方向,与用户画像中的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析均无直接交集。引用 48 inbox
Swapnil Haria, Mark D. Hill, Michael M. Swift
crossref: 2026-09-12

AI 速览

一句话:MOD 面向持久内存可恢复应用,试图解决缓存行刷写排序在专家定制与 STM 之间的两难。

持久内存(PM)使应用可在系统重启或掉电后恢复进度,但真正可恢复需要谨慎安排缓存行刷写顺序。现有实践走两个极端:专家深入推理一致性与持久性,构建以单一手工定制持久数据结构为核心的应用;经验较少的程序员则用软件事务内存(STM)实现一个或多个更新的原子性,但由于有序日志更新,性能代价显著。论文 MOD 面向这一矛盾展开研究,标题表明其关注持久内存下的有序/持久性设计;但给出的摘要未进一步说明具体方法、实现与评估结果。

问题
如何在持久内存上实现可恢复应用,既保证缓存行刷写顺序带来的一致性与持久性,又避免专家定制方案的局限和 STM 有序日志更新的高开销。
方法
给出的摘要尚未说明 MOD 的具体方法;从标题与动机看,论文针对持久内存可恢复数据结构的有序刷写开销问题提出方案。
评估
给出的摘要未报告评估方式与结果,仅指出现有 STM 方案因有序日志更新存在显著性能开销。
原文摘要(Abstract)

Persistent Memory (PM) makes possible recoverable applications that can preserve application progress across system reboots and power failures. Actual recoverability requires careful ordering of cacheline flushes, currently done in two extreme ways. On one hand, expert programmers have reasoned deeply about consistency and durability to create applications centered on a single custom-crafted durable datastructure. On the other hand, less-expert programmers have used software transaction memory (STM) to make atomic one or more updates, albeit at a significant performance cost due largely to ordered log updates.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5472,
  title = {MOD},
  author = {Swapnil Haria and Mark D. Hill and Michael M. Swift},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378472}
}