买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：之江实验室

摘要：本发明公开了一种基于网络编程语言的逻辑表示的转换方法和装置，方法包括以下步骤：对网络编程语言P4程序代码或其中间表示进行P4语法解析，得到网络编程语言逻辑结构以及多类别的网络编程逻辑资源；根据类别对网络编程逻辑资源进行编排得到网络编程逻辑资源管理库，对网络编程逻辑资源进行分类记录管理；基于网络编程语言逻辑结构对网络编程逻辑资源进行结构转换得到网络编程逻辑表示，以建模网络编程逻辑资源管理库中网络编程逻辑资源间的逻辑关联关系。本发明能够将基于通用的网络编程语言或者通用网络编程语言的中间表示转换为逻辑资源管理库及相应的逻辑表示，有助于快速开发IR映射到特定目标的后端的编译程序，提高工作效率。

主权项：1.一种基于网络编程语言的逻辑表示的转换方法，其特征在于，包括以下步骤：对网络编程语言P4程序代码或其中间表示进行P4语法解析，得到网络编程语言逻辑结构、以及包括头部结构、结构体、解析器解析逻辑资源、控制逻辑资源、表逻辑资源和动作逻辑资源的多类别的网络编程逻辑资源；根据类别对网络编程逻辑资源进行编排得到网络编程逻辑资源管理库，通过网络编程逻辑资源管理库对网络编程逻辑资源进行分类记录管理；所述网络编程逻辑资源管理库包括：头部结构资源库、结构体资源库、解析器解析逻辑资源库、控制逻辑资源库、表逻辑资源库和动作逻辑资源库，每个类别的资源库包含网络编程中所属类别的所有相关资源的描述，其中，头部结构资源库和结构体资源库包括其中的变量元素类型和元素名称，解析器解析逻辑资源库包括当前解析器的名称、当前解析逻辑、前解析逻辑解析器的关联指示、分支跳转条件及分支跳转条件对应的下一个解析逻辑解析器的关联指示，控制逻辑资源库包括当前控制模块名、所含表的关联指示和动作的关联指示，表逻辑资源库包括所有的匹配表逻辑、每个表对应的匹配键、匹配方式和动作的关联指示，动作逻辑资源库包括所有的操作逻辑关联指示；基于网络编程语言逻辑结构对网络编程逻辑资源进行结构转换得到网络编程语言P4程序代码或其中间表示的网络编程逻辑表示，以建模网络编程逻辑资源管理库中网络编程逻辑资源间的逻辑关联关系；所述网络编程逻辑表示包括：网络编程语言P4程序代码或其中间表示的所有解析字段及其基本表示单元，其中基本表示单元包括字段名称、字段取值、字段长度、字段结构、字段解析逻辑、字段匹配方式和字段操作逻辑，网络编程逻辑表示基于每个字段的键值按照顺序关系依次记录排列字段，同时字段内增加指示点，通过指示点将字段与基本表示单元的内容建立指示关联，其中，所述字段名称为当前字段在网络编程语言中的名称，所述字段的取值为当前字段在网络编程语言中固定明确的取值，所述字段长度为当前字段在网络编程语言中定义的字节长度，所述字段结构为当前解析器解析的位置字段所关联的结构体，包括头部结构和结构体，结构采用链表指针的形式表示字段的嵌套关系，下一级表示结构嵌套的外层结构，所述字段解析逻辑为当前字段所属解析分支的嵌套关系，解析路径为parser的解析部分，解析逻辑采用链表指针的形式表示字段解析路径的嵌套关系，下一级表示解析路径嵌套的外层解析部分，所述字段匹配方式为当前的字段作为键值与网络报文中键值的匹配方式，包括精准匹配、最小匹配和三态匹配，所述字段的操作逻辑为当前的字段作为键值与表的匹配关联关系，包括是否有表中的字段键值与该字段匹配、表中的字段键值与该字段的匹配方式和表中的字段键值与该字段匹配成功后的操作逻辑；所述网络编程逻辑表示分为三层结构表示，第一层结构为网络编程语言所定义的需要处理的报文条目的集和，第二层结构为每一条报文中存储的信息，第三层结构为每个基本表示单元的信息，其中，每个基本表示单元为一幅有向无环图，在一个网络编程场景下通过将基本表示单元按照顺序链接构造成为一种网络编程逻辑表示，穷举所有网络编程场景下的网络编程逻辑表示组成当前网络编程逻辑的所有图结构，其中单一场景下的网络编程逻辑表示彼此独立。

全文数据：

权利要求：

百度查询： 之江实验室 一种基于网络编程语言的逻辑表示的转换方法和装置