Debian 重新设计 APT 以优化依赖管理
内容提要
Debian Linux将使用名为Solver3的新依赖解析器升级其高级软件包工具（APT）。Solver3预计将提高构建时间40％，并具有诸如不删除手动安装的软件包和提供软件包升级或删除的解释等节省时间的功能。新的解析器经过多次迭代才达到当前配置。在正式发布之前，计划进行进一步改进和性能测试。
延伸解读
APT 依赖解析器的历史包袱
Debian 原有的依赖解析器已使用超过二十年，其设计在当时是先进的，但随着 Linux 工作负载日益复杂，它暴露出效率低下和行为异常的问题。例如，在构建过程中，它需要遍历整个依赖树，导致 45% 的时间被浪费；同时，它可能错误地删除或升级软件包。这些历史遗留问题促使 Debian 必须重新设计 APT 的核心组件，以应对现代云原生环境的需求。
Solver3 的实用改进
Solver3 不仅提升了构建速度，还引入了一些对系统管理员友好的特性。例如，它默认不会删除手动安装的软件包，并能解释为何升级或删除某个包，帮助管理员理解依赖决策。此外，通过 `apt install --fix-policy` 命令，可以忽略自动安装的包，确保系统状态与全新安装一致。这些功能旨在减少意外变更，提高包管理的可预测性和透明度。
开发历程与未来方向
Solver3 的开发历经多次尝试，从借用外部求解器到伪布尔优化，最终采用优先队列方法。开发者 Julian Andres Klode 在 DebConf/24 上分享了这一过程，并指出仍需进一步限制求解器行为，例如仅考虑当前架构的包、仅在明确请求时移除手动安装的包等。未来计划进行更多性能测试，并与行业标准 MiniSat 对齐，以更好地处理冲突。
Q&A
Debian的APT工具将如何升级？
Debian将使用名为Solver3的新依赖解析器升级APT，预计将提高构建时间40%。
Solver3的主要优势是什么？
Solver3的主要优势包括提高构建效率，减少重建依赖树的时间，并且不删除手动安装的软件包。
为什么Debian需要更新APT的依赖解析器？
因为APT的原始解析器创建于20多年前，随着Linux工作负载的增长，包管理变得更加复杂，效率低下。
Solver3的开发过程经历了哪些尝试？
Klode尝试了多种解决方案，包括外部求解器和伪布尔优化，最终选择了优先队列的方法来实现Solver3。
Solver3与传统解析器相比有什么不同？
Solver3的构建时间仅占15%，相比传统解析器的45%大幅提高了效率。
未来对Solver3的计划是什么？
未来将进行更多性能测试，以比较Solver3与传统解析器的表现，并希望与行业标准MiniSat对齐。
