一种面向P4语言的编译时流表验证系统及验证方法

    公开(公告)号:CN116594603A

    公开(公告)日:2023-08-15

    申请号:CN202310878461.8

    申请日:2023-07-18

    申请人: 之江实验室

    IPC分类号: G06F8/30 G06F8/41

    摘要: 本发明提供一种面向P4语言的编译时流表验证系统及验证方法,系统包括:流表提取器、规则提取器、逻辑表验证器、动作验证器、匹配字段验证器;流表提取器用于遍历可编程数据平面设备上的流表,并将流表转换为P4Runtime协议格式文件;规则提取器用于从正在编译的P4源程序中提取逻辑表、动作、逻辑表中匹配字段的验证规则;逻辑表验证器用于根据规则提取器提取的验证规则,对流表文件中的逻辑表进行验证;动作验证器用于根据规则提取器提取的验证规则对流表文件中的动作进行验证;匹配字段验证器用于根据规则提取器提取的验证规则对流表文件中的匹配字段进行验证。本发明可以根据编译的P4源程序对平台上的流表进行验证,提升整个网络的可靠性和稳定性。

    一种设备升级方法、装置、存储介质及电子设备

    公开(公告)号:CN116112361A

    公开(公告)日:2023-05-12

    申请号:CN202310089159.4

    申请日:2023-01-16

    申请人: 之江实验室

    摘要: 本说明书公开了一种设备升级方法、装置、存储介质及电子设备。在本说明书提供的设备升级方法中,在通过当前程序对应的当前进程转发数据的过程中,接收服务器发送的所述当前程序对应的升级版程序;启动并加载所述升级版程序,并通过所述升级版程序创建所述当前进程对应的升级版进程;对所述升级版进程与所述当前进程进行端口资源同步,同步完成后将述当前进程的流量切换至所述升级版进程;结束所述当前进程,采用所述升级版进程转发数据。

    一种可编程网元设备的流表管理系统及方法

    公开(公告)号:CN116684358B

    公开(公告)日:2023-12-12

    申请号:CN202310948487.5

    申请日:2023-07-31

    申请人: 之江实验室

    IPC分类号: H04L47/2441 H04L41/0894

    摘要: 本发明公开一种可编程网元设备的流表管理系统,该系统包括流表分类器、流表验证器、流表调度器、流表存储器;流表分类器用于识别Ipv4/Ipv6、Mobile First、Powerlink、Geo‑Networking、Named Data Networking、SRv6这七种网络流表类型,通过下发流表的协议类型识别通过后传递给流表验证器,否则丢弃;流表验证器用于提取可编程网元设备配置的网络程序中的信息,对流表分类器传递的流表进行格式验证,通过验证后传递给流表调度器,否则丢弃;流表调度器用于将通过验证的流表根据类型调度给流表存储器;流表存储器用于构建内存和硬盘的二级存储数据结构,并定期监测流表的使用情况和性能,删除不再需要的规则,以适应网络的变化和需求。本发明可以提高可编程网络的路由效率和可靠性。

    一种可编程网元设备的资源约束描述系统及方法

    公开(公告)号:CN116610455B

    公开(公告)日:2023-12-05

    申请号:CN202310878419.6

    申请日:2023-07-18

    申请人: 之江实验室

    IPC分类号: G06F9/50 G06F12/0877 G06F9/54

    摘要: 本发明提供一种可编程网元设备的资源约束描述系统及方法,系统中,流表缓存资源描述器用于统一描述可编程网元设备上用于存放流表的缓存资源;异质异构资源描述器用于统一描述可编程网元设备上计算、存储、安全、转发这四种功能分类的资源;快速查询器用于将所述流表缓存资源描述器和异质异构资源描述器中描述的信息作为可编程网元的资源约束,使用不同的编程语言设计数据结构,存储在内存中,用于后续编译预处理接口查询;编译预处理接口对外提供给网络编译系统调用,用于查询可编程网元设备的资源约束是否满足网络程序所需的资源条件,如果满足,继续编译流程,否则报错,并退出

    一种可编程网元编译系统和编译方法

    公开(公告)号:CN114938322B

    公开(公告)日:2022-11-08

    申请号:CN202210869507.5

    申请日:2022-07-22

    申请人: 之江实验室

    IPC分类号: H04L41/00 H04L9/40 G06F8/41

    摘要: 本发明公开一种可编程网元编译系统和编译方法,系统针对网络模态对底层硬件资源的多样化需求,实现计算/存储/转发/安全一体化融合机制,将包括异质硬件资源和异构硬件资源的网元设备对外抽象为与底层硬件无关的逻辑网元;对异质硬件资源和异构硬件资源高级抽象封装,支持底层软硬件资源的灵活调用,使用对异质硬件资源和异构硬件资源间的功能等效置换技术,实现网络模态在硬件资源之间可根据实际需求相互切换、协同处理,并根据模态特征分配异构硬件资源,调用多种编译器,自动生成和优化模态数据包处理流水线。本发明提出的系统和方法为网络模态开发人员屏蔽了底层硬件差异化细节,降低了网络模态的编程复杂度,有利于网络模态的快速部署。

    一种面向Triton编译器流水线的优化系统及优化方法

    公开(公告)号:CN118605850B

    公开(公告)日:2024-11-12

    申请号:CN202411075543.X

    申请日:2024-08-07

    申请人: 之江实验室

    IPC分类号: G06F8/30 G06F8/41 G06F16/2455

    摘要: 本发明公开一种面向Triton编译器流水线的优化系统及优化方法,系统包括方言管理器、转换过程管理器、自定义优化过程构造器、优化过程管理器、流水线构造器、优化过程测试器和性能评估器。本发明通过自定义优化过程构造器为用户提供的用于编写转换过程涉及的方言的操作组合的性能优化策略的接口和模板,使得用户能够有针对性地设计优化策略,提升代码运算性能;优化过程管理器允许针对不同GPU架构添加特定的优化pass过程,使得优化系统具有更好的GPU适应性;优化过程测试器确保优化过程的正确执行,性能评估器提供量化评估,使得优化效果可验证。本发明的优化系统能够对方言、转换过程、优化过程进行精细控制,提供了优化系统的管理灵活性和可扩展性。

    一种可编程网元设备的流表管理系统及方法

    公开(公告)号:CN116684358A

    公开(公告)日:2023-09-01

    申请号:CN202310948487.5

    申请日:2023-07-31

    申请人: 之江实验室

    IPC分类号: H04L47/2441 H04L41/0894

    摘要: 本发明公开一种可编程网元设备的流表管理系统,该系统包括流表分类器、流表验证器、流表调度器、流表存储器;流表分类器用于识别Ipv4/Ipv6、Mobile First、Powerlink、Geo‑Networking、Named Data Networking、SRv6这七种网络流表类型,通过下发流表的协议类型识别通过后传递给流表验证器,否则丢弃;流表验证器用于提取可编程网元设备配置的网络程序中的信息,对流表分类器传递的流表进行格式验证,通过验证后传递给流表调度器,否则丢弃;流表调度器用于将通过验证的流表根据类型调度给流表存储器;流表存储器用于构建内存和硬盘的二级存储数据结构,并定期监测流表的使用情况和性能,删除不再需要的规则,以适应网络的变化和需求。本发明可以提高可编程网络的路由效率和可靠性。

    一种可编程网元设备的资源约束描述系统及方法

    公开(公告)号:CN116610455A

    公开(公告)日:2023-08-18

    申请号:CN202310878419.6

    申请日:2023-07-18

    申请人: 之江实验室

    IPC分类号: G06F9/50 G06F12/0877 G06F9/54

    摘要: 本发明提供一种可编程网元设备的资源约束描述系统及方法,系统中,流表缓存资源描述器用于统一描述可编程网元设备上用于存放流表的缓存资源;异质异构资源描述器用于统一描述可编程网元设备上计算、存储、安全、转发这四种功能分类的资源;快速查询器用于将所述流表缓存资源描述器和异质异构资源描述器中描述的信息作为可编程网元的资源约束,使用不同的编程语言设计数据结构,存储在内存中,用于后续编译预处理接口查询;编译预处理接口对外提供给网络编译系统调用,用于查询可编程网元设备的资源约束是否满足网络程序所需的资源条件,如果满足,继续编译流程,否则报错,并退出编译流程。本发明可以提高网络编译系统的效率和稳定性。

    一种网络模态管理系统及管理方法

    公开(公告)号:CN115098156B

    公开(公告)日:2022-11-18

    申请号:CN202210826286.3

    申请日:2022-07-14

    申请人: 之江实验室

    IPC分类号: G06F8/71 G06F8/60 G06F8/41

    摘要: 本发明公开一种网络模态管理系统及管理方法,该系统包括多模态网络集成开发环境和多模态网络分布式编译部署环境;多模态网络集成开发环境还包括网络模态部署文件打包工具,用于将网络模态源文件和相应的配置文件打包成网络模态部署文件;所述多模态网络分布式编译部署环境,包括部署在控制器服务器上的多模态网络模态程序包管理器以及部署在网络节点设备上的网络节点设备网络模态程序包管理器。本发明实现对多模态网络中网络模态的统一管理,将部署文件自动分发到网络内所有网络节点设备,统一协调源代码文件在各个网络节点设备以及设备上不同目标转发模块上的编译部署工作,从而显著提高网络模态的管理效率。

    一种面向P4语言的编译时流表验证系统及验证方法

    公开(公告)号:CN116594603B

    公开(公告)日:2023-10-10

    申请号:CN202310878461.8

    申请日:2023-07-18

    申请人: 之江实验室

    IPC分类号: G06F8/30 G06F8/41

    摘要: 本发明提供一种面向P4语言的编译时流表验证系统及验证方法,系统包括:流表提取器、规则提取器、逻辑表验证器、动作验证器、匹配字段验证器;流表提取器用于遍历可编程数据平面设备上的流表,并将流表转换为P4Runtime协议格式文件;规则提取器用于从正在编译的P4源程序中提取逻辑表、动作、逻辑表中匹配字段的验证规则;逻辑表验证器用于根据规则提取器提取的验证规则,对流表文件中的逻辑表进行验证;动作验证器用于根据规则提取器提取的验证规则对流表文件中的动作进行验证;匹配字段验证器用于根据规则提取器提取的验证规则对流表文件中的匹配字段进行验证。本发明可以根据编译的P4源程序对平台上的流表进行验证,提升整个网络的可靠性和稳定性。