[论文解读] Towards Wire-speed Platform-agnostic Control of OpenFlow Switches

Giuseppe Bianchi, Marco Bonola+3 more|arXiv (Cornell University)|Aug 31, 2014

Software-Defined Networks and 5G参考文献 15被引用 6

一句话总结

本文提出 OpenState，一种平台无关的框架，通过将状态控制功能建模为 Mealy 有限状态机（FSM），实现在 OpenFlow 交换机中以线速执行。该框架对通用 OpenFlow 1.1+ 硬件进行最小修改，以支持由数据包事件触发的状态转换，通过硬件与软件原型验证了其可行性，支持跨流状态处理及 NAT 和会话管理等实时控制功能。

ABSTRACT

The possibility to offload, via a platform-agnostic specification, the execution of (some/part of the) control functions down to the switch and operate them at wire speed based on packet level events, would yield significant benefits in terms of control latency and reaction times, meanwhile retaining the SDN-type ability to program and instantiate a desired network operation from a central controller. While programmability inside the switches, at wire speed and using platform-independent abstractions, of "any possible'" control function seems well beyond the OpenFlow capabilities, in this paper we argue that a non trivial sub-class of stateful control functions, namely those that can be abstracted in terms of Mealy (Finite State) Machines, is already compatible with off-the-shelf OpenFlow version 1.1+ Hardware with marginal architectural modifications. With minimal additional hardware circuitry, the above sub-class can be extended to include support for bidirectional/cross-flow state handling. We demonstrate the viability of our proposed approach via two proof-of-concept implementations (hardware and software), and we show how some stateful control functionalities frequently exploited in network protocols are readily deployed using our application programming interface.

研究动机与目标

• 通过在交换机内本地执行，解决 SDN 中低时延、高性能控制平面功能的需求。
• 通过使用平台无关的抽象将有状态控制逻辑卸载到数据平面，克服集中式控制器的局限性。
• 利用现有 OpenFlow 硬件和标准动作集，实现控制功能的线速运行，避免全面重构。
• 通过最小硬件扩展支持双向和跨流状态处理——这对 FTP 和 NAT 等协议至关重要。
• 通过硬件与软件概念验证实现，展示实际可行性，包括基于 Mininet 的用例。

提出的方法

• 将控制功能建模为 Mealy 有限状态机（FSM），其中状态转换由数据包头匹配触发，动作映射到特定转发行为。
• 扩展 OpenFlow 1.1+ 的动作集，新增有状态指令，以根据当前状态和事件触发动态安装、更新和管理流表条目。
• 在交换机的流表处理流水线中引入最小硬件扩展，以在物理线速下支持状态跟踪和状态转换逻辑。
• 通过共享状态表或跨流状态引用，支持跨流状态处理，使来自一个流的数据包可触发另一流的状态变化。
• 使用 Open vSwitch 实现软件原型，以验证编程模型和逻辑，确保与现有 SDN 控制器的兼容性。
• 使用 Mininet 演示端到端部署真实用例，如 NAT、FTP 会话处理和分段处理，验证正确性与性能。

实验结果

研究问题

• RQ1 哪些有状态控制功能子集可使用平台无关的抽象形式化描述，并在通用 OpenFlow 硬件上以线速执行？
• RQ2 如何对 OpenFlow 1.1+ 交换机进行最小架构扩展，以支持跨流状态转换而不牺牲性能？
• RQ3 现有 OpenFlow 动作集和流表机制在多大程度上可扩展以支持动态有状态控制逻辑？
• RQ4 在交换机数据平面中执行状态机时，后向状态反馈环路会引入哪些实际限制和流水线挑战？
• RQ5 将有状态控制逻辑集成到交换机中，会对更广泛的 SDN 框架和控制器架构的设计与可扩展性产生何种影响？

主要发现

• 任何可使用标准 OpenFlow 1.3 动作集建模为 Mealy FSM 的控制功能，均可在通用 OpenFlow 1.1+ 硬件上原生部署，仅需最小修改。
• 所提出的硬件扩展可实现由数据包级事件触发的状态转换的线速执行，实现低时延控制且性能开销可忽略。
• 跨流状态处理——对 FTP 和 NAT 等协议至关重要——仅需少量架构改动即可支持，使一个流的数据包可影响另一流的状态。
• 硬件原型成功演示了线速下的实时状态转换和控制逻辑执行，验证了该方法的可行性。
• 基于 Open vSwitch 的软件原型确认了 OpenState 编程模型在不同部署环境中的正确性与可移植性。
• 通过基于 Mininet 的多个真实用例部署验证了该方法，包括 NAT、FTP 会话跟踪和分段处理，显示出功能正确性与性能优势，优于集中式控制。