paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Panda: A Concurrent Scheduler for Compiler-Based Tools

Panda:一种面向基于编译器的工具的并发调度器
ISSTA Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis2024匹配度 3/10 · 论文关注 C/C++ 静态分析工具的并发调度与执行效率优化,属于程序分析工具链工程,但与用户核心方向(LLM/Agent 与静态分析交叉、浮点程序分析、贝叶斯程序分析)没有直接关联,也未涉及 AI/LLM 工具的使用或改进。引用 0 inbox
Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
crossref: 2026-09-12

AI 速览

一句话:提出 Panda,一种独立于编译过程并发调度多种 C/C++ 静态分析工具的调度器,显著缩短总执行时间。

广泛使用的基于编译器的工具(CBT,如静态分析器)通常通过注入编译过程来运行,但存在多工具运行不便、与编译器相互干扰以及编译依赖下效率下降等问题。为此,本文提出 Panda,一种面向 C/C++ CBT 的高效调度器。它让多种 CBT 以独立于编译的方式执行,避免与构建系统相互干扰,并基于估计的 makespan 并行执行进程以提高效率。评估表明,与编译耦合执行相比,Panda 将总执行时间减少 19%–47%,在 64 个并行工作单元下平均加速 39.03×–52.15×。

问题
基于编译器的工具(如静态分析器)通常需注入编译过程运行,导致多工具运行不便、与编译器相互干扰,并在编译依赖下效率下降。
方法
提出 Panda,一种 C/C++ CBT 调度器:以编译无关的方式运行多种工具,避免与构建系统相互干扰,并基于估计的 makespan 并行调度进程。
评估
通过评估对比编译耦合执行方式,测量总执行时间与并行加速比。结果显示总执行时间减少 19%–47%,在 64 个并行工作单元下平均加速 39.03×–52.15×。
原文摘要(Abstract)

The widely-used Compiler-Based Tools (CBT), such as static analyzers, process input source code using data structures inside a compiler. CBTs can be invoked together with compilers by injecting the compilation process. However, it is seldom the best practice for the inconvenience of running various CBTs, the unexpected failures due to interference with compilers, and the efficiency degradation under compilation dependencies. To fill this gap, we propose Panda, an efficient scheduler for C/C++ CBTs. It executes various CBTs in a compilation-independent manner to avoid mutual interference with the build system, and parallels the process based on an estimated makespan to improve the execution efficiency. The assessment indicates that Panda can reduce the total execution time by 19%–47% compared with compilation-coupled execution, with an average 39.03×–52.15× speedup with 64 parallel workers.

链接与引用

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

BibTeX
@inproceedings{paperbot8558,
  title = {Panda: A Concurrent Scheduler for Compiler-Based Tools},
  author = {Xutong Ma and Jiwei Yan and Jun Yan and Jian Zhang},
  booktitle = {ISSTA},
  year = {2024},
  doi = {10.1145/3650212.3685311}
}