[论文解读] Package upgrades in FOSS distributions: details and challenges

Roberto Di Cosmo, Stefano Zacchiroli+1 more|ArXiv.org|Feb 10, 2009

Software Engineering Research参考文献 17被引用 55

一句话总结

本文识别了自由和开源软件（FOSS）包升级中的独特挑战，特别是由于复杂的包间依赖关系和不可靠的维护者脚本所致。本文提出一种具有撤销语义的领域特定语言（DSL）用于维护者脚本，并将版本控制系统与包管理器集成，以实现可靠的回滚，解决了现有快照和回滚技术的不足。

ABSTRACT

The upgrade problems faced by Free and Open Source Software distributions have characteristics not easily found elsewhere. We describe the structure of packages and their role in the upgrade process. We show that state of the art package managers have shortcomings inhibiting their ability to cope with frequent upgrade failures. We survey current countermeasures to such failures, argue that they are not satisfactory, and sketch alternative solutions.

研究动机与目标

• 识别并分析自由和开源软件发行版中包升级的被低估的复杂性，特别是关于依赖管理与系统配置变更的问题。
• 批评现有回滚与快照机制在高磁盘使用率和回滚范围模糊性方面存在不足，因此无法有效应对FOSS发行版中频繁且不可预测的升级失败。
• 提出一种轻量级、基于版本控制的配置文件管理方法，以及一种形式化的DSL用于维护者脚本，以实现对系统变更的可靠撤销。
• 解决在依赖关系安全但语义不同的多个包状态之间，用户自定义偏好支持不足的问题。
• 通过面向真实世界升级问题的社区竞赛，激发对包升级决策高级优化技术的研究。

提出的方法

• 将版本控制系统（VCS），如etckeeper，与包管理器集成，以追踪并回滚系统级配置文件的变更。
• 设计一种具有内置撤销语义的领域特定语言（DSL），用于维护者脚本，以正式指定并逆转副作用。
• 应用指纹技术对现有维护者脚本进行聚类，识别常见模式，特别是幂等操作。
• 使用语法感知的差异比较与合并工具处理结构化配置文件（如XML），以减少合并冲突中的误报。
• 提出一种多准则优化框架，用于包升级决策，整合用户偏好，超越依赖关系的正确性。
• 组织一场研究竞赛，利用真实用户数据评估并推进静态包升级解析算法。

实验结果

研究问题

• RQ1 FOSS包升级具有哪些独特特征，使其比专有系统更容易出错？
• RQ2 为何当前的回滚与快照机制在处理FOSS发行版中频繁且不可预测的升级失败时表现不足？
• RQ3 具有撤销语义的领域特定语言（DSL）如何提升维护者脚本在系统升级期间的可靠性？
• RQ4 版本控制系统在管理配置文件变更并实现安全回滚方面发挥何种作用？
• RQ5 当存在多个依赖关系安全但语义不同的包状态时，如何有意义地表达并优化用户偏好？

主要发现

• 由于磁盘空间消耗过大以及回滚范围定义模糊，现有快照与回滚解决方案存在不足。
• Debian中约一半的维护者脚本为简单且幂等的操作，可通过清除缓存数据并重新运行脚本来实现撤销。
• 如etckeeper所展示的，将版本控制与包管理器集成，可有效追踪并恢复配置文件变更。
• 针对结构化配置文件（如XML）的语法感知差异比较与合并工具，可减少由语法噪声引起的合并失败。
• 所提出的维护者脚本DSL方法为正式推理和逆转副作用提供了路径，从而提升升级的可靠性。
• 针对真实世界升级问题的社区竞赛预计将吸引研究关注，并推动依赖关系解析算法的创新。