paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization

TiLT:面向流查询优化与并行化的时间中心方法
ASPLOS Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 22023匹配度 1/10 · 论文聚焦流查询优化的中间表示与编译器后端,属于数据库/流处理系统方向,未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与用户研究画像基本无关。引用 6 inbox
Anand Jayarajan, Wei Zhao, Yudi Sun, Gennady Pekhimenko
crossref: 2026-09-12

AI 速览

一句话:提出以时间为中心的 IR TiLT 及编译器后端,显著提升流查询在多核上的吞吐。

流处理引擎需在大规模无界有序数据流上支持多样计算并满足严格延迟与吞吐要求。现有 SPE 的查询优化、并行化与执行策略受限于其基础设计选择和查询表示模型,难以在真实应用中泛化。本文提出 TiLT,一种以时间为中心的新型中间表示,提供高表达力的时序查询语言,便于有效的查询优化与并行化;并实现 TiLT 编译器后端,对流查询应用优化并生成面向多核的高效代码。在八个真实流分析应用上,TiLT 相比 Trill 等先进 SPE 吞吐最高提升 326 倍,平均提升 20.49 倍,代码已开源。

问题
现代流处理引擎的优化与并行化策略受查询表示模型和基础设计限制,难以在多样真实流分析应用中通用并同时满足性能需求。
方法
提出时间中心的 IR TiLT 及可表达时序查询语言,并构建编译器后端,对流查询做优化并生成多核高效代码。
评估
在八个真实流分析应用上与当前先进 SPE(如 Trill)比较吞吐,最高提升 326×、平均 20.49×。
原文摘要(Abstract)

Stream processing engines (SPEs) are widely used for large scale streaming analytics over unbounded time-ordered data streams. Modern day streaming analytics applications exhibit diverse compute characteristics and demand strict latency and throughput requirements. Over the years, there has been significant attention in building hardware-efficient stream processing engines (SPEs) that support several query optimization, parallelization, and execution strategies to meet the performance requirements of large scale streaming analytics applications. However, in this work, we observe that these strategies often fail to generalize well on many real-world streaming analytics applications due to several inherent design limitations of current SPEs. We further argue that these limitations stem from the shortcomings of the fundamental design choices and the query representation model followed in modern SPEs. To address these challenges, we first propose TiLT, a novel intermediate representation (IR) that offers a highly expressive temporal query language amenable to effective query optimization and parallelization strategies. We subsequently build a compiler backend for TiLT that applies such optimizations on streaming queries and generates hardware-efficient code to achieve high performance on multi-core stream query executions. We demonstrate that TiLT achieves up to 326× (20.49× on average) higher throughput compared to state-of-the-art SPEs (e.g., Trill) across eight real-world streaming analytics applications. TiLT source code is available at https://github.com/ampersand-projects/tilt.git.

链接与引用

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

BibTeX
@inproceedings{paperbot10018,
  title = {TiLT: A Time-Centric Approach for Stream Query Optimization and Parallelization},
  author = {Anand Jayarajan and Wei Zhao and Yudi Sun and Gennady Pekhimenko},
  booktitle = {ASPLOS},
  year = {2023},
  doi = {10.1145/3575693.3575704}
}