19、气隙环境下基于服务的系统更新解决方案

气隙环境下基于服务的系统更新解决方案

1. 服务版本与依赖解析基础概念

在服务系统更新中，有几个关键概念需要了解：
- 升级版本（upgrade - versions） ：用户希望将不同服务升级到的一个或多个版本。例如，由于服务 A 引入了新特性，服务 B 修复了近期的 bug，用户可能希望将服务 A 升级到版本 n，将服务 B 升级到版本 m。
- 可用版本（available - versions） ：可安装的服务版本，通常从开发仓库获取。
- 依赖关系（dependencies） ：一个服务对另一个服务版本的依赖。例如，服务 A 的补丁约束为 “7.5. ”，依赖于服务 B 的次要版本约束为 “10. . ”。
- 已安装版本（installed - versions） *：系统中已经安装的服务版本，代表系统的当前状态。

依赖解析问题可以非正式地描述为：“给定用户想要更新到的服务版本、可用版本和已安装的服务，推导出一组符合版本依赖关系的服务版本（如果存在这样的集合）”。

2. 依赖解析算法

为了解决依赖解析问题，有两种主要的算法：

2.1 ALL - VER 算法

Input upgrade version(s), dependency constraint(s), available version(s) per comp