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

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