paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Utilizing parallelism in smart contracts on decentralized blockchains by taming application-inherent conflicts

通过驯服应用固有冲突来利用去中心化区块链上智能合约的并行性
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 1/10 · 该论文研究区块链智能合约交易的并行执行与乐观并发控制,属于并发/分布式系统方向;与用户核心关注的 PL+AI/LLM 交叉、静态分析/形式化验证、浮点程序分析、贝叶斯程序分析均无直接交集。引用 48 inbox
Péter Garamvölgyi, Yuxi Liu, Dong Zhou, Fan Long, Ming Wu
crossref: 2026-09-12dblp: 2026-09-12arxiv: 2026-09-12

AI 速览

一句话:分析以太坊历史交易轨迹,指出应用固有冲突是并行瓶颈,并用分区计数器、可交换指令与确定性中止的 OCC 调度器将并行加速上限翻倍至 18 倍。

随着共识协议吞吐量提升至每秒数千笔交易,交易执行成为公有链的新瓶颈,而现有并行执行机制因无法有效处理区块链应用固有冲突,加速效果远不理想。作者系统性地研究了以太坊的历史交易执行轨迹,发现应用固有冲突是限制可开发并行性的主要因素。为此,论文提出使用分区计数器和特殊的可交换指令来打断应用层的冲突链,以最大化潜在加速比;在评估可达的最大并行加速比时,这些技术将该上限提升了一倍,相比串行执行达到约 18 倍的整体加速,接近最优。此外,作者提出 OCC-DA——一种具有确定性中止的乐观并发控制调度器,使 OCC 调度能够适用于公有链场景。

问题
公有链共识瓶颈被缓解后,交易执行成为新瓶颈;现有并行执行机制因难以处理智能合约应用中固有的冲突,实际加速比远低于理想值。
方法
基于以太坊历史交易执行轨迹的实证分析,识别应用固有冲突来源;提出分区计数器与可交换指令来拆解冲突链,并设计带确定性中止的乐观并发控制调度器 OCC-DA 以适配公有链环境。
评估
通过分析以太坊真实交易轨迹评估可达的最大并行加速上限,并比较所提技术相对串行执行的效果,测得整体加速比提升至约 18 倍。
原文摘要(Abstract)

Traditional public blockchain systems typically had very limited transaction throughput because of the bottleneck of the consensus protocol itself. With recent advances in consensus technology, the performance limit has been greatly lifted, typically to thousands of transactions per second. With this, transaction execution has become a new performance bottleneck. Exploiting parallelism in transaction execution is a clear and direct way to address this and to further increase transaction throughput. Although some recent literature introduced concurrency control mechanisms to execute smart contract transactions in parallel, the reported speedup that they can achieve is far from ideal. The main reason is that the proposed parallel execution mechanisms cannot effectively deal with the conflicts inherent in many blockchain applications. In this work, we thoroughly study the historical transaction exe-cution traces in Ethereum. We observe that application-inherent conflicts are the major factors that limit the exploitable parallelism during execution. We propose to use partitioned counters and spe-cial commutative instructions to break up the application conflict chains in order to maximize the potential speedup. When we eval-uated the maximum parallel speedup achievable, these techniques doubled this limit to an 18x overall speedup compared to serial execution, thus approaching the optimum. We also propose OCC-DA, an optimistic concurrency control scheduler with deterministic aborts, which makes it possible to use OCC scheduling in public blockchain settings.

链接与引用

DOI 原文 · arXiv · PDF(开放获取) · DBLP

BibTeX
@inproceedings{abs-2201-03749,
  title = {Utilizing parallelism in smart contracts on decentralized blockchains by taming application-inherent conflicts},
  author = {Péter Garamvölgyi and Yuxi Liu and Dong Zhou and Fan Long and Ming Wu},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510086}
}