Extended Serial Safety Net: A Refined Serializability Criterion for Multiversion Concurrency Control
Atsushi Kitazawa, Chihaya Ito, Yuta Yoshida, and Takamitsu Shioi

TL;DR
This paper introduces ESSN, a refined concurrency control protocol that generalizes SSN to allow more transactions to commit safely while preserving multiversion serializability, improving performance in snapshot isolation environments.
Contribution
ESSN extends SSN by relaxing exclusion conditions, enabling more concurrent commits, and proves to preserve multiversion serializability with efficient commit-time checks.
Findings
ESSN reduces long-transaction abort rates by up to 50% compared to SSN.
ESSN's commit-time check is linear in the number of reads and writes.
Using begin-snapshot reads with ESSN decreases aborts in mixed workloads.
Abstract
A long line of concurrency-control (CC) protocols argues correctness via a single serialization point (begin or commit), an assumption that is incompatible with snapshot isolation (SI), where read-write anti-dependencies arise. Serial Safety Net (SSN) offers a lightweight commit-time test but is conservative and effectively anchored on commit time as the sole point. We present ESSN, a principled generalization of SSN that relaxes the exclusion condition to allow more transactions to commit safely, and we prove that this preserves multiversion serializability (MVSR) and that it strictly subsumes SSN. ESSN states an MVSG (Multiversion Serialization Graph)-based criterion and introduces a known total order over transactions (KTO; e.g., begin-ordered or commit-ordered) for reasoning about the graph's serializability. With a single commit-time check under invariant-based semantics, ESSN's…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsDistributed systems and fault tolerance · Software System Performance and Reliability · Parallel Computing and Optimization Techniques
