A True Concurrent Model of Smart Contracts Executions

被引：13

作者：

Bartoletti, Massimo ^{[1
]}

Galletta, Letterio ^{[2
]}

Murgia, Maurizio ^{[3
]}

机构：

[1] Univ Cagliari, Cagliari, Italy

[2] IMT Sch Adv Studies, Lucca, Italy

[3] Univ Trento, Trento, Italy

来源：

COORDINATION MODELS AND LANGUAGES, COORDINATION 2020 | 2020年 / 12134卷

关键词：

D O I：

10.1007/978-3-030-50029-0_16

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

The development of blockchain technologies has enabled the trustless execution of so-called smart contracts, i.e. programs that regulate the exchange of assets (e.g., cryptocurrency) between users. In a decentralized blockchain, the state of smart contracts is collaboratively maintained by a peer-to-peer network of mutually untrusted nodes, which collect from users a set of transactions (representing the required actions on contracts), and execute them in some order. Once this sequence of transactions is appended to the blockchain, the other nodes validate it, re-executing the transactions in the same order. The serial execution of transactions does not take advantage of the multi-core architecture of modern processors, so contributing to limit the throughput. In this paper we propose a true concurrent model of smart contracts execution. Based on this, we show how static analysis of smart contracts can be exploited to parallelize the execution of transactions.

引用

页码：243 / 260

页数：18

共 22 条

[1] Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains [J].

Androulaki, Elli ;

Barger, Artem ;

Bortnikov, Vita ;

Cachin, Christian ;

Christidis, Konstantinos ;

De Caro, Angelo ;

Enyeart, David ;

Ferris, Christopher ;

Laventman, Gennady ;

Manevich, Yacov ;

Muralidharan, Srinivasan ;

Murthy, Chet ;

Binh Nguyen ;

Sethi, Manish ;

Singh, Gari ;

Smith, Keith ;

Sorniotti, Alessandro ;

Stathakopoulou, Chrysoula ;

Vukolic, Marko ;

Cocco, Sharon Weed ;

Yellick, Jason .

EUROSYS '18: PROCEEDINGS OF THE THIRTEENTH EUROSYS CONFERENCE, 2018,

[2] An Efficient Framework for Optimistic Concurrent Execution of Smart Contracts [J].

Anjana, Parwat Singh ;

Kumari, Sweta ;

Peri, Sathya ;

Rathor, Sachin ;

Somani, Archit .

2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), 2019, :83-92

[3]

[Anonymous], 1989, LECT NOTES COMPUT SC

[4]

Bartoletti M, 2020, Arxiv, DOI arXiv:1905.04366

[5] A Minimal Core Calculus for Solidity Contracts [J].

Bartoletti, Massimo ;

Galletta, Letterio ;

Murgia, Maurizio .

DATA PRIVACY MANAGEMENT, CRYPTOCURRENCIES AND BLOCKCHAIN TECHNOLOGY, 2019, 11737 :233-243

[6] ANALYSIS OF PROGRAMS FOR PARALLEL PROCESSING [J].

BERNSTEIN, AJ .

IEEE TRANSACTIONS ON ELECTRONIC COMPUTERS, 1966, EC15 (05) :757-+

[7] SEQUENTIAL AND CONCURRENT BEHAVIOR IN PETRI NET THEORY [J].

BEST, E ;

DEVILLERS, R .

THEORETICAL COMPUTER SCIENCE, 1987, 55 (01) :87-136

[8]

bloxy.info, Ethereum token dynanics

[9]

Buterin V., 2014, NEXT GENERATION SMAR, V3, P37

[10] Inferring Locks for Atomic Sections [J].

Cherem, Sigmund ;

Chilimbi, Trishul ;

Gulwani, Sumit .

PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, :304-+

← 1 2 3 →