[发明专利]用于部署增量网络更新的系统

权利要求书

1.一种使用一个或多个处理器更新计算机网络配置的方法，其特征在于，所述方法包括：

接收包括用于所述计算机网络配置的提议的更新的程序，在接收所述程序时的所述计算机网络配置为初始配置；

分析所述程序以生成网络对象模型NOM；

使用所述NOM针对所述提议的更新生成所述计算机网络的配置变更；

验证所述初始配置的表示，以确定所述配置变更是否由不变量约束；

使用所述NOM分析所述验证的结果，以确定所述配置变更如何导致与所述不变量相关联的违规，以及如何在测试所述初始配置的所述表示时检测所述违规；

使用所述分析的结果更新所述计算机网络配置；

所述方法还包括：

解析所述计算机网络的所述配置变更和所述初始配置以生成合成的网络配置；

将所述合成的网络配置转换为一阶逻辑表示；

验证所述一阶逻辑表示，以确定所述配置变更是否由不变量约束。

2.根据权利要求1所述的方法，其特征在于，更新所述计算机网络配置包括向所述计算机网络添加节点或从所述计算机网络移除节点。

3.根据权利要求1或2所述的方法，其特征在于，更新所述计算机网络配置包括修改所述初始配置。

4.根据权利要求3所述的方法，其特征在于，修改所述初始配置包括添加新前缀。

5.根据权利要求3所述的方法，其特征在于，修改所述初始配置包括升级接口。

6.根据权利要求1所述的方法，其特征在于，验证所述逻辑表示以确定所述配置变更是否由不变量约束包括使用可满足性模理论SAT/SMT解算器。

7.根据权利要求1至6中任一项所述的方法，其特征在于，分析所述程序以生成所述NOM包括确定所述程序的原子。

8.根据权利要求7所述的方法，其特征在于，确定所述程序的原子包括确定所述原子的依赖关系。

9.根据权利要求7或8所述的方法，其特征在于，确定所述程序的原子包括确定所述原子的操作顺序。

10.根据权利要求7至9中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的物理接口。

11.根据权利要求7至10中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的中继接口。

12.根据权利要求7至11中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的路由信息。

13.一种用于更新计算机网络配置的系统，其特征在于，所述系统包括：

连接到所述计算机网络的一个或多个处理器，所述一个或多个处理器用于：

接收包括用于所述计算机网络配置的提议的更新的程序，在接收所述程序时的所述计算机网络配置为初始配置；

分析所述程序以生成网络对象模型NOM；

使用所述NOM针对所述提议的更新生成所述计算机网络的配置变更；

验证所述初始配置的表示，以确定所述配置变更是否由不变量约束；

使用所述NOM分析所述验证的结果，以确定所述配置变更如何导致与所述不变量相关联的违规，以及如何在测试所述初始配置的所述表示时检测所述违规；

使用所述分析的结果更新所述计算机网络配置；

所述一个或多个处理器还用于：

解析所述计算机网络的所述配置变更和所述初始配置以生成合成的网络配置；

将所述合成的网络配置转换为一阶逻辑表示；

验证所述一阶逻辑表示，以确定所述配置变更是否由不变量约束。