paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Scoped Buffered Persistency Model for GPUs

GPU 的作用域化缓冲持久性模型
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 该论文研究 GPU 持久内存的持久性模型,属于并发/内存模型与体系结构方向;与用户关注的 PL 与 AI/LLM 交叉、静态分析、浮点程序分析或贝叶斯程序分析均无直接关系,仅在最广义的程序正确性推理上略有理论交集。引用 6 inbox
Shweta Pandey, Aditya K Kamath, Arkaprava Basu
crossref: 2026-09-12

AI 速览

一句话:提出面向 GPU 的作用域缓冲持久性模型,为持久内存感知 GPU 程序的正确性推理提供基础。

持久内存(PM)对 CPU 软硬件的影响已被广泛研究,但对 GPU 而言仍不充分。已有工作 GPM 展示了 GPU 程序如何受益于 PM 的细粒度持久性,然而由于缺乏持久性模型,无法对 PM 感知的 GPU 程序进行正确性推理。持久性模型规定对 PM 的写操作以何种顺序持久化。本文探索面向 GPU 的持久性模型,并提出一种作用域缓冲持久性模型,旨在填补 GPU 持久内存编程语义的空白。摘要未报告具体实验评估,工作重点在于模型层面的探索与定义。

问题
现有研究缺乏 GPU 持久内存的持久性模型,导致无法推理 PM 感知 GPU 程序的正确性,也无法明确写操作持久化顺序。
方法
在已有 GPM 工作基础上,探索 GPU 持久性模型,并围绕作用域与缓冲机制定义面向 GPU 的持久性模型。
评估
摘要未给出具体实验或形式化验证评估;工作重点在于提出并探索面向 GPU 的持久性模型。
原文摘要(Abstract)

While the implications of persistent memory (PM) on CPU hardware and software are well-explored, the same is not true for GPUs (Graphics Processing Units). A recent work, GPM, demonstrated how GPU programs can benefit from the fine-grain persistence of PM. However, in the absence of a persistency model, one cannot reason about the correctness of PM-aware GPU programs. Persistency models define the order in which writes to PM are persisted. We explore persistency models for GPUs.

链接与引用

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

BibTeX
@inproceedings{paperbot10032,
  title = {Scoped Buffered Persistency Model for GPUs},
  author = {Shweta Pandey and Aditya K Kamath and Arkaprava Basu},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575749}
}