一种基于MapReduce的OpenFlow网络属性并行验证算法

摘要：

针对OpenFlow网络中流表配置错误引起的转发回路、路由黑洞和访问控制规则失效等问题,提出一种并行的基于MapReduce的OpenFlow网络属性验证算法.通过在map阶段划分规则等价类,在reduce阶段为规则等价类构建基于交换机端口谓词的网络转发图并分析可达性,实现对网络属性的并行验证.同时,通过采用原子谓词将传统可达性分析中的规则匹配域多维集合运算转换为整数集合运算,以进一步提高可达性分析效率;此外,基于原子谓词的谓词表达方式可消除交换机端口谓词集合中的冗余项,降低存储开销.最后,通过理论分析和仿真实验验证了算法的正确性及在时间和存储开销方面的优越性.

关键词：流表配置错误、网络属性并行验证、MapReduce、OpenFlow网络

所属期刊栏目：33

分类号：TP393.07(计算技术、计算机技术)

资助基金：国家“863”计划资助项目2012AA012704;郑州市科技领军人才资助项目131PLJRC644

在线出版日期：2016-10-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2125-2130