[发明专利]网络中服务质量配置的保证

说明书

用于保证网络中的服务质量配置的系统、方法和计算机可读介质。在一些示例中，一种系统获得软件定义网络的逻辑模型，该逻辑模型包括为软件定义网络指定的规则，该逻辑模型基于定义软件定义网络的可管理对象和对象属性的模式。该系统还获得针对软件定义网络中的每个节点的相应硬件模型，该相应硬件模型包括基于逻辑模型的相应特定于节点的表示在节点处呈现的规则。基于逻辑模型和相应硬件模型，该系统可以执行逻辑模型中的规则与相应硬件模型中的规则之间的等效性检查，以确定逻辑模型和相应硬件模型是否包含配置不一致。

相关申请交叉引用

本申请要求于2017年4月20日提交的题为“POLICY ASSURANCE OF QUALITY-OF-SERVICE CONFIGURATIONS IN A NETWORK(网络中服务质量配置的策略保证)”的美国临时专利申请No.62/487,930和于2017年8月31日提交的题为“ASSURANCE OF QUALITY-OF-SERVICE CONFIGURATIONS IN A NETWORK(网络中服务质量配置的保证)”美国非临时专利申请No.15/693,299的权益和优先权，它们两者的全部内容通过引用明确地并入本文。

技术领域

本技术涉及网络配置和故障排除，更具体地涉及网络中服务质量配置的保证。

背景技术

网络运营商配置用于指定服务质量(QoS)的策略，以便优先化网络中的流量。例如，实时流送应用可能要求其流量在网络中被给与优先级。可以通过在网络中配置特定的QoS策略来实现这种优先级。网络运营商可以将QoS策略配置为由网络中的节点(例如，交换机)传播或实现。例如，节点可以将其存储器(例如，TCAM存储器)中的QoS策略呈现为规则。

遗憾的是，网络中的QoS策略可能需要大量的手动工作来配置，并且通常容易出错。此外，即使被正确地配置，QoS策略也可能无法由网络中的节点适当地呈现。例如，QoS策略可能不会在交换机上产生正确的TCAM规则。这可能是各种问题的结果，例如网络故障、连接问题、设备或软件错误等。如果现场发生错误，网络运营商可能会通过在端口或节点之间发送测试流量并分析流量以识别问题。此过程可能很慢，导致进一步的故障停机时间，并且通常会使网络运营商的故障排除过程变得复杂。

附图说明

为了描述可以获得本公开的上述和其他优点和特征的方式，将通过参考在附图中示出的其特定实施例来呈现上面简要描述的原理的更具体的描述。应理解，这些附图仅描绘了本公开的示例性实施例，因此不应认为是对其范围的限制，本文的原理通过使用附图，用附加特征和细节进行描述和解释，其中：

图1A和1B示出了示例网络环境；

图2A示出了网络的示例对象模型；

图2B示出了图2A的示例对象模型中的租户对象的示例对象模型；

图2C示出了图2A的示例对象模型中的各对象的示例关联；

图2D示出了用于实现图2A的示例对象模型的示例模型的示意图；

图3A示出了示例保证设备系统；

图3B示出了用于网络保证的示例系统图；

图4示出了用于基于网络的逻辑模型来构建特定于设备的逻辑网络的示例图；

图5A示出了示例策略分析器的示意图；

图5B示出了不同网络模型的等效图；

图5C示出了用于识别冲突规则的示例架构；

图6A示出了第一示例冲突简化有序二元决策图(ROBDD)；

图6B示出了第二示例冲突ROBDD；