Interactive Checks for Coordination Avoidance

Summary: Introduces Lucy, an interactive procedure for deciding invariant confluence, plus an automatically checkable sufficient condition. Segmented invariant confluence extends coordination avoidance to non-confluent objects, yielding up to 10× linearizable throughput on low-contention workloads. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 12022
Venue: VLDB
Year: 2019
Pagerank: 5.6520377e-05
Overall Rank: 7,298 | 49.93%
DOI: 10.14778/3275536.3275538

Incoming Non-self Citations Over Time

Authors

1. Michael Whittaker (University of California Berkeley)
2. Joseph M. Hellerstein (University of California Berkeley)

BibTeX Citation

@article{whittaker_vldb19,
        title = {{Interactive Checks for Coordination Avoidance}},
        author = {Whittaker, Michael and Hellerstein, Joseph M.},
        journal = {PVLDB},
        series = {{VLDB} '19},
        volume = {12},
        number = {1},
        pages = {14--27},
        doi = {10.14778/3275536.3275538},
        url = {https://doi.org/10.14778/3275536.3275538},
        year = {2019}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
5,265	New Directions in Cloud Programming	2021	CIDR	6.2941668e-05
6,574	IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases	2019	VLDB	5.8371181e-05
10,126	Event Horizon: Asymmetric Dependencies for Fast Geo-Distributed Operations	2026	CIDR	5.093636e-05

Outgoing Citations (Sorted by Pagerank)

Showing 8 of 8 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
57	Calvin: Fast Distributed Transactions for Partitioned Database Systems	2012	SIGMOD	0.00040139242
226	OLTP-Bench: An Extensible Testbed for Benchmarking Relational Databases	2014	VLDB	0.00024027277
867	Coordination Avoidance in Database Systems	2015	VLDB	0.00013511197
1,240	Consistency Analysis in Bloom: a CALM and Collected Approach	2011	CIDR	0.00011536847
1,623	Relational Transducers for Declarative Networking	2011	PODS	0.0001020106
2,439	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD	8.5785386e-05
2,442	Local Verification of Global Integrity Constraints in Distributed Databases	1993	SIGMOD	8.5767117e-05
4,016	TARDiS: A Branch-and-Merge Approach To Weak Consistency	2016	SIGMOD	6.9530596e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	6,296	Dissecting the Performance of Strongly-Consistent Replication Protocols	2019	SIGMOD
2	3,328	Rethinking Eventual Consistency	2013	SIGMOD
3	14,433	The Group Paradigm for Concurrency Control Protocols (Extended Abstract)	1988	SIGMOD
4	2,439	The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis	2015	SIGMOD
5	9,025	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
6	4,829	Strong consistency is not hard to get: Two-Phase Locking and Two-Phase Commit on Thousands of Cores	2019	VLDB
7	766	The Case for Determinism in Database Systems	2010	VLDB
8	6,574	IPA: Invariant-Preserving Applications for Weakly Consistent Replicated Databases	2019	VLDB
9	14,121	Correctness in General Configurations of Transactional Components	1999	PODS
10	867	Coordination Avoidance in Database Systems	2015	VLDB