Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)

Summary: Hybrid locking protocol for ADTs that uses commit-generated timestamps to infer serialization order, permits partial/non-deterministic operations and lock choices based on operation results, and derives conflict constraints from ADT specs. Formal CC+recovery semantics with proof of hybrid atomicity and optimality—no hybrid-atomic locking scheme can allow more concurrency. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 829
Venue: PODS
Year: 1988
Pagerank: 8.1180419e-05
Overall Rank: 2,793 | 80.84%
DOI: 10.1145/308386.308440

Incoming Non-self Citations Over Time

Authors

1. Maurice P. Herlihy (Carnegie Mellon University)
2. William E. Weihl (Massachusetts Institute of Technology)

BibTeX Citation

@inproceedings{herlihy_pods88,
        address = {New York, NY, USA},
        series = {{PODS} '88},
        title = {{Hybrid Concurrency Control for Abstract Data Types (Extended Abstract)}},
        url = {https://dl.acm.org/doi/10.1145/308386.308440},
        doi = {10.1145/308386.308440},
        booktitle = {Proceedings of the {ACM} {SIGMOD} Symposium on {Principles} of {Database} {Systems}},
        publisher = {Association for Computing Machinery},
        author = {Herlihy, Maurice P. and Weihl, William E.},
        year = {1988}
}

Incoming Citations (Sorted by Pagerank)

Showing 5 of 5 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
2,535	ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behavior	1990	SIGMOD	8.4560885e-05
3,384	Towards a Unified Theory of Concurrency Control and Recovery	1993	PODS	7.4552885e-05
3,775	Extracting Concurrency from Objects: A Methodology	1991	SIGMOD	7.1372528e-05
5,628	A Formalism for Extended Transaction Models	1991	VLDB	6.1429911e-05
7,816	Non-Deterministic Queue Operations	1991	PODS	5.537774e-05

Outgoing Citations (Sorted by Pagerank)

Showing 0 of 0 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	14,477	Maximal Concurrency By Locking	1984	PODS
2	5,292	An Optimistic Commit Protocol for Distributed Transaction Management	1991	SIGMOD
3	14,478	Concurrency Control in Graph Protocols by Using Edge Locks	1984	PODS
4	9,025	Tolerating Bounded Inconsistency for Increasing Concurrency in Database Systems	1992	PODS
5	12,900	Concurrency Control and Recovery in Transactional Process Management	1999	PODS
6	2,040	Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks	1995	SIGMOD
7	14,016	Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes	2001	PODS
8	9,762	A Theory of Timestamp-Based Concurrency Control for Nested Transactions	1988	VLDB
9	13,051	Context-Based Synchronization: An Approach beyond Semantics for Concurrency Control	1993	PODS
10	5,696	Locks with Constrained Sharing (Extended Abstract)	1990	PODS