5G将是“革命性的”

控制平面验证

控制平面验证通过输入控制平面信息，验证网络策略的不变式以确保控制平面与策略要求的一致。其优点是可以在配置部署到网络之前完成验证，能够方便的定位到错误的配置位置;缺点是需要分析配置文件与网络行为之间的复杂关系，以及考虑形式各异的配置语言。

目前，传统网络目前仍占据主导地位，其控制平面的配置文件分散在各处的网络设备中，验证面临状态爆炸问题。相关研究方面，Feamster等人于2005年提出了rcc工具[5]，是第一个能在真实网络中检测BGP(边界网关协议)故障的静态分析工具，但其检查的范围仅限于BGP协议。rcc采用的是静态分析的方法，其将控制平面信息标准化成SQL数据，然后验证根据策略转换成的SQL上的约束条件判断BGP配置的正确性。为了提高验证范围，不再局限于特定的协议，Fogel等人提出了Batfish工具[6]。

 

去几年，已经出现了一个新的研究领域，即网络验证，旨在严格确保网络按期望的业务意图运行。网络验证的技术灵感来源于形式化方法，一种广义上基于数学方法，通过对复杂系统建立严格的数学模型，验证系统的性能与行为正确性的方法，主要有模型检测、定理证明、符号执行及SMT/SAT(可满足性理论)求解器四种技术[3]。形式化验证已经在硬软件领域得到的成功的应用。例如，NASA(美国航空航天局)成功使用形式化验证技术在火星探测器飞行软件中发现了并发错误[4]。如果我们可以验证硬软件，为什么不验证网络?最近，网络验证在验证和程序语言社区变得逐渐流行起来，学术界和产业界都开展了网络验证的相关研究。在学术界，主要有斯坦福大学、伊利诺伊大学香槟分校、加州大学洛杉矶分校、卡内基梅隆大学以及清华大学等高校。在工业界，主要有微软研究院和AT&T实验室。目前，该领域已经出现了一些初创公司，如Forward Networks、Veriflow、Intentionet。

本文将首先介绍一些相关背景知识，然后分别介绍网络验证中的控制平面验证和数据平面验证两个研究方向，最后进行总结。

背景知识

网络从路由转发的角度可以被分为三层，即策略、控制平面和数据平面，如图1所示[3]。策略是控制平面和数据平面的参考，体现了网络管理人员的意图，如主机A是否允许和主机B通信。控制平面是用于实现策略的，在传统网络中是指分散于各处的网络设备中的配置文件，在SDN(软件定义网络)中是指各种应用。数据平面是网络中根据控制平面生成的转发信息与拓扑结构，其中转发信息在传统网络中是指转发表，在SDN中是指流表。根据控制平面和数据平面两个层次，网络验证有控制平面验证和数据平面验证两个研究方向，其通过分析对应平面信息，然后验证网络策略的不变式完成检查。其中，不变式是一种属性，在网络中特指路由转发行为的正确属性，如无转发循环不变式，断言了数据包在网络中不会出现转发循环。在对一个特定网络如企业网、校园网进行验证时，除了需要考虑该网络的控制平面或数据平面信息，还需要考虑网络环境的因素，如网络外部发送给网络的路由通告。

 

如果含有这样的标签和图像的数据集被用于训练AI，后果将不堪设想。

然而局面似乎已经无法挽回：由于这个数据集主打微小图像，且图片数量庞大，在当年计算机硬件还不发达时，曾被广泛用于AI训练，在arXiv上属于高引用论文。

Reddit上针对此事的说法不一。

有网友认为，这件事有点小题大做的意思。毕竟这些通过网络搜集到的图片、文本信息，也是真实世界的一部分。


 

就在这周，麻省理工学院紧急下架了Tiny Images数据集。

原因很简单，有学者研究指出，这个通过大量搜索引擎整合的数据集，内里竟然隐藏着诸多令人不齿的标签：儿童猥亵、性暗示、种族歧视……

而这些图像的标签（b***h，w**re），则带有强烈的偏见和反人道的意味。

（编辑：济南站长网）

【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容!