paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Limitations of Partial Compaction

部分压缩的局限性
TOPLAS 39(1)2017匹配度 1/10 · 该论文研究托管运行时中的部分堆压缩理论限制,属于运行时与内存管理方向,与用户关注的静态分析、LLM/Agent、浮点程序分析、贝叶斯程序分析等核心方向没有直接交集。引用 5 inbox
Nachshon Cohen, Erez Petrank
dblp: 2026-09-10crossref: 2026-09-10

AI 速览

一句话:扩展部分堆压缩的理论限制,给出更优且对现代托管运行时更有意义的界限。

在商业托管运行时中,堆压缩开销高昂,通常尽量避免,转而采用部分压缩来整理堆的局部并防止空间膨胀。已有工作虽对压缩限制给出了一些初始渐近界,但这些界对实际系统缺乏指导意义。本文扩展该理论,推导出更优的界限,并使其强到足以对现代运行时系统产生实际意义。结果属于理论分析,摘要未报告具体实验评估。

问题
托管堆压缩代价高昂,商业运行时常用部分压缩来局部整理堆并避免空间膨胀;已有压缩限制理论只有初始渐近界,难以为实际系统提供指导。
方法
扩展部分压缩限制的理论分析,推导更优的界限。
评估
通过理论推导与界限分析说明新界对现代系统更有意义;摘要未提及实验评估。
原文摘要(Abstract)

Compaction of a managed heap is a costly operation to be avoided as much as possible in commercial runtimes. Instead, partial compaction is often used to defragment parts of the heap and avoid space blowup. Previous study of compaction limitation provided some initial asymptotic bounds but no implications for practical systems. In this work, we extend the theory to obtain better bounds and make them strong enough to become meaningful for modern systems.

链接与引用

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

BibTeX
@article{CohenP17,
  title = {Limitations of Partial Compaction},
  author = {Nachshon Cohen and Erez Petrank},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {39},
  number = {1},
  year = {2017},
  doi = {10.1145/2994597}
}