We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.NI

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Networking and Internet Architecture

Title: Formal Abstractions for Packet Scheduling

Abstract: This paper studies PIFO trees from a programming language perspective. PIFO trees are a recently proposed model for programmable packet schedulers. They can express a wide range of scheduling algorithms including strict priority, weighted fair queueing, hierarchical schemes, and more. However, their semantic properties are not well understood. We formalize the syntax and semantics of PIFO trees in terms of an operational model. We also develop an alternate semantics in terms of permutations on lists of packets, prove theorems characterizing expressiveness, and develop an embedding algorithm for replicating the behavior of one with another. We present a prototype implementation of PIFO trees in OCaml and relate its behavior to a hardware switch on a variety of standard and novel scheduling algorithms.
Comments: 25 pages, 12 figures
Subjects: Networking and Internet Architecture (cs.NI)
ACM classes: C.2.1; E.1
Cite as: arXiv:2211.11659 [cs.NI]
  (or arXiv:2211.11659v1 [cs.NI] for this version)

Submission history

From: Dexter Kozen [view email]
[v1] Mon, 21 Nov 2022 17:21:50 GMT (649kb,D)

Link back to: arXiv, form interface, contact.