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 条

[41] On expressing different concurrency paradigms on virtual execution systems
Dittamo, Cristian
2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 658 - 661
[42] Effective Transactional Memory Execution Management for Improved Concurrency
Gonzalez-Mesa, M. A.
Gutierrez, Eladio
Zapata, Emilio L.
Plata, Oscar
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2014, 11 (03) : 23 - 49
[43] USING CONDITIONAL EXECUTION TO EXPLOIT INSTRUCTION LEVEL CONCURRENCY
ADAMS, R
GRAY, S
SOFTWARE-PRACTICE & EXPERIENCE, 1995, 25 (09): : 1003 - 1020
[44] Control Re-Investment in the Execution of a Simple Sensorimotor Task
Gershkovich, Valeria
Moroshkina, Nadezhda
Kulieva, Almara
PERCEPTION, 2019, 48 : 125 - 125
[45] On re-scaling in fuzzy control and genetic algorithms
Nguyen, HT
Kreinovich, V
FUZZ-IEEE '96 - PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL CONFERENCE ON FUZZY SYSTEMS, VOLS 1-3, 1996, : 1677 - 1681
[46] Execution Templates: Caching Control Plane Decisions for Strong Scaling of Data Analytics
Mashayekhi, Omid
Qu, Hang
Shah, Chinmayee
Levis, Philip
2017 USENIX ANNUAL TECHNICAL CONFERENCE (USENIX ATC '17), 2017, : 513 - 526
[47] Isolating and understanding concurrency errors using reconstructed execution fragments
Lucia, Brandon
Wood, Benjamin P.
Ceze, Luis
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2011, : 378 - 388
[48] Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
Lucia, Brandon
Wood, Benjamin P.
Ceze, Luis
PLDI 11: PROCEEDINGS OF THE 2011 ACM CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2011, : 378 - 388
[49] Isolating and Understanding Concurrency Errors Using Reconstructed Execution Fragments
Lucia, Brandon
Wood, Benjamin P.
Ceze, Luis
ACM SIGPLAN NOTICES, 2011, 46 (06) : 378 - 388
[50] Composing Concurrency Control
Ziv, Ofri
Aiken, Alex
Golan-Gueta, Guy
Ramalingam, G.
Sagiv, Mooly
ACM SIGPLAN NOTICES, 2015, 50 (06) : 240 - 249

← 1 2 3 4 5 →