Control flow based cost analysis for P4
Control flow based cost analysis for P4
复制标题
基于控制流的 P4 成本分析
DOI：
10.1515/comp-2020-0131
复制
发表时间：
2020
影响因子：
1.5
通讯作者：
M. Tejfel
中科院分区：
文献类型：
--
作者：
D. Lukács;Gergely Pongrácz;M. Tejfel
摘要网络产业目前正经历着软件化的稳步发展。然而，网络工程师苦于缺乏支持新协议编程的软件开发工具。我们正在为P4编程语言创建一个成本分析工具，该工具可以自动验证开发的程序是否符合网络强加的软期限要求。本文提出了一种基于控制流图的P4程序平均执行时间估计方法。我们的方法考虑到P4的许多部分都是实现定义的：所需的信息可以通过增量细化来添加，而缺失的信息则通过退回到不太精确的默认值来处理。我们说明了这种方法的应用程序的P4协议中的两个案例研究：我们用它来检查编译器优化的效果在decarse阶段，并显示它如何使成本建模复杂的查找表实现。最后，我们评估未来的研究任务，以完成该工具是准备在现实世界中使用。
Abstract The networking industry is currently undergoing a steady trend of softwarization. Yet, network engineers suffer from the lack of software development tools that support programming of new protocols. We are creating a cost analysis tool for the P4 programming language, that automatically verifies whether the developed program meets soft deadline requirements imposed by the network. In this paper, we present an approach to estimate the average execution time of P4 program based on control flow graphs. Our approach takes into consideration that many of the parts of P4 are implementation-defined: required information can be added in through incremental refinement, while missing information is handled by falling back to less precise defaults. We illustrate application of this approach to a P4 protocol in two case studies: we use it to examine the effect of a compiler optimization in the deparse stage, and to show how it enables cost modelling complex lookup table implementations. Finally, we assess future research tasks to be completed before the tool is ready for real-world usage.