CN114721667B - 将ST代码编译为WebAssembly代码的方法及装置 - Google Patents
将ST代码编译为WebAssembly代码的方法及装置 Download PDFInfo
- Publication number
- CN114721667B CN114721667B CN202210421861.1A CN202210421861A CN114721667B CN 114721667 B CN114721667 B CN 114721667B CN 202210421861 A CN202210421861 A CN 202210421861A CN 114721667 B CN114721667 B CN 114721667B
- Authority
- CN
- China
- Prior art keywords
- code
- type
- webassembly
- node
- variable
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
- G06F8/425—Lexical analysis
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
- G06F8/42—Syntactic analysis
- G06F8/427—Parsing
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02P—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN THE PRODUCTION OR PROCESSING OF GOODS
- Y02P90/00—Enabling technologies with a potential contribution to greenhouse gas [GHG] emissions mitigation
- Y02P90/02—Total factory control, e.g. smart factories, flexible manufacturing systems [FMS] or integrated manufacturing systems [IMS]
Landscapes
- Engineering & Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Software Systems (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Devices For Executing Special Programs (AREA)
Abstract
本申请公开了一种将ST代码编译为WebAssembly代码的方法及装置,包括:按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到该ST代码包括的各语法单元,以及各语法单元的代码类型,每个语法单元为一段代码片段;针对各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;将得到的多个WebAssembly代码块,按照各语法单元之间的逻辑关系进行拼装,得到与该ST代码具有相同代码逻辑的WebAssembly代码。采用该方案,实现了将ST代码编译为WebAssembly代码。
Description
技术领域
本申请涉及工业控制技术领域和计算机技术领域,尤其涉及一种将ST代码编译为WebAssembly代码的方法及装置。
背景技术
PLC(可编程逻辑控制器,Programmable Logic Controller)在工业控制领域具有广泛的应用,IEC61131-3规范定义了5种标准的PLC编程语言,包含顺序功能图(SFC)、梯形图(LD)、功能模块图(FBD)三种图形化语言和语句表(IL)、结构化文本语言(ST,structuredtext)两种文本语言。
目前已有一些编译IEC61131-3 PLC语言的方法。一些方法中将PLC语言直接编译为控制器平台的机器指令,这种方式和控制器的硬件架构严格绑定,不利于在多种不同硬件架构的控制器上分发。另一些方法中将ST语言编译成自定义的字节码格式,然后在控制器上实现这些字节码的解释器,从而摆脱对硬件架构的依赖。但是,自定义的字节码与编译器的实现具有紧密的耦合关系,一些现有的编程语言无法编译成自定义的字节码,因此难以复用其他语言的生态,从而限制了工程师的开发效率。
发明内容
本申请实施例提供一种将ST代码编译为WebAssembly代码的方法及装置,用以解决现有技术中存在的如何将ST代码编译为WebAssembly代码的问题。
本申请实施例提供一种将ST代码编译为WebAssembly代码的方法,包括:
按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到所述ST代码包括的各语法单元,以及所述各语法单元的代码类型,每个语法单元为一段代码片段;
针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,得到与所述ST代码具有相同代码逻辑的WebAssembly代码。
进一步的,在所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块之前,还包括:
基于所述各语法单元生成表示所述ST代码的语法树,所述语法树包括分别表示所述各语法单元的各节点,且所述各节点的节点类型为各自所表示的语法单元的代码类型;
所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
进一步的,每个表示语法单元的节点具有子节点,包括:表示该语法单元的代码信息的子节点,和/或,表示该语法单元所包含的语法单元的子节点;
所述针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,基于该节点的子节点的节点内容,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
进一步的,所述各语法单元至少包括如下类型的语法单元之一:
类型定义单元、变量定义单元、程序组织单元POU、语句和表达式;
表示类型定义单元的节点为类型定义节点;
表示变量定义单元的节点为变量定义节点;
表示POU的节点为POU定义节点;
表示语句的节点为语句节点;
表示表达式的节点为表达式节点;
所述语法树中,类型定义节点、表示全局变量的变量定义节点和POU定义节点为根节点的子节点;
POU定义节点的子节点包括:表示局部变量的变量定义节点、表示直接地址变量的变量定义节点、表示引用全局变量的变量定义节点和语句节点;
语句节点的子节点包括:表达式节点;当该语句节点表示的语句还包括其他语句时,该语句节点的子节点还包括:表示其他语句的语句节点;
当表达式节点表示的表达式还包括其他表达式时,表达式节点的子节点包括:表示其他表达式的表达式节点。
进一步的,类型定义节点具有子节点,包括表示类型名称的子节点和表示类型描述的子节点;
变量定义节点具有子节点,包括表示变量名称的子节点、表示变量数据类型的子节点和表示变量使用类型的子节点;
POU定义节点具有子节点,还包括表示POU名称的子节点、表示POU的返回值类型的子节点。
进一步的,第一类指定类型的语法单元包括:POU、语句和表达式;
所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述各语法单元包括的每个语法单元,当该语法单元为POU时,生成与该POU具有相同代码逻辑的WebAssembly函数,且该WebAssembly函数包括:与该POU包括的语句具有相同代码逻辑的WebAssembly代码块;
针对所述各语法单元包括的每个语法单元,当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,且该WebAssembly代码块包括:与该语句包括的表达式具有相同代码逻辑的WebAssembly代码块,当该语句还包括其他语句时,还包括:与其他语句具有相同代码逻辑的WebAssembly代码块;
针对所述各语法单元包括的每个语法单元,当该语法单元为表达式时,生成与该表达式具有相同代码逻辑的WebAssembly代码块,当该表达式还包括其他表达式时,该WebAssembly代码块包括:与其他表达式具有相同代码逻辑的WebAssembly代码块。
进一步的,当该POU为函数时,生成的与该POU具有相同代码逻辑的WebAssembly函数的返回值,为该函数的返回值类型对应的WebAssembly中的类型;
当该POU为程序或功能块时,生成的与该POU具有相同代码逻辑的WebAssembly函数,具有类型为指针的参数,且该参数是为该POU分配的内存空间的首地址。
进一步的,还包括:
当该POU为程序或功能块时,针对该程序或功能块生成初始化函数,用于初始化为该POU分配的内存空间。
进一步的,第二类指定类型的语法单元包括:类型定义单元和变量定义单元;
所述当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,包括:
当该语法单元为语句时,获取该语句包括的变量定义单元中的变量的名称信息,如果需要获取该变量的类型信息,从类型定义单元中获取该变量的类型信息;
基于该语句包括的变量定义单元中的该变量的名称信息和类型信息,生成与该语句具有相同代码逻辑的WebAssembly代码块。
本申请实施例还提供一种将ST代码编译为WebAssembly代码的装置,包括:
代码解析模块,用于按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到所述ST代码包括的各语法单元,以及所述各语法单元的代码类型,每个语法单元为一段代码片段;
代码生成模块,用于针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
代码拼装模块,用于将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,得到与所述ST代码具有相同代码逻辑的WebAssembly代码。
本申请实施例还提供一种电子设备,包括处理器和机器可读存储介质,所述机器可读存储介质存储有能够被所述处理器执行的机器可执行指令,所述处理器被所述机器可执行指令促使:实现上述任一将ST代码编译为WebAssembly代码的方法。
本申请实施例还提供一种计算机可读存储介质,所述计算机可读存储介质内存储有计算机程序,所述计算机程序被处理器执行时实现上述任一将ST代码编译为WebAssembly代码的方法。
本申请实施例还提供了一种包含指令的计算机程序产品,当其在计算机上运行时,使得计算机执行上述任一将ST代码编译为WebAssembly代码的方法。
本申请有益效果包括:
本申请实施例提供的方法中,按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到该ST代码包括的各语法单元,以及各语法单元的代码类型,每个语法单元为一段代码片段;针对各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;将得到的多个WebAssembly代码块,按照各语法单元之间的逻辑关系进行拼装,得到与该ST代码具有相同代码逻辑的WebAssembly代码。采用该方案,通过将ST代码拆分成各语法单元,并针对语法单元的每种代码类型预设对应的代码生成方式,从而实现了将ST代码编译为WebAssembly代码。
本申请的其它特征和优点将在随后的说明书中阐述,并且,部分地从说明书中变得显而易见,或者通过实施本申请而了解。本申请的目的和其他优点可通过在所写的说明书、权利要求书、以及附图中所特别指出的结构来实现和获得。
附图说明
附图用来提供对本申请的进一步理解,并且构成说明书的一部分,与本申请实施例一起用于解释本申请,并不构成对本申请的限制。在附图中:
图1为本申请实施例提供的将ST代码编译为WebAssembly代码的方法的流程图;
图2为本申请另一实施例提供的将ST代码编译为WebAssembly代码的方法的流程图;
图3为本申请实施例中语法树的结构示意图;
图4为本申请实施例中针对程序和功能块生成WebAssembly代码块的示意图;
图5-1为本申请实施例提供的将ST代码编译为WebAssembly代码的装置的结构示意图;
图5-2为本申请另一实施例提供的将ST代码编译为WebAssembly代码的装置的结构示意图;
图6为本申请实施例提供的电子设备的结构示意图。
具体实施方式
为了给出将ST代码编译为WebAssembly代码的实现方案,本申请实施例提供了一种将ST代码编译为WebAssembly代码的方法及装置,以下结合说明书附图对本申请的优选实施例进行说明,应当理解,此处所描述的优选实施例仅用于说明和解释本申请,并不用于限定本申请。并且在不冲突的情况下,本申请中的实施例及实施例中的特征可以相互组合。
本申请实施例提供一种将ST代码编译为WebAssembly代码的方法,如图1所示,包括:
步骤11、按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到该ST代码包括的各语法单元,以及各语法单元的代码类型,每个语法单元为一段代码片段;
步骤12、针对各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
步骤13、将得到的多个WebAssembly代码块,按照各语法单元之间的逻辑关系进行拼装,得到与该ST代码具有相同代码逻辑的WebAssembly代码。
采用上述方法,通过将ST代码拆分成各语法单元,并针对语法单元的每种代码类型预设对应的代码生成方式,从而实现了将ST代码编译为WebAssembly代码。
WebAssembly是一个可移植、体积小、加载快、安全的字节码规范,其可以作为多种高级语言的编译目标,从而复用大量的语言生态。将ST代码的PLC程序代码编译为WebAssembly代码后,使得PLC可以利用WebAssembly高效、轻量、安全的特性以及其丰富的语言生态。
下面结合附图,用具体实施例对本申请提供的方法及装置进行详细描述。
本申请实施例提供一种将ST代码编译为WebAssembly代码的方法,如图2所示,包括:
步骤21、按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到该ST代码包括的各语法单元,以及各语法单元的代码类型,每个语法单元为一段代码片段。
本申请实施例中,ST的词法和语法规则,可以基于ST的规范设置。
本申请实施例中,各语法单元至少包括如下类型的语法单元之一:
类型定义单元、变量定义单元、POU(程序组织单元)、语句和表达式;
类型定义单元为ST代码中用于定义类型的代码片段,可以包含类型名称和类型描述。
变量定义单元为ST代码中用于定义变量的代码片段,可以包含变量名称、变量数据类型和变量使用类型;其中,变量数据类型是一个字符串,表示该变量所属的数据类型的名称,变量使用类型也可以称作“关键字”,可以是“VAR_INPUT”、“VAR_IN_OUT”、“VAR_OUTPUT”、“VAR”、“VAR_TEMP”、“VAR_GLOABL”和“VAR_EXTERNAL”中的一个,用于修饰变量的属性及作用域;对于直接地址变量(IO变量)而言,除了上述变量名称和变量数据类型外,还可以包含变量地址。
POU作为一段代码片段,其可以是程序(PROGRAM)、功能块(FUNCTION BLOCK)、函数(FUNCTION)之一,内容可以包含POU名称、类型,如果POU为函数,还可以包含返回值类型,此外,POU还可以包含一系列的变量定义单元和语句。
语句为ST代码中用于描述具体代码逻辑(也可以称作程序逻辑)的代码片段,ST语法中可以包括多种语句,例如,赋值语句、if-else语句、循环语句和swith语句等。语句的内容可以包含表达式,也可以包含其他语句。
表达式作为一段代码片段,其往往作为语句的一部分,并且,表达式的内容也可以包含其他表达式,ST语法中可以包括多种表达式,例如,算术表达式、逻辑表达式、调用表达式、常量表达式和变量表达式,其中,算术表达式和逻辑表达式一般包含一个或多个操作数和操作码,操作数可以是常量表达式、变量表达式和其他类型表达式。
步骤22、基于各语法单元生成表示该ST代码的语法树,该语法树包括分别表示各语法单元的各节点,且各节点的节点类型为各自所表示的语法单元的代码类型。
如图3所示,语法树包括根节点,作为整个语法树的根,其他所有节点都是这个根节点的子节点或孙节点。一个语法树只有一个根节点。
进一步的,每个表示语法单元的节点还可以具有子节点,其子节点可以包括:表示该语法单元的代码信息的子节点,和/或,表示该语法单元所包含的语法单元的子节点,例如,POU包含语句,语句包含表达式,那么,表示POU的节点可以具有表示该POU包含的语句的子节点,表示语句的节点可以具有表示该语句包含的表达式的子节点。
如图3所示,针对类型定义单元,表示类型定义单元的节点为类型定义节点;进一步的,类型定义节点还可以具有子节点,其子节点可以包括表示类型名称的子节点和表示类型描述的子节点;类型定义节点为根节点的子节点;
针对变量定义单元,表示变量定义单元的节点为变量定义节点;进一步的,变量定义节点还可以具有子节点,其子节点可以包括表示变量名称的子节点、表示变量数据类型的子节点和表示变量使用类型的子节点;对于全局变量而言,表示全局变量的变量定义节点为根节点的子节点;
针对POU,表示POU的节点为POU定义节点;POU定义节点为根节点的子节点;进一步的,POU定义节点可以具有子节点,其子节点可以包括表示POU名称的子节点,当POU为函数时,表示该函数的返回值类型的子节点。
针对语句,表示语句的节点为语句节点;
针对表达式,表示表达式的节点为表达式节点;
POU定义节点的子节点可以包括:表示局部变量的变量定义节点、表示直接地址变量的变量定义节点、表示引用全局变量的变量定义节点和语句节点;进一步的,POU定义节点具有子节点,还可以包括表示POU名称的子节点、表示POU的返回值类型的子节点;
语句节点的子节点可以包括:表达式节点;当该语句节点表示的语句还包括其他语句时,该语句节点的子节点还包括:表示其他语句的语句节点;
当表达式节点表示的表达式还包括其他表达式时,表达式节点的子节点可以包括:表示其他表达式的表达式节点。
步骤23、针对语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
进一步的,当该节点具有子节点时,可以基于该节点的子节点的节点内容,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
本申请实施例中,预设的第一类指定类型的语法单元,可以包括:POU、语句和表达式,即具有一定代码逻辑的语法单元,并在编译过程中,将生成对应的具有相同代码逻辑的WebAssembly代码块;
预设的第二类指定类型的语法单元,可以包括:类型定义单元和变量定义单元,在编译过程中,不会直接生成对应的具有相同代码逻辑的WebAssembly代码块,但是将获取类型定义单元和变量定义单元的信息,用于针对第一类指定类型的语法单元,生成对应的具有相同代码逻辑的WebAssembly代码块。
本申请实施例中,可以从根节点开始,遍历上述语法树包含的各节点,并基于每个节点表示的语法单元的类型,进行相应的处理,包括编译和获取语法单元的信息等。
针对每种语法单元,详细描述如下:
针对POU定义节点表示的POU:
当该语法单元为POU时,生成与该POU具有相同代码逻辑的WebAssembly函数,且该WebAssembly函数包括:与该POU包括的语句具有相同代码逻辑的WebAssembly代码块;
更具体的,当该POU为函数时,生成的与该POU具有相同代码逻辑的WebAssembly函数的返回值,为该函数的返回值类型对应的WebAssembly中的类型。
并且,与该POU具有相同代码逻辑的WebAssembly函数中的参数和局部变量,可以通过遍历表示该函数的POU定义节点的子节点中的变量定义节点确定,即针对表示该函数的POU定义节点的子节点中的每个变量定义节点,基于该变量定义节点的变量使用类型(也可以称作关键字)确定,具体可以如下:
当变量使用类型为“VAR_INPUT”:该变量将作为将要生成的WebAssembly函数中的一个参数,若该变量的类型是基本类型,则该参数的类型为该基本类型对应的WebAssembly中的类型;若该变量的类型是非基本类型,则该参数的类型为指针类型;
当变量使用类型为“VAR_IN_OUT”或”VAR_OUTPUT”:该变量将作为将要生成的WebAssembly函数的一个参数,该参数的类型为指针类型;
当变量使用类型为“VAR”或”VAR_TEMP”:该变量不作为将要生成的WebAssembly函数的参数。若该变量的类型为基本类型,则生成该WebAssembly函数中对应类型的局部内存(local),并分配一个local的索引。若该变量的类型为非基本类型,则在将要生成的WebAssembly函数开始的地方插入“用于预留辅助栈空间”的字节码指令,该预留空间的大小为该非基本类型所需占用的空间大小;
当变量使用类型为“VAR_EXTERNAL”:该变量表示在该函数中引用一个全局变量,既不作为参数也不作为局部变量,因此在将要生成的WebAssembly函数时忽略该变量定义节点。
当该POU为程序或功能块时,生成的与该POU具有相同代码逻辑的WebAssembly函数,具有类型为指针的参数,且该参数是为该POU分配的内存空间的首地址。
进一步的,当该POU为程序或功能块时,还可以针对该程序或功能块生成初始化函数,用于初始化为该POU分配的内存空间,相应的,生成的与该POU具有相同代码逻辑的WebAssembly函数也可以称作入口函数。
在生成的与该POU具有相同代码逻辑的WebAssembly函数的过程中,还可以针对表示该程序或功能块的POU定义节点的子节点中的每个变量定义节点,基于该变量定义节点的变量使用类型(也可以称作关键字)执行如下操作:
当变量使用类型为“VAR_TEMP”:若该变量的类型为基本类型,则生成该WebAssembly函数中对应类型的局部内存(local),并分配一个local的索引。若该变量的类型为非基本类型,则在将要生成的WebAssembly函数开始的地方插入“用于预留辅助栈空间”的字节码指令,该预留空间的大小为该非基本类型所需占用的空间大小;
当变量使用类型为“VAR_EXTERNAL”:该变量表示在程序或功能块中引用一个全局变量,既不作为参数也不作为局部变量,因此在将要生成的WebAssembly函数时忽略该变量定义节点。
当变量使用类型为其他类型:所有其他使用类型的变量定义节点用于计算该程序或功能块的实例所占用的内存空间的大小,因此在生成该POU对应的WebAssembly函数时忽略该变量定义节点。
无论POU是函数、程序或功能块,除按照上述处理方式确定将要生成的WebAssembly函数中的参数和变量之外,还将遍历该POU定义节点所包含的所有语句子节点,并生成对应的WebAssembly代码块。
针对语句节点表示的语句:
当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,且该WebAssembly代码块包括:与该语句包括的表达式具有相同代码逻辑的WebAssembly代码块,当该语句还包括其他语句时,还包括:与其他语句具有相同代码逻辑的WebAssembly代码块;
进一步的,由于语句中可能包含各种数据类型的各种变量,所以,当该语法单元为语句时,具体可以获取该语句包括的变量定义单元中的变量的名称信息,如果需要获取该变量的类型信息,从类型定义单元中获取该变量的类型信息;并基于该语句包括的变量定义单元中的该变量的名称信息和类型信息,生成与该语句具有相同代码逻辑的WebAssembly代码块。
本申请实施例中,具体可以从变量定义节点及其子节点,获取变量的变量名称、变量数据类型和变量使用类型,从类型定义节点及其子节点,获取ST代码中定义的类型名称和类型描述信息,用于针对第一类指定类型的语法单元生成WebAssembly代码块。
针对表达式节点表示的表达式:
当该语法单元为表达式时,生成与该表达式具有相同代码逻辑的WebAssembly代码块,当该表达式还包括其他表达式时,该WebAssembly代码块包括:与其他表达式具有相同代码逻辑的WebAssembly代码块。
步骤24、生成接口函数。
本申请实施例中,ST代码为PLC程序代码时,还可以生成用于PLC运行的接口函数,接口函数也是WebAssembly代码块。
本步骤中生成接口函数为可选的,如下三种接口函数,也是可选的生成如下至少一种。
具体的,本步骤中,可以生成如下接口函数:
用于初始化所有作为程序的语法单元的接口函数;如果上述步骤23中,针对类型为程序的POU,已经生成了初始化函数,则可以直接将生成的接口函数与该初始化函数进行关联;
具体的,可以生成一个WebAssembly函数,其名称是固定的,用于依次完成对各程序的初始化工作。若初始化函数使用动态内存分配,则使用一个数组来记录每个程序内存空间的首地址。
用于获取为程序分配的内存空间的程序地址的接口函数;
具体的,可以生成一个WebAssembly函数,其名称是固定的,该接口函数可以根据入口参数返回一个或多个程序的内存空间首地址。
用于初始化为直接地址变量分配的IO区域的接口函数;
具体的,可以生成一个WebAssembly函数,其名称是固定的,用于完成对IO区域大小以及初始化值的设定。
步骤25、将得到的多个WebAssembly代码块,以及生成的各接口函数,按照各语法单元之间的逻辑关系进行拼装,得到与待编译的该ST代码具有相同代码逻辑的WebAssembly代码。
本步骤中,所得到的WebAssembly代码,可以是WebAssembly字节码,也可以是WebAssembly文本程序。
采用上述图2所示的编译方法,将ST代码拆分成各语法单元,并生成包含表示各语法单元的节点的语法树,通过遍历语法树中各节点,并基于针对语法单元的每种代码类型预设对应的代码生成方式,实现将ST代码编译为WebAssembly代码。通过遍历语法树中的节点进行编译,可以更快速、有效的确定语法单元之间的逻辑关系,提高编译的效率。
实施例1:
本实施例1中,针对类型为函数的POU生成WebAssembly代码块进行详细描述。
ST中规定的函数的语法如下所示:
编译过程如下:
第一步:在WebAssembly的类型section中创建对应的函数类型
ST函数每一个入口参数在创建的WebAssembly函数类型定义中有一个对应的参数。如果ST中的参数类型是其他基本类型,将会生成其对应的WebAssembly类型,其对应关系如下表1所示:
表1
若ST函数中的参数类型是非基本类型,则其在WebAssembly函数中对应的类型始终为i32(在WebAssembly中指针类型即为i32类型),其存储的是该变量的在线性空间中地址而非值。
ST函数的返回值类型按照上表1在创建的WebAssembly函数类型有对应的返回类型。
针对上述ST的函数示例,对应的WebAssembly函数类型定义如下:
(func$test(type 1)(param i32)(result i32))
第二步:创建WebAssembly函数定义,该WebAssembly函数引用上面函数类型。执行结果为在WebAssembly函数表中创建一个对应的函数记录。
第三步:如果ST的函数的局部变量包含非基本数据类型,在WebAssembly函数内部入口生成WebAssembly代码片段,用于更新线性内存中辅助栈栈顶位置。本函数在辅助栈上预留空间大小{stack_size}的实际值,由编译器根据本函数所定义的所有局部变量计算而来。生成的对应的WebAssembly代码块如下例所示:
global.get$head
i32.const{stack_size}
i32.sub
local.tee 1
global.set$head
WebAssembly中使用一个global$head用于存储辅助栈当前的栈顶指针,上述指令序列通过global.get获取当前栈顶指针,将它减去一定大小(局部变量的大小)再通过global.set更新栈顶指针,这样便实现了在辅助栈上为所述非基本类型的局部变量预留空间。
实施例2:
本实施例2中,针对类型为程序或功能块的POU生成WebAssembly代码块进行详细描述。
针对每个程序/功能块,都会对应在WebAssembly中生成一个“入口函数”,包含程序/功能块的具体逻辑;同时,可选择地生成一个“初始化函数”包含初始化逻辑。
生成的初始化函数至少包含一个指针类型的参数,其值是该程序或功能块实例在内存中的空间的首地址。
生成的入口函数至少包含一个指针类型的参数,记作“parameter_self”,其值是该程序或功能块实例在内存中的空间的首地址。如图4所示。
例如,ST中的程序代码如下:
对应生成的WebAssembly代码块如下:
对于生成的WebAssembly入口函数,除了函数类型按照本实施例2特定描述,其它具体生成WebAssembly代码块的方法和实施例1中定义的处理方式基本一致。
实施例3:
本实施例3中,针对表达式生成WebAssembly代码块进行详细描述。
针对所有表达式生成的WebAssembly代码块,都会在执行后将计算结果存放于WebAssembly操作栈的顶端。下面针对不同类型的表达式描述如下:
常量表达式:
生成WebAssembly中的i32.const/i64.const/f32.const/f64.const(取决于该常量的类型)操作码,对常量数值编码,生成WebAssembly立即数。
变量表达式:
根据ST代码的变量名称,遍历该变量表达式在所属的POU定义节点下的所有变量定义节点,找到该变量对应的变量定义节点,从而获取变量的信息。
根据不同变量类型,处理方式分别如下:
针对局部变量:
根据实施例1和实施例2,若该变量被生成为WebAssembly函数中的局部变量:(即POU为函数且变量使用类型为VAR或VAR_TEMP,或POU为程序或功能块且变量使用类型为VAR_TEMP),按照如下方法生成WebAssembly代码块:
若该变量为基本类型(生成为local并分配local索引),则生成WebAssembly中的“get_local”指令,该指令的操作数为上述为该变量分配的local索引,该指令的作用是获取该变量的值。
若该变量为非基本类型,则使用在辅助栈上预留空间,按照下述方式生成一段字节码指令用于访问变量:
获取该变量在辅助栈上的地址,生成一段指令,包含:通过get_global指令获取辅助栈栈顶指针,通过i32.add指令获取栈顶指针加上该变量在辅助栈中的偏移量。
在上述“用于获取地址”的指令后面,接着生成一系列iload指令,这些指令的作用是获取该变量的值(“iload指令”代指i32.load/i64.load/f32.load/f64.load等各种类型的load指令,具体使用的指令取决于该变量的类型)
针对全局变量(即变量使用类型为VAR_EXTERNAL):
全局变量在内存中的地址是一个分配好的固定值,因此直接生成iload指令获取该变量的值。
针对IO变量:
首先插入get_global指令,该指令的作用是获取IO区域的首地址,随后插入i32.add指令,该指令的作用是计算IO区域首地址加上该IO变量的偏移量后的地址,随后插入iload指令,该指令的作用是获取该变量的值。
针对函数的参数:
若变量使用类型为VAR_INPUT且变量类型为基本类型,则根据实施例1,其在WebAssembly函数中是一个对应类型的参数。WebAssembly中的参数也是一个local,也有一个分配好的local索引,因此该变量与上述基本类型的局部变量处理方式一致。
若变量使用类型为VAR_INPUT且变量类型为非基本类型;或者变量使用类型为VAR_IN_OUT或VAR_OUTPUT,则生成一个get_local指令获取该变量对应的WebAssembly函数中参数的值,该指令的操作数是上述分配好的local索引,这个参数的值则是该变量在辅助栈上的地址,接着生成一系列iload指令,这些指令的作用是获取该变量的值。
针对程序或功能块的成员变量:
第一步:生成一个get_local指令,使用实施例2中标记为parameter_self的参数作为该指令的立即数。
根据实施例1,程序或功能块对应的WebAssembly中的函数包含一个指针类型的参数,上述get_local指令即为获取该参数的值,该值表示当前POU的实例在内存中占用空间的首地址。
第二步:生成一个i32.const指令,以当前变量在当前POU中的偏移量作为该指令的立即数。
第三步:生成WebAssembly的i32.add指令,该指令的执行结果是该变量在线性内存中的地址。
第四步:生成iload指令,用于获取变量的值。
算术表达式和逻辑表达式:
一般包含一个或者多个操作数和一个操作码。使用以下步骤转换成对应的WebAssembly代码块:
第一步:逐个为表达式中所有的操作数生成对应的WebAssembly指令,具体方法如下(在执行后将ST操作数内容上存放至WebAssembly的操作栈最顶部):
如果操作数为常量或者变量类型表示式,使用本实施例中对应方法生成对应的WebAssembly代码块
其他类型的表达式则嵌套调用本实施例中定义的步骤,直到最后的操作数为变量或者常量类型表达式。
第二步:生成ST运算操作对应的WebAssembly操作码,使用下表2所示的映射关系生成对应的WebAssembly操作码,其在执行后结果将存放于WebAssembly操作栈的顶部。
表2
函数调用表达式:
函数调用表达式包含一个函数名称和若干表达式作为参数。按照以下步骤生成对应的WebAssembly代码块:
第一步:依次处理每个函数调用的参数,按照其表达式类型生成对应的WebAssembly代码块;
第二步:生成WebAssembly中的call指令,其立即数为被调用函数在函数表中的索引号。(参考实施例1)
实施例4:
本实施例4中,针对语句生成WebAssembly代码块进行详细描述。
根据语句类型生成对应的WebAssembly代码块,具体如下:
针对赋值语句:
第一步:生成赋值操作符右侧表达式对应的WebAssembly代码块:具体方法采用实施例3所描述的方式,确保其操作结果存放于WebAssembly操作栈顶端。
第二步:确定赋值符号左侧ST变量对应的WebAssembly内存类型
第三步:根据上一步确定的内存类型,生成对应的变量赋值WebAssembly操作码。
内存类型为local:生成set_local指令,使用为该变量所分配的local索引作为立即数。
内存类型为辅助栈:生成获取该变量地址的字节码指令(该步骤与“算术表达式和逻辑表达式”中获取变量地址的步骤一致);
生成istore指令(“istore指令”代指i32.store/i64.store/f32.store/f64.store等各种类型的store指令,具体使用的指令取决于该变量的类型)
针对if-else语句:
ST语法中对if-else语句的定义如下:
对于没有else分支的语句,使用以下方法生成对应的WebAssembly字节码:
第一步:创建一个WebAssembly中的block;
第二步:在block开始的位置生成“条件判断表达式”对应的代码块;
第三步:随后插入一条br_if代码块;
第四步:为if内的每个语句生成对应的WebAssembly代码块;
第五步:插入一个end字节码表示这个block的结束。
输出的WebAssembly代码块如下所示:
本申请实施例中,针对语句生成WebAssembly代码块,可以循环调用本实施例中的每种语句类型的处理方法,直到不存在对其他语句的依赖。
针对Switch语句:
ST语法中对Switch语句的定义如下:
生成对应的WebAssembly代码块的过程如下:
第一步:生成一个WebAssembly中的block;
第二步:为每一个case分支和else分支各生成一个WebAssembly中的block这些block是嵌套的;
第三步:在最内层的block中生成br_table字节码;(跳转到各个case所对应的block中执行相应的逻辑)
第四步:每个case对应的block中,生成该case分支逻辑对应的代码块,然后生成一个br指令跳转到上述最外层block的结束处。
输出的WebAssembly代码块如下所示:
针对循环语句:
ST语法中对循环语句的定义如下:
FOR x:=0TO 100BY y DO
loop:=loop+x;
END_FOR
生成对应的WebAssembly代码块的过程如下:
第一步:创建一个WebAssembly中的loop块;
第二步:生成循环条件判断表达式对应的代码块;
第三步:生成一个br_if代码块;
第四步:生成循环内部的逻辑对应的代码块;
第五步:生成一条br代码块,其作用是跳转到loop块的开头。
其对应生成如下WebAssembly代码块:
基于同一发明构思,根据本申请上述实施例提供的将ST代码编译为WebAssembly代码的方法,相应地,本申请另一实施例还提供了一种将ST代码编译为WebAssembly代码的装置,其结构示意图如图5-1所示,具体包括:
代码解析模块51,用于按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到所述ST代码包括的各语法单元,以及所述各语法单元的代码类型,每个语法单元为一段代码片段;
代码生成模块52,用于针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
代码拼装模块53,用于将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,得到与所述ST代码具有相同代码逻辑的WebAssembly代码。
进一步的,如图5-2,还包括:
语法树生成模块54,用于基于所述各语法单元生成表示所述ST代码的语法树,所述语法树包括分别表示所述各语法单元的各节点,且所述各节点的节点类型为各自所表示的语法单元的代码类型;
所述代码生成模块52,具体用于针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
进一步的,每个表示语法单元的节点具有子节点,包括:表示该语法单元的代码信息的子节点,和/或,表示该语法单元所包含的语法单元的子节点;
所述代码生成模块52,具体用于针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,基于该节点的子节点的节点内容,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
进一步的,所述各语法单元至少包括如下类型的语法单元之一:
类型定义单元、变量定义单元、程序组织单元POU、语句和表达式;
表示类型定义单元的节点为类型定义节点;
表示变量定义单元的节点为变量定义节点;
表示POU的节点为POU定义节点;
表示语句的节点为语句节点;
表示表达式的节点为表达式节点;
所述语法树中,类型定义节点、表示全局变量的变量定义节点和POU定义节点为根节点的子节点;
POU定义节点的子节点包括:表示局部变量的变量定义节点、表示直接地址变量的变量定义节点、表示引用全局变量的变量定义节点和语句节点;
语句节点的子节点包括:表达式节点;当该语句节点表示的语句还包括其他语句时,该语句节点的子节点还包括:表示其他语句的语句节点;
当表达式节点表示的表达式还包括其他表达式时,表达式节点的子节点包括:表示其他表达式的表达式节点。
进一步的,类型定义节点具有子节点,包括表示类型名称的子节点和表示类型描述的子节点;
变量定义节点具有子节点,包括表示变量名称的子节点、表示变量数据类型的子节点和表示变量使用类型的子节点;
POU定义节点具有子节点,还包括表示POU名称的子节点、表示POU的返回值类型的子节点。
进一步的,第一类指定类型的语法单元包括:POU、语句和表达式;
所述代码生成模块52,具体用于针对所述各语法单元包括的每个语法单元,当该语法单元为POU时,生成与该POU具有相同代码逻辑的WebAssembly函数,且该WebAssembly函数包括:与该POU包括的语句具有相同代码逻辑的WebAssembly代码块;
针对所述各语法单元包括的每个语法单元,当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,且该WebAssembly代码块包括:与该语句包括的表达式具有相同代码逻辑的WebAssembly代码块,当该语句还包括其他语句时,还包括:与其他语句具有相同代码逻辑的WebAssembly代码块;
针对所述各语法单元包括的每个语法单元,当该语法单元为表达式时,生成与该表达式具有相同代码逻辑的WebAssembly代码块,当该表达式还包括其他表达式时,该WebAssembly代码块包括:与其他表达式具有相同代码逻辑的WebAssembly代码块。
进一步的,当该POU为函数时,生成的与该POU具有相同代码逻辑的WebAssembly函数的返回值,为该函数的返回值类型对应的WebAssembly中的类型;
当该POU为程序或功能块时,生成的与该POU具有相同代码逻辑的WebAssembly函数,具有类型为指针的参数,且该参数是为该POU分配的内存空间的首地址。
进一步的,所述代码生成模块52,还用于当该POU为程序或功能块时,针对该程序或功能块生成初始化函数,用于初始化为该POU分配的内存空间。
进一步的,第二类指定类型的语法单元包括:类型定义单元和变量定义单元;
所述代码生成模块52,具体用于当该语法单元为语句时,获取该语句包括的变量定义单元中的变量的名称信息,如果需要获取该变量的类型信息,从类型定义单元中获取该变量的类型信息;
基于该语句包括的变量定义单元中的该变量的名称信息和类型信息,生成与该语句具有相同代码逻辑的WebAssembly代码块。
进一步的,所述代码生成模块52,具体用于当该语法单元为变量表达式,且该变量表达式表示局部变量时,如果该局部变量为基本类型,生成WebAssembly中的get_local指令,该get_local指令的操作数为已经为该局部变量分配的local索引,用于获取该局部变量的值;
如果该局部变量为非基本类型,生成WebAssembly中的get_global指令、i32.add指令和iload指令,该get_global指令用于获取辅助栈栈顶指针,该i32.add指令用于获取栈顶指针加上该局部变量在辅助栈中的偏移量,该iload指令用于获取该局部变量的值;
当该语法单元为变量表达式,且该变量表达式表示全局变量时,生成WebAssembly中的iload指令,用于获取在内存中为该全局变量分配的地址;
当该语法单元为变量表达式,且该变量表达式表示直接地址变量时,生成WebAssembly中的get_global指令、i32.add指令和iload指令,该get_global指令用于获取IO区域的首地址,该i32.add指令用于获取IO区域的首地址加上该直接地址变量的偏移量后的地址,该iload指令用于获取该直接地址变量的值。
进一步的,代码生成模块52,还用于生成如下接口函数:
用于初始化所有作为程序的语法单元的接口函数;
用于获取为程序分配的内存空间的程序地址的接口函数;
用于初始化为直接地址变量分配的IO区域的接口函数;
所述代码拼装模块53,具体用于将得到的多个WebAssembly代码块,以及生成的各接口函数,按照所述各语法单元之间的逻辑关系进行拼装。
上述各模块的功能可对应于图1-图4所示流程中的相应处理步骤,在此不再赘述。
本申请的实施例所提供的将ST代码编译为WebAssembly代码的装置可通过计算机程序实现。本领域技术人员应该能够理解,上述的模块划分方式仅是众多模块划分方式中的一种,如果划分为其他模块或不划分模块,只要将ST代码编译为WebAssembly代码的装置具有上述功能,都应该在本申请的保护范围之内。
本申请实施例还提供一种电子设备,如图6所示,包括处理器61和机器可读存储介质62,所述机器可读存储介质62存储有能够被所述处理器61执行的机器可执行指令,所述处理器61被所述机器可执行指令促使:实现上述任一将ST代码编译为WebAssembly代码的方法。
本申请实施例还提供一种计算机可读存储介质,所述计算机可读存储介质内存储有计算机程序,所述计算机程序被处理器执行时实现上述任一将ST代码编译为WebAssembly代码的方法。
本申请实施例还提供了一种包含指令的计算机程序产品,当其在计算机上运行时,使得计算机执行上述任一将ST代码编译为WebAssembly代码的方法。
上述电子设备中的机器可读存储介质可以包括随机存取存储器(Random AccessMemory,RAM),也可以包括非易失性存储器(Non-Volatile Memory,NVM),例如至少一个磁盘存储器。可选的,存储器还可以是至少一个位于远离前述处理器的存储装置。
上述的处理器可以是通用处理器,包括中央处理器(Central Processing Unit,CPU)、网络处理器(Network Processor,NP)等;还可以是数字信号处理器(Digital SignalProcessing,DSP)、专用集成电路(Application Specific Integrated Circuit,ASIC)、现场可编程门阵列(Field-Programmable Gate Array,FPGA)或者其他可编程逻辑器件、分立门或者晶体管逻辑器件、分立硬件组件。
本说明书中的各个实施例均采用相关的方式描述,各个实施例之间相同相似的部分互相参见即可,每个实施例重点说明的都是与其他实施例的不同之处。尤其,对于装置、电子设备、计算机可读存储介质,计算机程序产品实施例而言,由于其基本相似于方法实施例,所以描述的比较简单,相关之处参见方法实施例的部分说明即可。
需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
本申请是参照根据本申请实施例的方法、设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理设备的处理器以产生一个机器,使得通过计算机或其他可编程数据处理设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理设备以特定方式工作的计算机可读存储器中,使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品,该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理设备上,使得在计算机或其他可编程设备上执行一系列操作步骤以产生计算机实现的处理,从而在计算机或其他可编程设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
显然,本领域的技术人员可以对本申请进行各种改动和变型而不脱离本申请的精神和范围。这样,倘若本申请的这些修改和变型属于本申请权利要求及其等同技术的范围之内,则本申请也意图包含这些改动和变型在内。
Claims (13)
1.一种将结构化文本语言ST代码编译为WebAssembly代码的方法,其特征在于,包括:
按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到所述ST代码包括的各语法单元,以及所述各语法单元的代码类型,每个语法单元为一段代码片段;
针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,得到与所述ST代码具有相同代码逻辑的WebAssembly代码;
第一类指定类型的语法单元包括:POU;
所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述各语法单元包括的每个语法单元,当该语法单元为POU时,生成与该POU具有相同代码逻辑的WebAssembly函数,且该WebAssembly函数包括:与该POU包括的语句具有相同代码逻辑的WebAssembly代码块;
当该POU为函数时,生成的与该POU具有相同代码逻辑的WebAssembly函数的返回值,为该函数的返回值类型对应的WebAssembly中的类型;
当该POU为程序或功能块时,生成的与该POU具有相同代码逻辑的WebAssembly函数,具有类型为指针的参数,且该参数是为该POU分配的内存空间的首地址。
2.如权利要求1所述的方法,其特征在于,在所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块之前,还包括:
基于所述各语法单元生成表示所述ST代码的语法树,所述语法树包括分别表示所述各语法单元的各节点,且所述各节点的节点类型为各自所表示的语法单元的代码类型;
所述针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
3.如权利要求2所述的方法,其特征在于,每个表示语法单元的节点具有子节点,包括:表示该语法单元的代码信息的子节点,和/或,表示该语法单元所包含的语法单元的子节点;
所述针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块,包括:
针对所述语法树包括的表示语法单元的每个节点,当该节点的节点类型为预设的第一类指定类型时,基于该节点的子节点的节点内容,按照该节点的节点类型对应的代码生成方式,生成与该节点表示的语法单元具有相同代码逻辑的WebAssembly代码块。
4.如权利要求2所述的方法,其特征在于,所述各语法单元至少包括如下类型的语法单元之一:
类型定义单元、变量定义单元、程序组织单元POU、语句和表达式;
表示类型定义单元的节点为类型定义节点;
表示变量定义单元的节点为变量定义节点;
表示POU的节点为POU定义节点;
表示语句的节点为语句节点;
表示表达式的节点为表达式节点;
所述语法树中,类型定义节点、表示全局变量的变量定义节点和POU定义节点为根节点的子节点;
POU定义节点的子节点包括:表示局部变量的变量定义节点、表示直接地址变量的变量定义节点、表示引用全局变量的变量定义节点和语句节点;
语句节点的子节点包括:表达式节点;当该语句节点表示的语句还包括其他语句时,该语句节点的子节点还包括:表示其他语句的语句节点;
当表达式节点表示的表达式还包括其他表达式时,表达式节点的子节点包括:表示其他表达式的表达式节点。
5.如权利要求4所述的方法,其特征在于,类型定义节点具有子节点,包括表示类型名称的子节点和表示类型描述的子节点;
变量定义节点具有子节点,包括表示变量名称的子节点、表示变量数据类型的子节点和表示变量使用类型的子节点;
POU定义节点具有子节点,还包括表示POU名称的子节点、表示POU的返回值类型的子节点。
6.如权利要求1所述的方法,其特征在于,第一类指定类型的语法单元还包括:语句和表达式;
所述方法,还包括:
针对所述各语法单元包括的每个语法单元,当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,且该WebAssembly代码块包括:与该语句包括的表达式具有相同代码逻辑的WebAssembly代码块,当该语句还包括其他语句时,还包括:与其他语句具有相同代码逻辑的WebAssembly代码块;
针对所述各语法单元包括的每个语法单元,当该语法单元为表达式时,生成与该表达式具有相同代码逻辑的WebAssembly代码块,当该表达式还包括其他表达式时,该WebAssembly代码块包括:与其他表达式具有相同代码逻辑的WebAssembly代码块。
7.如权利要求1所述的方法,其特征在于,还包括:
当该POU为程序或功能块时,针对该程序或功能块生成初始化函数,用于初始化为该POU分配的内存空间。
8.如权利要求6所述的方法,其特征在于,第二类指定类型的语法单元包括:类型定义单元和变量定义单元;
所述当该语法单元为语句时,生成与该语句具有相同代码逻辑的WebAssembly代码块,包括:
当该语法单元为语句时,获取该语句包括的变量定义单元中的变量的名称信息,如果需要获取该变量的类型信息,从类型定义单元中获取该变量的类型信息;
基于该语句包括的变量定义单元中的该变量的名称信息和类型信息,生成与该语句具有相同代码逻辑的WebAssembly代码块。
9.如权利要求6所述的方法,其特征在于,所述当该语法单元为表达式时,生成与该表达式具有相同代码逻辑的WebAssembly代码块,包括:
当该语法单元为变量表达式,且该变量表达式表示局部变量时,如果该局部变量为基本类型,生成WebAssembly中的get_local指令,该get_local指令的操作数为已经为该局部变量分配的local索引,用于获取该局部变量的值;
如果该局部变量为非基本类型,生成WebAssembly中的get_global指令、i32.add指令和iload指令,该get_global指令用于获取辅助栈栈顶指针,该i32.add指令用于获取栈顶指针加上该局部变量在辅助栈中的偏移量,该iload指令用于获取该局部变量的值;
当该语法单元为变量表达式,且该变量表达式表示全局变量时,生成WebAssembly中的iload指令,用于获取在内存中为该全局变量分配的地址;
当该语法单元为变量表达式,且该变量表达式表示直接地址变量时,生成WebAssembly中的get_global指令、i32.add指令和iload指令,该get_global指令用于获取IO区域的首地址,该i32.add指令用于获取IO区域的首地址加上该直接地址变量的偏移量后的地址,该iload指令用于获取该直接地址变量的值。
10.如权利要求1所述的方法,其特征在于,在所述将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装之前,还包括:
生成如下接口函数:
用于初始化所有作为程序的语法单元的接口函数;
用于获取为程序分配的内存空间的程序地址的接口函数;
用于初始化为直接地址变量分配的IO区域的接口函数;
所述将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,包括:
将得到的多个WebAssembly代码块,以及生成的各接口函数,按照所述各语法单元之间的逻辑关系进行拼装。
11.一种将结构化文本语言ST代码编译为WebAssembly代码的装置,其特征在于,包括:
代码解析模块,用于按照ST的词法及语法规则,对待编译的ST代码进行词法及语法解析,得到所述ST代码包括的各语法单元,以及所述各语法单元的代码类型,每个语法单元为一段代码片段;
代码生成模块,用于针对所述各语法单元包括的每个语法单元,当该语法单元的代码类型为预设的第一类指定类型时,按照该语法单元的代码类型对应的代码生成方式,生成与该语法单元具有相同代码逻辑的WebAssembly代码块;
代码拼装模块,用于将得到的多个WebAssembly代码块,按照所述各语法单元之间的逻辑关系进行拼装,得到与所述ST代码具有相同代码逻辑的WebAssembly代码;
第一类指定类型的语法单元包括:POU;
所述代码生成模块,具体用于针对所述各语法单元包括的每个语法单元,当该语法单元为POU时,生成与该POU具有相同代码逻辑的WebAssembly函数,且该WebAssembly函数包括:与该POU包括的语句具有相同代码逻辑的WebAssembly代码块;
当该POU为函数时,生成的与该POU具有相同代码逻辑的WebAssembly函数的返回值,为该函数的返回值类型对应的WebAssembly中的类型;
当该POU为程序或功能块时,生成的与该POU具有相同代码逻辑的WebAssembly函数,具有类型为指针的参数,且该参数是为该POU分配的内存空间的首地址。
12.一种电子设备,其特征在于,包括处理器和机器可读存储介质,所述机器可读存储介质存储有能够被所述处理器执行的机器可执行指令,所述处理器被所述机器可执行指令促使:实现权利要求1-10任一所述的方法。
13.一种计算机可读存储介质,其特征在于,所述计算机可读存储介质内存储有计算机程序,所述计算机程序被处理器执行时实现权利要求1-10任一所述的方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210421861.1A CN114721667B (zh) | 2022-04-21 | 2022-04-21 | 将ST代码编译为WebAssembly代码的方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202210421861.1A CN114721667B (zh) | 2022-04-21 | 2022-04-21 | 将ST代码编译为WebAssembly代码的方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN114721667A CN114721667A (zh) | 2022-07-08 |
CN114721667B true CN114721667B (zh) | 2022-12-09 |
Family
ID=82245867
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202210421861.1A Active CN114721667B (zh) | 2022-04-21 | 2022-04-21 | 将ST代码编译为WebAssembly代码的方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN114721667B (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN115906802B (zh) * | 2023-02-09 | 2023-08-22 | 成都数联云算科技有限公司 | 一种条件逻辑数据的解析方法、装置、设备及介质 |
Family Cites Families (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN110471670A (zh) * | 2019-08-20 | 2019-11-19 | 杭州和利时自动化有限公司 | 一种编译器、编译方法和追踪方法及dcs控制器 |
CN110825384A (zh) * | 2019-10-28 | 2020-02-21 | 国电南瑞科技股份有限公司 | 一种基于llvm的st语言编译方法及编译系统和编译器 |
CN111488154B (zh) * | 2020-04-23 | 2024-01-12 | 北京东土科技股份有限公司 | St语言源代码编译方法、装置、计算机设备及介质 |
WO2021230879A1 (en) * | 2020-05-15 | 2021-11-18 | Hewlett-Packard Development Company, L.P. | Generating executables for target operational environments |
-
2022
- 2022-04-21 CN CN202210421861.1A patent/CN114721667B/zh active Active
Also Published As
Publication number | Publication date |
---|---|
CN114721667A (zh) | 2022-07-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US11036614B1 (en) | Data control-oriented smart contract static analysis method and system | |
US7694288B2 (en) | Static single assignment form pattern matcher | |
CN110149800B (zh) | 一种用于处理与源程序的源代码相关联的抽象语法树的装置 | |
US8365163B2 (en) | Method for configuring a computer program | |
CN114661300B (zh) | 将PLC程序代码编译为WebAssembly代码的方法及装置 | |
CN114721667B (zh) | 将ST代码编译为WebAssembly代码的方法及装置 | |
CN115495086A (zh) | 一种编译方法和编译器、Wasm虚拟机 | |
Kirner | The programming language wcetC | |
Fischer et al. | Abstract syntax trees-and their role in model driven software development | |
Bettini | Implementing Java-like languages in Xtext with Xsemantics | |
Hanus et al. | A modular and generic analysis server system for functional logic programs | |
CN109271237B (zh) | 仿真控制方法和装置 | |
Paulweber et al. | CASM-IR: uniform ASM-based intermediate representation for model specification, execution, and transformation | |
Lezuo et al. | CASM: Implementing an abstract state machine based programming language | |
Söderberg | Contributions to the Construction of Extensible Semantic Editors | |
Danilewski et al. | Specialization through dynamic staging | |
Asensio et al. | Industrial automation programming environment with a new translation algorithm among IEC 61131–3 languages based on the TC6-XML scheme | |
MacLaren | Inline routines in VAXELN Pascal | |
CN118092887B (zh) | 一种Wasm指令集生成方法、装置、终端及存储介质 | |
von Ronne et al. | Interpreting programs in static single assignment form | |
Meroth et al. | Introduction to the Programming Language C | |
Huber et al. | A generic approach for static code analysis of PLC-programs | |
Mühlbauer et al. | Automatic Transformation of Iterative to Tail-Recursive Functions in Python | |
Wildman | A formal basis for a program compilation proof tool | |
Alves et al. | Development of an industrial strength grammar for VDM |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant |