Debian 重新设计 APT 以优化依赖管理
💡
原文英文，约1200词，阅读约需5分钟。
📝
内容提要
Debian Linux将使用名为Solver3的新依赖解析器升级其高级软件包工具（APT）。Solver3预计将提高构建时间40％，并具有诸如不删除手动安装的软件包和提供软件包升级或删除的解释等节省时间的功能。新的解析器经过多次迭代才达到当前配置。在正式发布之前，计划进行进一步改进和性能测试。
🎯
关键要点
- Debian Linux将升级其高级软件包工具APT，使用新的依赖解析器Solver3。
- Solver3预计将提高构建时间40％，并具有不删除手动安装软件包等功能。
- 新的解析器经过多次迭代，计划在2025年2月的Trixie版本中进行生产发布。
- APT的原始解析器创建于20多年前，随着Linux工作负载的增长，包管理变得更加复杂。
- Klode发现APT在构建时间中花费45%用于重建依赖树，导致效率低下。
- 新解析器的构建时间仅占15%，预计将显著提高效率。
- Solver3具有时间节省功能，如不删除手动安装的软件包和提供软件包升级或删除的解释。
- Klode尝试了多种解决方案，最终选择了优先队列的方法来实现Solver3。
- 未来需要进行更多性能测试，以比较Solver3与传统解析器的表现。
- Klode希望将Solver3与行业标准MiniSat对齐，以处理冲突问题。
❓
延伸问答
Debian的APT工具将如何升级？
Debian将使用名为Solver3的新依赖解析器升级APT，预计将提高构建时间40%。
Solver3的主要优势是什么？
Solver3的主要优势包括提高构建效率，减少重建依赖树的时间，并且不删除手动安装的软件包。
为什么Debian需要更新APT的依赖解析器？
因为APT的原始解析器创建于20多年前，随着Linux工作负载的增长，包管理变得更加复杂，效率低下。
Solver3的开发过程经历了哪些尝试？
Klode尝试了多种解决方案，包括外部求解器和伪布尔优化，最终选择了优先队列的方法来实现Solver3。
Solver3与传统解析器相比有什么不同？
Solver3的构建时间仅占15%，相比传统解析器的45%大幅提高了效率。
未来对Solver3的计划是什么？
未来将进行更多性能测试，以比较Solver3与传统解析器的表现，并希望与行业标准MiniSat对齐。
➡️
