CN113867709B - 区块链智能合约读写集构建方法及装置 - Google Patents
区块链智能合约读写集构建方法及装置 Download PDFInfo
- Publication number
- CN113867709B CN113867709B CN202111446793.6A CN202111446793A CN113867709B CN 113867709 B CN113867709 B CN 113867709B CN 202111446793 A CN202111446793 A CN 202111446793A CN 113867709 B CN113867709 B CN 113867709B
- Authority
- CN
- China
- Prior art keywords
- intelligent contract
- read
- basic block
- statement
- processed
- 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
- 238000010276 construction Methods 0.000 title claims description 37
- 238000000034 method Methods 0.000 claims abstract description 67
- 238000010586 diagram Methods 0.000 claims abstract description 30
- 230000000977 initiatory effect Effects 0.000 claims abstract description 30
- 230000008569 process Effects 0.000 claims description 39
- 238000006243 chemical reaction Methods 0.000 claims description 32
- 238000012546 transfer Methods 0.000 claims description 17
- 238000012163 sequencing technique Methods 0.000 claims description 5
- 230000001902 propagating effect Effects 0.000 claims description 4
- 238000012545 processing Methods 0.000 abstract description 60
- 238000011161 development Methods 0.000 abstract description 21
- 230000003340 mental effect Effects 0.000 abstract description 10
- 230000006870 function Effects 0.000 description 51
- 230000009191 jumping Effects 0.000 description 18
- 238000004891 communication Methods 0.000 description 10
- 238000005516 engineering process Methods 0.000 description 9
- 238000013507 mapping Methods 0.000 description 9
- 230000003068 static effect Effects 0.000 description 4
- 230000008878 coupling Effects 0.000 description 3
- 238000010168 coupling process Methods 0.000 description 3
- 238000005859 coupling reaction Methods 0.000 description 3
- 238000000638 solvent extraction Methods 0.000 description 3
- 230000005540 biological transmission Effects 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 238000004590 computer program Methods 0.000 description 2
- 230000000644 propagated effect Effects 0.000 description 2
- 230000002159 abnormal effect Effects 0.000 description 1
- 238000013459 approach Methods 0.000 description 1
- 238000013500 data storage Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 230000008030 elimination Effects 0.000 description 1
- 238000003379 elimination reaction Methods 0.000 description 1
- 238000004880 explosion Methods 0.000 description 1
- 239000002360 explosive Substances 0.000 description 1
- 239000003999 initiator Substances 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
- JEIPFZHSYJVQDO-UHFFFAOYSA-N iron(III) oxide Inorganic materials O=[Fe]O[Fe]=O JEIPFZHSYJVQDO-UHFFFAOYSA-N 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 239000007787 solid Substances 0.000 description 1
- 230000007480 spreading Effects 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/30—Creation or generation of source code
- G06F8/31—Programming languages or programming paradigms
-
- 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
- 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
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/382—Payment protocols; Details thereof insuring higher security of transaction
- G06Q20/3829—Payment protocols; Details thereof insuring higher security of transaction involving key management
-
- 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
- G06Q20/00—Payment architectures, schemes or protocols
- G06Q20/38—Payment protocols; Details thereof
- G06Q20/40—Authorisation, e.g. identification of payer or payee, verification of customer or shop credentials; Review and approval of payers, e.g. check credit lines or negative lists
- G06Q20/405—Establishing or using transaction specific rules
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Accounting & Taxation (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- Software Systems (AREA)
- Computer Security & Cryptography (AREA)
- Finance (AREA)
- Strategic Management (AREA)
- General Business, Economics & Management (AREA)
- Economics (AREA)
- Development Economics (AREA)
- Computing Systems (AREA)
- Stored Programmes (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
Abstract
本申请提供一种区块链智能合约读写集构建方法及装置,该方法在编译待处理智能合约时,通过将该智能合约划分为一个或多个基本块,基于该一个或多个基本块,建立相应的控制流图,进而,基于该控制流图,确定图中每个基本块中发起区块链存储读写请求的代码语句,从而,根据该代码语句,确定目标数据来源,根据该目标数据来源,构建上述智能合约的读写集。其中,无需智能合约开发者参与,解决了现有由智能合约开发者构造交易读写集,增加智能合约开发者的心智负担和工作量的问题,降低了并行智能合约开发的复杂性,加快交易整体处理效率,而且,对智能合约开发者完全透明,较好地改善了开发者开发并行智能合约时的体验。
Description
技术领域
本申请涉及金融科技(Fintech)的区块链技术,尤其涉及一种区块链智能合约读写集构建方法及装置。
背景技术
随着计算机技术的发展,越来越多的技术应用在金融领域,传统金融业正在逐步向金融科技转变,区块链技术也不例外,但由于金融行业的安全性、实时性要求,其对区块链技术提出更高的要求。
当前分布式存储系统在金融行业中应用越来越广泛。区块链系统是一种多中心、防篡改、防抵赖的分布式存储系统,因此,区块链系统在金融行业中应用越来越多。对于现代的区块链系统来说,智能合约的发展是区块链技术发展的一个里程碑,提供了更加强大的逻辑功能,可以满足各种领域的业务要求将区块链从最初单一数字货币应用,发展融入到了多个领域。
在区块链系统中,为了提升交易整体处理效率,需要在保证区块链数据并发安全的前提下尽可能提高交易的并行处理能力。由于现有区块链系统中每笔交易都需要基于智能合约中读写集执行,因此为了提高交易的并行处理能力,现有一般由智能合约开发者在不执行交易时构造交易读写集,并在智能合约源代码中以元数据的方式声明交易的具体读写集构造规则。然而,现有交易读写集的构造要求智能合约开发者必须遵守一定规则,增加了智能合约开发者的心智负担和工作量,也增加了并行智能合约开发的复杂性,潜在地降低了交易整体处理效率。
发明内容
为解决现有技术中存在的问题,本申请提供一种区块链智能合约读写集构建方法及装置。
第一方面,本申请实施例提供一种区块链智能合约读写集构建方法,所述方法包括:
在编译待处理智能合约时,将所述待处理智能合约划分为一个或多个基本块;
基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图;
基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句;
根据所述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源;
根据所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的实现方式中,所述基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图,包括:
基于所述一个或多个基本块,确定所述待处理智能合约的各个程序语句中的首语句以及跳转语句;
根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图,包括:
根据所述首语句和所述跳转语句的目标地址,对所述各个程序语句进行排序,并对排序后的各个程序语句进行去重;
基于去重后各个程序语句,确定所述控制流图中的基本块节点,并基于所述去重后各个程序语句中每一跳转语句的目标地址,确定所述控制流图中由基本块指向目标地址所在的基本块的有向边;
根据所述基本块节点和所述有向边,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述根据所述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源,包括:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量;
基于所述每个基本块中被用作键的程序变量,确定所述目标数据来源。
在一种可能的实现方式中,所述根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量,包括:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,其中,所述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,所述冲突域为基本块中被用作键的程序变量的集合;
基于所述每个基本块的转换函数,分别定位出读写过程中所述每个基本块中被用作键的程序变量。
在一种可能的实现方式中,所述根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,包括:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的代码语句中为定值的所有程序变量的第一集合,以及所述每个基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的第二集合;
根据所述第一集合和所述第二集合,分别确定所述每个基本块的转换函数。
在一种可能的实现方式中,所述基于所述每个基本块中被用作键的程序变量,确定所述目标数据来源,包括:
在所述每个基本块中被用作键的程序变量上添加预设标签;
将所述预设标签沿所述待处理智能合约的数据流转路径逆向传播至所述待处理智能合约执行的入口点,识别出所述每个基本块中被用作键的程序变量的目标数据来源。
在一种可能的实现方式中,所述将所述待处理智能合约划分为一个或多个基本块,包括:
扫描所述待处理智能合约,确定所述待处理智能合约的代码结构;
根据所述代码结构以及预设的基本块条件,将所述待处理智能合约划分为所述一个或多个基本块。
在一种可能的实现方式中,所述根据所述目标数据来源,构建所述待处理智能合约的读写集,包括:
判断所述目标数据来源是否由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成;
若所述目标数据来源是由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成,则基于所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的实现方式中,所述基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句,包括:
获取预存的区块链存储的读写请求代码语句;
基于所述区块链存储的读写请求代码语句和所述控制流图,在所述每个基本块中识别出发起区块链存储读写请求的代码语句。
第二方面,本申请实施例提供一种区块链智能合约读写集构建装置,所述装置包括:
合约划分模块,用于在编译待处理智能合约时,将所述待处理智能合约划分为一个或多个基本块;
图形建立模块,用于基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图;
读写确定模块,用于基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句;
来源确定模块,用于根据所述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源;
读写集构建模块,用于根据所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的实现方式中,所述图形建立模块,具体用于:
基于所述一个或多个基本块,确定所述待处理智能合约的各个程序语句中的首语句以及跳转语句;
根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述图形建立模块,具体用于:
根据所述首语句和所述跳转语句的目标地址,对所述各个程序语句进行排序,并对排序后的各个程序语句进行去重;
基于去重后各个程序语句,确定所述控制流图中的基本块节点,并基于所述去重后各个程序语句中每一跳转语句的目标地址,确定所述控制流图中由基本块指向目标地址所在的基本块的有向边;
根据所述基本块节点和所述有向边,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述来源确定模块,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量;
基于所述每个基本块中被用作键的程序变量,确定所述目标数据来源。
在一种可能的实现方式中,所述来源确定模块,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,其中,所述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,所述冲突域为基本块中被用作键的程序变量的集合;
基于所述每个基本块的转换函数,分别定位出读写过程中所述每个基本块中被用作键的程序变量。
在一种可能的实现方式中,所述来源确定模块,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的代码语句中为定值的所有程序变量的第一集合,以及所述每个基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的第二集合;
根据所述第一集合和所述第二集合,分别确定所述每个基本块的转换函数。
在一种可能的实现方式中,所述来源确定模块,具体用于:
在所述每个基本块中被用作键的程序变量上添加预设标签;
将所述预设标签沿所述待处理智能合约的数据流转路径逆向传播至所述待处理智能合约执行的入口点,识别出所述每个基本块中被用作键的程序变量的目标数据来源。
在一种可能的实现方式中,所述合约划分模块,具体用于:
扫描所述待处理智能合约,确定所述待处理智能合约的代码结构;
根据所述代码结构以及预设的基本块条件,将所述待处理智能合约划分为所述一个或多个基本块。
在一种可能的实现方式中,所述读写集构建模块,具体用于:
判断所述目标数据来源是否由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成;
若所述目标数据来源是由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成,则基于所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的实现方式中,所述读写确定模块,具体用于:
获取预存的区块链存储的读写请求代码语句;
基于所述区块链存储的读写请求代码语句和所述控制流图,在所述每个基本块中识别出发起区块链存储读写请求的代码语句。
本申请实施例提供的区块链智能合约读写集构建方法及装置,该方法在编译待处理智能合约时,通过将该智能合约划分为一个或多个基本块,基于该一个或多个基本块,建立相应的控制流图,进而,基于该控制流图,确定图中每个基本块中发起区块链存储读写请求的代码语句,从而,根据该代码语句,确定目标数据来源,根据该目标数据来源,构建上述智能合约的读写集。其中,无需智能合约开发者参与,解决了现有由智能合约开发者构造交易读写集,增加智能合约开发者的心智负担和工作量的问题,降低了并行智能合约开发的复杂性,加快交易整体处理效率。而且,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,较好地改善了开发者开发并行智能合约时的体验。
附图说明
为了更清楚地说明本申请实施例或现有技术中的技术方案,下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本申请的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动性的前提下,还可以根据这些附图获得其他的附图。
图1为本申请实施例提供的一种区块链智能合约读写集构建系统架构示意图;
图2为本申请实施例提供的一种区块链智能合约读写集构建方法的流程示意图;
图3为本申请实施例提供的另一种区块链智能合约读写集构建方法的流程示意图;
图4为本申请实施例提供的一种建立控制流图的流程示意图;
图5为本申请实施例提供的某一智能合约对应的控制流图示意图;
图6为本申请实施例提供的再一种区块链智能合约读写集构建方法的流程示意图;
图7为本申请实施例提供的一种区块链智能合约读写集构建装置的结构示意图;
图8示出了本申请区块链智能合约读写集构建设备的一种可能的结构示意图。
具体实施方式
下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例仅仅是本申请一部分实施例,而不是全部的实施例。基于本申请中的实施例,本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例,都属于本申请保护的范围。
本申请的说明书和权利要求书及上述附图中的术语“第一”、“第二”、“第三”及“第四”等(如果存在)是用于区别类似的对象,而不必用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便这里描述的本申请的实施例能够以除了在这里图示或描述的那些以外的顺序实施。此外,术语“包括”和“具有”以及他们的任何变形,意图在于覆盖不排他的包含,例如,包含了一系列步骤或单元的过程、方法、系统、产品或设备不必限于清楚地列出的那些步骤或单元,而是可包括没有清楚地列出的或对于这些过程、方法、产品或设备固有的其它步骤或单元。
当前在金融行业中,分布式存储系统的应用越来越广泛。例如随着金融行业中数据的爆发式增长,传统存储系统由于磁盘空间不足、处理能力有限等已经不能满足当前数据存储的要求,分布式存储系统的应用在一定程度上解决了传统存储系统的存储瓶颈。区块链系统是一种多中心、防篡改、防抵赖的分布式存储系统,因此,区块链系统在金融行业中应用越来越多。对于现代的区块链系统来说,智能合约的发展是区块链技术发展的一个里程碑,提供了更加强大的逻辑功能,可以满足各种领域的业务要求将区块链从最初单一数字货币应用,发展融入到了多个领域。
在现有技术方案中,区块链系统中每笔交易执行时都要基于交易读写集(读写集中所包含的键意味着对其所对应数据的排他性使用,例如在转账问题中,读写集中包含发起方账户地址及接受方账户地址),区块链的交易执行系统将不同交易组织为依赖关系图,并按照依赖图中的前后依赖关系调度交易并行执行。为了提升区块链系统中交易整体处理效率,区块链系统需要在保证区块链数据并发安全的前提下尽可能提高交易的并行处理能力。因此,现有一般由智能合约开发者在不执行交易时构造交易读写集,并在智能合约源代码中以元数据的方式声明交易的具体读写集构造规则。例如:对于简单的转账交易,每笔转账交易的读写集由交易输入参数中的发送者地址与接收者地址所共同构成。同时,智能合约开发者需要显式调用区块链底层系统所暴露的公开接口进行读写集注册。在执行相关交易时,区块链的交易执行系统则会读取提前注册的读写集构造规则构建出交易的读写集,随后按照读写集中的内容将区块中的所有交易排列为交易依赖图并进行调度执行。
但是,现有读写集的构造增加了智能合约开发者在开发并行智能合约时的心智负担和工作量,开发者在指定交易读写集构造规则时必须十分谨慎,因为如果读写集构造规则没有正确声明,则极有可能导致区块链系统陷入无法一致共识的灾难性后果。而且,现有读写集的构造要求智能合约开发者必须遵守一定规则,例如按照要求在合约中实现读写集规则注册等接口,且数据依赖项的声明必须遵循一定格式规范,如若读写集来自于交易输入参数则必须将这些参数置于智能合约函数参数列表的前列,这些要求及规范均增加了智能合约开发的复杂性。另外,现有只有在智能合约开发者显式声明及注册读写集构造规则的智能合约,才能够获得区块链交易执行系统并行执行的机会,而其它虽然也能够被并行执行但其开发者未进行注册的智能合约则无法并行执行,从而潜在地降低了交易整体处理效率。
因此,本申请实施例提出一种区块链智能合约读写集构建方法,在编译期进行交易读写集构造规则分析,无需实际执行智能合约函数便可构建出该函数的读写集,其中,不用智能合约开发者参与,解决了现有由智能合约开发者构造交易读写集,增加智能合约开发者的心智负担和工作量的问题,降低了并行智能合约开发的复杂性,加快交易整体处理效率。而且,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,因此较好地改善了开发者开发并行智能合约时的体验。
这里,在本申请实施例中,上述区块链系统可以理解是一种由多个节点共同维护的及信任的分布式存储系统。区块链底层是由一系列区块组成的一条链,每个块上除了记录本块的数据还会记录上一块的哈希值,通过这种方式组成链式的数据结构。一个区块由块头和块体组成,其中块头定义包括该区块高度、上一个区块的哈希值等重要字段,而块体主要存储交易数据。区块链利用密码学的方式保证数据传输和访问的安全,并利用链式结构保证链上数据不可被篡改。
上述智能合约可以理解是运行在区块链系统之上的一份代码和数据的集合,其中代码负责实现智能合约的功能,数据负责存储智能合约状态,智能合约可以接收和发送信息。
上述交易可以理解是在区块链中,任何操作(部署合约、调用合约接口等)都是通过发送交易的方式进行。交易由用户发起,并通过客户端发送至区块链节点。区块链节点在收到交易后,会将交易打包为区块并执行。
上述读写集可以理解是交易在执行期间,产生的读写集。读集包含了交易执行期间所读取的键的集合,写集合则是包含了所写入的键的集合。读集和写集中的键可重叠。
可选地,本申请提供的一种区块链智能合约读写集构建方法,可以适用于图1所示的区块链智能合约读写集构建系统架构示意图,图1以金融领域某一转账交易的智能合约中交易读写集构建为例。如图1所示,该系统可以包括接收装置101、处理装置102和显示装置103。
在具体实现过程中,接收装置101可以是输入/输出接口,也可以是通信接口,可以用于接收上述转账交易的智能合约。
处理装置102可以通过上述接收装置101获取上述智能合约,进而,对上述智能合约进行静态程序分析,在编译期进行交易读写集构造。其中,无需智能合约开发者参与,从而减轻智能合约开发者的心智负担和工作量,降低了并行智能合约开发的复杂性,加快交易整体处理效率。而且,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,因此较好地改善了开发者开发并行智能合约时的体验。
其中,上述静态程序分析可以理解是指在不运行程序的条件下,对某些程序属性进行分析的方法。静态程序分析的结果无法做到完全精确,对于执行路径无穷的程序(如包含无限递归的程序),无法枚举出所有程序可能的执行路径,即使执行路径有限,由于状态爆炸的问题往往也无法进行路径遍历,因此静态程序分析往往采用近似方法:即若原始的分析目标是对某个性质回答“是”或“否”,近似方法的目标则是将这一目标变为回答“是”、“否”或“不知道”,即允许出现不确定的回答,例如“这段程序可能有漏洞(bug)”。
另外,显示装置103可以用于对上述交易读写集构造过程等进行显示。
显示装置还可以是触摸显示屏,用于在显示的上述内容的同时接收用户指令,以实现与用户的交互。
而且,上述处理装置102在构造得到交易读写集后,可以将构造的交易读写集发送至交易执行系统。这样,交易执行系统可以按照读写集中的内容将区块中的所有交易排列为交易依赖图并进行调度执行。
应理解,上述处理装置可以通过处理器读取存储器中的指令并执行指令的方式实现,也可以通过芯片电路实现。
上述系统仅为一种示例性系统,具体实施时,可以根据应用需求设置。
可以理解的是,本申请实施例示意的结构并不构成对区块链智能合约读写集构建系统架构的具体限定。在本申请另一些可行的实施方式中,上述架构可以包括比图示更多或更少的部件,或者组合某些部件,或者拆分某些部件,或者不同的部件布置,具体可根据实际应用场景确定,在此不做限制。图1所示的部件可以以硬件,软件,或软件与硬件的组合实现。
另外,本申请实施例描述的系统架构是为了更加清楚的说明本申请实施例的技术方案,并不构成对于本申请实施例提供的技术方案的限定,本领域普通技术人员可知,随着系统架构的演变和新业务场景的出现,本申请实施例提供的技术方案对于类似的技术问题,同样适用。
下面以几个实施例为例对本申请的技术方案进行描述,对于相同或相似的概念或过程可能在某些实施例不再赘述。
图2为本申请实施例提供的一种区块链智能合约读写集构建方法的流程示意图,本实施例的执行主体可以为图1所示实施例中的处理装置,具体可以根据实际情况确定。如图2所示,本申请实施例提供的区块链智能合约读写集构建方法包括如下步骤:
S201:在编译待处理智能合约时,将该待处理智能合约划分为一个或多个基本块。
其中,上述待处理智能合约可以根据实际情况确定,例如上述图1中所述的金融领域某一转账交易的智能合约。
这里,上述处理装置可以在编译上述待处理智能合约时,扫描上述待处理智能合约,确定上述待处理智能合约的代码结构,从而,根据该代码结构以及预设的基本块条件,将上述待处理智能合约划分为一个或多个基本块,这样使得后续的分析过程可以以基本块为单位进行,批量处理程序语句,提高分析性能。
其中,上述预设的基本块条件可以包括下列条件:控制流只能从基本块的第一条程序语句进入该块,也就是说,没有跳转到基本块中间或末尾指令的转移语句;除了基本块的最后一条程序语句,控制流在离开基本块之前不会跳转或者停机等。
S202:基于上述一个或多个基本块,建立上述待处理智能合约对应的控制流图。
这里,控制流图可以理解是一个过程或程序的抽象表现,代表了一个程序执行过程中会遍历到的所有路径。控制流图用图的形式表示一个过程内所有基本块执行的可能流向。控制流图中每个顶点都对应一个基本块,并使用有向边来表示分支。
上述处理装置在编译智能合约时,通过扫描智能合约确定其代码结构,进而,基于该代码结构将智能合约划分为基本块,从而,基于该基本块建立相应的控制流图,获得程序执行过程中会遍历到的所有路径,便于后续处理,满足应用需要。
S203:基于上述控制流图,确定上述控制流图的每个基本块中发起区块链存储读写请求的代码语句。
示例性的,上述处理装置可以获取预存的区块链存储的读写请求代码语句,从而,基于该读写请求代码语句和上述控制流图,在上述控制流图的每个基本块中识别出发起区块链存储读写请求的代码语句。
其中,上述预存的区块链存储的读写请求代码语句可以是相关技术人员设置的。上述处理装置获取上述技术人员设置的信息,从而,基于该信息,在上述控制流图的每个基本块中识别出发起区块链存储读写请求的代码语句。
S204:根据上述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源。
这里,上述处理装置可以在上述每个基本块中识别出发起区块链存储读写请求的代码语句,并通过调用语句所使用的参数定位出读写过程中每个基本块中被用作键的程序变量,从而,基于每个基本块中被用作键的程序变量,确定上述目标数据来源。例如,上述处理装置可以为上述程序变量添加预设标签,并将该标签沿数据流转路径逆向传播至智能合约执行的入口点,从而最终根据标签识别出上述程序变量的目标数据来源。
例如下述以Rust语言编写的智能合约代码为例:
1.pub fn transfer(&mut self, user_1: string, user_2: string) {
2.user_1= user_2;
3.self.balance[&user_1]-=amount;
4.}
在代码第3行中,智能合约函数“transfer”会以“user_1”为索引,修改状态变量“balance”中对应的值,此语句会造成一次区块链存储的写请求。当上述处理装置编译该合约时,可以基于第3行代码,为“user_1”变量添加预设标签,随之将该标签在代码逻辑中逆向传播。第2行代码为赋值语句,即“user_1”变量的值由“user_2”变量赋予,因此上述标签传播至“user_2”变量。此后,逆向传播流程抵达合约函数“transfer”的入口点,分析过程结束,“transfer”函数的读写集来自于交易输入中“user_2”的值,即对于调用“transfer”合约函数的不同交易,只要交易输入中的“user_2”的值不相同,则这些交易在执行时一定不会发生读写冲突从而造成区块链数据状态异常。
另外,上述预设标签可以根据实际情况确定,例如在上述被用作键的程序变量上添加标签“键”。上述预设标签用于突出上述被用作键的程序变量
S205:根据上述目标数据来源,构建上述待处理智能合约的读写集。
在本申请实施例中,上述处理装置可以判断上述目标数据来源是否由上述待处理智能合约的交易输入、区块链系统环境信息或常量构成。如果上述目标数据来源是由上述待处理智能合约的交易输入、区块链系统环境信息或常量构成,则上述处理装置可以基于上述目标数据来源,构建上述待处理智能合约的读写集,并可以将读写集中键的来源信息编码至程序输出中,这些信息可以为后续的智能合约执行系统所利用。
本申请实施例,上述处理装置在编译待处理智能合约时,通过将该智能合约划分为一个或多个基本块,基于该一个或多个基本块,建立相应的控制流图,进而,基于该控制流图,确定图中每个基本块中发起区块链存储读写请求的代码语句,从而,根据该代码语句,确定目标数据来源,根据该目标数据来源,构建上述智能合约的读写集。其中,无需智能合约开发者参与,解决了现有由智能合约开发者构造交易读写集,增加智能合约开发者的心智负担和工作量的问题,降低了并行智能合约开发的复杂性,加快交易整体处理效率。而且,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,较好地改善了开发者开发并行智能合约时的体验。
另外,上述处理装置在建立上述待处理智能合约对应的控制流图时,考虑基于上述一个或多个基本块,确定上述待处理智能合约的各个程序语句中的首语句以及跳转语句,从而,根据该首语句和跳转语句的目标地址,建立上述待处理智能合约对应的控制流图,这样后续的分析过程可以以控制流图中的基本块为单位进行,批量处理程序语句,提高分析性能。图3为本申请实施例提出的另一种区块链智能合约读写集构建方法的流程示意图。如图3所示,该方法包括:
S301:在编译待处理智能合约时,将该待处理智能合约划分为一个或多个基本块。
其中,步骤S301与上述步骤S201的实现方式相同,此处不再赘述。
S302:基于上述一个或多个基本块,确定上述待处理智能合约的各个程序语句中的首语句以及跳转语句。
S303:根据上述首语句和跳转语句的目标地址,建立上述待处理智能合约对应的控制流图。
示例性的,上述处理装置建立控制流图的流程可以如图4所示。上述处理装置在确定上述待处理智能合约的各个程序语句中的首语句以及跳转语句后,可以根据上述首语句和跳转语句的目标地址,对上述各个程序语句进行排序,并对排序后的各个程序语句进行去重,进而,基于去重后各个程序语句,确定上述控制流图中的基本块节点,并基于去重后各个程序语句中每一跳转语句的目标地址,确定上述控制流图中由基本块指向目标地址所在的基本块的有向边,从而,根据上述基本块节点和有向边,建立上述待处理智能合约对应的控制流图。
例如对于下述智能合约函数
pub fn foo(&mut self, flag: bool, s1: String, s2: String, s3: String) {
// 入口(ENTRY)
if flag {
self.mapping[S1] = 0; // BB0
} else {
self.mapping[S2] = 0; // BB1
}
self.mapping[ S3] = 0; // BB2
}
}
上述处理装置采用上述图4所示流程建立的该智能合约对应的控制流图可以如图5所示。
在本申请实施例中,如果采用代码实现上述处理装置建立控制流图的过程,可以包括如下步骤:
(1)创建有向图,用于存储待分析智能合约函数FN的控制流图;
(2)创建首语句列表L,L中存放了能够作为首语句的语句编号;
(3)令变量I = 0,I用于作为编号索引FN的程序语句;
(4)若I大于或等于FN中程序语句的数目,则表示所有语句已处理完毕,跳转至(9),否则跳转至(5);
(5)若I等于0,则将I加入L中,跳转至(8);
(6)若FN中第I条程序语句为跳转语句,则将该跳转语句的目标地址加入L中,跳转至(8);
(7)若FN中第I - 1条指令为跳转语句,则将I加入L中;
(8)令I = I + 1,跳转至(4);
(9)对L中的语句编号进行排序;
(10)对L中的语句编号进行去重;
(11)令变量I = 0,此时I用于作为编号索引L中的首语句;
(12)若 I + 1大于或等于L的长度,则跳转至(13),否则跳转至(14);
(13)令终止下标END = FN中语句的数目,跳转至(14);
(14)令终止下标END = L[I + 1];
(15)令起始下标START = L[I];
(16)在控制流图中新建基本块节点,其中包含FN中语句序号位于[START, END)(半开半闭区间)之间的所有语句;
(17)I = I + 1,跳转至(12);
(18)令 I = 0;
(19)若 I 大于或等于控制流图中基本块的数目,则跳转至(23),否则跳转至(20);
(20)令BB为控制流图中第I个基本块;
(21)若BB中最后一条语句为跳转语句,则在控制流图中建立一条由BB指向目标地址所在的基本块的有向边;
(22)I = I + 1,跳转至(19);
(23)结束。
S304:基于上述控制流图,确定上述控制流图的每个基本块中发起区块链存储读写请求的代码语句。
S305:根据上述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源。
S306:根据上述目标数据来源,构建上述待处理智能合约的读写集。
其中,步骤S304- S306与上述步骤S203- S205的实现方式相同,此处不再赘述。
在本申请实施例中,上述处理装置可以基于上述一个或多个基本块,确定上述待处理智能合约的各个程序语句中的首语句以及跳转语句,从而,根据该首语句和跳转语句的目标地址,建立上述待处理智能合约对应的控制流图,从而后续的分析过程可以以控制流图中的基本块为单位进行,批量处理程序语句,提高分析性能。而且,上述处理装置构建上述读写集的过程中无需智能合约开发者参与,解决了现有由智能合约开发者构造交易读写集,增加智能合约开发者的心智负担和工作量的问题,降低了并行智能合约开发的复杂性,加快交易整体处理效率。另外,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,较好地改善了开发者开发并行智能合约时的体验。
这里,上述处理装置在根据上述每个基本块中发起区块链存储读写请求的代码语句,确定上述目标数据来源时,还考虑根据上述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中每个基本块中被用作键的程序变量,进而,基于每个基本块中被用作键的程序变量,确定上述目标数据来源。其中,上述处理装置可以根据每个基本块的转换函数,定位出读写过程中每个基本块中被用作键的程序变量,进而识别出该程序变量的数据来源,在实际执行前构造出上述智能合约函数的读写集,减轻智能合约开发者的心智负担和工作量,降低并行智能合约开发的复杂性,加快交易整体处理效率。图6为本申请实施例提出的再一种区块链智能合约读写集构建方法的流程示意图。如图6所示,该方法包括:
S601:在编译待处理智能合约时,将该待处理智能合约划分为一个或多个基本块。
S602:基于上述一个或多个基本块,建立上述待处理智能合约对应的控制流图。
S603:基于上述控制流图,确定上述控制流图的每个基本块中发起区块链存储读写请求的代码语句。
其中,步骤S601- S603与上述步骤S201- S203的实现方式相同,此处不再赘述。
S604:根据上述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中每个基本块中被用作键的程序变量。
这里,上述处理装置可以根据上述每个基本块中发起区块链存储读写请求的代码语句,分别确定每个基本块的转换函数,进而,基于每个基本块的转换函数,分别定位出读写过程中每个基本块中被用作键的程序变量。
其中,上述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,上述冲突域为基本块中被用作键的程序变量的集合。如果某个基本块的冲突域中有某个变量,则意味着在执行该基本块的程序语句之前,该变量中的值会被直接用作键向区块链系统发起数据访问请求。
另外,上述处理装置在确定每个基本块的转换函数时,可以根据每个基本块中发起区块链存储读写请求的代码语句,分别确定每个基本块的代码语句中为定值的所有程序变量的第一集合,以及每个基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的第二集合,从而,根据该第一集合和第二集合,分别确定每个基本块的转换函数。
其中,为了更好的理解上述处理装置确定每个基本块的转换函数的过程,在本申
请实施例中,上述处理装置可以先确定智能合约函数中每条语句对应的一个传播函数。
用于基于数据传播方向上的前一条语句的冲突域计算经过语句处理后得到新冲突域,该
新冲突域会用于计算语句处的读写集。的形式化可以表示为:
其中,表示空集。表示以某个运行时计算出的值为键向区块链系统发起
数据访问请求,表示以某种执行上下文信息为键向区块链系统发起数据访问请求。即
当冲突域包含时,则意味着函数会以某个运行时计算出的值为键向区块链系统发
起数据访问请求,同理,当冲突域包含时,则表示函数会以某种执行上下文信息为键向
区块链系统发起数据访问请求。
进一步地,基于语句的传播函数,上述处理装置可推出基本块的转换函数,
即基本块的转换函数根据基本块的代码语句中为定值的所有程序变量的第一集合,以
及基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的
第二集合确定。
这里,如果采用代码实现上述处理装置基于每个基本块的转换函数,分别定位出读写过程中每个基本块中被用作键的程序变量的过程,即定位出读写过程中每个基本块的冲突域的过程,可以包括如下步骤:
(1)创建映射IN,其键为基本块,值为输入至该基本块的读写集;
(2)创建映射OUT,其键为基本块,值为经过该基本块的转换后输出的读写集;
(3)创建队列W,W终于存储待分析的基本块;
(4)令ENTRY为待分析智能合约函数入口所在的基本块;
(5)令变量I = 0,I用于索引待分析智能合约函数的基本块;
(6)若I大于等于控制流图中基本块的数量,则跳转至(11),否则跳转至(7);
(7)令BB为控制流图中第I个基本块;
(8)令IN[BB] = Ø,其中Ø表示空集;
(9)将BB添加至W尾部;
(10)令I = I + 1,跳转至(6);
(11)若W不为空,则跳转至(12),否则跳转至(25);
(12)从W头部弹出一个基本块并放置于BB中;
(13)令OLD_IN = IN[BB];
(14)令OUT_BB = Ø;
(15)令变量J= 0,J用于索引BB的后继基本块;
(16)若J大于等于BB的后继基本块的数目,则跳转至(20),否则跳转至(17);
(17)令C为BB的第J个后继基本块;
(18)令OUT[BB] = OUT[BB] ∪ IN[C];
(19)J= J + 1,跳转至(16);
(21)若变量Runtime包含于IN[BB]中,则跳转至(22);否则跳转至(23);
(22)IN[ENTRY] = {Runtime},跳转至(25);
(23)若OLD_IN不等于IN[BB],则跳转至(24),否则跳转至(11);
(24)将BB的所有前驱基本块添加至W的尾部;
(25)输出IN[ENTRY];
(26)结束。
这里,对于图5控制流图对应的智能合约,在建立控制流图后,采用上述代码,基于每个基本块的转换函数,分别定位出读写过程中每个基本块中被用作键的程序变量,即定位出读写过程中每个基本块的冲突域,各基本块的冲突域变化情况如下表所示:
这里,上述处理装置确定IN[ENTRY]为{ S1, S2, S3},即智能合约函数“foo”的读写集由交易输入中的S1、 S2、 S3参数构成。
另外,在本申请实施例中确保并发安全性,在数据传播方向上若某个基本块拥
有多个前驱节点,即多个不同的基本块可通过不同的执行路径到达基本块,则的冲突
域为各路径上计算所得的冲突域的并集,即忽略程序的分支语句,近似认为所有路径都可
能到达。
S605:基于上述每个基本块中被用作键的程序变量,确定目标数据来源。
示例性的,上述处理装置可以在上述每个基本块中被用作键的程序变量上添加预设标签,进而,将该标签沿上述待处理智能合约的数据流转路径逆向传播至上述待处理智能合约执行的入口点,识别出每个基本块中被用作键的程序变量的目标数据来源。如果该目标数据来源是由待处理智能合约的交易输入、区块链系统环境信息或常量构成,则上述处理装置可以在实际执行上述智能合约函数前构造出上述智能合约的读写集,进而,将读写集中键的来源信息编码至程序输出中,为后续的智能合约执行系统所利用,在保证区块链数据并发安全的前提下尽可能提高交易的并行处理能力。
S606:根据上述目标数据来源,构建上述待处理智能合约的读写集。
其中,步骤S606与上述步骤S205的实现方式相同,此处不再赘述。
本申请实施例,上述处理装置在根据上述每个基本块中发起区块链存储读写请求的代码语句,确定上述目标数据来源时,还考虑根据上述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中每个基本块中被用作键的程序变量,进而,基于每个基本块中被用作键的程序变量,确定上述目标数据来源,在实际执行前构造出上述智能合约函数的读写集,减轻智能合约开发者的心智负担和工作量,降低并行智能合约开发的复杂性,加快交易整体处理效率。而且,本申请实施例对智能合约开发者完全透明,智能合约开发者仅需要以编写串行合约的方式编写合约即可,较好地改善了开发者开发并行智能合约时的体验。
对应于上文实施例的区块链智能合约读写集构建方法,图7为本申请实施例提供的区块链智能合约读写集构建装置的结构示意图。为了便于说明,仅示出了与本申请实施例相关的部分。图7为本申请实施例提供的一种区块链智能合约读写集构建装置的结构示意图,该区块链智能合约读写集构建装置70包括:合约划分模块701、图形建立模块702、读写确定模块703、来源确定模块704以及读写集构建模块705。这里的区块链智能合约读写集构建装置可以是上述处理装置本身,或者是实现处理装置的功能的芯片或者集成电路。这里需要说明的是,合约划分模块、图形建立模块、读写确定模块、来源确定模块以及读写集构建模块的划分只是一种逻辑功能的划分,物理上两者可以是集成的,也可以是独立的。
其中,合约划分模块701,用于在编译待处理智能合约时,将所述待处理智能合约划分为一个或多个基本块。
图形建立模块702,用于基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图。
读写确定模块703,用于基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句。
来源确定模块704,用于根据所述每个基本块中发起区块链存储读写请求的代码语句,确定目标数据来源。
读写集构建模块705,用于根据所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的设计中,所述图形建立模块702,具体用于:
基于所述一个或多个基本块,确定所述待处理智能合约的各个程序语句中的首语句以及跳转语句;
根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述图形建立模块702,具体用于:
根据所述首语句和所述跳转语句的目标地址,对所述各个程序语句进行排序,并对排序后的各个程序语句进行去重;
基于去重后各个程序语句,确定所述控制流图中的基本块节点,并基于所述去重后各个程序语句中每一跳转语句的目标地址,确定所述控制流图中由基本块指向目标地址所在的基本块的有向边;
根据所述基本块节点和所述有向边,建立所述待处理智能合约对应的所述控制流图。
在一种可能的实现方式中,所述来源确定模块704,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量;
基于所述每个基本块中被用作键的程序变量,确定所述目标数据来源。
在一种可能的实现方式中,所述来源确定模块704,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,其中,所述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,所述冲突域为基本块中被用作键的程序变量的集合;
基于所述每个基本块的转换函数,分别定位出读写过程中所述每个基本块中被用作键的程序变量。
在一种可能的实现方式中,所述来源确定模块704,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的代码语句中为定值的所有程序变量的第一集合,以及所述每个基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的第二集合;
根据所述第一集合和所述第二集合,分别确定所述每个基本块的转换函数。
在一种可能的实现方式中,所述来源确定模块704,具体用于:
在所述每个基本块中被用作键的程序变量上添加预设标签;
将所述预设标签沿所述待处理智能合约的数据流转路径逆向传播至所述待处理智能合约执行的入口点,识别出所述每个基本块中被用作键的程序变量的目标数据来源。
在一种可能的实现方式中,所述合约划分模块701,具体用于:
扫描所述待处理智能合约,确定所述待处理智能合约的代码结构;
根据所述代码结构以及预设的基本块条件,将所述待处理智能合约划分为所述一个或多个基本块。
在一种可能的实现方式中,所述读写集构建模块705,具体用于:
判断所述目标数据来源是否由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成;
若所述目标数据来源是由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成,则基于所述目标数据来源,构建所述待处理智能合约的读写集。
在一种可能的实现方式中,所述读写确定模块702,具体用于:
获取预存的区块链存储的读写请求代码语句;
基于所述区块链存储的读写请求代码语句和所述控制流图,在所述每个基本块中识别出发起区块链存储读写请求的代码语句。
本申请实施例提供的装置,可用于执行上述方法实施例的技术方案,其实现原理和技术效果类似,本申请实施例此处不再赘述。
可选地,图8示意性地提供本申请所述区块链智能合约读写集构建设备的一种可能的结构示意图。
参见图8,区块链智能合约读写集构建设备800包括至少一个处理器801以及通信接口803。进一步可选的,还可以包括存储器802和总线804。
其中,区块链智能合约读写集构建设备800可以是上述处理装置,本申请对此不作特别限制。区块链智能合约读写集构建设备800中,处理器801的数量可以是一个或多个,图8仅示意了其中一个处理器801。可选地,处理器801,可以是中央处理器(centralprocessing unit,CPU)、图形处理器(Graphics Processing Unit,GPU)或者数字信号处理(Digital Signal Process,DSP)。如果区块链智能合约读写集构建设备800具有多个处理器801,多个处理器801的类型可以不同,或者可以相同。可选地,区块链智能合约读写集构建设备800的多个处理器801还可以集成为多核处理器。
存储器802存储计算机指令和数据;存储器802可以存储实现本申请提供的上述区块链智能合约读写集构建方法所需的计算机指令和数据,例如,存储器802存储用于实现上述区块链智能合约读写集构建方法的步骤的指令。存储器802可以是以下存储介质的任一种或任一种组合:非易失性存储器(例如只读存储器(ROM)、固态硬盘(SSD)、硬盘(HDD)、光盘),易失性存储器。
通信接口803可以为所述至少一个处理器提供信息输入/输出。也可以包括以下器件的任一种或任一种组合:网络接口(例如以太网接口)、无线网卡等具有网络接入功能的器件。
可选的,通信接口803还可以用于区块链智能合约读写集构建设备800与其它计算设备或者终端进行数据通信。
进一步可选的,图8用一条粗线表示总线804。总线804可以将处理器801与存储器802和通信接口803连接。这样,通过总线804,处理器801可以访问存储器802,还可以利用通信接口803与其它计算设备或者终端进行数据交互。
在本申请中,区块链智能合约读写集构建设备800执行存储器802中的计算机指令,使得区块链智能合约读写集构建设备800实现本申请提供的上述区块链智能合约读写集构建方法,或者使得区块链智能合约读写集构建设备800部署上述的区块链智能合约读写集构建装置。
从逻辑功能划分来看,示例性的,如图8所示,存储器802中可以包括合约划分模块701、图形建立模块702、读写确定模块703、来源确定模块704以及读写集构建模块705。这里的包括仅仅涉及存储器中所存储的指令被执行时可以分别实现合约划分模块、图形建立模块、读写确定模块、来源确定模块以及读写集构建模块的功能,而不限定是物理上的结构。
另外,上述的区块链智能合约读写集构建设备除了可以像上述图8通过软件实现外,也可以作为硬件模块,或者作为电路单元,通过硬件实现。
本申请提供一种计算机可读存储介质,所述计算机程序产品包括计算机指令,所述计算机指令指示计算设备执行本申请提供的上述区块链智能合约读写集构建方法。
本申请提供一种计算机程序产品,包括计算机指令,所述计算机指令被处理器执行本申请提供的上述区块链智能合约读写集构建方法。
本申请提供一种芯片,包括至少一个处理器和通信接口,所述通信接口为所述至少一个处理器提供信息输入和/或输出。进一步,所述芯片还可以包含至少一个存储器,所述存储器用于存储计算机指令。所述至少一个处理器用于调用并运行该计算机指令,以执行本申请提供的上述区块链智能合约读写集构建方法。
在本申请所提供的几个实施例中,应该理解到,所揭露的装置和方法,可以通过其它的方式实现。例如,以上所描述的装置实施例仅仅是示意性的,例如,所述单元的划分,仅仅为一种逻辑功能划分,实际实现时可以有另外的划分方式,例如多个单元或组件可以结合或者可以集成到另一个系统,或一些特征可以忽略,或不执行。另一点,所显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些接口,装置或单元的间接耦合或通信连接,可以是电性,机械或其它的形式。
所述作为分离部件说明的单元可以是或者也可以不是物理上分开的,作为单元显示的部件可以是或者也可以不是物理单元,即可以位于一个地方,或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
另外,在本申请各个实施例中的各功能单元可以集成在一个处理单元中,也可以是各个单元单独物理存在,也可以两个或两个以上单元集成在一个单元中。上述集成的单元既可以采用硬件的形式实现,也可以采用硬件加软件功能单元的形式实现。
Claims (9)
1.一种区块链智能合约读写集构建方法,其特征在于,包括:
在编译待处理智能合约时,将所述待处理智能合约划分为一个或多个基本块;
基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图;
基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句;
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量;
基于所述每个基本块中被用作键的程序变量,确定目标数据来源;
根据所述目标数据来源,构建所述待处理智能合约的读写集;
其中,所述根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量,包括:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,其中,所述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,所述冲突域为基本块中被用作键的程序变量的集合;
基于所述每个基本块的转换函数,分别定位出读写过程中所述每个基本块中被用作键的程序变量。
2.根据权利要求1所述的方法,其特征在于,所述基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图,包括:
基于所述一个或多个基本块,确定所述待处理智能合约的各个程序语句中的首语句以及跳转语句;
根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图。
3.根据权利要求2所述的方法,其特征在于,所述根据所述首语句和所述跳转语句的目标地址,建立所述待处理智能合约对应的所述控制流图,包括:
根据所述首语句和所述跳转语句的目标地址,对所述各个程序语句进行排序,并对排序后的各个程序语句进行去重;
基于去重后各个程序语句,确定所述控制流图中的基本块节点,并基于所述去重后各个程序语句中每一跳转语句的目标地址,确定所述控制流图中由基本块指向目标地址所在的基本块的有向边;
根据所述基本块节点和所述有向边,建立所述待处理智能合约对应的所述控制流图。
4.根据权利要求1所述的方法,其特征在于,所述根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,包括:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的代码语句中为定值的所有程序变量的第一集合,以及所述每个基本块的代码语句中会被用作索引向区块链系统发起数据访问请求的所有程序变量的第二集合;
根据所述第一集合和所述第二集合,分别确定所述每个基本块的转换函数。
5.根据权利要求1所述的方法,其特征在于,所述基于所述每个基本块中被用作键的程序变量,确定所述目标数据来源,包括:
在所述每个基本块中被用作键的程序变量上添加预设标签;
将所述预设标签沿所述待处理智能合约的数据流转路径逆向传播至所述待处理智能合约执行的入口点,识别出所述每个基本块中被用作键的程序变量的目标数据来源。
6.根据权利要求1至3中任一项所述的方法,其特征在于,所述将所述待处理智能合约划分为一个或多个基本块,包括:
扫描所述待处理智能合约,确定所述待处理智能合约的代码结构;
根据所述代码结构以及预设的基本块条件,将所述待处理智能合约划分为所述一个或多个基本块。
7.根据权利要求1至3中任一项所述的方法,其特征在于,所述根据所述目标数据来源,构建所述待处理智能合约的读写集,包括:
判断所述目标数据来源是否由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成;
若所述目标数据来源是由所述待处理智能合约的交易输入、区块链系统环境信息或常量构成,则基于所述目标数据来源,构建所述待处理智能合约的读写集。
8.根据权利要求1至3中任一项所述的方法,其特征在于,所述基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句,包括:
获取预存的区块链存储的读写请求代码语句;
基于所述区块链存储的读写请求代码语句和所述控制流图,在所述每个基本块中识别出发起区块链存储读写请求的代码语句。
9.一种区块链智能合约读写集构建装置,其特征在于,包括:
合约划分模块,用于在编译待处理智能合约时,将所述待处理智能合约划分为一个或多个基本块;
图形建立模块,用于基于所述一个或多个基本块,建立所述待处理智能合约对应的控制流图;
读写确定模块,用于基于所述控制流图,确定所述控制流图的每个基本块中发起区块链存储读写请求的代码语句;
来源确定模块,用于根据所述每个基本块中发起区块链存储读写请求的代码语句,分别定位出读写过程中所述每个基本块中被用作键的程序变量,基于所述每个基本块中被用作键的程序变量,确定目标数据来源;
读写集构建模块,用于根据所述目标数据来源,构建所述待处理智能合约的读写集;
其中,所述来源确定模块,具体用于:
根据所述每个基本块中发起区块链存储读写请求的代码语句,分别确定所述每个基本块的转换函数,其中,所述转换函数用于基于一代码语句执行后的冲突域确定下一冲突域,所述冲突域为基本块中被用作键的程序变量的集合;基于所述每个基本块的转换函数,分别定位出读写过程中所述每个基本块中被用作键的程序变量。
Priority Applications (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111446793.6A CN113867709B (zh) | 2021-12-01 | 2021-12-01 | 区块链智能合约读写集构建方法及装置 |
PCT/CN2022/102164 WO2023098058A1 (zh) | 2021-12-01 | 2022-06-29 | 区块链智能合约读写集构建方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202111446793.6A CN113867709B (zh) | 2021-12-01 | 2021-12-01 | 区块链智能合约读写集构建方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN113867709A CN113867709A (zh) | 2021-12-31 |
CN113867709B true CN113867709B (zh) | 2022-04-12 |
Family
ID=78985503
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202111446793.6A Active CN113867709B (zh) | 2021-12-01 | 2021-12-01 | 区块链智能合约读写集构建方法及装置 |
Country Status (2)
Country | Link |
---|---|
CN (1) | CN113867709B (zh) |
WO (1) | WO2023098058A1 (zh) |
Families Citing this family (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN113867709B (zh) * | 2021-12-01 | 2022-04-12 | 深圳前海微众银行股份有限公司 | 区块链智能合约读写集构建方法及装置 |
Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111259395A (zh) * | 2020-01-16 | 2020-06-09 | 图灵人工智能研究院(南京)有限公司 | 智能合约的利用程序获取方法、装置及存储介质 |
CN112669155A (zh) * | 2020-12-31 | 2021-04-16 | 杭州趣链科技有限公司 | 基于区块链的交易分发执行方法、装置服务器及存储介质 |
CN113688186A (zh) * | 2021-08-25 | 2021-11-23 | 工银科技有限公司 | 智能合约执行方法、引擎及区块链节点 |
Family Cites Families (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US11521202B2 (en) * | 2018-08-30 | 2022-12-06 | International Business Machines Corporation | Distributed computing and storage network implementing high integrity, high bandwidth, low latency, secure processing |
US11720545B2 (en) * | 2018-12-19 | 2023-08-08 | International Business Machines Corporation | Optimization of chaincode statements |
US11362826B2 (en) * | 2020-03-18 | 2022-06-14 | International Business Machines Corporation | Endorsement process for non-deterministic application |
US11194555B2 (en) * | 2020-04-13 | 2021-12-07 | International Business Machines Corporation | Optimization of execution of smart contracts |
CN113872948A (zh) * | 2020-08-31 | 2021-12-31 | 支付宝(杭州)信息技术有限公司 | 一种执行智能合约的方法、区块链节点和节点设备 |
CN113867709B (zh) * | 2021-12-01 | 2022-04-12 | 深圳前海微众银行股份有限公司 | 区块链智能合约读写集构建方法及装置 |
-
2021
- 2021-12-01 CN CN202111446793.6A patent/CN113867709B/zh active Active
-
2022
- 2022-06-29 WO PCT/CN2022/102164 patent/WO2023098058A1/zh unknown
Patent Citations (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN111259395A (zh) * | 2020-01-16 | 2020-06-09 | 图灵人工智能研究院(南京)有限公司 | 智能合约的利用程序获取方法、装置及存储介质 |
CN112669155A (zh) * | 2020-12-31 | 2021-04-16 | 杭州趣链科技有限公司 | 基于区块链的交易分发执行方法、装置服务器及存储介质 |
CN113688186A (zh) * | 2021-08-25 | 2021-11-23 | 工银科技有限公司 | 智能合约执行方法、引擎及区块链节点 |
Also Published As
Publication number | Publication date |
---|---|
CN113867709A (zh) | 2021-12-31 |
WO2023098058A1 (zh) | 2023-06-08 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
EP3631618B1 (en) | Automated dependency analyzer for heterogeneously programmed data processing system | |
US9298438B2 (en) | Profiling application code to identify code portions for FPGA implementation | |
US8347272B2 (en) | Call graph dependency extraction by static source code analysis | |
CN112119423B (zh) | 形式化验证的系统和方法 | |
US20090260011A1 (en) | Command line transactions | |
CN110599183B (zh) | 智能合约调用方法、装置及存储介质 | |
US10430191B2 (en) | Methods and apparatus to compile instructions for a vector of instruction pointers processor architecture to enable speculative execution and avoid data corruption | |
US7747992B2 (en) | Methods and apparatus for creating software basic block layouts | |
Warburton | Java 8 Lambdas: Pragmatic Functional Programming | |
US8751872B2 (en) | Separation of error information from error propagation information | |
Bouajjani et al. | Verifying robustness of event-driven asynchronous programs against concurrency | |
CN113867709B (zh) | 区块链智能合约读写集构建方法及装置 | |
US9430196B2 (en) | Message inlining | |
CN111209283A (zh) | 一种数据处理方法及装置 | |
EP2756396B1 (en) | Simulation of static members and parameterized constructors on an interface-based api | |
Olsson et al. | The JR Programming Language: Concurrent Programming in an Extended Java | |
CN111448547A (zh) | 计算机网络中执行和转换计算机程序的方法,特别是控制显微镜的方法 | |
US10846198B2 (en) | Automatic navigation from log statement to code | |
Danmin et al. | A formal specification in B of an operating system | |
US11074069B2 (en) | Replaying interactions with transactional and database environments with re-arrangement | |
Kanade | Event-Based Concurrency: Applications, Abstractions, and Analyses | |
Späth | Learn Kotlin for Android Development | |
CN111694729A (zh) | 应用测试方法、装置、电子设备和计算机可读介质 | |
Li et al. | Asynchronous multi-process timed automata | |
Anand et al. | Synthesizing and verifying multicore parallelism in categories of nested code graphs |
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 |