计算机应用 ›› 2020, Vol. 40 ›› Issue (6): 1751-1754.DOI: 10.11772/j.issn.1001-9081.2019101712

• 网络与通信 • 上一篇    下一篇

软件定义网络中控制数据平面一致性的验证

朱梦迪, 束永安   

  1. 安徽大学 计算机科学与技术学院,合肥 230601
  • 收稿日期:2019-10-11 修回日期:2020-01-12 出版日期:2020-06-10 发布日期:2020-06-18
  • 通讯作者: 朱梦迪(1993—)
  • 作者简介:朱梦迪(1993—),女,安徽宿州人,硕士研究生,主要研究方向:软件定义网络.束永安(1966—),男,安徽舒城人,教授,博士,主要研究方向:无线传感网、软件定义网络、下一代互联网.
  • 基金资助:
    安徽省自然科学基金资助项目(1408085MF125)。

Verification of control-data plane consistency in software defined network

ZHU Mengdi, SHU Yong’an   

  1. School of Computer Science and Technology, Anhui University, Hefei Anhui 230601, China
  • Received:2019-10-11 Revised:2020-01-12 Online:2020-06-10 Published:2020-06-18
  • Contact: ZHU Mengdi, born in 1993, M. S. candidate. Her research interests include software defined network.
  • About author:SHU Yong’an, born in 1966, Ph. D., professor. His research interests include wireless sensor network, software defined network, next-generation internet.ZHU Mengdi, born in 1993, M. S. candidate. Her research interests include software defined network.
  • Supported by:
    Anhui Provincial Natural Science Foundation (1408085MF125).

摘要: 针对软件定义网络(SDN)中控制层网络策略与数据层流规则不一致的问题,提出了验证控制与数据平面的一致性(VeriC)检测模型。首先,通过交换机上的VeriC管道实现数据包处理子系统的功能:对数据包进行采样,采样数据包经过交换机时,对其中的标签字段进行更新;然后,更新完成后将标签值发送到服务器并保存在实际标签值组;最后,将实际标签值组与已保存的正确标签值组一起发送到验证子系统,进行一致性验证,若不通过,则进一步将两组标签值发送到定位子系统,找出流表项发生错误的交换机。通过ns-3模拟器生成一个含有4 Pod的胖树拓扑,在其中VeriC的一致性检测和故障交换机定位的准确度高于VeriDP,并且VeriC的总体性能高于2MVeri模型。理论分析和仿真结果表明,VeriC检测模型不仅能够进行一致性检测,对错误交换机进行精确定位,而且定位故障交换机所用的时间少于对比检测模型。

关键词: 软件定义网络, 控制平面, 数据层, 一致性, 检测

Abstract: Aiming at the problem of inconsistency between the network policies of control layer and flow rules of data layer in Software Defined Network (SDN), a detection model for Verifying control-data plane Consistency (VeriC) was proposed. Firstly, the function of the packet processing subsystem was realized through the VeriC pipeline on the switch, and the function is sampling the data packet, and updating the tag field in the sampled data packet when the packet passing through the switch. Then, after the update was completed, the tag values were sent to the server and stored in the real tag value group. Finally, the real tag value group and the stored correct tag value group were sent to the verification subsystem to perform the consistency verification. As it failed, the two groups of tag values were sent to the localization subsystem to locate the switch with flow table entry error. A fat tree topology with 4 Pod was generated by ns-3 simulator, where the accuracies of consistency detection and faulty machine location of VeriC are higher than those of VeriDP, and the overall performance of VeriC is higher than that of 2MVeri model. Theoretical analysis and simulation results show that VeriC detection model can not only perform consistency detection and accurately locate the faulty switch, but also take shorter time to locate the faulty switch compared to other comparison detection models.

Key words: Software Defined Network (SDN), control plane, data plane, consistency, detection

中图分类号: