arrow
返回

Block Transactional Memory: A Complexity Study

delete2026-01-01
delete0
PRE
AI
P
Parwat Singh Anjana *
S
Srivatsan Ravi
DOI:10.1007/978-3-032-11127-2_6delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
在智能合约生态系统中,每笔交易都包含待执行的代码,且执行交易区块的所有节点必须达到相同的最终状态。因此,在执行时间是瓶颈(例如在高工作负载、大区块或未来扩展设计中)的设置下,有必要在节点内最大化交易的并行执行,同时仍允许所有节点通过一组交易的执行达到一致的最终状态。传统软件事务内存已被识别为区块内交易并行执行的一种可能抽象。然而,在智能合约设置中,执行顺序必须遵循区块中交易的预设顺序。本文对该模型(即内存事务或区块事务内存)进行了复杂性研究,并探讨了可能存在的根本界限。为此,我们形式化了区块事务内存的模型,并确定了所需的安全属性。随后,我们提出了提供预设可串行性的单版本和多版本区块事务实现算法设计。最后,我们展示了区块事务内存模型的一些根本性限制,这些限制确立了并行性的界限。
Keyword:
Blockchain
Smart Contract
Parallel Execution

期刊

S
STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2025
IF:
0
论文数:
34
被引数:
0

机构

U
university of southern california
学者数:
4.7W
论文数: 3.8W
被引数: 51
引用论文

引用论文

err分享
err收藏
Adding Concurrency to Smart Contracts
err2017-07-25
err0
errOAAI
errThomas Dickerson; Paul Gazzillo; Maurice Herlihy; Eric Koskinen
err分享
err收藏
Block-STM块STM
err2023-02-21
err0
PREAI
errRati Gelashvili; Alexander Spiegelman; Zhuolun Xiang; George Danezis; Zekun Li; Dahlia Malkhi; Yu Xia; Runtian Zhou
err分享
err收藏
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
Scheduling multithreaded computations by work stealing
err1999-09-01
err0
PREAI
errRobert D. Blumofe; Charles E. Leiserson
err分享
err收藏
学者 查看更多内容