用于部署增量网络更新的系统技术方案

提供了一种用于部署增量网络更新的方法。接收包括用于计算机网络的提议的更新的程序，并分析所述程序以生成网络对象模型(network object model，NOM)。使用所述NOM针对所述提议的更新生成所述计算机网络的配置变更，并解析所述配置变更和初始配置以生成合成的网络配置。将所述合成的网络配置转换为一阶逻辑表示，并验证所述逻辑表示以确定所述配置变更是否由不变量约束。使用所述NOM分析验证结果，以确定所述配置变更如何导致与所述不变量相关的违规，以及如何在测试所述合成的网络配置时检测所述违规。使用分析结果更新所述计算机网络配置。络配置。络配置。

【技术实现步骤摘要】
【国外来华专利技术】用于部署增量网络更新的系统
[0001]相关申请案的交叉引用
[0002]本申请要求于2018年10月3日提交的申请号为62/740,471、专利技术名称为“用于部署增量网络更新(System for Deploying Incremental Network Updates)”的美国临时申请的优先权和权益，该在先申请通过引用并入本文。


[0003]本专利技术涉及计算机网络管理，具体涉及用于部署增量网络更新的系统和方法。

技术介绍

[0004]网络配置需要频繁更新，而配置更新会带来比网络的初始构建更加困难的问题。对生产网络配置的增量更新可能难以正确实现。使用传统的配置指令增量配置不同的网络设备(例如路由器、交换机和中间盒)，与使用汇编语言对可操作的分布式系统编程一样具有挑战性。在云级网络中，这个问题变得难以解决。当前网络管理实践中缺少的几个关键能力包括依赖关系、排序、事务原子性和可验证性。
[0005]目前，主要通过陈旧的低级配置指令执行网络变更。这种高级网络表示和部署方面的差距阻碍了通用网络的规模化。网络设计不是一次性本文档来自技高网...

【技术保护点】

【技术特征摘要】
【国外来华专利技术】1.一种使用一个或多个处理器更新计算机网络配置的方法，其特征在于，所述方法包括：接收包括用于所述计算机网络配置的提议的更新的程序，在接收所述程序时的所述计算机网络配置为初始配置；分析所述程序以生成网络对象模型NOM；使用所述NOM针对所述提议的更新生成所述计算机网络的配置变更；验证所述初始配置的表示，以确定所述配置变更是否由不变量约束；使用所述NOM分析所述验证的结果，以确定所述配置变更如何导致与所述不变量相关联的违规，以及如何在测试所述初始配置的所述表示时检测所述违规；使用所述分析的结果更新所述计算机网络配置。2.根据权利要求1所述的方法，其特征在于，所述方法还包括：解析所述计算机网络的所述配置变更和所述初始配置以生成合成的网络配置；将所述合成的网络配置转换为一阶逻辑表示；验证所述一阶逻辑表示，以确定所述配置变更是否由不变量约束。3.根据权利要求1或2所述的方法，其特征在于，更新所述计算机网络配置包括向所述计算机网络添加节点或从所述计算机网络移除节点。4.根据权利要求1至3中任一项所述的方法，其特征在于，更新所述计算机网络配置包括修改所述初始配置。5.根据权利要求4所述的方法，其特征在于，修改所述初始配置包括添加新前缀。6.根据权利要求4所述的方法，其特征在于，修改所述初始配置包括升级接口。7.根据权利要求2所述的方法，其特征在于，验证所述逻辑表示以确定所述配置变更是否由不变量约束包括使用可满足性模理论SAT/SMT解算器。8.根据权利要求1至7中任一项所述的方法，其特征在于，分析所述程序以生成所述NOM包括确定所述程序的原子。9.根据权利要求8所述的方法，其特征在于，确定所述程序的原子包括确定所述原子的依赖关系。10.根据权利要求8或9所述的方法，其特征在于，确定所述程序的原子包括确定所述原子的操作顺序。11.根据权利要求8至10中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的物理接口。12.根据权利要求8至11中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的中继接口。13.根据权利要求8至12中任一项所述的方法，其特征在于，确定所述程序的原子包括确定所述程序使用的路由信息。14.一种用于更新计算机网络配置的系统，其特征在于，所述系统包括：连接到所述计算机网络的一个或多个处理器，所述一个或多个处理...

【专利技术属性】
技术研发人员：许伟，纳加文德，
申请(专利权)人：华为技术有限公司，
类型：发明
国别省市：