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

作     者：朱梦迪 束永安 ZHU Mengdi;SHU Yong’an

作者机构：安徽大学计算机科学与技术学院合肥230601 

出 版 物：《计算机应用》 (journal of Computer Applications)

年 卷 期：2020年第40卷第6期

页      面：1751-1754页

学科分类：08[工学] 081201[工学-计算机系统结构] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：安徽省自然科学基金资助项目(1408085MF125)。 

主　　题：软件定义网络 控制平面 数据层 一致性 检测 

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