一句话：针对 Puppet 配置程序，识别资源顺序约束缺失与服务未绑定资源两类故障。
本文关注 Puppet 配置管理程序中的故障检测问题。Puppet 通过资源抽象帮助管理员以可靠、可预测且可文档化的方式配置系统，但其使用存在两类隐患：一是资源依赖关系未正确指定顺序约束时，资源的非确定性应用可能引入竞态条件并导致失败；二是服务若未通过 notification 构造与其资源绑定，资源被修改时系统可能停留在过期状态。这些问题会降低基础设施的可用性与功能。论文标题表明其目标是实现实用的 Puppet 程序故障检测，但给出的摘要未说明具体检测技术、工具实现或实验评估结果。
Puppet is a popular computer system configuration management tool. By providing abstractions that model system resources it allows administrators to set up computer systems in a reliable, predictable, and documented fashion. Its use suffers from two potential pitfalls. First, if ordering constraints are not correctly specified whenever a Puppet resource depends on another, the non-deterministic application of resources can lead to race conditions and consequent failures. Second, if a service is not tied to its resources (through the notification construct), the system may operate in a stale state whenever a resource gets modified. Such faults can degrade a computing infrastructure's availability and functionality.
DOI 原文 ·
@inproceedings{paperbot5659,
title = {Practical fault detection in puppet programs},
author = {Thodoris Sotiropoulos and Dimitris Mitropoulos and Diomidis Spinellis},
booktitle = {ICSE},
year = {2020},
doi = {10.1145/3377811.3380384}
}