paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Efficiently detecting concurrency bugs in persistent memory programs

高效检测持久内存程序中的并发缺陷
ASPLOS Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems2022匹配度 2/10 · 该论文聚焦持久内存程序中的并发崩溃一致性缺陷检测，属于程序分析与测试领域，但未涉及LLM/Agent、浮点程序分析或贝叶斯程序分析，与用户核心的PL与AI交叉方向不匹配。引用 17 inbox
Zhangyu Chen, Yu Hua, Yongle Zhang, Luochangqi Ding
并发、并行与内存模型测试、调试与修复
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：旨在高效检测持久内存程序中的并发崩溃一致性缺陷。

持久内存兼具接近DRAM的性能、TB级容量与非易失性，支持大规模内存计算和即时崩溃恢复，但在其上编程容易引入崩溃一致性缺陷。由于PM应用常采用并发编程以利用硬件并行性，这类缺陷更难诊断。现有面向DRAM的并发缺陷检测工具不了解PM操作和PM一致性，无法发现PM崩溃一致性缺陷；而现有PM专用调试工具仅针对串行PM程序，不能有效检测并发执行中隐藏的崩溃一致性问题。论文标题表明工作聚焦于高效检测PM程序中的并发缺陷，摘要主要阐述问题动机与已有工具局限，未展开具体方法和实验。

问题
持久内存程序的崩溃一致性缺陷在并发执行下难以诊断；现有DRAM并发检测工具不理解PM操作与一致性，PM专用工具又只针对串行程序。
方法
标题与摘要指向面向PM并发程序的缺陷检测；摘要未给出具体方法，仅强调需同时应对PM操作、PM一致性和并发执行带来的挑战。
评估
所给摘要未提供评估方式、基准或实验结果。
原文摘要（Abstract）

Due to the salient DRAM-comparable performance, TB-scale capacity, and non-volatility, persistent memory (PM) provides new opportunities for large-scale in-memory computing with instant crash recovery. However, programming PM systems is error-prone due to the existence of crash-consistency bugs, which are challenging to diagnose especially with concurrent programming widely adopted in PM applications to exploit hardware parallelism. Existing bug detection tools for DRAM-based concurrency issues cannot detect PM crash-consistency bugs because they are oblivious to PM operations and PM consistency. On the other hand, existing PM-specific debugging tools only focus on sequential PM programs and cannot effectively detect crash-consistency issues hidden in concurrent executions.

链接与引用

DOI 原文 · DBLP

BibTeX 
@inproceedings{Chen0ZD22,
  title = {Efficiently detecting concurrency bugs in persistent memory programs},
  author = {Zhangyu Chen and Yu Hua and Yongle Zhang and Luochangqi Ding},
  booktitle = {ASPLOS},
  year = {2022},
  doi = {10.1145/3503222.3507755}
}