中国人民解放军战略支援部队信息工程大学信息技术研究所,河南郑州 450001
[ "崔子熙 男,1996年7月出生,河南焦作人.现为战略支援部队信息工程大学博士研究生.主要研究方向为可编程数据平面、软件定义网络.E-mail: czxndsc@163.com" ]
[ "田乐 男,1987年11月出生,陕西咸阳人.现为战略支援部队信息工程大学副研究员.主要研究方向为可编程数据平面、软件定义网络." ]
崔鹏帅 男,1990年4月出生,河南安阳人.现为战略支援部队信息工程大学副研究员.主要研究方向为网络空间安全、新型网络架构.
胡宇翔 男,1982年11月出生,河南周口人.现为战略支援部队信息工程大学教授、博士生导师.主要研究方向为新型网络架构、网络空间安全.
伊鹏 男,1977年11月出生,湖北黄冈人.现为战略支援部队信息工程大学研究员、博士生导师.主要研究方向为网络空间安全.
邬江兴 男,1953年9月出生,安徽金寨人.现为中国工程院院士,战略支援部队信息工程大学教授.主要研究方向为网络空间安全、信息技术.中国电子学会会员编号:E190043780M.
收稿:2023-09-11,
修回:2023-11-01,
纸质出版:2024-04-25
移动端阅览
崔子熙,田乐,崔鹏帅等.支持增量式编程的多模态网络环境[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%的程序开发量,同时引入编译时延和资源开销在合理范围内.
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.
邬江兴 , 胡宇翔 . 网络技术体系与支撑环境分离的发展范式 [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 .
0
浏览量
16
下载量
1
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621