paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Reproducible Containers

可复现容器
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10 · 论文提出用户态可复现容器 DetTrace,属于系统与运行时领域,用于自动消除构建与工作流中的不可复现性;未涉及静态分析、LLM/Agent、浮点程序分析或贝叶斯程序分析,与研究画像的核心方向无直接关联。引用 20 inbox
Omar S. Navarro Leija, Kelly Shiptoski, Ryan G. Scott, Baojun Wang, Nicholas Renner, Ryan R. Newton, Joseph Devietti
crossref: 2026-09-12

AI 速览

一句话:提出用户态 Linux 可复现容器 DetTrace,使容器内计算成为初始文件系统状态的纯函数,并自动消除构建与工作流中的不可复现性。

软件构建与数据工作流常因执行中的非确定性而不可复现,而现有可复现方案往往需要硬件、操作系统或应用改动。本文设计并实现 DetTrace,一个在用户空间实现的 Linux 可复现容器抽象,使容器内所有计算都成为其初始文件系统状态的纯函数,从而自动获得可复现性。作者用 DetTrace 对 12,130 个 Debian 包构建(超过 8 亿行代码)、生物信息学与机器学习工作流进行验证;这些软件最初不可复现,DetTrace 无需硬件、OS 或应用改动即可恢复可复现性。性能取决于系统调用频率:IO 密集型构建平均开销为 3.49 倍,而计算密集型生物信息学工作流低于 2%。

问题
Linux 容器中运行的软件构建与数据分析工作流因非确定性而难以复现,而现有方案常要求硬件、操作系统或应用修改。
方法
DetTrace 在用户空间实现可复现容器抽象,使容器内计算成为初始文件系统状态的纯函数,从而自动引入可复现性。
评估
在 12,130 个 Debian 包构建、生物信息学与机器学习工作流上自动实现可复现性;IO 密集型构建平均开销 3.49 倍,计算密集型工作流低于 2%。
原文摘要(Abstract)

We describe the design and implementation of DetTrace, a reproducible container abstraction for Linux implemented in user space. All computation that occurs inside a DetTrace container is a pure function of the initial filesystem state of the container. Reproducible containers can be used for a variety of purposes, including replication for fault-tolerance, reproducible software builds and reproducible data analytics. We use DetTrace to achieve, in an automatic fashion, reproducibility for 12,130 Debian package builds, containing over 800 million lines of code, as well as bioinformatics and machine learning workflows. We show that, while software in each of these domains is initially irreproducible, DetTrace brings reproducibility without requiring any hardware, OS or application changes. DetTrace's performance is dictated by the frequency of system calls: IO-intensive software builds have an average overhead of 3.49x, while a compute-bound bioinformatics workflow is under 2%.

链接与引用

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

BibTeX
@inproceedings{paperbot5427,
  title = {Reproducible Containers},
  author = {Omar S. Navarro Leija and Kelly Shiptoski and Ryan G. Scott and Baojun Wang and Nicholas Renner and Ryan R. Newton and Joseph Devietti},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378519}
}