CN111008067A - 一种在虚拟机中执行功能模块的方法和装置 - Google Patents

一种在虚拟机中执行功能模块的方法和装置 Download PDF

Info

Publication number
CN111008067A
CN111008067A CN202010147875.XA CN202010147875A CN111008067A CN 111008067 A CN111008067 A CN 111008067A CN 202010147875 A CN202010147875 A CN 202010147875A CN 111008067 A CN111008067 A CN 111008067A
Authority
CN
China
Prior art keywords
instruction
global variable
sequence
module
wasm
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.)
Granted
Application number
CN202010147875.XA
Other languages
English (en)
Other versions
CN111008067B (zh
Inventor
郭学鹏
林志平
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Alipay Hangzhou Information Technology Co Ltd
Original Assignee
Alipay Hangzhou Information Technology Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Alipay Hangzhou Information Technology Co Ltd filed Critical Alipay Hangzhou Information Technology Co Ltd
Priority to CN202010147875.XA priority Critical patent/CN111008067B/zh
Publication of CN111008067A publication Critical patent/CN111008067A/zh
Application granted granted Critical
Publication of CN111008067B publication Critical patent/CN111008067B/zh
Priority to PCT/CN2021/074399 priority patent/WO2021175053A1/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533—Hypervisors; Virtual machine monitors
    • G06F9/45558—Hypervisor-specific management and integration aspects
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
    • G06Q40/04—Trading; Exchange, e.g. stocks, commodities, derivatives or currency exchange
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G06F9/45533—Hypervisors; Virtual machine monitors
    • G06F9/45558—Hypervisor-specific management and integration aspects
    • G06F2009/45595—Network integration; Enabling network access in virtual machine instances

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Business, Economics & Management (AREA)
  • Finance (AREA)
  • General Physics & Mathematics (AREA)
  • Accounting & Taxation (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Development Economics (AREA)
  • Economics (AREA)
  • Marketing (AREA)
  • Strategic Management (AREA)
  • Technology Law (AREA)
  • General Business, Economics & Management (AREA)
  • Financial Or Insurance-Related Operations Such As Payment And Settlement (AREA)

Abstract

本说明书实施例提供了一种在虚拟机中执行功能模块的方法和装置，所述功能模块在第一模块中定义，所述方法包括：获取所述第一模块的WASM指令序列；基于所述第一模块的WASM指令序列确定全局变量标识范围；基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。

Description

一种在虚拟机中执行功能模块的方法和装置
技术领域
本说明书一个或多个实施例涉及区块链技术领域，更具体地，涉及一种在虚拟机中执行功能模块的方法和装置。
背景技术
虚拟机（Virtual Machine）是通过软件模拟的具有完整硬件系统功能的、运行在一个完全隔离环境中的完整计算机系统。由于虚拟机可以隔离底层硬件平台以及操作系统对上层应用的影响，因此非常有利于上层应用的开发。上层应用开发过程中无需关注底层平台的细节，只需要关注具体的业务逻辑。开发完成后，由虚拟机运行上层应用，负责将应用的代码转换为适于底层平台执行的代码。具体地，在许多场景中，上层应用由开发人员使用高级语言编写开发，之后通过编译器编译为字节码（bytecode）。字节码是一种执行程序，由一序列操作码（op码）-数据对组成的二进制文件，是一种中间码。然后，虚拟机中的解释器对字节码代表的指令流进行解释和执行。
例如，在支持智能合约的区块链应用场景中，可以在区块链网络的每个节点中部署虚拟机。用户可以用高级语言编写智能合约，然后经由编译器编译为字节码之后，将该字节码包含在创建智能合约的交易中，发布到区块链网络中，也就是部署到区块链网络的各个节点中。在需要执行智能合约时，由各个节点中的虚拟机对该字节码进行解释执行。
随着WASM语言的出现，越来越多的区块链中使用WASM作为智能合约的编写语言，相对应地，使用WASM虚拟机来执行智能合约。WASM即WebAssembly，是由W3C社区组织推出的一种为栈式虚拟机设计的二进制指令形式，是一种新的平台无关的中间字节码格式。虚拟机加载执行WASM智能合约可以分为两个步骤：静态加载做LEB128解码和指令解析，动态执行解析后的WASM指令。其中第一步属于低频操作，第二步属于高频耗时操作。在第二步中，每当执行一个全局访问指令，都要进行一次越界检查，所述越界检查用于确定全局访问指令中全局变量的下标是否超出合约SCORE中定义的全局变量下标范围，以防止出现安全漏洞和恶意攻击。所述越界检查使得智能合约执行效率降低。
在包括但不限于区块链的各种应用场景中，WASM虚拟机解释器对字节码的解释执行速度对于整个系统的性能都至关重要。因此，希望能有改进的方案，进一步提高WASM虚拟机中字节码指令流的执行效率。
发明内容
本说明书实施例旨在提供一种更有效的执行功能模块的方法，以解决现有技术中的不足。
为实现上述目的，本说明书一个方面提供一种在虚拟机中执行功能模块的方法，所述功能模块在第一模块中定义，所述方法包括：
获取所述第一模块的WASM指令序列；
基于所述第一模块的WASM指令序列确定全局变量标识范围；
基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。
在一种实施方式中，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查包括：
解析该指令是否为全局变量访问指令；
在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块；
在确定所述第一模块的WASM指令序列中不包括全局变量访问指令的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块包括，
在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述第一模块的处理；
在检查所述第一模块的各个全局变量访问指令中包括的全局变量标识都在所述全局变量标识范围内的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，所述虚拟机为区块链节点中的虚拟机，所述第一模块为第一合约，其中，获取所述第一模块的WASM指令序列包括，在执行调用第一合约中的函数的第一交易时，从本地存储介质中读取第一合约的指令序列，以获取所述第一合约的WASM指令序列。
在一种实施方式中，从本地存储介质中读取第一合约的指令序列包括，从本地存储介质中读取第一合约的经可变长编码的指令序列，对所述经可变长编码的指令序列进行解码，以获取所述第一合约的WASM指令序列。
在一种实施方式中，所述方法还包括，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，相对于所述第一交易进行报错处理。
本说明书另一方面提供一种在虚拟机中执行功能模块的装置，所述功能模块在第一模块中定义，所述装置包括：
获取单元，配置为，获取所述第一模块的WASM指令序列；
确定单元，配置为，基于所述第一模块的WASM指令序列确定全局变量标识范围；
检查单元，配置为，基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。
在一种实施方式中，所述检查单元包括：
解析子单元，配置为，解析该指令是否为全局变量访问指令；
检查子单元，配置为，在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块；
第一执行子单元，配置为，在确定所述第一模块的WASM指令序列中不包括全局变量访问指令的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，所述检查子单元包括，
结束子单元，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述第一模块的处理；
第二执行子单元，配置为，在检查所述第一模块的各个全局变量访问指令中包括的全局变量标识都在所述全局变量标识范围内的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，所述虚拟机为区块链节点中的虚拟机，所述第一模块为第一合约，其中，所述获取单元还配置为，在执行调用第一合约中的函数的第一交易时，从本地存储介质中读取第一合约的指令序列，以获取所述第一合约的WASM指令序列。
在一种实施方式中，所述获取单元包括，读取子单元，配置为，从本地存储介质中读取第一合约的经可变长编码的指令序列，解码子单元，配置为，对所述经可变长编码的指令序列进行解码，以获取所述第一合约的WASM指令序列。
在一种实施方式中，所述装置还包括，报错单元，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，相对于所述第一交易进行报错处理。
本说明书另一方面提供一种计算机可读存储介质，其上存储有计算机程序，当所述计算机程序在计算机中执行时，令计算机执行上述任一项方法。
本说明书另一方面提供一种计算设备，包括存储器和处理器，所述存储器中存储有可执行代码，所述处理器执行所述可执行代码时，实现上述任一项方法。
通过根据本说明书实施例的智能合约执行方案，在解释执行指令序列之前的静态解析过程中，对合约SCORE的指令序列进行一次全局变量下标越界的检查，而不需要每次执行全局变量访问指令时都进行一次下标越界检查，大大减少了在解释执行指令序列时的时长，实现了更高的合约执行速度。
附图说明
通过结合附图描述本说明书实施例，可以使得本说明书实施例更加清楚：
图1示意示出在区块链网络中调用合约SCORE的过程示意图；
图2示出根据本说明书一个实施例的一种在虚拟机中执行合约SCORE的函数（func (;0;)）的方法流程图；
图3示出根据本说明书实施例的一种在虚拟机中执行功能模块的装置300。
具体实施方式
下面将结合附图描述本说明书实施例。
如本领域技术人员所知，区块链网络中包含若干节点，各个节点之间可以进行通信。在例如联盟链的区块链中，用户可以通过客户端向区块链中任一节点发送交易，交易既可以是普通的转账交易，也可以用于部署智能合约或调用智能合约。假设区块链的用户Bob想要发布智能合约Contract SCORE，该智能合约包括如下所示的WASM 文本序列：
(Contract SCORE
(type (;0;) (func (result i32)))
(func (;0;) (type 0) (result i32)
get_global 0)
(global (;0;) i32 (i32.const -2))
(global (;1;) f32 (f32.const -0x1.8p+1 (;=-3;)))
(global (;2;) f64 (f64.const -0x1p+2 (;=-4;)))
(global (;3;) i64 (i64.const -5))
(global (;4;) (mut i32) (i32.const -12))
(global (;5;) (mut f32) (f32.const -0x1.ap+3 (;=-13;)))
(global (;6;) (mut f64) (f64.const -0x1.cp+3 (;=-14;)))
(global (;7;) (mut i64) (i64.const -15))
(export "get-a" (func 0)))。
其中，上述代码第3行定义了接口函数func (;0;),该函数中包括，get_global 0，用于把第0个全局变量值返回给调用者。上述合约代码中还通过第5～12行对第0～7个全局变量进行了定义。可以理解，为了便于阅读，上述WASM指令序列以文本的形式显示，在虚拟机中，WASM指令序列以二进制的格式表示。
然后，Bob可通过其客户端向区块链中任一节点发布用于创建该合约SCORE的交易。从而，区块链网络中的各个节点均可以获取并在本地部署上述智能合约SCORE。
图1示意示出在区块链网络中调用合约SCORE的过程示意图。如图1中所示，区块链网络100中包括节点A～D，用户Alice的客户端可与节点A～D中任一节点连接。假定区块链网络的用户Alice想要调用以上智能合约SCORE，那么Alice通过其客户端可以向例如节点A发起例如交易1（Tx 1），进行合约调用。
具体而言，在交易1中，from字段可以是调用者Alice的地址，to字段即为上述SCORE合约的合约名称和合约地址，表示该交易所调用的智能合约。在数据字段，包含要调用的合约中的方法或函数名称（func (;0;)）。
在Alice将交易1发布到区块链中去之后，各个节点都可以获取并执行交易1。在执行交易1时，通过WASM虚拟机执行合约SCORE中的函数，从而返回合约执行结果。其中，例如在节点D的虚拟机中执行交易1时，从本地区块中获取上述合约SCORE的指令序列，然后对该指令序列中的各个全局访问指令进行静态解析，以进行越界检查，在确定各个全局访问指令中的变量下标（即上述指令get_global 0中的“0”）都未越界之后，再解释执行func (;0;)，具体是，基于WASM序列获取对应的机器码（machine code）并执行该机器码。从而不需要在解释执行func (;0;)的动态过程中进行下标越界的检查，尤其在func (;0;)为循环程序的情况下，可大大节省函数的解释执行时间。
可以理解，图1及相应的描述仅仅是示意性的，而不是限制性的，例如，所述区块链网络不限于为联盟链网络，而也可以为公链网络。另外，所述WASM指令序列不限于为区块链中智能合约的指令序列，而也可以为其它应用场景中的计算模块的指令序列。下文中将以区块链中的智能合约为例进行示例性描述。
下文将详细描述上述在解释执行WASM智能合约之前静态分析全局变量下标越界的方案。
图2示出根据本说明书一个实施例的一种在区块链节点的虚拟机中执行合约SCORE的函数（func (;0;)）的方法流程图，包括：
步骤S202，获取合约SCORE的WASM指令序列；
步骤S204，基于合约SCORE的WASM指令序列确定全局变量标识范围；
步骤S206，对于所述合约SCORE的WASM指令序列中的每个指令，解析该指令是否为全局变量访问指令；
步骤S208，在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内；
步骤S210，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述合约SCORE的处理；
步骤S212，在所述指令序列中不包括全局变量访问指令、或者所述指令序列中的全局变量访问指令都未越界的情况中，解释执行合约SCORE的函数func (;0;)。
下面详细描述图2中各个步骤的执行过程。
首先，在步骤S202，获取合约SCORE的WASM指令序列。
如上文所述，当节点D中的虚拟机执行调用合约SCORE中某个函数（func (;0;)）的交易（例如交易1）时，可从本地存储存储介质中找到预先部署的合约SCORE的指令序列。具体是，基于交易1中的合约SCORE的名称或合约账户，可获取合约SCORE在本地存储介质中的存储地址，并通过该地址读取合约SCORE。例如，在本地存储的区块数据库中，记录了合约的合约地址的哈希值与合约存储地址的对应关系，从而，通过从该对应关系检索合约SCORE的合约地址的哈希值，从而可找到合约SCORE在存储介质中的存储地址。
在一种实施方式中，所述存储介质中存储的合约SCORE的指令序列为WASM指令序列，从而可从存储介质中直接获取合约SCORE的WASM指令序列。
在一种实施方式中，所述存储介质中存储的合约SCORE的指令序列为经leb 128编码的指令序列，以减小文件体积，更好利用存储空间。Leb 128即"Little-Endian Base128"，是对任意有符号或者无符号整型数的可变长度的编码，因此，用Leb128编码的整数，会根据数字的大小改变所占字节数。根据leb 128的编码方式，每个字节的8位（8个bits）中，较低的7位为有效数据部分，最高位用于指示当前字节是否为最后一个字节，1表示最后一个字节，0表示不是最后一个字节，也就是需要接续后续字节。如此，可以采用不同字节数编码不同大小的整数。
相应地，对于leb编码的指令序列，在解码该指令序列时，先将各个字节还原为8位，通过最高位判断是否要接续后面的字节，共同形成目标数据。因此，对该指令序列进行leb 128解码，会得到不定长的指令。为了对这些指令进行存储，可以将可变长指令转换为内存对齐的定长指令。从而，在对leb编码的指令序列进行解码之后，可获取合约SCORE的WASM指令序列。
可以理解，在该实施例中，不限于从节点本地存储介质中获取WASM指令序列，例如，在一种实施方式中，可从内存中读取预先缓存的合约SCORE的WASM指令序列。
在步骤S204，基于合约SCORE的WASM指令序列确定全局变量标识范围。
参考上述合约SCORE的WASM文本序列，虚拟机在获取与该文本序列相应的WASM指令序列之后，通过逐条读取每条指令，可获知该指令序列中共包括多少全局变量。具体是，通过读取上述WASM文本序列中第5-12行对应的WASM指令之后，可确定该指令序列中包括全局变量0～7，共8个全局变量，从而为这些全局变量分配的变量下标分别为0～7，即全局变量标识范围为0～7。
在步骤S206，对于所述合约SCORE的WASM指令序列中的每个指令，逐条解析该指令是否为全局变量访问指令。
例如，当解析到合约SCORE的第4行的“get_global 0”，可解析出该指令为全局变量读指令。全局变量访问指令不限于为全局变量读指令，还包括全局变量写指令，例如，“set_global 1”。该步骤为相对于WASM指令序列中的各条指令的循环步骤。如图2中所示，对于WASM指令序列中的第i条指令，解析该执行是否为全局变量访问指令，如果是，则进入步骤S208，如果不是，如果还有下一条指令，则对第i+1条执行继续执行该步骤，如果没有下一条指令，即该条指令为最后一条指令，则进入步骤S212，即解释执行函数func (;0;)的指令序列。
在步骤S208，在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内。
例如，对于合约SCORE中的全局变量读指令get_global 0，即检查其中的变量下标“0”是否在上述全局变量标识范围0～7之内，显然，0在范围0～7之内。如图2中所示，该步骤为相对于指令序列中的每个全局变量访问指令的循环，当确定指令get_global 0中的变量下标0在范围0～7之内的情况中，如果该指令为合约SCORE的最后一条指令，则进入步骤S212，即，解释执行函数func (;0;)的指令序列，如果该指令不是合约SCORE的最后一条指令，则返回到步骤S206重新执行。
假设合约SCORE中除了上述全局变量读指令，还包括全局变量写指令“set_global10”，很显然，该指令中的变量下标“10”超出了上述虚拟机获取的全局变量标识范围0～7，从而，该全局变量写指令的变量下标是越界的，即，合约SCORE中包括错误指令。所述错误指令“set_global 10”可能是由于打字错误造成，也有可能是恶意方故意发送的恶意指令序列，如果在虚拟机中执行该错误指令，有可能会造成系统漏洞，从而让恶意方有机可乘。在该情况中，执行步骤S210。
在步骤S210，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述合约SCORE的处理。
所述结束对所述合约SCORE的处理，也即取消该虚拟机，从而停止对交易1的执行。
在一种实施方式中，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，在取消虚拟机之前，还进行报错处理。例如，可在状态数据库中记录交易1的执行出错，或者，可在运行日志中记录对交易1的执行出错，其中例如可记录错误码，以指示是全局变量下标越界的错误。节点在发现针对交易1的报错之后，可对发送交易1的客户端发送交易回执，在所述回执中包括所述错误码，以使得用户Alice可获知交易1中存在的错误。
在实际执行合约函数的过程中，有可能对该函数循环成百上千次，或者有可能在该函数中，对全局变量访问指令循环成百上千次，在该情况中，通过图2所示方法中，只需要在解释执行指令序列之前的静态解析过程中，对合约SCORE的指令序列进行一次全局变量下标越界的检查，而不需要每次执行全局变量访问指令时都进行一次下标越界检查，大大减少了在解释执行指令序列时的时长，实现了更高的合约执行速度。
可以理解，虽然上文以在WASM虚拟机中对智能合约的指令序列进行下标越界检查为例进行了描述，本说明书实施例不限于上述实施例。WASM语言可用于多种场景中，如在AutoCAD、GoogleEarth、Unity、WebPack中都通过在虚拟机中执行WASM程序而实施相应的功能，在这些场景中，类似地，通过在虚拟机中在静态解析阶段对WASM计算模块进行越界检查，从而在解释执行该计算模块中的功能模块（即函数）时，可大大减少程序执行时间，加快程序执行速度。
图3示出根据本说明书实施例的一种在虚拟机中执行功能模块的装置300，所述功能模块在第一模块中定义，所述装置包括：
获取单元31，配置为，获取所述第一模块的WASM指令序列；
确定单元32，配置为，基于所述第一模块的WASM指令序列确定全局变量标识范围；
检查单元33，配置为，基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。
在一种实施方式中，所述检查单元33包括：
解析子单元331，配置为，解析该指令是否为全局变量访问指令；
检查子单元332，配置为，在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块；
第一执行子单元333，配置为，在确定所述第一模块的WASM指令序列中不包括全局变量访问指令的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，所述检查子单元332包括，
结束子单元3321，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述第一模块的处理；
第二执行子单元3322，配置为，在检查所述第一模块的各个全局变量访问指令中包括的全局变量标识都在所述全局变量标识范围内的情况中，解释执行所述功能模块的WASM指令序列。
在一种实施方式中，所述虚拟机为区块链节点中的虚拟机，所述第一模块为第一合约，其中，所述获取单元31还配置为，在执行调用第一合约中的函数的第一交易时，从本地存储介质中读取第一合约的指令序列，以获取所述第一合约的WASM指令序列。
在一种实施方式中，所述获取单元31包括，读取子单元311，配置为，从本地存储介质中读取第一合约的经可变长编码的指令序列，解码子单元312，配置为，对所述经可变长编码的指令序列进行解码，以获取所述第一合约的WASM指令序列。
在一种实施方式中，所述装置还包括，报错单元34，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，相对于所述第一交易进行报错处理。
本说明书另一方面提供一种计算机可读存储介质，其上存储有计算机程序，当所述计算机程序在计算机中执行时，令计算机执行上述任一项方法。
本说明书另一方面提供一种计算设备，包括存储器和处理器，所述存储器中存储有可执行代码，所述处理器执行所述可执行代码时，实现上述任一项方法。
需要理解，本文中的“第一”，“第二”等描述，仅仅为了描述的简单而对相似概念进行区分，并不具有其他限定作用。
本说明书中的各个实施例均采用递进的方式描述，各个实施例之间相同相似的部分互相参见即可，每个实施例重点说明的都是与其他实施例的不同之处。尤其，对于系统实施例而言，由于其基本相似于方法实施例，所以描述的比较简单，相关之处参见方法实施例的部分说明即可。
上述对本说明书特定实施例进行了描述。其它实施例在所附权利要求书的范围内。在一些情况下，在权利要求书中记载的动作或步骤可以按照不同于实施例中的顺序来执行并且仍然可以实现期望的结果。另外，在附图中描绘的过程不一定要求示出的特定顺序或者连续顺序才能实现期望的结果。在某些实施方式中，多任务处理和并行处理也是可以的或者可能是有利的。
本领域普通技术人员应该还可以进一步意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、计算机软件或者二者的结合来实现，为了清楚地说明硬件和软件的可互换性，在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。本领域普通技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本申请的范围。其中，软件模块可以置于随机存储器（RAM）、内存、只读存储器（ROM）、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。
以上所述的具体实施方式，对本发明的目的、技术方案和有益效果进行了进一步详细说明，所应理解的是，以上所述仅为本发明的具体实施方式而已，并不用于限定本发明的保护范围，凡在本发明的精神和原则之内，所做的任何修改、等同替换、改进等，均应包含在本发明的保护范围之内。

Claims (18)

1.一种在虚拟机中执行功能模块的方法，所述功能模块在第一模块中定义，所述方法包括：
获取所述第一模块的WASM指令序列；
基于所述第一模块的WASM指令序列确定全局变量标识范围；
基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。
2.根据权利要求1所述的方法，其中，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查包括：
解析该指令是否为全局变量访问指令；
在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块。
3.根据权利要求2所述的方法，还包括，在确定所述第一模块的WASM指令序列中不包括全局变量访问指令的情况中，解释执行所述功能模块的WASM指令序列。
4.根据权利要求2所述的方法，其中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块包括，
在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述第一模块的处理。
5.根据权利要求4所述的方法，其中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块还包括，在检查所述第一模块的各个全局变量访问指令中包括的全局变量标识都在所述全局变量标识范围内的情况中，解释执行所述功能模块的WASM指令序列。
6.根据权利要求2所述的方法，其中，所述虚拟机为区块链节点中的虚拟机，所述第一模块为第一合约，其中，获取所述第一模块的WASM指令序列包括，在执行调用第一合约中的函数的第一交易时，从本地存储介质中读取第一合约的指令序列，以获取所述第一合约的WASM指令序列。
7.根据权利要求6所述的方法，其中，从本地存储介质中读取第一合约的指令序列包括，从本地存储介质中读取第一合约的经可变长编码的指令序列，对所述经可变长编码的指令序列进行解码，以获取所述第一合约的WASM指令序列。
8.根据权利要求6所述的方法，还包括，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，相对于所述第一交易进行报错处理。
9.一种在虚拟机中执行功能模块的装置，所述功能模块在第一模块中定义，所述装置包括：
获取单元，配置为，获取所述第一模块的WASM指令序列；
确定单元，配置为，基于所述第一模块的WASM指令序列确定全局变量标识范围；
检查单元，配置为，基于所述全局变量标识范围，对所述第一模块的WASM指令序列中的每个指令进行全局变量标识检查，以确定是否执行所述功能模块。
10.根据权利要求7所述的装置，其中，所述检查单元包括：
解析子单元，配置为，解析该指令是否为全局变量访问指令；
检查子单元，配置为，在解析出所述指令为全局变量访问指令的情况中，检查该指令包括的全局变量标识是否在所述全局变量标识范围内，以确定是否执行所述功能模块。
11.根据权利要求10所述的装置，所述检查单元还包括：
第一执行子单元，配置为，在确定所述第一模块的WASM指令序列中不包括全局变量访问指令的情况中，解释执行所述功能模块的WASM指令序列。
12.根据权利要求10所述的装置，其中，所述检查子单元包括，
结束子单元，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，结束对所述第一模块的处理。
13.根据权利要求12所述的装置，其中，所述检查子单元还包括，
第二执行子单元，配置为，在检查所述第一模块的各个全局变量访问指令中包括的全局变量标识都在所述全局变量标识范围内的情况中，解释执行所述功能模块的WASM指令序列。
14.根据权利要求10所述的装置，其中，所述虚拟机为区块链节点中的虚拟机，所述第一模块为第一合约，其中，所述获取单元还配置为，在执行调用第一合约中的函数的第一交易时，从本地存储介质中读取第一合约的指令序列，以获取所述第一合约的WASM指令序列。
15.根据权利要求14所述的装置，其中，所述获取单元包括，读取子单元，配置为，从本地存储介质中读取第一合约的经可变长编码的指令序列，解码子单元，配置为，对所述经可变长编码的指令序列进行解码，以获取所述第一合约的WASM指令序列。
16.根据权利要求14所述的装置，还包括，报错单元，配置为，在检查出该指令包括的全局变量标识超出所述全局变量标识范围的情况中，相对于所述第一交易进行报错处理。
17.一种计算机可读存储介质，其上存储有计算机程序，当所述计算机程序在计算机中执行时，令计算机执行权利要求1-8中任一项的所述的方法。
18.一种计算设备，包括存储器和处理器，所述存储器中存储有可执行代码，所述处理器执行所述可执行代码时，实现权利要求1-8中任一项所述的方法。
CN202010147875.XA 2020-03-05 2020-03-05 一种在虚拟机中执行功能模块的方法和装置 Active CN111008067B (zh)

Priority Applications (2)

Application Number Priority Date Filing Date Title
CN202010147875.XA CN111008067B (zh) 2020-03-05 2020-03-05 一种在虚拟机中执行功能模块的方法和装置
PCT/CN2021/074399 WO2021175053A1 (zh) 2020-03-05 2021-01-29 一种在虚拟机中执行功能模块的方法和装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010147875.XA CN111008067B (zh) 2020-03-05 2020-03-05 一种在虚拟机中执行功能模块的方法和装置

Publications (2)

Publication Number Publication Date
CN111008067A true CN111008067A (zh) 2020-04-14
CN111008067B CN111008067B (zh) 2020-06-09

Family

ID=70121002

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010147875.XA Active CN111008067B (zh) 2020-03-05 2020-03-05 一种在虚拟机中执行功能模块的方法和装置

Country Status (2)

Country Link
CN (1) CN111008067B (zh)
WO (1) WO2021175053A1 (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2021175053A1 (zh) * 2020-03-05 2021-09-10 支付宝(杭州)信息技术有限公司 一种在虚拟机中执行功能模块的方法和装置
CN116661910A (zh) * 2023-08-01 2023-08-29 北京中电华大电子设计有限责任公司 一种应用调用的方法及装置

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN114661300B (zh) * 2022-04-11 2022-10-18 北京万昇智能科技有限公司 将PLC程序代码编译为WebAssembly代码的方法及装置

Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101211273A (zh) * 2006-12-25 2008-07-02 上海科泰世纪科技有限公司 在构件编程中自动生成Singleton模式的方法
CN110096338A (zh) * 2019-05-10 2019-08-06 百度在线网络技术（北京）有限公司 智能合约执行方法、装置、设备及介质
CN110704063A (zh) * 2019-09-30 2020-01-17 支付宝(杭州)信息技术有限公司 编译和执行智能合约的方法及装置

Family Cites Families (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US10324693B2 (en) * 2015-11-24 2019-06-18 Nvidia Corporation Optimizing multiple invocations of graphics processing unit programs in Java
CN110675256B (zh) * 2019-08-30 2020-08-21 阿里巴巴集团控股有限公司 部署和执行智能合约的方法及装置
CN111008067B (zh) * 2020-03-05 2020-06-09 支付宝(杭州)信息技术有限公司 一种在虚拟机中执行功能模块的方法和装置

Patent Citations (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101211273A (zh) * 2006-12-25 2008-07-02 上海科泰世纪科技有限公司 在构件编程中自动生成Singleton模式的方法
CN110096338A (zh) * 2019-05-10 2019-08-06 百度在线网络技术（北京）有限公司 智能合约执行方法、装置、设备及介质
CN110704063A (zh) * 2019-09-30 2020-01-17 支付宝(杭州)信息技术有限公司 编译和执行智能合约的方法及装置

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2021175053A1 (zh) * 2020-03-05 2021-09-10 支付宝(杭州)信息技术有限公司 一种在虚拟机中执行功能模块的方法和装置
CN116661910A (zh) * 2023-08-01 2023-08-29 北京中电华大电子设计有限责任公司 一种应用调用的方法及装置
CN116661910B (zh) * 2023-08-01 2023-09-22 北京中电华大电子设计有限责任公司 一种应用调用的方法及装置

Also Published As

Publication number Publication date
CN111008067B (zh) 2020-06-09
WO2021175053A1 (zh) 2021-09-10

Similar Documents

Publication Publication Date Title
CN110675256B (zh) 部署和执行智能合约的方法及装置
CN111008067B (zh) 一种在虚拟机中执行功能模块的方法和装置
CN111045792A (zh) 缓存和执行智能合约的方法和装置
CN106970820B (zh) 代码存储方法及代码存储装置
CN110688122B (zh) 编译和执行智能合约的方法及装置
CN110704063B (zh) 编译和执行智能合约的方法及装置
CN110704064B (zh) 编译和执行智能合约的方法及装置
US6823504B1 (en) Method and apparatus for interfacing a javascript interpreter with library of host objects implemented in java
CN110245467B (zh) 基于Dex2C与LLVM的Android应用程序保护方法
US20140137087A1 (en) Target Typing of Overloaded Method and Constructor Arguments
US6951014B1 (en) Method and apparatus for representation of a JavaScript program for execution by a JavaScript interpreter
US9405652B2 (en) Regular expression support in instrumentation languages using kernel-mode executable code
CN116324773A (zh) 用于保护智能合约免受攻击的方法和装置
CN111045793A (zh) 一种在虚拟机中执行功能模块的方法和装置
CN111709026A (zh) 静态安全检测方法、装置、计算机设备和存储介质
CN113849781B (zh) Go语言源代码混淆方法、系统、终端及存储介质
KR102314829B1 (ko) 애플리케이션 내부의 데이터 유출 위험성 평가 방법, 이를 수행하기 위한 기록 매체 및 장치
CN114611500A (zh) 表达式处理方法、装置、电子设备及计算机可读存储介质
CN113420569A (zh) 代码翻译方法、装置、设备及存储介质
CN111475152A (zh) 一种代码处理方法及装置
Kim et al. Static dalvik bytecode optimization for Android applications
CN116305131B (zh) 脚本静态去混淆方法及系统
CN114327415B (zh) 一种用于编译java文件的编译方法及装置
Bista et al. A hybrid approach to Java virtual machine used in wireless sensor networks
CN114253526A (zh) 在线计价方法、装置、设备及存储介质

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
REG Reference to a national code

Ref country code: HK

Ref legal event code: DE

Ref document number: 40027348

Country of ref document: HK