Morty: Scaling Concurrency Control with Re-Execution

被引：1

作者：

Burke, Matthew ^{[1
]}

Suri-Payer, Florian ^{[1
]}

Helt, Jeffrey ^{[2
]}

Alvisi, Lorenzo ^{[1
]}

Crooks, Natacha ^{[3
]}

机构：

[1] Cornell Univ, Ithaca, NY 14853 USA

[2] Princeton Univ, Princeton, NJ USA

[3] Univ Calif Berkeley, Berkeley, CA USA

来源：

PROCEEDINGS OF THE EIGHTEENTH EUROPEAN CONFERENCE ON COMPUTER SYSTEMS, EUROSYS 2023 | 2023年

关键词：

replicated databases; concurrency control; multicore scalability; distributed systems;

D O I：

10.1145/3552326.3567500

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Serializable systems often perform poorly under high contention. In this work, we analyze this performance limitation through a novel take on conflict windows. Through the lens of these windows, we develop a new concurrency control technique that leverages transaction re-execution to improve throughput scalability under high contention. Our system, Morty, achieves up to 1.7x-96x the throughput of state-of-the-art systems, with similar or better latency.

引用

页码：687 / 702

页数：16

共 50 条

[31] Minimization of Vote Operations for Soft Error Detection in DMR Design with Error Correction by Operation Re-Execution
Ito, Kazuhito
Ishihara, Yuto
Nishizawa, Shinichi
IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2018, E101A (12): : 2271 - 2279
[32] Dynamic Fault-Tolerant Workflow Scheduling with Hybrid Spatial-Temporal Re-Execution in Clouds
Wu, Na
Zuo, Decheng
Zhang, Zhan
INFORMATION, 2019, 10 (05)
[33] Benefits of Bayesian adaptive trial designs: A virtual re-execution using breast cancer trial data
Hong, Wei
McLachlan, Sue-Anne
Moore, Melissa
Mahar, Robert
ASIA-PACIFIC JOURNAL OF CLINICAL ONCOLOGY, 2021, 17 : 29 - 30
[34] Transaction Healing: Scaling Optimistic Concurrency Control on Multicores
Wu, Yingjun
Chan, Chee-Yong
Tan, Kian-Lee
SIGMOD'16: PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON MANAGEMENT OF DATA, 2016, : 1689 - 1704
[35] A Concurrency Control in Hardware Transactional Memory Considering Execution Path Variation
Hirota, Anju
Mashita, Keisuke
Tsumura, Tomoaki
2016 FOURTH INTERNATIONAL SYMPOSIUM ON COMPUTING AND NETWORKING (CANDAR), 2016, : 77 - 83
[36] COMBINING STATIC CONCURRENCY ANALYSIS WITH SYMBOLIC EXECUTION
YOUNG, M
TAYLOR, RN
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (10) : 1499 - 1511
[37] Concurrency in Biological Modeling: Behavior, Execution and Visualization
Harel, David
Setty, Yaki
Efroni, Sol
Swerdlin, Naamah
Cohen, Irun R.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 194 (03) : 119 - 131
[38] Integrating Concurrency Control in n-Tier Application Scaling Management in the Cloud
Wang, Qingyang
Chen, Hui
Zhang, Shungeng
Hu, Liting
Palanisamy, Balaji
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2019, 30 (04) : 855 - 869
[39] SINGLE TABLE ACCESS USING MULTIPLE INDEXES - OPTIMIZATION, EXECUTION, AND CONCURRENCY-CONTROL TECHNIQUES
MOHAN, C
HADERLE, D
WANG, Y
CHENG, J
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 416 : 29 - 43
[40] USING TRUE CONCURRENCY TO MODEL EXECUTION OF PARALLEL PROGRAMS
BENASHER, Y
FARCHI, E
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1994, 22 (04) : 375 - 407

← 1 2 3 4 5 →