计算系统中的网络配置验证技术方案

本文中公开了网络配置验证技术。一个示例过程包括：在接收到用于确定虚拟网络中来自第一端点的分组是否可到达第二端点的查询之后，在网络图中标识第一端点与第二端点之间的网络路径。网络图具有表示虚拟网络中的网络策略的对应实施点的节点和连接节点对的边。该示例过程还可以包括生成复合函数，该复合函数表示在网络图中沿着所标识的网络路径的节点中的每个节点处的网络策略的联合个体约束，将生成的复合函数编译成布尔公式，以及求解经编译的布尔公式以确定是否存在到分组的分组字段的值的分配使得复合函数的所有联合个体约束可以被满足。

【技术实现步骤摘要】
【国外来华专利技术】

技术介绍

1、分布式计算系统通常包括路由器、交换机、网桥、和互连大量服务器、网络存储设备或其他计算设备的其他类型的网络设备。个体服务器可以托管一个或多个虚拟机(“vm”)、容器、虚拟交换机或其他虚拟化功能。虚拟机或容器可以促进针对个体用户的合适应用的执行以向用户提供期望的云服务或其他合适的计算服务。

技术实现思路

1、提供本
技术实现思路
是为了以简化的形式介绍以下在具体实施方式中进一步描述的概念的选择。本
技术实现思路
不旨在标识所要求保护的主题的关键特征或基本特征，也不旨在用于限制所要求保护的主题的范围。

2、数据中心和其他大规模分布式计算系统可以提供计算资源，诸如处理能力和数据存储，作为租户(诸如组织)经由计算机网络可访问的计算服务。组织可以在由云计算提供商提供的远程数据中心中部署虚拟网络，而不是部署本地企业网络。例如，虚拟专用网络(vpn)可以链接组织的各个分支，而远程数据中心处的数据存储可以保存组织的企业数据。组织的用户可以经由诸如互联网等计算机网络访问虚拟网络上的各种资源。因此，组织可以将各本文档来自技高网...

【技术保护点】

1.一种分布式计算系统中的网络配置验证方法，所述分布式计算系统具有互连多个服务器并且支持一个或多个虚拟网络的底层网络，所述方法包括：

2.根据权利要求1所述的方法，还包括：

3.根据权利要求1所述的方法，其中所述实施点对应于虚拟机、网络安全组、子网或虚拟网络。

4.根据权利要求1所述的方法，其中：

5.根据权利要求1所述的方法，其中：

6.根据权利要求1所述的方法，其中：

7.根据权利要求1所述的方法，其中：

8.根据权利要求1所述的方法，其中编译所述复合函数包括：

9.根据权利要求1所述的方...

【技术特征摘要】
【国外来华专利技术】

1.一种分布式计算系统中的网络配置验证方法，所述分布式计算系统具有互连多个服务器并且支持一个或多个虚拟网络的底层网络，所述方法包括：

2.根据权利要求1所述的方法，还包括：

3.根据权利要求1所述的方法，其中所述实施点对应于虚拟机、网络安全组、子网或虚拟网络。

4.根据权利要求1所述的方法，其中：

5.根据权利要求1所述的方法...

【专利技术属性】
技术研发人员：K·加亚拉曼，R·A·贝克特，N·S·比约内，
申请(专利权)人：微软技术许可有限责任公司，
类型：发明
国别省市：