[论文解读] SNAP: Stateful Network-Wide Abstractions for Packet Processing

Mina Tahmasbi Arashloo, Yaron Koral+3 more|arXiv (Cornell University)|Dec 2, 2015

Software-Defined Networks and 5G参考文献 13被引用 18

一句话总结

SNAP 为软件定义网络引入了一种有状态的、端到端的编程模型，将物理网络抽象为一个具有持久全局数组的单一逻辑交换机，通过编译器联合优化数组放置与流量路由，利用混合整数线性规划（MILP）和转发决策图的扩展变体（xFDDs），实现了跨分布式交换机的高效且正确的有状态数据包处理。

ABSTRACT

Early programming languages for software-defined networking (SDN) were built on top of the simple match-action paradigm offered by OpenFlow 1.0. However, emerging hardware and software switches offer much more sophisticated support for persistent state in the data plane, without involving a central controller. Nevertheless, managing stateful, distributed systems efficiently and correctly is known to be one of the most challenging programming problems. To simplify this new SDN problem, we introduce SNAP. SNAP offers a simpler "centralized" stateful programming model, by allowing programmers to develop programs on top of one big switch rather than many. These programs may contain reads and writes to global, persistent arrays, and as a result, programmers can implement a broad range of applications, from stateful firewalls to fine-grained traffic monitoring. The SNAP compiler relieves programmers of having to worry about how to distribute, place, and optimize access to these stateful arrays by doing it all for them. More specifically, the compiler discovers read/write dependencies between arrays and translates one-big-switch programs into an efficient internal representation based on a novel variant of binary decision diagrams. This internal representation is used to construct a mixed-integer linear program, which jointly optimizes the placement of state and the routing of traffic across the underlying physical topology. We have implemented a prototype compiler and applied it to about 20 SNAP programs over various topologies to demonstrate our techniques' scalability.

研究动机与目标

• 通过将物理网络抽象为具有持久全局数组的单一逻辑交换机，简化有状态分布式网络的编程。
• 消除手动在交换机之间分发和优化有状态数据结构的需求。
• 实现复杂有状态应用（如防火墙和流量监控器）在 SDN 环境中高效、正确且可扩展的部署。
• 解决在分布式有状态数据平面中管理有状态操作与流量流之间依赖关系的挑战。

提出的方法

• SNAP 语言允许程序员使用由数据包头字段索引的全局持久数组编写程序，从而隐藏物理分布的细节。
• 编译器构建扩展转发决策图（xFDD）以建模有状态操作与数据包流之间的读写依赖关系。
• 使用 xFDD 表示生成一组混合整数线性规划（MILP）约束，以联合优化数组放置与流量路由。
• 编译器使用 MILP 算法通过确定状态数组和路由路径在最优交换机位置，最小化网络拥塞并实现负载均衡。
• 系统通过网络事务支持原子更新，以确保分布式状态更新的一致性。
• 原型编译器将高层级 SNAP 程序映射为底层交换机配置，在多个拓扑结构上的 20 个不同程序中进行了验证。

实验结果

研究问题

• RQ1 如何在保持正确性和效率的前提下，简化 SDN 中分布式有状态数据包处理的编程？
• RQ2 哪些编译技术能够联合优化网络范围内有状态数据平面中的状态放置与流量路由？
• RQ3 如何以可扩展且可组合的方式建模和分析有状态操作与数据包流之间的依赖关系？
• RQ4 需要哪些抽象和优化技术，才能在物理分布的网络上实现单一大交换机的编程模型？
• RQ5 如何在不依赖中心控制器的前提下，确保分布式状态更新的原子性和一致性？

主要发现

• SNAP 编译器成功将高层级有状态程序转换为各种网络拓扑结构下的高效分布式交换机配置。
• 使用 xFDD 能够准确建模有状态操作与数据包流之间复杂的读写依赖关系。
• 通过 MILP 实现的联合优化显著降低了网络拥塞，并相比朴素或启发式放置策略提升了资源利用率。
• 原型在 20 个不同 SNAP 程序上展示了可扩展性，证实了该方法在真实世界有状态应用中的可行性。
• 该系统支持广泛的应用，包括有状态防火墙、流量监控和每流状态追踪，实现了正确且高效的部署。
• 与有状态 NetKAT 等替代模型相比，该方法在状态由数据包头字段索引时表现出指数级的紧凑性。