CN114189454B - 网络调度策略的评估方法、框架、装置及电子设备 - Google Patents
网络调度策略的评估方法、框架、装置及电子设备 Download PDFInfo
- Publication number
- CN114189454B CN114189454B CN202111464820.2A CN202111464820A CN114189454B CN 114189454 B CN114189454 B CN 114189454B CN 202111464820 A CN202111464820 A CN 202111464820A CN 114189454 B CN114189454 B CN 114189454B
- Authority
- CN
- China
- Prior art keywords
- model
- network
- time
- automaton
- host
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
- 238000011156 evaluation Methods 0.000 title claims description 76
- 238000000034 method Methods 0.000 claims abstract description 64
- 238000004088 simulation Methods 0.000 claims abstract description 54
- 238000012795 verification Methods 0.000 claims abstract description 44
- 238000012545 processing Methods 0.000 claims abstract description 26
- 238000013179 statistical model Methods 0.000 claims abstract description 25
- 238000013461 design Methods 0.000 claims abstract description 15
- 230000002123 temporal effect Effects 0.000 claims description 100
- 230000008569 process Effects 0.000 claims description 13
- 230000009191 jumping Effects 0.000 claims description 10
- 238000012360 testing method Methods 0.000 claims description 10
- 239000000523 sample Substances 0.000 claims 1
- 239000000758 substrate Substances 0.000 claims 1
- 238000004445 quantitative analysis Methods 0.000 abstract description 3
- 238000011158 quantitative evaluation Methods 0.000 abstract description 2
- 238000010586 diagram Methods 0.000 description 18
- 230000005540 biological transmission Effects 0.000 description 14
- 238000004590 computer program Methods 0.000 description 7
- 238000004458 analytical method Methods 0.000 description 6
- 238000005516 engineering process Methods 0.000 description 5
- 238000004891 communication Methods 0.000 description 4
- 230000000694 effects Effects 0.000 description 4
- 230000014509 gene expression Effects 0.000 description 4
- 230000006870 function Effects 0.000 description 3
- 238000012423 maintenance Methods 0.000 description 2
- 238000007726 management method Methods 0.000 description 2
- 238000012544 monitoring process Methods 0.000 description 2
- 238000013468 resource allocation Methods 0.000 description 2
- 230000006978 adaptation Effects 0.000 description 1
- 230000008878 coupling Effects 0.000 description 1
- 238000010168 coupling process Methods 0.000 description 1
- 238000005859 coupling reaction Methods 0.000 description 1
- 230000007547 defect Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000004880 explosion Methods 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 230000007704 transition Effects 0.000 description 1
- 238000010200 validation analysis Methods 0.000 description 1
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
- H04L41/142—Network analysis or design using statistical or mathematical methods
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L41/00—Arrangements for maintenance, administration or management of data switching networks, e.g. of packet switching networks
- H04L41/14—Network analysis or design
- H04L41/145—Network analysis or design involving simulating, designing, planning or modelling of a network
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/08—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/50—Testing arrangements
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/08—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
- H04L43/0823—Errors, e.g. transmission errors
- H04L43/0829—Packet loss
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/08—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
- H04L43/0852—Delays
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L43/00—Arrangements for monitoring or testing data switching networks
- H04L43/08—Monitoring or testing based on specific metrics, e.g. QoS, energy consumption or environmental parameters
- H04L43/0876—Network utilisation, e.g. volume of load or congestion level
- H04L43/0888—Throughput
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Physics & Mathematics (AREA)
- Algebra (AREA)
- General Physics & Mathematics (AREA)
- Mathematical Analysis (AREA)
- Mathematical Optimization (AREA)
- Mathematical Physics (AREA)
- Probability & Statistics with Applications (AREA)
- Pure & Applied Mathematics (AREA)
- Environmental & Geological Engineering (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本申请提供一种网络调度策略的评估方法、框架、装置及电子设备,该方法包括:基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性;根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果;根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据;利用统计数据,对网络调度策略进行分析评估。实现了对SDN的网络调度策略进行有效的定量分析评估。
Description
技术领域
本申请涉及科技金融领域,尤其涉及一种网络调度策略的评估方法、框架、装置及电子设备。
背景技术
随着计算机技术的发展,越来越多的技术应用在金融领域,传统金融业正在逐步向金融科技(Finteh)转变,网络技术也不例外,但由于金融行业的安全性、实时性要求,也对技术提出了更高的要求。随着电信基础设施不断完善、移动互联网高速发展以及5G通信的日趋成熟,数据中心的网络流量也急速增长。剧增的流量给数据中心内部带来了数据处理资源分配不合理、数据丢包率增加、数据延时变大等问题和压力。
为了提升数据中心内部的网络流量控制水平,数据中心引入了软件定义网络(Software Defined Network;SDN),通过SDN不仅提升了网络的自动化管理和控制能力,而且还提升了网络服务质量。与此同时,如何有效配置部署SDN以最大幅度减少资源使用、提升网络服务水平,成为了数据中心网络运维的新难题。现有技术中,通常采用传统的网络仿真工具,以模拟SDN中的流量路径组合的方式,判断SDN的网络调度策略。
然而现有技术中,由于数据中心内部设施众多,网络情况复杂,传统的网络仿真工具在有限的算力下难以穷举模拟网络中所有的流量路径组合,无法实现准确评价SDN的网络调度策略。
发明内容
本申请提供一种网络调度策略的评估方法、框架、装置及电子设备,用以解决无法实现准确评价SDN的网络调度策略问题。
第一方面,本申请提供一种网络调度策略的评估方法,包括:
基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性;根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果;根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据;利用统计数据,对网络调度策略进行分析评估。
本申请实施例中,通过基于统计模型检验理论建立的SDN的时间自动机网络模型,不仅可以用于验证不同网络调度策略下SDN的传输性能,而且相比较于传统的网络仿真框架,本申请实施例提供的方法,能够对SDN的网络调度策略做出准确有效的定量分析评估。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,SDN包括控制器、主机、交换机和监测器;基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,包括:
基于统计模型检验理论,分别建立控制器的第一时间自动机模型、主机的第二时间自动机模型、交换机的第三时间自动机模型以及监测器的第四时间自动机模型,组成时间自动机网络模型;时间自动机网络模型中的各时间自动机模型之间通过广播信道通信,同时共享全局时钟,并且各时间自动机模型可以读取共享变量。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,第一时间自动机模型包括第一空闲状态和第一决策状态,第一时间自动机模型用于:
当控制器接收到主机或交换机的路由规则请求时,控制器根据网络调度策略,生成路由规则,并从第一空闲状态进入第一决策状态;在第一决策状态下,控制器将路由规则发送至请求路由规则的主机或交换机,并跳转到第一空闲状态。
本申请实施例中,通过控制器的时间自动机模型,实现了根据网络调度策略生成路由规则,并利用网络调度策略的路由规则模拟运行时间自动机网络模型,进而实现了对不同网络调度策略下SDN的传输性能的评估。
在一种可能的实施方式中,第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态,第二时间自动机模型用于:
对主机进行参数初始化,生成第一时间,并将主机从第一起始状态跳转到第二空闲状态;在主机的时钟到达第一时间时,生成数据包并跳转到第二决策状态,在第二决策状态下,判断数据包的目的地址是否在主机的地址信息表中;若目的地址在主机的地址信息表中,则向目的地址发送数据包,并生成第二时间,进入第二空闲状态。
本申请实施例中,通过主机的第二时间自动机模型,实现了对数据包的生成以及发送。
在一种可能的实施方式中,第二时间自动机模型还包括第一等待状态,第二时间自动机模型还用于:
若数据包的目的地址不在主机的地址信息表中,则主机向控制器发送路由规则请求,并进入第一等待状态;主机在第一等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
本申请实施例中,当更新网络调度策略时,数据包的目的地址不在主机的地址信息表中,通过设置主机的时间自动机模型的等待状态,保证了更新网络调度策略时,时间自动机网络模型的正常运行。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,还包括:若主机接收到控制器发送的路由规则,则更新主机的地址信息表,并进入第二决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,第二时间自动机模型还包括第三决策状态,第二时间自动机模型还用于:
在第二空闲状态下,主机接收数据包,并跳转到第三决策状态,主机在第三决策状态下处理数据包,并广播通知消息至监测器。
本申请实施例中,通过设置第三决策状态,实现了处于最终节点的主机对数据包的接收处理,并且通过广播通知消息至监测器,保证了模拟运行结果的可靠性。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态;第三时间自动机模型用于:
在第二起始状态下初始化交换机参数,并使交换机跳转到第三空闲状态;交换机在第三空闲状态下接收数据包并进入第四决策状态;交换机在第四决策状态下判断数据包的目的地址是否在交换机的地址信息表中;若目的地址在交换机的地址信息表中,交换机向目的地址转发数据包,并回到第三空闲状态,等待下一个数据包。
本申请实施例中,通过交换机的时间自动机模型,实现了数据包按照网络调度策略在交换机之间的传输。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,第三时间自动机模型还包括第二等待状态,第三时间自动机模型还用于:
若数据包的目的地址不在交换机的地址信息表中,则交换机向控制器发送路由规则请求,并进入第二等待状态,交换机在第二等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
本申请实施例中,当更新网络调度策略时,数据包的目的地址不在交换机的地址信息表中,通过设置交换机的时间自动机模型的等待状态,保证了更新网络调度策略时,时间自动机网络模型的正常运行。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,若交换机接收到控制器发送的路由规则,则更新交换机的地址信息表,并进入第四决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,第四时间自动机模型用于:
通过监测器接收主机广播的通知消息,并在接收到通知消息后,统计SDN的模拟运行结果。
本申请实施例中,通过监测器实时监测并统计主机广播的通知消息,生成了对SDN模拟运行结果。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,验证属性为:
在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2。
本申请实施例中,通过设置验证属性为在时间t1内,吞吐量达到T1个单位的概率P1,实现了对网络调度策略下SDN的吞吐量分析,通过设置验证属性为在吞吐量达到T2个单位时,时间不大于t2的概率P2,实现了对网络调度策略下SDN的时延分析。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,模拟运行结果包括SDN在时间t1内的吞吐量,或者,SDN在吞吐量为T2个单位时的时间。
下面介绍本申请实施例提供的网络调度策略的评估框架、网络调度策略的评估装置、电子设备、计算机可读存储介质以及计算机程序产品,其内容和效果可参考本申请实施例提供的网络调度策略的评估方法,不再赘述。
第二方面,本申请提供一种网络调度策略的评估框架,包括:SDN的时间自动机网络模型、UPPAAL-SMC和数据处理模块,时间自动机网络模型的设计约束为验证属性,时间自动机模型用于根据SDN的网络调度策略模拟运行,生成模拟运行结果;UPPAAL-SMC用于根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据;数据处理模块用于利用统计数据,对网络调度策略进行分析评估。
第三方面,本申请实施例提供一种网络调度策略的评估装置,包括:
建立模块,用于基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性。
运行模块,用于根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果。
生成模块,用于根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据。
评估模块,用于利用统计数据,对网络调度策略进行分析评估。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,SDN包括控制器、主机、交换机和监测器;建立模块具体用于:
基于统计模型检验理论,分别建立控制器的第一时间自动机模型、主机的第二时间自动机模型、交换机的第三时间自动机模型以及监测器的第四时间自动机模型,组成时间自动机网络模型;时间自动机网络模型中的各时间自动机模型之间通过广播信道通信,同时共享全局时钟,并且各时间自动机模型可以读取共享变量。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第一时间自动机模型包括第一空闲状态和第一决策状态,第一时间自动机模型用于:
当控制器接收到主机或交换机的路由规则请求时,控制器根据网络调度策略,生成路由规则,并从第一空闲状态进入第一决策状态;在第一决策状态下,控制器将路由规则发送至请求路由规则的主机或交换机,并跳转到第一空闲状态。
在一种可能的实施方式中,第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态,第二时间自动机模型用于:
对主机进行参数初始化,生成第一时间,并将主机从第一起始状态跳转到第二空闲状态;在主机的时钟到达第一时间时,生成数据包并跳转到第二决策状态,在第二决策状态下,判断数据包的目的地址是否在主机的地址信息表中;若目的地址在主机的地址信息表中,则向目的地址发送数据包,并生成第二时间,进入第二空闲状态。
在一种可能的实施方式中,第二时间自动机模型还包括第一等待状态,第二时间自动机模型还用于:
若数据包的目的地址不在主机的地址信息表中,则主机向控制器发送路由规则请求,并进入第一等待状态;主机在第一等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第二时间自动机模型,还用于:若主机接收到控制器发送的路由规则,则更新主机的地址信息表,并进入第二决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第二时间自动机模型还包括第三决策状态,第二时间自动机模型还用于:
在第二空闲状态下,主机接收数据包,并跳转到第三决策状态,主机在第三决策状态下处理数据包,并广播通知消息至监测器。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态;第三时间自动机模型用于:
在第二起始状态下初始化交换机参数,并使交换机跳转到第三空闲状态;交换机在第三空闲状态下接收数据包并进入第四决策状态;交换机在第四决策状态下判断数据包的目的地址是否在交换机的地址信息表中;若目的地址在交换机的地址信息表中,交换机向目的地址转发数据包,并回到第三空闲状态,等待下一个数据包。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型还包括第二等待状态,第三时间自动机模型还用于:
若数据包的目的地址不在交换机的地址信息表中,则交换机向控制器发送路由规则请求,并进入第二等待状态,交换机在第二等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型,还用于:若交换机接收到控制器发送的路由规则,则更新交换机的地址信息表,并进入第四决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第四时间自动机模型用于:
通过监测器接收主机广播的通知消息,并在接收到通知消息后,统计SDN的模拟运行结果。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,验证属性为:
在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,模拟运行结果包括SDN在时间t1内的吞吐量,或者,SDN在吞吐量为T2个单位时的时间。
第四方面,本申请实施例提供一种电子设备,包括:
处理器,以及与处理器通信连接的存储器;
存储器存储计算机执行指令;
处理器执行存储器存储的计算机执行指令,以实现第一方面或第一方面可实现方式提供网络调度策略的评估方法。
第五方面,本申请实施例提供一种计算机可读存储介质,计算机可读存储介质中存储有计算机执行指令,计算机执行指令被处理器执行时用于实现如第一方面或第一方面可实现方式提供的网络调度策略的评估方法。
第六方面,本申请实施例提供一种计算机程序产品,包括计算机执行指令,该计算机执行指令被处理器执行时用于实现如第一方面或第一方面可实现方式提供的网络调度策略的评估方法。
本申请提供的网络调度策略的评估方法、框架、装置及电子设备,通过基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性,然后根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果,进而根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据,最后利用统计数据,对网络调度策略进行分析评估。由于通过基于统计模型检验理论建立的SDN的时间自动机网络模型,不仅可以用于验证不同网络调度策略下SDN的传输性能,而且相比较于传统的网络仿真框架,本申请实施例提供的方法,能够对SDN的网络调度策略做出准确有效的定量分析评估。
附图说明
此处的附图被并入说明书中并构成本说明书的一部分,示出了符合本申请的实施例,并与说明书一起用于解释本申请的原理。
图1是本申请实施例提供的SDN的架构示意图;
图2是本申请实施例提供的网络调度策略的评估框架的结构示意图;
图3是本申请一实施例提供的网络调度策略的评估方法的流程示意图;
图4是本申请实施例提供的第一时间自动机模型的示意图;
图5是本申请实施例提供的第二时间自动机模型的示意图;
图6是本申请实施例提供的第三时间自动机模型的示意图;
图7是本申请实施例提供的第四时间自动机模型的示意图;
图8是本申请实施例提供的网络调度策略的示例性分析图;
图9是本申请一实施例提供的网络调度策略的评估装置的结构示意图;
图10是本申请实施例提供的电子设备的结构示意图。
通过上述附图,已示出本申请明确的实施例,后文中将有更详细的描述。这些附图和文字描述并不是为了通过任何方式限制本申请构思的范围,而是通过参考特定实施例为本领域技术人员说明本申请的概念。
具体实施方式
这里将详细地对示例性实施例进行说明,其示例表示在附图中。下面的描述涉及附图时,除非另有表示,不同附图中的相同数字表示相同或相似的要素。以下示例性实施例中所描述的实施方式并不代表与本申请相一致的所有实施方式。相反,它们仅是与如所附权利要求书中所详述的、本申请的一些方面相一致的装置和方法的例子。
本申请的说明书和权利要求书及上述附图中的术语“第一”、“第二”、“第三”、“第四”等是用于区别类似的对象,而不必用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便这里描述的本申请的实施例例如能够以除了在这里图示或描述的那些以外的顺序实施。此外,术语“包括”和“具有”以及他们的任何变形,意图在于覆盖不排他的包含,例如,包含了一系列步骤或单元的过程、方法、系统、产品或设备不必限于清楚地列出的那些步骤或单元,而是可包括没有清楚地列出的或对于这些过程、方法、产品或设备固有的其它步骤或单元。
首先对本申请所涉及的名词进行解释:
模型检验(Model Checking):是一种通过显式状态搜索或隐式不动点计算来验证有穷状态并发系统性质的自动化验证技术。当给定一个系统的模型时,模型检验能详尽并且自动地检查该模型是否达到了给定的规约。
统计模型检验(Statistical Model Checking,SMC):相比传统的模型检验,SMC在求解问题时对系统进行有限次数的仿真运行,使用假设检验来推断运行样本的统计论据是否满足规约,因此在验证较复杂的大型系统时,使用统计模型检验能够有效避免状态空间爆炸等问题。
时间自动机(Timed Automata):是带有时钟集的有限自动机。时钟集是有限个时钟的集合,每个时钟都是一个取值范围为0或正数的变量。时间自动机状态之间的转换要满足时钟约束才可能发生。
UPPAAL:是一个使用时间自动机模型对实时系统进行建模、仿真和验证的工具。待验证的系统被建模为许多时间自动机,带有有限的控制结构和真值时钟变量,通过信道或共享变量进行通信。UPPAAL使用简化的时间计算树逻辑(Timed Computation Tree Logic,TCTL)作为查询语言验证模型是否满足规约,包括状态表达式(State Formulae)和路径表达式(Path Formulae)。其中状态表达式描述独立的状态,路径表达式用于验证模型的安全性(Safety)、状态的可达性(Reachability)以及事件的存在性(Liveness)。
UPPAAL-SMC:是对UPPAAL在随机性和统计模型检验方面进行了扩展,能够对系统属性进行定量分析。UPPAAL-SMC使用加权度量时序逻辑(Weighted Metric TemporalLogic,WMTL)作为属性查询语言描述和验证系统规约。
软件定义网络(Software Defined Network,SDN):是一种将网络控制功能与转发功能分离、实现控制可编程的新兴网络架构,是网络虚拟化的一种实现方式。
作为大型商业公司和社会组织运行应用和处理海量数据的专用服务器集群,数据中心已成为现代社会的重要基础设施之一。剧增的流量给数据中心内部带来了数据处理资源分配不合理、数据丢包率增加、数据延时变大等问题和压力。传统的流量控制方法在数据中心复杂的网络拓扑环境中实现复杂度过高,效果不佳。为了提升数据中心内部的网络流量控制水平,SDN被引入数据中心,提升了网络的自动化管理和控制能力,能有效优化网络性能,提升网络服务质量。与此同时,如何有效配置部署SDN以最大幅度减少资源使用、提升网络服务水平,成为了数据中心网络运维的新难题。现有技术中,通常采用传统的网络仿真工具,以模拟SDN中的流量路径组合的方式,判断SDN的网络调度策略,但由于数据中心内部设施众多,网络情况复杂,传统的网络仿真工具在有限的算力下难以穷举模拟网络中所有的流量路径组合,无法实现准确评价SDN的网络调度策略。
基于此,本申请实施例提供的网络调度策略的评估方法、框架、装置及电子设备的发明构思在于,通过基于统计模型检验理论建立的SDN的时间自动机网络模型,验证不同网络调度策略下SDN的传输性能,相比较于传统的网络仿真框架,能够对SDN的网络调度策略做出准确有效的定量分析评估。
以下,对本申请实施例的示例性应用场景进行介绍。
本申请实施例提供的网络调度策略的评估方法可以通过本申请实施例提供的网络调度策略的评估装置或网络调度策略的评估框架执行,本申请实施例提供的网络调度策略的评估装置或网络调度策略的评估框架可以集成在服务器上,或者该网络调度策略的评估装置或网络调度策略的评估框架也可以为服务器本身。本申请实施例对服务器的具体类型不做限制。
本申请实施例提供的网络调度策略的评估方法,可以对SDN的网络调度策略进行评估,图1是本申请实施例提供的SDN的架构示意图,如图1所示,SDN的整体架构由下到上一般分为数据平面、控制平面和应用平面三层。其中数据平面由主机、交换机等网络通用硬件组成,负责数据的传输;控制平面掌握全局网络信息,负责各种转发规则的控制;应用平面包含各种基于SDN的网络应用。以控制器(Controller)为逻辑中心,南向接口负责与数据平面的交换机(Switch)进行通信,北向接口负责与应用平面的调度器(Scheduler)进行通信。图2是本申请实施例提供的网络调度策略的评估框架的结构示意图,本申请实施例提供的网络调度策略的评估方法可以通过网络调度策略的评估框架执行,如图2所示,本申请实施例提供的网络调度策略的评估框架可以包括SDN的时间自动机网络模型,UPPAAL-SMC和数据处理模块,时间自动机网络模型的设计约束为验证属性,其中,设计约束为规约,时间自动机网络模型包括分别对控制器、主机、交换机和监测器建立的多个时间自动机模型,时间自动机模型用于根据SDN的网络调度策略模拟运行,生成模拟运行结果;UPPAAL-SMC用于根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据;数据处理模块用于利用统计数据,对网络调度策略进行分析评估。
下面以具体地实施例对本申请的技术方案以及本申请的技术方案如何解决上述技术问题进行详细说明。下面这几个具体的实施例可以相互结合,对于相同或相似的概念或过程可能在某些实施例中不再赘述。下面将结合附图,对本申请的实施例进行描述。
图3是本申请一实施例提供的网络调度策略的评估方法的流程示意图,该方法可以由网络调度策略的评估装置执行,该装置可以通过软件和/或硬件的方式实现,下面以服务器为执行主体对网络调度策略的评估方法进行说明。如图3所示,本申请实施例提供的网络调度策略的评估方法可以包括:
步骤S101:基于统计模型检验理论建立SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性。
如图1所示,SDN在工作过程中,通过SDN的应用平面的调度器编制不同的网络调度策略,并在SDN的控制平面将网络调度策略写入控制器,最终作用于数据平面,决策数据包的传输路径,进而影响整个SDN的传输性能。
在一种可能的实施方式中,时间自动机网络模型可以包括控制器的时间自动机模型、主机的时间自动机模型、交换机的时间自动机模型以及监测器的时间自动机模型。则基于统计模型检验理论建立SDN的时间自动机网络模型,包括:基于统计模型检验理论,分别建立控制器的第一时间自动机模型、主机的第二时间自动机模型、交换机的第三时间自动机模型以及监测器的第四时间自动机模型,组成时间自动机网络模型。时间自动机网络模型中的各时间自动机模型之间通过广播信道通信,同时共享全局时钟,并且各时间自动机模型可以读取共享变量。广播信道包括收发数据包的信道、请求/下发路由规则,以及监测器的通知信道。
时间自动机网络模型的设计约束为验证属性,针对SDN的不同评估指标,可以设置不同的验证属性。在一种可能的实施方式中,SDN的评估指标为吞吐量,则本申请实施例提供的网络调度策略的评估方法,验证属性可以为:在时间t1内,吞吐量达到T1个单位的概率P1。本申请实施例对验证属性的实现方式不做限制,例如,验证属性可以通过查询语句实现,查询语句可以为Pr[<=t1](<>throughput>=T1),表示在时间t1内,吞吐量达到T1个单位的概率。
在另一种可能的实施方式中,SDN的评估指标为时延,则本申请实施例提供的网络调度策略的评估方法,验证属性可以为:在吞吐量达到T2个单位时,时间不大于t2的概率P2。验证属性可以通过查询语句实现,查询语句可以为Pr[<=T2](<>clock>=t2),表示吞吐量达到T2个单位时,时间不大于t2的概率。
SDN的评估指标可以为一个指标或多个指标,则验证属性可以包括一个条件或多个条件,例如可以通过一个或多个条件语句实现。本申请实施例对验证属性的设置仅以上述为例,并不限于此。通过灵活设置验证属性,可以满足用户对网络调度策略多种指标的评估需求。
步骤S102:根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果。
在建立时间自动机网络模型之后,对时间自动机网络模型进行模拟运行,时间自动机网络模型的网络调度策略为待评估的网络调度策略,数据包按照网络调度策略的传输路径,在SDN中进行传输。在模拟运行之后,生成模拟运行结果,其中,模拟运行结果可以包括SDN的吞吐量、时延、丢包率等等,本申请实施例对此不做限制。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,模拟运行结果包括SDN在时间t1内的吞吐量,或者,SDN在吞吐量为T2个单位时的时间。
步骤S103:根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据。
在根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果之后,根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据。其中,根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据,可以通过UPPAAL-SMC实现。
为了便于理解,本申请实施例以验证属性为:在时间t1内,吞吐量达到T1个单位的概率P1,模拟运行结果为SDN在时间t1内的吞吐量为例进行说明,本申请实施例并不限于此。
在对时间自动机网络模型进行大量的模拟运行之后,可以生成多个模拟运行结果,即SDN在时间t1内的多个吞吐量,通过UPPAAL-SMC统计到多个模拟运行结果,以计算在时间t1内,吞吐量达到T1个单位的概率P1,生成SDN在网络调度策略下的统计数据。
步骤S104:利用统计数据,对网络调度策略进行分析评估。
在生成SDN在网络调度策略下的统计数据之后,利用统计数据,对网络调度策略进行分析评估,生成分析评估结果。本申请实施例对利用统计数据对网络调度策略进行分析评估的具体实施方式不做限制。
在一种可能的实施方式中,利用统计数据对网络调度策略进行分析评估,可以通过设置网络调度策略的评估标准,与统计数据进行对比的方式实现。例如,网络调度策略的评估标准可以为在时间t1内吞吐量达到T1个单位的概率为P3,当P1大于P3时表示网络调度策略的吞吐量指标为优秀。再例如,网络调度策略的评估标准可以为丢包率为P4,则当丢包率小于P4时表示网络调度策略的丢包率指标为优秀。本申请实施例仅以此为例,并不限于此。
本申请实施例中,通过基于统计模型检验理论建立的SDN的时间自动机网络模型,不仅可以用于验证不同网络调度策略下SDN的传输性能,而且相比较于传统的网络仿真框架,本申请实施例提供的方法,能够对SDN的网络调度策略做出准确有效的定量分析评估。
在一种可能的实施方式中,本申请实施例提供的时间自动机网络模型包括控制器的第一时间自动机模型、主机的第二时间自动机模型、交换机的第三时间自动机模型以及监测器的第四时间自动机模型,下面分别对时间自动机网络模型的各时间自动机模型进行介绍。
在一种可能的实施方式中,图4是本申请实施例提供的第一时间自动机模型的示意图,如图4所示,第一时间自动机模型包括第一空闲状态和第一决策状态,第一时间自动机模型用于:
当控制器接收到主机或交换机的路由规则请求时,控制器根据网络调度策略,生成路由规则,并从第一空闲状态进入第一决策状态;在第一决策状态下,控制器将路由规则发送至请求路由规则的主机或交换机,并跳转到第一空闲状态。
数据包按照一定的路由规则在主机或者交换机之间进行传输,若主机或交换机中不存在数据包的路由规则,则主机或交换机会向控制器发送路由规则请求。控制器默认处于第一空闲状态,当接收到主机或交换机的路由规则请求时,控制器根据网络调度策略,生成路由规则,并从第一空闲状态进入第一决策状态。本申请实施例对控制器根据网络调度策略生成路由规则的具体实现方式不做限制。在第一决策状态下,控制器下发路由规则至请求路由规则的主机或交换机,消息发送完毕后,控制器跳回第一空闲状态,等待新的请求。
本申请实施例中,通过控制器的时间自动机模型,实现了根据网络调度策略生成路由规则,并利用网络调度策略的路由规则模拟运行时间自动机网络模型,进而实现了对不同网络调度策略下SDN的传输性能的评估。
在上述实施例的基础上,下面介绍主机的时间自动机模型,在一种可能的实施方式中,图5是本申请实施例提供的第二时间自动机模型的示意图,如图5所示,第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态,第二时间自动机模型用于:
对主机进行参数初始化,生成第一时间,并将主机从第一起始状态跳转到第二空闲状态;在主机的时钟到达第一时间时,生成数据包并跳转到第二决策状态,在第二决策状态下,判断数据包的目的地址是否在主机的地址信息表中;若目的地址在主机的地址信息表中,则向目的地址发送数据包,并生成第二时间,进入第二空闲状态。
主机可以向其他主机发送数据包,或者从其他主机及交换机接收数据包,其中,以图1所示SDN为例,主机1(host1)为初始节点,用于生成和发送数据包,主机2(host2)为最终节点,用于接收交换机发送的数据包。
主机在第一起始状态进行参数初始化,将主机时钟设置为0,并生成第一时间,主机在参数初始化之后,跳转到第二空闲状态。若主机为初始节点,则在主机时钟达到第一时间时,生成数据包,并跳转到第二决策状态。主机在第二决策状态下,判断数据包的目的地址是否在主机的地址信息表中,若目的地址在主机的地址信息表中,则向目的地址发送数据包,并生成第二时间,进入第二空闲状态,等待主机时钟达到第二时间时,生成数据包,以此循环,不断的生成数据包并将数据包发送至数据包的目的地址。
在一种可能的实施方式中,如图5所示,第二时间自动机模型还包括第一等待状态,第二时间自动机模型还用于:
若数据包的目的地址不在主机的地址信息表中,则主机向控制器发送路由规则请求,并进入第一等待状态;主机在第一等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
主机在接收到控制器发送的路由规则之后,获取到路由规则中数据包的目的地址,在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估方法,还包括:若主机接收到控制器发送的路由规则,则更新主机的地址信息表,并进入第二决策状态。
此时,主机的地址信息表中存在数据包的目的地址。主机在更新地址信息表之后进入第二决策状态,并重新执行判断数据包的目的地址是否在主机的地址信息表中。
本申请实施例中,当更新网络调度策略时,数据包的目的地址不在主机的地址信息表中,通过设置主机的时间自动机模型的等待状态,保证了更新网络调度策略时,时间自动机网络模型的正常运行。通过主机的第二时间自动机模型,实现了对数据包的生成以及发送。
在一种可能的实施方式中,主机为最终节点,本申请实施例提供的网络调度策略的评估方法,第二时间自动机模型还包括第三决策状态,第二时间自动机模型还用于:
在第二空闲状态下,主机接收数据包,并跳转到第三决策状态,主机在第三决策状态下处理数据包,并广播通知消息至监测器。
主机在第二空闲状态下,接收其他设备广播出的数据包,并将数据包进行入队处理,跳转到第三决策状态。主机在第三决策状态广播通知消息至监测器,同时处理该数据包,数据包处理完成后从队列中移除。其中,本申请实施例对主机向监测器广播的通知消息不做限制。
本申请实施例中,通过设置第三决策状态,实现了处于最终节点的主机对数据包的接收处理,并且通过广播通知消息至监测器,保证了模拟运行结果的可靠性。
在上述实施例的基础上,下面介绍交换机的时间自动机模型,即第三时间自动机模型。在一种可能的实施方式中,图6是本申请实施例提供的第三时间自动机模型的示意图,如图6所示,本申请实施例提供的网络调度策略的评估方法,第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态。第三时间自动机模型用于:
在第二起始状态下初始化交换机参数,并使交换机跳转到第三空闲状态;交换机在第三空闲状态下接收数据包并进入第四决策状态;交换机在第四决策状态下判断数据包的目的地址是否在交换机的地址信息表中;若目的地址在交换机的地址信息表中,交换机向目的地址转发数据包,并回到第三空闲状态,等待下一个数据包。
交换机在第二起始状态下初始化交换机参数,之后跳转到第三空闲状态,等待接收其他设备发送的数据包,在接收到数据包时,第三时间自动机模型将数据包括入队,若队列不为空,交换机将队首数据包移出并开始处理,跳转到第四决策状态,交换机在第三决策状态下判断数据包的目的地址是否在交换机的地址信息表中,若存在,则交换机向目的地址转发数据包,然后回到第三空闲状态,等待接收下一个数据包。
本申请实施例中,通过交换机的时间自动机模型,实现了数据包按照网络调度策略在交换机之间的传输。
在一种可能的实施方式中,数据包的目的地址可能不在交换机的地址信息表中,如图6所示,本申请实施例提供的网络调度策略的评估方法,第三时间自动机模型还包括第二等待状态,第三时间自动机模型还用于:
若数据包的目的地址不在交换机的地址信息表中,则交换机向控制器发送路由规则请求,并进入第二等待状态,交换机在第二等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
在交换机接收到控制器发送的路由规则之后,在一种可能的实施方式中,第三时间自动机模型更新交换机的地址信息表,并进入第四决策状态。在第四决策状态执行数据包的转发。
本申请实施例中,当更新网络调度策略时,数据包的目的地址不在交换机的地址信息表中,通过设置交换机的时间自动机模型的等待状态,保证了更新网络调度策略时,时间自动机网络模型的正常运行。
第四时间自动机模型为监测器的时间自动机模型,在一种可能的实施方式中,图7是本申请实施例提供的第四时间自动机模型的示意图,如图7所示,本申请实施例提供的网络调度策略的评估方法,第四时间自动机模型用于:
通过监测器接收主机广播的通知消息,并在接收到通知消息后,统计SDN的模拟运行结果。
监测器处于第四空闲状态,始终处于检测中的状态,等待接收主机广播的通知消息,并在接收到通知消息后,统计SDN的模拟运行结果。
本申请实施例中,通过监测器实时监测并统计主机广播的通知消息,生成了对SDN模拟运行结果。
为了便于理解,下面实施例结合图1所示的SDN架构实例,以验证属性为Pr[<=3](<>throughput>=100),即验证某一调度策略下,在3秒内达到吞吐量为100Gb的概率为例,对本申请实施例提供的网络调度策略的评估方法进行示例性的介绍。
通过图1所示的SDN实例,模拟了主机1生成数据包,经过一系列交换机的转发到达主机2的数据中心网络传输场景。场景中包含7台交换机,控制器中写入了两个网络调度策略,其中网络调度策略1采用深度优先搜索方式,生成路径结果为:主机1->交换机1->交换机2->交换机3->交换机4->交换机5->主机2,网络调度策略2采用广度优先搜索方式,生成路径结果为:主机1->交换机1->交换机6->交换机7->交换机5->主机2。在将SDN生成时间自动机网络模型后,将时间自动机网络模型的设计规约转化为系统的验证属性。时间自动机网络模型将进行大量随机模拟运行,这里详细介绍一次运行流程:
主机1生成一个数据包p0,从第一起始状态跳转到第二空闲状态,将主机时钟初始化为0并生成一个随机时间即第一时间tr。由于主机1为初始节点,当主机时钟消耗达到tr时,判断p0的目的地址是否在主机1的地址信息表中。假设此时目的地址能匹配到,则主机1向目的地址交换机1发出该数据包,同时生成一个新的随机时间即第二时间tr’和新数据包p2并将主机1时钟置为0,主机1重新进入第二空闲状态,等待发出新的数据包。
交换机1在第二起始状态初始化后进入第三空闲状态,在收到主机1发送的数据包p0后,交换机1将p0加入待处理队列中,此时队列不为空,交换机将队首数据包移出队列处理。假设目的地址在交换机的地址信息表中匹配不到,交换机1向控制器发送消息请求路由规则,跳转到第二等待状态。此时主机1向交换机1发送了数据包p1,交换机1收到后将p1入队等待后续处理。
假设控制器当前写入的是网络调度策略1,处于第一空闲状态下的控制器收到交换机1发来的路由规则请求后,根据网络调度策略1生成路由规则,即交换机1应将数据包转发给交换机2。生成的路由规则将被立刻下发通知给交换机1。
处于第二等待状态的交换机1收到下发的路由规则后,将该路由规则写入交换机1的地址信息表,此时数据包p0的目的地址在交换机1的地址信息表中能匹配到,交换机1将p0发送给交换机2,重新进入第三空闲状态。由于交换机1的队列不为空,队首的数据包p1将继续被取出转发。
交换机2收到交换机1发送的数据包p0后,将继续根据图6所示方式处理,因此数据包p0将沿着主机1->交换机1->交换机2->交换机3->交换机4->交换机5->主机2的路径,最终到达主机2。
主机2完成初始化后在第一空闲状态等待。由于其为最终节点,在收到交换机5转发来的数据包p0后,主机2先将p0加入待处理队列,在向监测器发送完通知消息后,从队列中取出队首数据包p0处理。完成处理后主机2重新回到第一空闲状态等待接受下一个数据包。
监测器一直处于监测中的状态,在收到主机2发送的通知消息后,监测器内部计数器加1,完成一个数据包的监测统计。
至此,一个数据包p0完成了从主机1生成并经过一系列交换机的转发到达主机2被接收处理的过程。而整个系统会模拟大量数据包由主机1生成后被转发到主机2,并通过监测器监测系统吞吐量。经过大量的随机模拟运行,结合验证属性,生成网络调度策略的统计数据,然后利用统计数据,对网络调度策略进行分析评估。
在一种可能的实施方式中,图8是本申请实施例提供的网络调度策略的示例性分析图。如图8所示,网络调度策略1比网络调度策略2需要消耗更多时间才能拥有一定的概率达到目标吞吐量,而在消耗最大时间3秒的情况下,网络调度策略2比网络调度策略1用用更大的概率达成吞吐量为100Gb的设计规约,因此,可以判断网络调度策略2比网络调度策略1更好。
下述为本申请装置实施例,可以用于执行本申请方法实施例。对于本申请装置实施例中未披露的细节,请参照本申请方法实施例。
图9是本申请一实施例提供的网络调度策略的评估装置的结构示意图,该装置可以通过软件和/或硬件的方式实现,如图9所示,本申请实施例提供的网络调度策略的评估装置可以包括:建立模块31、运行模块32、生成模块33和评估模块34。
建立模块31,用于基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,时间自动机网络模型的设计约束为验证属性。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,验证属性为:在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2。
运行模块32,用于根据SDN的网络调度策略,对时间自动机网络模型进行模拟运行,生成模拟运行结果。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,模拟运行结果包括SDN在时间t1内的吞吐量,或者,SDN在吞吐量为T2个单位时的时间。
生成模块33,用于根据验证属性对模拟运行结果进行处理,生成网络调度策略的统计数据。
评估模块34,用于利用统计数据,对网络调度策略进行分析评估。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,SDN包括控制器、主机、交换机和监测器;建立模块31具体用于:
基于统计模型检验理论,分别建立控制器的第一时间自动机模型、主机的第二时间自动机模型、交换机的第三时间自动机模型以及监测器的第四时间自动机模型,组成时间自动机网络模型;时间自动机网络模型中的各时间自动机模型之间通过广播信道通信,同时共享全局时钟,并且各时间自动机模型可以读取共享变量。
本实施例的装置可以执行上述图3所示的方法实施例,其技术原理和技术效果与上述实施例相似,此处不再赘述。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第一时间自动机模型包括第一空闲状态和第一决策状态,第一时间自动机模型用于:
当控制器接收到主机或交换机的路由规则请求时,控制器根据网络调度策略,生成路由规则,并从第一空闲状态进入第一决策状态;在第一决策状态下,控制器将路由规则发送至请求路由规则的主机或交换机,并跳转到第一空闲状态。
在一种可能的实施方式中,第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态,第二时间自动机模型用于:
对主机进行参数初始化,生成第一时间,并将主机从第一起始状态跳转到第二空闲状态;在主机的时钟到达第一时间时,生成数据包并跳转到第二决策状态,在第二决策状态下,判断数据包的目的地址是否在主机的地址信息表中;若目的地址在主机的地址信息表中,则向目的地址发送数据包,并生成第二时间,进入第二空闲状态。
在一种可能的实施方式中,第二时间自动机模型还包括第一等待状态,第二时间自动机模型还用于:
若数据包的目的地址不在主机的地址信息表中,则主机向控制器发送路由规则请求,并进入第一等待状态;主机在第一等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第二时间自动机模型,还用于:若主机接收到控制器发送的路由规则,则更新主机的地址信息表,并进入第二决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第二时间自动机模型还包括第三决策状态,第二时间自动机模型还用于:
在第二空闲状态下,主机接收数据包,并跳转到第三决策状态,主机在第三决策状态下处理数据包,并广播通知消息至监测器。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态;第三时间自动机模型用于:
在第二起始状态下初始化交换机参数,并使交换机跳转到第三空闲状态;交换机在第三空闲状态下接收数据包并进入第四决策状态;交换机在第四决策状态下判断数据包的目的地址是否在交换机的地址信息表中;若目的地址在交换机的地址信息表中,交换机向目的地址转发数据包,并回到第三空闲状态,等待下一个数据包。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型还包括第二等待状态,第三时间自动机模型还用于:
若数据包的目的地址不在交换机的地址信息表中,则交换机向控制器发送路由规则请求,并进入第二等待状态,交换机在第二等待状态下,等待接收控制器发送的路由规则,路由规则中包括数据包的目的地址。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第三时间自动机模型,还用于:若交换机接收到控制器发送的路由规则,则更新交换机的地址信息表,并进入第四决策状态。
在一种可能的实施方式中,本申请实施例提供的网络调度策略的评估装置,第四时间自动机模型用于:
通过监测器接收主机广播的通知消息,并在接收到通知消息后,统计SDN的模拟运行结果。
本申请所提供的装置实施例仅仅是示意性的,图9中的模块划分仅仅是一种逻辑功能划分,实际实现时可以有另外的划分方式。例如多个模块可以结合或者可以集成到另一个系统。各个模块相互之间的耦合可以是通过一些接口实现,这些接口通常是电性通信接口,但是也不排除可能是机械接口或其它的形式接口。因此,作为分离部件说明的模块可以是或者也可以不是物理上分开的,既可以位于一个地方,也可以分布到同一个或不同设备的不同位置上。
图10是本申请实施例提供的电子设备的结构示意图,电子设备可以为服务器,如图10所示,该电子设备包括:
接收器40、发送器41、处理器42和存储器43以及计算机程序;其中,接收器40和发送器41,实现与其他设备之间的数据传输,计算机程序被存储在存储43中,并且被配置为由处理器42执行,计算机程序包括用于执行上述网络调度策略的评估方法的指令,其内容及效果请参考方法实施例。
此外,本申请实施例还提供一种计算机可读存储介质,计算机可读存储介质中存储有计算机执行指令,当用户设备的至少一个处理器执行该计算机执行指令时,用户设备执行上述各种可能的方法。
其中,计算机可读介质包括计算机存储介质和通信介质,其中通信介质包括便于从一个地方向另一个地方传送计算机程序的任何介质。存储介质可以是通用或专用计算机能够存取的任何可用介质。一种示例性的存储介质耦合至处理器,从而使处理器能够从该存储介质读取信息,且可向该存储介质写入信息。当然,存储介质也可以是处理器的组成部分。处理器和存储介质可以位于ASIC中。另外,该ASIC可以位于用户设备中。当然,处理器和存储介质也可以作为分立组件存在于通信设备中。
本领域普通技术人员可以理解:实现上述各方法实施例的全部或部分步骤可以通过程序指令相关的硬件来完成。前述的程序可以存储于一计算机可读取存储介质中。该程序在执行时,执行包括上述各方法实施例的步骤;而前述的存储介质包括:ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。
本申请实施例还提供一种计算机程序产品,包括计算机指令,该计算机指令被处理器执行时实现上述实施例中网络调度策略的评估方法中的各个步骤。
本领域技术人员在考虑说明书及实践这里公开的发明后,将容易想到本申请的其它实施方案。本申请旨在涵盖本申请的任何变型、用途或者适应性变化,这些变型、用途或者适应性变化遵循本申请的一般性原理并包括本申请未公开的本技术领域中的公知常识或惯用技术手段。说明书和实施例仅被视为示例性的,本申请的真正范围和精神由下面的权利要求书指出。
应当理解的是,本申请并不局限于上面已经描述并在附图中示出的精确结构,并且可以在不脱离其范围进行各种修改和改变。本申请的范围仅由所附的权利要求书来限制。
Claims (16)
1.一种网络调度策略的评估方法,其特征在于,包括:
基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,所述时间自动机网络模型的设计约束为验证属性;所述验证属性为:在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2;
根据所述SDN的网络调度策略,对所述时间自动机网络模型进行模拟运行,生成模拟运行结果;
根据所述验证属性对所述模拟运行结果进行处理,生成所述网络调度策略的统计数据;
利用所述统计数据,对所述网络调度策略进行分析评估。
2.根据权利要求1所述的方法,其特征在于,所述SDN包括控制器、主机、交换机和监测器;所述基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,包括:
基于统计模型检验理论,分别建立所述控制器的第一时间自动机模型、所述主机的第二时间自动机模型、所述交换机的第三时间自动机模型以及所述监测器的第四时间自动机模型,组成时间自动机网络模型;
所述时间自动机网络模型中的各时间自动机模型之间通过广播信道通信,同时共享全局时钟,并且各时间自动机模型可以读取共享变量。
3.根据权利要求2所述的方法,其特征在于,所述第一时间自动机模型包括第一空闲状态和第一决策状态,所述第一时间自动机模型用于:
当所述控制器接收到所述主机或所述交换机的路由规则请求时,所述控制器根据所述网络调度策略,生成路由规则,并从所述第一空闲状态进入所述第一决策状态;
在所述第一决策状态下,所述控制器将所述路由规则发送至请求路由规则的所述主机或所述交换机,并跳转到所述第一空闲状态。
4.根据权利要求2所述的方法,其特征在于,所述第二时间自动机模型包括第一起始状态、第二空闲状态和第二决策状态,所述第二时间自动机模型用于:
对所述主机进行参数初始化,生成第一时间,并将所述主机从所述第一起始状态跳转到所述第二空闲状态;
在所述主机的时钟到达所述第一时间时,生成数据包并跳转到所述第二决策状态,在所述第二决策状态下,判断所述数据包的目的地址是否在所述主机的地址信息表中;
若所述目的地址在所述主机的地址信息表中,则向所述目的地址发送所述数据包,并生成第二时间,进入所述第二空闲状态。
5.根据权利要求4所述的方法,其特征在于,所述第二时间自动机模型还包括第一等待状态,所述第二时间自动机模型还用于:
若所述数据包的目的地址不在所述主机的地址信息表中,则所述主机向所述控制器发送路由规则请求,并进入所述第一等待状态;
所述主机在所述第一等待状态下,等待接收所述控制器发送的路由规则,所述路由规则中包括所述数据包的目的地址。
6.根据权利要求5所述的方法,其特征在于,
若所述主机接收到所述控制器发送的所述路由规则,则更新所述主机的地址信息表,并进入所述第二决策状态。
7.根据权利要求4所述的方法,其特征在于,所述第二时间自动机模型还包括第三决策状态,所述第二时间自动机模型还用于:
在所述第二空闲状态下,所述主机接收所述数据包,并跳转到所述第三决策状态,所述主机在所述第三决策状态下处理所述数据包,并广播通知消息至所述监测器。
8.根据权利要求2所述的方法,其特征在于,所述第三时间自动机模型包括第二起始状态、第三空闲状态和第四决策状态;所述第三时间自动机模型用于:
在所述第二起始状态下初始化交换机参数,并使所述交换机跳转到所述第三空闲状态;
所述交换机在所述第三空闲状态下接收所述数据包并进入所述第四决策状态;
所述交换机在所述第四决策状态下判断所述数据包的目的地址是否在所述交换机的地址信息表中;
若所述目的地址在所述交换机的地址信息表中,所述交换机向所述目的地址转发所述数据包,并回到所述第三空闲状态,等待下一个数据包。
9.根据权利要求8所述的方法,其特征在于,所述第三时间自动机模型还包括第二等待状态,所述第三时间自动机模型还用于:
若所述数据包的目的地址不在所述交换机的地址信息表中,则所述交换机向所述控制器发送路由规则请求,并进入所述第二等待状态,所述交换机在所述第二等待状态下,等待接收所述控制器发送的路由规则,所述路由规则中包括所述数据包的目的地址。
10.根据权利要求9所述的方法,其特征在于,
若所述交换机接收到所述控制器发送的所述路由规则,则更新所述交换机的地址信息表,并进入所述第四决策状态。
11.根据权利要求2所述的方法,其特征在于,所述第四时间自动机模型用于:
通过所述监测器接收所述主机广播的通知消息,并在接收到所述通知消息后,统计所述SDN的所述模拟运行结果。
12.根据权利要求1所述的方法,其特征在于,所述模拟运行结果包括所述SDN在时间t1内的吞吐量,或者,所述SDN在吞吐量为T2个单位时的时间。
13.一种网络调度策略的评估框架,其特征在于,包括:SDN的时间自动机网络模型、UPPAAL-统计模型检验SMC和数据处理模块,所述时间自动机网络模型的设计约束为验证属性,所述验证属性为:在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2;所述时间自动机模型用于根据所述SDN的网络调度策略模拟运行,生成模拟运行结果;所述UPPAAL-SMC用于根据所述验证属性对所述模拟运行结果进行处理,生成所述网络调度策略的统计数据;所述数据处理模块用于利用所述统计数据,对所述网络调度策略进行分析评估。
14.一种网络调度策略的评估装置,其特征在于,包括:
建立模块,用于基于统计模型检验理论建立软件定义网络SDN的时间自动机网络模型,所述时间自动机网络模型的设计约束为验证属性;所述验证属性为:在时间t1内,吞吐量达到T1个单位的概率P1;或者,在吞吐量达到T2个单位时,时间不大于t2的概率P2;
运行模块,用于根据所述SDN的网络调度策略,对所述时间自动机网络模型进行模拟运行,生成模拟运行结果;
生成模块,用于根据所述验证属性对所述模拟运行结果进行处理,生成所述网络调度策略的统计数据;
评估模块,用于利用所述统计数据,对所述网络调度策略进行分析评估。
15.一种电子设备,其特征在于,包括:处理器,以及与所述处理器通信连接的存储器;
所述存储器存储计算机执行指令;
所述处理器执行所述存储器存储的计算机执行指令,以实现如权利要求1至12中任一项所述的网络调度策略的评估方法。
16.一种计算机可读存储介质,其特征在于,所述计算机可读存储介质中存储有计算机执行指令,所述计算机执行指令被处理器执行时用于实现如权利要求1至12中任一项所述的网络调度策略的评估方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111464820.2A CN114189454B (zh) | 2021-12-02 | 2021-12-02 | 网络调度策略的评估方法、框架、装置及电子设备 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111464820.2A CN114189454B (zh) | 2021-12-02 | 2021-12-02 | 网络调度策略的评估方法、框架、装置及电子设备 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN114189454A CN114189454A (zh) | 2022-03-15 |
CN114189454B true CN114189454B (zh) | 2024-04-09 |
Family
ID=80542084
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202111464820.2A Active CN114189454B (zh) | 2021-12-02 | 2021-12-02 | 网络调度策略的评估方法、框架、装置及电子设备 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114189454B (zh) |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN103634299A (zh) * | 2013-11-14 | 2014-03-12 | 北京邮电大学 | 基于多连接的实时流媒体传输终端与方法 |
WO2014114119A1 (en) * | 2013-01-23 | 2014-07-31 | Hangzhou H3C Technologies Co., Ltd. | Redundant server operation by a software defined network controller |
CN104375842A (zh) * | 2014-12-05 | 2015-02-25 | 中国人民解放军理工大学 | 一种自适应软件uml建模及其形式化验证方法 |
CN104572266A (zh) * | 2015-01-04 | 2015-04-29 | 华东师范大学 | 制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法 |
US9450817B1 (en) * | 2013-03-15 | 2016-09-20 | Juniper Networks, Inc. | Software defined network controller |
CN108052768A (zh) * | 2017-12-28 | 2018-05-18 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN108521375A (zh) * | 2018-04-17 | 2018-09-11 | 中国矿业大学 | 一种基于SDN的网络多业务流量QoS的传输及调度方法 |
CN111737226A (zh) * | 2020-05-28 | 2020-10-02 | 苏州浪潮智能科技有限公司 | 一种基于Redis集群优化HBase集群性能的方法 |
Family Cites Families (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US10484285B2 (en) * | 2015-12-30 | 2019-11-19 | Argela Yazilim ve Bilisim Teknolojileri San. ve Tic. A.S. | System, method and article of manufacture for using control plane for critical data communications in software-defined networks |
US10586051B2 (en) * | 2017-08-31 | 2020-03-10 | International Business Machines Corporation | Automatic transformation of security event detection rules |
-
2021
- 2021-12-02 CN CN202111464820.2A patent/CN114189454B/zh active Active
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
WO2014114119A1 (en) * | 2013-01-23 | 2014-07-31 | Hangzhou H3C Technologies Co., Ltd. | Redundant server operation by a software defined network controller |
US9450817B1 (en) * | 2013-03-15 | 2016-09-20 | Juniper Networks, Inc. | Software defined network controller |
CN103634299A (zh) * | 2013-11-14 | 2014-03-12 | 北京邮电大学 | 基于多连接的实时流媒体传输终端与方法 |
CN104375842A (zh) * | 2014-12-05 | 2015-02-25 | 中国人民解放军理工大学 | 一种自适应软件uml建模及其形式化验证方法 |
CN104572266A (zh) * | 2015-01-04 | 2015-04-29 | 华东师范大学 | 制程变异下基于UPPAAL-SMC的MPSoC任务调度建模与评估方法 |
CN108052768A (zh) * | 2017-12-28 | 2018-05-18 | 吉林大学 | 一种基于定量验证方法的并发实时系统可靠性评估方法 |
CN108521375A (zh) * | 2018-04-17 | 2018-09-11 | 中国矿业大学 | 一种基于SDN的网络多业务流量QoS的传输及调度方法 |
CN111737226A (zh) * | 2020-05-28 | 2020-10-02 | 苏州浪潮智能科技有限公司 | 一种基于Redis集群优化HBase集群性能的方法 |
Non-Patent Citations (6)
Title |
---|
SDN网络的节点安全控制技术研究;刘铁军;《硕士电子期刊出版信息》;全文 * |
S-Flink: Schedule for QoS in Flink Using SDN;Srinivasan Dwarakanathan;《2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC)》;20160825;全文 * |
UPPAAL-based software-defined network verification;Vladislav Podymov;《2013 Tools & Methods of Program Analysis》;全文 * |
一种软件自适应UML建模及其形式化验证方法;韩德帅;杨启亮;邢建春;;软件学报(第04期);全文 * |
基于时间自动机的物联网网关安全系统的建模及验证;王国卿;庄雷;王瑞民;宋玉;张坤丽;;通信学报(第03期);全文 * |
基于软件定义网络的多路径路由选择算法;魏波;;河南科技学院学报(自然科学版);20201231(第02期);全文 * |
Also Published As
Publication number | Publication date |
---|---|
CN114189454A (zh) | 2022-03-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102523030B (zh) | 通信卫星有效载荷测试系统仿真平台 | |
CN111488271B (zh) | 消息中间件的调优方法、系统、电子设备及存储介质 | |
CN109559583A (zh) | 故障模拟方法及其装置 | |
CN114357495B (zh) | 基于区块链的预言机链下聚合方法、装置、设备和介质 | |
Huang et al. | Enabling DNN acceleration with data and model parallelization over ubiquitous end devices | |
CN111181800A (zh) | 测试数据处理方法、装置、电子设备及存储介质 | |
CN113127356A (zh) | 压测方法、装置、电子设备及存储介质 | |
Lin et al. | Modelling and Verification of Real-Time Publish and Subscribe Protocol Using U ppaal and Simulink/Stateflow | |
CN113094235B (zh) | 一种尾延迟异常云审计系统及方法 | |
CN117176802B (zh) | 一种业务请求的全链路监控方法、装置、电子设备及介质 | |
Nitta et al. | Inferring packet dependencies to improve trace based simulation of on-chip networks | |
CN111949521B (zh) | 软件性能测试方法及装置 | |
CN114189454B (zh) | 网络调度策略的评估方法、框架、装置及电子设备 | |
WO2020233708A1 (zh) | 创建网络仿真平台的方法和网络仿真方法及相应装置 | |
Moutai et al. | A fog-based approach for distributed cloud testing: a VR-assist rental testing case study | |
US10289762B2 (en) | Interconnection network simulator and method for simulating interconnection networks | |
CN106933718B (zh) | 性能监控方法及装置 | |
CN115391158A (zh) | 一种时延确定方法、系统、装置及电子设备 | |
Yu et al. | A two steps method of resources utilization predication for large Hadoop data center | |
Nguyen et al. | A process for continuous validation of self-adapting component based systems | |
CN112054926B (zh) | 集群管理方法、装置、电子设备及存储介质 | |
CN108933689A (zh) | 一种数据采集系统和方法 | |
CN108052768B (zh) | 一种基于定量验证方法的并发实时系统可靠性评估方法 | |
US20230064755A1 (en) | Data processing method and apparatus | |
US20230370318A1 (en) | Data Processing Method, Apparatus, and System, and Storage Medium |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |