NSDI17 data set

NSDI17数据集包含数亿条IP前缀规则，这些规则是使用实际部署网络的拓扑结构和BGP更新生成的，包括一个全球部署的ONOS软件定义网络应用程序SDN-IP。数据集以文本文件形式组织，每行表示一个规则的插入或删除。

The NSDI17 dataset encompasses hundreds of millions of IP prefix rules, which are generated using the topology of actual deployed networks and BGP updates, including a globally deployed ONOS software-defined networking application, SDN-IP. The dataset is organized in text files, with each line representing the insertion or deletion of a rule.

原始信息汇总

数据集概述

数据集名称

Delta-net NSDI17 数据集

数据集描述

该数据集包含数亿条IP前缀规则，这些规则是通过分析真实世界部署网络中的拓扑结构和BGP更新生成的。数据集中的每条记录表示一个规则的插入或删除，格式为文本文件，每行代表一个操作。

数据集用途

用于Delta-net工具的实验，该工具旨在实时检测和预防网络中断。数据集支持Delta-net的性能测试，显示其处理规则插入和删除的速度比现有技术快10倍以上，并解决了现有技术在处理Datalog风格“假设”查询时的瓶颈问题。

数据集格式

数据集以文本文件形式组织，每行表示一个规则的插入或删除。具体格式在提供的Delta-net接口手册中有详细说明。

相关文献

• Horn, Alex, Kheradmand, Ali, and Prasad, Mukul R. "Delta-net: Real-time Network Verification Using Atoms." NSDI, 2017.
• Horn, Alex, Kheradmand, Ali, and Prasad, Mukul R. "A Precise and Expressive Lattice-theoretical Framework for Efficient Network Verification." ICNP, 2019.

搜集汇总

数据集介绍

构建方式

NSDI17数据集的构建基于真实世界的网络拓扑和BGP更新数据，通过全球部署的ONOS软件定义网络应用SDN-IP生成。数据集以文本文件形式组织，每行代表一个规则的插入或删除，详细格式在Delta-net接口手册中有说明。这种构建方式确保了数据的高实时性和准确性，为网络验证提供了坚实的基础。

特点

NSDI17数据集包含数亿条IP前缀规则，这些规则通过实时分析数据平面的变化并增量维护网络中每个数据包的流信息生成。数据集的特点在于其高效性，实验表明Delta-net在规则插入和删除检查上的平均时间仅为数十微秒，相比现有技术有超过10倍的提升。此外，数据集还解决了现有技术在回答Datalog风格“假设”查询时的固有瓶颈问题。

使用方法

NSDI17数据集的使用方法主要围绕Delta-net工具展开，用户可以通过分析文本文件中的规则插入和删除记录，进行网络验证和故障预防。数据集的使用需要结合Delta-net接口手册，理解每行数据的格式和含义。通过这种方式，用户可以有效地检测和预防网络中断，提升网络的稳定性和可靠性。

背景与挑战

背景概述

NSDI17数据集由Alex Horn、Ali Kheradmand和Mukul R. Prasad等研究人员于2017年创建，旨在支持网络验证领域的研究。该数据集的核心研究问题在于如何实时检测和预防网络中断，特别是在数据平面发生变化时，增量维护网络中每个数据包的流信息。通过提出首个可证明的准线性算法，Delta-net工具显著提升了网络验证的效率，并在全球部署的ONOS软件定义网络应用中得到了验证。该数据集为网络验证领域的研究提供了重要的实验基础，推动了网络故障预防技术的发展。

当前挑战

NSDI17数据集在解决网络验证问题时面临多重挑战。首先，网络数据平面的动态变化要求算法能够实时处理大规模规则插入和删除操作，这对计算效率和内存管理提出了极高要求。其次，数据集构建过程中需要处理来自真实网络的复杂拓扑结构和BGP更新，确保数据的准确性和代表性。此外，Delta-net工具在应对多维匹配条件（如IP表规则）时，需扩展其理论基础以支持更复杂的网络验证场景。这些挑战不仅考验了算法的性能，也对数据集的构建和验证提出了更高的标准。

常用场景

经典使用场景

NSDI17数据集在网络验证领域具有重要应用，特别是在实时网络数据平面变化的检测与预防方面。该数据集通过分析数百万条IP前缀规则，结合真实世界的网络拓扑和BGP更新数据，为研究人员提供了一个高效的工具来验证网络规则的正确性和一致性。Delta-net工具利用这些数据，能够在微秒级别内完成规则的插入和删除操作，显著提升了网络验证的效率。

衍生相关工作

NSDI17数据集催生了一系列相关研究，特别是在网络验证算法的改进方面。例如，基于该数据集的研究工作进一步扩展了Delta-net的理论框架，使其能够处理多维匹配条件，如复杂的IP表规则。此外，该数据集还被用于开发新的网络验证工具和平台，推动了网络验证技术的进一步发展。

数据集最近研究

最新研究方向

在软件定义网络（SDN）和网络验证领域，NSDI17数据集为研究者提供了丰富的实验数据，特别是在实时网络验证和故障预防方面。该数据集包含了数百万条基于真实网络拓扑和BGP更新生成的IP前缀规则，这些数据被广泛应用于验证Delta-net等工具的性能。Delta-net通过实时分析数据平面的变化，能够以微秒级的响应时间检测和预防网络故障，显著提升了现有技术的效率。近年来，随着网络规模的扩大和复杂性的增加，如何高效处理多维匹配条件（如IP表规则）成为研究热点。NSDI17数据集为这一方向的研究提供了重要支持，推动了网络验证算法的进一步发展，尤其是在处理大规模网络数据时的性能优化和可扩展性方面。