paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Sigma: Compiling Einstein Summations to Locality-Aware Dataflow

Sigma:将 Einstein 求和编译为局部性感知数据流
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 2/10 · 该论文属于面向 ML 加速器的编译与代码生成,涉及 Einstein 求和和数据流局部性优化,与 PL/AI 交叉中的编译器技术有间接关联;但它不涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,因此与用户核心研究方向匹配度较低。引用 4 inbox
Tian Zhao, Alexander Rucker, Kunle Olukotun
crossref: 2026-09-12

AI 速览

一句话:将 Einstein 求和编译为局部性感知的数据流,以利用细粒度内存的数据复用并降低对底层加速器专家知识的依赖。

现有数据流加速器编译器通常把数据流程序中的每个节点映射到专用硬件元件,从而获得高性能,但这种做法忽略了利用 FIFO、流水线寄存器等细粒度存储元件的数据带宽所必需的数据复用优化。此外,用户必须掌握底层数据流加速器的领域知识才能编写高效的数据流程序。本文提出 Sigma,面向 Einstein 求和,将其编译为 locality-aware dataflow(局部性感知数据流),旨在在编译阶段显式考虑存储层次和数据局部性,从而实现更好的数据复用,并缓解手工编写高效数据流程序时的专家知识负担。标题表明其核心是编译到局部性感知的数据流表示或硬件映射。原文摘要未报告具体实验设置、基准或性能结果,因此无法从给定摘要判断其定量效果。

问题
现有数据流加速器编译器将每个程序节点映射到专用硬件元件,忽略了针对 FIFO、流水线寄存器等细粒度内存的数据复用优化;同时,编写高效数据流程序要求用户具备底层加速器领域知识。
方法
提出 Sigma,将 Einstein 求和编译为 locality-aware dataflow,在编译过程中考虑数据局部性与复用。
评估
给出的摘要未提供实验评估细节、基准测试或性能结果。
原文摘要(Abstract)

Most dataflow accelerator compilers achieve high performance by mapping each node in a dataflow program to a dedicated hardware element on a dataflow accelerator. However, this approach misses critical data reuse optimizations required to exploit the data bandwidth from fine-grained memory elements, e.g., FIFOs and pipeline registers. Moreover, writing performant dataflow programs requires users to have domain expertise in the underlying dataflow accelerators.

链接与引用

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

BibTeX
@inproceedings{paperbot10026,
  title = {Sigma: Compiling Einstein Summations to Locality-Aware Dataflow},
  author = {Tian Zhao and Alexander Rucker and Kunle Olukotun},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575694}
}