ImpNet：使用命令技术对软件定义的网络进行编程
ImpNet: Programming Software-Defied Networks Using Imperative Techniques
摘要：
软件和硬件组件是现代网络的基本组成部分。但软件组件是典型的封闭式和面向功能的。因此，很难修改这些组件。这严重影响了网络创新。此外，这导致网络策略具有用户不友好的复杂接口，并因此导致网络的物理交换机上的巨大且复杂的流表。这在许多情况下会大大降低网络性能。软件定义网络（SDN）是一种现代网络架构，可以克服上述问题。SDN的思想是向网络添加控制器设备，该控制器设备管理网络上的所有其他设备，包括网络的物理交换机。管理过程的主要任务之一是交换机学习;通过对网络的物理交换机进行编程来实现，通过向交换机（更具体地说，向交换机的流表）添加或从交换机（更具体地说，从交换机的流表）移除用于分组处理的规则。本文提出了一种高级命令式网络程序设计语言--ImpNet。ImpNet允许编写高效，但简单，功能强大的程序在控制器上运行，以控制所有其他网络设备，包括交换机。ImpNet是组合的，结构简单，富有表现力，更重要的是命令式的。介绍了ImpNet的语法以及ImpNet合同的两种操作语义。所提出的语义是静态和动态类型。两个现代应用程序编程使用ImpNet的文件中显示。文中还给出了应用程序的语义。
英文摘要：
Software and hardware components are basic parts of modern networks. However the software compo- nent is typical sealed and function-oriented. Therefore it is very difficult to modify these components. This badly affected networking innovations. Moreover, this resulted in network policies having complex interfaces that are not user-friendly and hence resulted in huge and complicated flow tables on physical switches of networks. This greatly degrades the network performance in many cases. Software-Defined Networks (SDNs) is a modern architecture of networks to overcome issues mentioned above. The idea of SDN is to add to the network a controller device that manages all the other devices on the network including physical switches of the network. One of the main tasks of the managing process is switch learning; achieved via programming physical switches of the network by adding or removing rules for packet-processing to/from switches, more specifically to/from their flow tables. A high-level imperative network programming language, called ImpNet, is presented in this paper. ImpNet enables writing efficient, yet simple, and powerful programs to run on the controller to control all other network devices including switches. ImpNet is compositional, simply-structured, expressive, and more importantly imperative. The syntax of ImpNet together two types of operational semantics to contracts of ImpNet are presented in the paper. The proposed semantics are of the static and dynamic types. Two modern application programmed using ImpNet are shown in the paper as well. The semantics of the applications are shown in the paper also.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
