出处：IEEE/ACM Transactions on Networking, July,2022
作者：Kai Lei, Guanjie Lin, Meimei Zhang, Keke Li, Qi Li, Xiaojun Jing, Peng Wang
摘要：软件定义网络 (SDN) 通过将控制平面与数据平面分离来简化网络控制和管理。 然而，由于数据平面和控制平面之间的不一致，符合数据平面流表中规则的实际数据包行为可能违反控制器中的原始策略。 为了解决这个问题，我们提出了 2MVeri，一个用于测量数据和控制平面之间一致性的框架，定义为控制平面策略和数据平面规则之间的一致性。 2MVeri 使用一个模块、一个布隆过滤器和一个二维向量作为标记，插入到数据包头中，并在数据包经过的每个交换机中更新。 通过利用标签中压缩的路径信息，2MVeri 可以验证数据和控制平面之间的一致性。 此外，当验证失败时，2MVeri 能够定位故障开关。 实验结果表明，在k=4的胖树拓扑中，2MVeri的验证准确率高达100%。 此外，当实际路径与预期路径不一致时，2MVeri 可以定位错误的开关，准确率为 99.8%。
