区块链智能合约交易并行执行模型综述  

Overview on Parallel Execution Models of Smart Contract Transactions in Blockchains

作　　者：施建锋 吴恒[2] 高赫然 张文博[2,3] SHI Jian-Feng;WU Heng;GAO He-Ran;ZHANG Wen-Bo(University of Chinese Academy of Sciences,Beijing 100049,China;Technology Center of Software Engineering,Institute of Software,Chinese Academy of Sciences,Beijing 100190,China;State Key Laboratory of Computer Science(Institute of Software,Chinese Academy of Sciences),Beijing 100190,China)

机构地区：[1]中国科学院大学,北京100049 [2]中国科学院软件研究所软件工程技术研究开发中心,北京100190 [3]计算机科学国家重点实验室(中国科学院软件研究所),北京100190

出　　处：《软件学报》2022年第11期4084-4106,共23页Journal of Software

基　　金：国家重点研发计划(2018YFB1402803);国家自然科学基金(61872344);山东省重点研发计划(2021CXGC010101)。

摘　　要：以太坊等区块链采用串行方式执行区块中的智能合约交易,虽能严格保障执行后节点间区块链状态的一致性,但这已成为目前制约区块链吞吐率的一个重要瓶颈.因此,采用并行方法优化智能合约交易的执行逐渐成为工业界和学术界关注的重点.总结了区块链智能合约并行执行方法的研究进展,提出了一个研究框架,该框架以智能合约并行执行的阶段为视角,凝练出4种智能合约并行执行模型,即基于静态分析的并行执行模型、基于动态分析的并行执行模型、节点间并行执行模型和分治并行执行模型,然后描述了每种模型下典型的并行执行方法.最后,对交易依赖图和并发控制策略等影响并行执行的因素进行了讨论,并提出了未来可研究的方向.Blockchains such as Ethereum serially execute smart contract transactions in a block,which can strictly guarantee the consistency of the blockchain state between nodes after execution,but it has become a serious bottleneck restricting the throughput of these blockchains.Therefore,the use of parallel methods to optimize the execution of smart contract transactions has gradually become the focus of industry and academia.This study summarizes the research progresses of the parallel execution methods of smart contracts in blockchains,and proposes a research framework.From the perspective of the phases of parallel execution of smart contracts,the framework condenses four parallel execution models of smart contracts,namely the parallel execution model based on static analysis,the parallel execution model based on dynamic analysis,the parallel execution model between nodes and the divide-and-conquer parallel execution model,and describes the typical parallel execution methods under each model.Finally,this study discusses the factors affecting parallel execution such as the transaction dependency graph and concurrency control strategies,and proposes future research directions.

关 键 词：区块链 智能合约 并行执行 事务 吞吐率 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]