支持增量式编程的多模态网络环境  

Enabling Incremental Programming in PINet Environment

作　　者：崔子熙 田乐 崔鹏帅 胡宇翔 伊鹏 邬江兴 CUI Zi-xi;TIAN Le;CUI Peng-shuai;HU Yu-xiang;YI Peng;WU Jiang-xing(Institute of Information Technology,PLA Strategic Support Force Information Engineering University,Zhengzhou,Henan 450001,China)

机构地区：[1]中国人民解放军战略支援部队信息工程大学信息技术研究所,河南郑州450001

出　　处：《电子学报》2024年第4期1230-1238,共9页Acta Electronica Sinica

基　　金：国家重点研发计划课题(No.2022YFB2901501)。

摘　　要：当前,多模态网络编程模型与底层硬件紧耦合、强相关,导致网络程序呈现扁平化和单片化特征.因此,持续开发模态程序效率低下且极易出错,制约了网元设备的可用性和可靠性.为此,本文提出面向多模态网络的编程环境(PINet’s Programming Environment,PPE),支持增量式开发网络协议与功能.基于“巨型交换机”思想,PPE提出了一种平台无关的编程模型及语言,支持模块化编程和跨平台移植,通过模块单元的灵活组合提高网络程序的开发效率.同时,针对上述模型设计了前后端分离的编译系统框架.该系统自动化解析并组合分布式的模态程序,通过优化报文处理逻辑自动适配硬件资源约束.实验结果表明,在不影响硬件性能的基础上,PPE能够降低20%的程序开发量,同时引入编译时延和资源开销在合理范围内.At present,programming abstractions of polymorphic network(PINet)are tightly coupled to the underly⁃ing 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 portabili⁃ty.It improves development efficiency by powerful forms of program composition.Correspondingly,the compiler frame⁃work is separated from front-end and back-end,so that it can automate the composition and analysis of the distributed pro⁃grams.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.

关 键 词：编程模型 多模态网络 可编程数据平面 模块化 增量式编程 网络模态 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]