数据包调度的形式化抽象
摘要：软件定义网络（SDN）的早期编程模型主要关注控制网络全局转发路径的基本特性，但是最近的研究已经考虑了更丰富的特性，例如影响性能的分组调度和排队。特别是，Sivaraman等人提出的PIFO树提供了一种灵活而高效的可编程分组调度原语。先前的研究表明，PIFO树可以表达一系列实用算法，包括严格优先级、加权公平队列和层次化方案。然而，PIFO树的语义属性还不为人所了解。 本文从编程语言的角度研究了PIFO树。我们在一种操作模型中形式化了PIFO树的语法和语义，该模型将运行在树上的调度策略与树的拓扑解耦。基于这个形式化，我们开发了编译算法，允许对一种拓扑结构编写的PIFO树的行为在具有不同拓扑的树上实现。这样的编译器可以用于优化PIFO树的实现，或者在硬件上实现具有固定拓扑结构的逻辑PIFO树。为了支持实验，我们开发了一个PIFO树的软件模拟器，并提供了使用标准和自定义算法时其行为的案例研究。
作者：Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kapp''e, Dexter Kozen
论文ID：2211.11659
分类：Networking and Internet Architecture
分类简称：cs.NI
提交时间：2023-05-05