paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Feature-Specific Profiling

面向语言特性的性能剖析
TOPLAS 41(1)2018匹配度 2/10 · 论文属于编程语言性能剖析与开发者工具,关注按语言构造报告运行时开销,不涉及LLM/Agent、静态分析、浮点程序分析或贝叶斯程序分析,与用户的研究主线交叉有限。引用 11 inbox
Leif Andersen, Vincent St-Amour, Jan Vitek, Matthias Felleisen
crossref: 2026-09-10

AI 速览

一句话:提出特性特定剖析,按语言构造报告性能开销,帮助程序员定位特定语言特性的昂贵使用。

高级语言提升了程序的可读性与可维护性,但其性能仍然难以预测;程序员可能无意中不当使用某些语言特性,导致程序运行慢于预期。本文提出特性特定剖析(feature-specific profiling),以语言构造为单位报告性能开销,帮助程序员发现特定语言特性的高代价用法。作者描述了实现该方法的剖析器架构,并针对两种具有不同特征与实现策略的语言构建了原型;通过经验证据说明该方法作为性能调试工具的普遍有用性。

问题
高级语言程序性能难以预测,不当使用语言特性会造成意外开销,而传统剖析难以将开销归因到具体语言构造。
方法
提出 feature-specific profiling,按语言构造报告性能开销,并给出支持多语言实现的剖析器原型架构。
评估
在两种具有不同特征与实现策略的语言上构建剖析器原型,并通过经验证据评估其作为性能调试工具的通用有效性。
原文摘要(Abstract)

While high-level languages come with significant readability and maintainability benefits, their performance remains difficult to predict. For example, programmers may unknowingly use language features inappropriately, which cause their programs to run slower than expected. To address this issue, we introduce feature-specific profiling , a technique that reports performance costs in terms of linguistic constructs. Feature-specific profilers help programmers find expensive uses of specific features of their language. We describe the architecture of a profiler that implements our approach, explain prototypes of the profiler for two languages with different characteristics and implementation strategies, and provide empirical evidence for the approach’s general usefulness as a performance debugging tool.

链接与引用

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

BibTeX
@article{paperbot306,
  title = {Feature-Specific Profiling},
  author = {Leif Andersen and Vincent St-Amour and Jan Vitek and Matthias Felleisen},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {41},
  number = {1},
  year = {2018},
  doi = {10.1145/3275519}
}