Gria: an efficient deterministic concurrency control protocol

Deterministic databases are able to reduce coordination costs in a replication. This property has fostered a significant interest in the design of efficient deterministic concurrency control protocols. However, the state-of-the-art deterministic concurrency control protocol Aria has three issues. Fi...

Full description

Saved in:
Bibliographic Details
Published in:Frontiers of Computer Science Vol. 18; no. 4; p. 184204
Main Authors: WANG, Xinyuan, PENG, Yun, HUANG, Hejiao
Format: Journal Article
Language:English
Published: Beijing Higher Education Press 01.08.2024
Springer Nature B.V
Subjects:
Computer Science
Concurrency
Concurrency control
deterministic concurrency control
Protocol
Research Article
transaction processing
transaction processing
deterministic concurrency control
ISSN:2095-2228, 2095-2236
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Deterministic databases are able to reduce coordination costs in a replication. This property has fostered a significant interest in the design of efficient deterministic concurrency control protocols. However, the state-of-the-art deterministic concurrency control protocol Aria has three issues. First, it is impractical to configure a suitable batch size when the read-write set is unknown. Second, Aria running in low-concurrency scenarios, e.g., a single-thread scenario, suffers from the same conflicts as running in high-concurrency scenarios. Third, the single-version schema brings write-after-write conflicts. To address these issues, we propose Gria, an efficient deterministic concurrency control protocol. Gria has the following properties. First, the batch size of Gria is auto-scaling. Second, Gria's conflict probability in low-concurrency scenarios is lower than that in high-concurrency scenarios. Third, Gria has no write-after-write conflicts by adopting a multi-version structure. To further reduce conflicts, we propose two optimizations: a reordering mechanism as well as a rechecking strategy. The evaluation result on two popular benchmarks shows that Gria outperforms Aria by 13x.
Bibliography:transaction processing
Document received on :2022-09-29
Document accepted on :2023-04-10
deterministic concurrency control
ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2095-2228
2095-2236
DOI:10.1007/s11704-023-2605-z