Enabling Incremental Programming in PINet Environment

CUI Zi-xi; TIAN Le; CUI Peng-shuai; HU Yu-xiang; YI Peng; WU Jiang-xing

doi:10.12263/DZXB.20230852

您当前的位置：

首页 >

文章列表页 >

Enabling Incremental Programming in PINet Environment

PAPERS | 更新时间：2025-12-08

- Enabling Incremental Programming in PINet Environment
- ACTA ELECTRONICA SINICA Vol. 52, Issue 4, Pages: 1230-1238(2024)
- 作者机构：
  
  中国人民解放军战略支援部队信息工程大学信息技术研究所，河南郑州 450001
- 作者简介：
- 基金信息：
  
  National Key Research and Development Program of China(2022YFB2901501)
- DOI：10.12263/DZXB.20230852
  CLC： TP393
- Received：11 September 2023，
  
  Revised：2023-11-01，
  
  Published：25 April 2024
- 稿件说明：
移动端阅览
崔子熙,田乐,崔鹏帅等.支持增量式编程的多模态网络环境[J].电子学报,2024,52(04):1230-1238.

CUI Zi-xi,TIAN Le,CUI Peng-shuai,et al.Enabling Incremental Programming in PINet Environment[J].ACTA ELECTRONICA SINICA,2024,52(04):1230-1238.
崔子熙,田乐,崔鹏帅等.支持增量式编程的多模态网络环境[J].电子学报,2024,52(04):1230-1238. DOI： 10.12263/DZXB.20230852.

CUI Zi-xi,TIAN Le,CUI Peng-shuai,et al.Enabling Incremental Programming in PINet Environment[J].ACTA ELECTRONICA SINICA,2024,52(04):1230-1238. DOI： 10.12263/DZXB.20230852.

摘要

当前，多模态网络编程模型与底层硬件紧耦合、强相关，导致网络程序呈现扁平化和单片化特征.因此，持续开发模态程序效率低下且极易出错，制约了网元设备的可用性和可靠性.为此，本文提出面向多模态网络的编程环境（PINet’s Programming Environment，PPE），支持增量式开发网络协议与功能.基于“巨型交换机”思想，PPE提出了一种平台无关的编程模型及语言，支持模块化编程和跨平台移植，通过模块单元的灵活组合提高网络程序的开发效率.同时，针对上述模型设计了前后端分离的编译系统框架.该系统自动化解析并组合分布式的模态程序，通过优化报文处理逻辑自动适配硬件资源约束.实验结果表明，在不影响硬件性能的基础上，PPE能够降低20%的程序开发量，同时引入编译时延和资源开销在合理范围内.

Abstract

At present

programming abstractions of polymorphic network (PINet) are tightly coupled to the underlying hardware

and thus programs are monolithic and target-specific. As a result

it is inefficiency and error-prone to develop programs continuously

which compromises the availability and reliability of hardware devices. In this paper

we present the PINet’s programming environment (PPE) that aims to enable incremental development of protocols and functions. Based on the abstraction of one-big-switch

PPE proposes a target-independent model & language to support modularity and portability. It improves development efficiency by powerful forms of program composition. Correspondingly

the compiler framework is separated from front-end and back-end

so that it can automate the composition and analysis of the distributed programs. The packet processing logic is optimized to fit the resource constraints of hardware. The experimental results show that

PPE can reduce the lines of code by 20% without the affect to hardware performance

while introducing reasonable compilation delay and resource overhead.

关键词

Keywords

references

邬江兴 , 胡宇翔 . 网络技术体系与支撑环境分离的发展范式 [J ] . 信息通信技术与政策 , 2021 , 47 ( 8 ): 1 - 11 .

WU J X , HU Y X . The development paradigm of separation between network technical system and supporting environment [J ] . Information and Communications Technology and Policy , 2021 , 47 ( 8 ): 1 - 11 . (in Chinese)

胡宇翔 , 崔子熙 , 李子勇 , 等 . 基于领域专用软硬件协同的多模态网络环境构造技术 [J ] . 通信学报 , 2022 , 43 ( 4 ): 3 - 13 .

HU Y X , CUI Z X , LI Z Y , et al . Construction technologies of polymorphic network environment based on codesign of domain-specific software/hardware [J ] . Journal on Communications , 2022 , 43 ( 4 ): 3 - 13 . (in Chinese)

BOSSHART P , DALY D , GIBB G , et al . P4: Programming protocol-independent packet processors [J ] . ACM SIGCOMM Computer Communication Review , 2014 , 44 ( 3 ): 87 - 95 .

HU Y X , LI D , SUN P H , et al . Polymorphic smart network: An open, flexible and universal architecture for future heterogeneous networks [J ] . IEEE Transactions on Network Science and Engineering , 2020 , 7 ( 4 ): 2515 - 2525 .

ZHENG P , BENSON T , HU C C . P4Visor: Lightweight virtualization and composition primitives for building and testing modular programs [C ] // Proceedings of the 14th International Conference on Emerging Networking Experiments and Technologies . New York : ACM , 2018 : 98 - 111 .

RIFTADI M , KUIPERS F . P4I/O: Intent-based networking with P4 [C ] // 2019 IEEE Conference on Network Softwarization . Paris : IEEE , 2019 : 438 - 443 .

SONI H , RIFAI M , KUMAR P , et al . Composing dataplane programs with μP4 [C ] // Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communi-cation . New York : ACM , 2020 : 329 - 343 .

GAO J Q , ZHAI E N , LIU H H , et al . Lyra: A cross-platform language and compiler for data plane programming on heterogeneous ASICs [C ] // Proceedings of the Annual Conference of the ACM Special Interest Group on Data Communication on the Applications, Technologies, Architectures, and Protocols for Computer Communi-cation . New York : ACM , 2020 : 435 - 450 .

VOELLMY A , WANG J C , YANG Y R , et al . Maple: Simplifying SDN programming using algorithmic policies [J ] . ACM SIGCOMM Computer Communication Review , 2013 , 43 ( 4 ): 87 - 98 .

崔子熙 , 胡宇翔 , 兰巨龙 , 等 . 基于流分类的数据中心网络负载均衡机制 [J ] . 电子学报 , 2021 , 49 ( 3 ): 559 - 565 .

CUI Z X , HU Y X , LAN J L , et al . Load balancing based on flow classification for datacenter network [J ] . Acta Electronica Sinica , 2021 , 49 ( 3 ): 559 - 565 . (in Chinese)

BOL P D , LUNARDI R , DE FRANÇA B , et al . Modular switch deployment in programmable forwarding planes with switch (de) composer [C ] // Proceedings of the SIGCOMM Poster and Demo Sessions . New York : ACM , 2021 : 30 - 32 .

FENG Y , CHEN Z K , SONG H Y , et al . Enabling in-situ programmability in network data plane: From architecture to language [C ] // 19th USENIX Symposium on Networked Systems Design and Implementation . Berkeley : USENIX Association , 2022 : 635 - 649 .

LI Y F , GAO J Q , ZHAI E N , et al . Cetus: Releasing p4 programmers from the chore of trial and error compiling [C ] // 19th USENIX Symposium on Networked Systems Design and Implementation . Berkeley : USENIX Association , 2022 : 371 - 385 .

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Survey of Scheduling Mechanisms for Programmable Data Plane in Data Center

Research on Load Balancing of Distributed Control Plane in Polymorphic Network

Network Modal Coexistence and Optimal Deployment Method in Polymorphic Network Environment

Fine-Grained Partitioning and Reorganization Deployment Strategy of Edge Video Processing

“密态网络安全前沿技术”专栏

Related Author

HUANG Jia-wei

LIU Jing-ling

HE Zhong

WANG Zi-xi

FANG Hao

CUI Rui

ZHU Jun

TU Hua-qing

Related Institution

School of Computer Science and Engineering, Central South University

之江实验室

Zhejiang Gongshang University

Zhejiang Laboratory

State Grid Chongqing Electric Power Corporation， Electric Power Research Institute

⁰