一种云网络的调整方法、装置以及存储介质制造方法及图纸

本发明专利技术公开了一种云网络的调整方法，包括：根据所述云网络的物理架构，确定检测模型；确定描述网络性能需求的表达式；将所述表达式和所述检测模型导入模型检测器，得到所述模型检测器输出的判定结果；在所述判定结果表明所述物理架构不能满足所述网络性能需求时，调整所述云网络的物理架构，提升了在需求设计阶段云网络物理架构的调整精度，减少了真实的云网络物理架构的重新调整的情况。络物理架构的重新调整的情况。络物理架构的重新调整的情况。

【技术实现步骤摘要】
一种云网络的调整方法、装置以及存储介质


[0001]本专利技术涉及云计算
，尤其涉及一种云网络的调整方法、装置以及存储介质。

技术介绍

[0002]云计算是一种分布式计算，通过将众多中小型计算资源联合在一起，向外提供一套完整的、按需分配的计算资源。作为基础设施，云计算能够将大量物理机通过网络连接在一起，向企业和个人提供专业的IT服务。
[0003]数据中心则是云计算的基础设施。通常提及的服务器资源分配，带宽分配，业务支撑能力，流量防护和清洗能力，都是基于数据中心的大小，和其带宽的容量。数据中心分布在不同的核心城市，辐射到周边城市，提供基础支撑，其一般都符合国家机房一级标准，具备极强的容灾能力，多数厂商会选择两地三中心等方式来架设机房。而云计算是在数据中心的基础上提供的从基础服务到增值服务的一种闲置资源利用。为了使得数据中心所提供的云服务能够满足将来用户的需求，在数据中心建立之初，就需要对云计算的物理架构进行设计。因此，物理架构设计就成为云服务质量的关键，而如何保证物理架构满足所定义的需求，是一个难以精准评估的问题。一方面，云计算的物理架构是一个复杂的软硬件系统，网络性能所涉及的因素很多(如云计算的网络架构、交换机质量、类型，物理服务器的性能、路由器的性能、网络布线等等)；另一方面，现有的评估手段都是根据对业务侧网络性能的即时测量、来确定架构需求是否得到满足，这无法从根本上证明我们的物理架构在对业务网络性能的满足情况上是否正确。
[0004]因此，对现有云计算架构下的网络性能进行验证变得十分重要。
[0005]此外，在云服务中，网络性能直接影响着用户体验。因此，在云计算中，保证自身的网络性能是重中之重，直接关系到物理架构的正确性和安全性。目前，针对云计算物理架构的设计是否满足业务网络需求仍然是依靠架构师的经验，度量精度低。

技术实现思路

[0006]本专利技术为了减少真实的云网络物理架构的重新调整，提高设计阶段云网络物理架构的调整精度，提供了一种云网络的调整方法、装置以及存储介质。
[0007]本专利技术的技术方案是这样实现的：
[0008]第一方面提供了一种云网络的调整方法，包括：根据所述云网络的物理架构，确定检测模型；
[0009]确定描述网络性能需求的表达式；
[0010]将所述表达式和所述检测模型导入模型检测器，得到所述模型检测器输出的判定结果；
[0011]在所述判定结果表明所述物理架构不能满足所述网络性能需求时，调整所述云网络的物理架构。
[0012]基于上述方案，所述根据云网络的物理架构，确定检测模型，包括：
[0013]根据所述云网络的物理架构内的网络节点参数、虚拟机数量及网络性能参数，确定所述检测模型。
[0014]基于上述方案，所述网络性能参数包括：网络吞吐量和/或网络延时。
[0015]基于上述方案，所述根据所述云网络的物理架构内的网络节点参数、虚拟机数量及网络性能参数，确定所述检测模型，包括：
[0016]根据网络节点参数、虚拟机数量及网络性能参数，确定所述云网络的状态集合和事件集合；其中，所述状态集合为所述云网络运行状态的集合，所述事件集合为引起所述云网络的状态发生变化的动作的集合；
[0017]根据所述云网络的状态集合和事件集合，得到表示事件发生后云网络状态变化情况的检测模型。。
[0018]基于上述方案，所述表达式为线性时序逻辑LTL公式或计算树逻辑CTL公式。
[0019]基于上述方案，调整所述云网络的物理架构，包括：
[0020]根据在所述判定结果为所述物理架构不能满足所述网络性能需求时，所述模型检测器输出的反例，调整所述云网络的物理架构，其中，所述反例包含所述检测模型不满足所述网络性能需求时对应的错误解释信息。
[0021]第二方面提供一种云网络的调整装置，包括：确定单元，用于根据所述云网络的物理架构确定检测模型以及确定描述网络性能需求的表达式；
[0022]验证单元，用于将所述表达式和所述检测模型导入模型检测器，得到所述模型检测器输出的判定结果；
[0023]调整单元，用于在所述判定结果表明所述物理架构不能满足所述网络性能需求时，调整所述云网络的物理架构。
[0024]基于上述方案，所述确定单元，具体用于根据所述云网络的物理架构内的网络节点参数、虚拟机数量及网络性能参数，确定所述检测模型，其中，所述网络性能参数包括：网络吞吐量和/或网络延时。
[0025]基于上述方案，所述确定单元，还具体用于根据所述云网络的状态集合和事件集合，得到表示事件发生后云网络状态变化情况的检测模型。其中，所述状态集合为表示所述云网络运行时的状态的集合，所述事件集合为表示引起所述云网络的状态发生变化的动作的集合。
[0026]基于上述方案，所述确定单元，还具体用于确定描述所述网络性能需求的线性时序逻辑LTL公式或计算树逻辑CTL公式。
[0027]基于上述方案，所述调整单元，具体用于根据在所述判定结果为所述物理架构不能满足所述网络性能需求时，所述模型检测器输出的反例，调整所述云网络的物理架构，其中，所述反例包含所述检测模型不满足所述网络性能需求的错误解释信息。
[0028]第三方面提供一种计算机存储介质，所述计算机存储介质存储有计算机程序，所述计算机程序被处理器执行后，能够实现前述一个或多个技术方案提供的云网络的调整方法。
[0029]本专利技术实施例提供的云网络的调整方法、装置以及计算机存储介质，通过将模型检测技术引入云计算的网络性能验证中，构建云网络物理架构的检测模型，并通过模型检
测器对所述物理架构的网络性能进行验证，根据模型检测器的验证结果对所述物理架构进行调整，提升了在需求设计阶段云网络物理架构的调整精度，减少了真实的云网络物理架构的重新调整的情况，保证了云计算业务网络性能。
附图说明
[0030]图1为本专利技术实施例提供的一种云网络的调整方法的流程示意图；
[0031]图2为本专利技术实施例提供的一种云网络的物理架构的检测模型的确定方法流程示意图；
[0032]图3为本专利技术实施例提供的一种云网络的调整装置的结构示意图；
[0033]图4为本专利技术实施例提供的一种计算机存储介质的结构示意图；
[0034]图5为本专利技术实施例提供的一种基于模型检测技术的云网络调整方法的流程示意图。
[0035]图6为本专利技术实施例提供的一种基于模型检测技术的云计算网络性能验证方案的示意图；
具体实施方式
[0036]以下结合说明书附图及具体实施例对本专利技术的技术方案做进一步的详细阐述。
[0037]模型检测是一种很重要的自动验证技术，可通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统的模态/命题性质。由于模型检测可以自动执行，并能在系统不满足性质时提供反例路径，因此在工业界比演绎证明更受推崇。模型检测的基本思想是用状态迁移系统(S)表示系统的行为，用模态逻辑本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种云网络的调整方法，其特征在于，包括：根据所述云网络的物理架构，确定检测模型；确定描述网络性能需求的表达式；将所述表达式和所述检测模型导入模型检测器，得到所述模型检测器输出的判定结果；在所述判定结果表明所述物理架构不能满足所述网络性能需求时，调整所述云网络的物理架构。2.根据权利要求1所述的方法，其特征在于，所述根据云网络的物理架构，确定检测模型，包括：根据所述云网络的物理架构内的网络节点参数、虚拟机数量及网络性能参数，确定所述检测模型。3.根据权利要求2所述的方法，其特征在于，所述网络性能参数包括：网络吞吐量和/或网络延时。4.根据权利要求2所述的方法，其特征在于，所述根据所述云网络的物理架构内的网络节点参数、虚拟机数量及网络性能参数，确定所述检测模型，包括：根据网络节点参数、虚拟机数量及网络性能参数，确定所述云网络的状态集合和事件集合；其中，所述状态集合为所述云网络运行状态的集合，所述事件集合为引起所述云网络的状态发生变化的动作的集合；根据所述云网络的状态集合和事件集合，得到表示事件发生后云网络状态变化情况的检测模型。5.根据权利要求1所述的方法，其特征在于，所述表达式为线性时序逻辑LTL公式或计算树逻辑CTL公式。6.根据权利要求1所述的方法，其特征在于，调整所述云网络的物理架构，包括：根据在所述判定结果为所述物理架构不能满足所述网络性能需求时所述模型检测器输出的反例，调整所述云网络的物理架构，其中，所述反例包含所述检测模型不满足所述网络性能需求时对应的错误解释信息。7.一种云网络的调整装置，其特征在于，包括：确定单元，...

【专利技术属性】
技术研发人员：李宙洲，刘畅，戎胤，
申请(专利权)人：中国移动通信集团有限公司，
类型：发明
国别省市：