Semantically-based Concurrency Control for Search Structures.
Nathan Goodman, Dennis Shasha:
Semantically-based Concurrency Control for Search Structures.
PODS 1985: 8-19@inproceedings{DBLP:conf/pods/GoodmanS85,
author = {Nathan Goodman and
Dennis Shasha},
title = {Semantically-based Concurrency Control for Search Structures},
booktitle = {Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles
of Database Systems, March 25-27, 1985, Portland, Oregon},
publisher = {ACM},
year = {1985},
isbn = {0-89791-153-9},
pages = {8-19},
ee = {http://doi.acm.org/10.1145/325405.325407, db/conf/pods/GoodmanS85.html},
crossref = {DBLP:conf/pods/85},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
Abstract
A dictionary is an abstract data type supporting the
actions member, insert, and delete. A search structure is a
data structure used to implement a dictionary. Examples
include B-trees, hash structures, and unordered lists.
Concurrent algorithms on search structures can achieve more
parallelism than standard concurrency control methods would
suggest, by exploiting the fact that many different search
structure states represent one dictionary state. We present a
framework for verifying such algorithms and for inventing new ones.
Copyright © 1985 by the ACM,
Inc., used by permission. Permission to make
digital or hard copies is granted provided that
copies are not made or distributed for profit or
direct commercial advantage, and that copies show
this notice on the first page or initial screen of
a display along with the full citation.
Load The ACM SIGMOD Anthology, CDROM Edition, Volume 1-3, PODS '82-'98.
and ...
Load The ACM SIGMOD Anthology, Silver Edition, DVD 1, Proceedings.
and ...
BibTeX
Printed Edition
Proceedings of the Fourth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, March 25-27, 1985, Portland, Oregon.
ACM 1985, ISBN 0-89791-153-9
Contents BibTeX
References
- [AHU]
- Alfred V. Aho, John E. Hopcroft, Jeffrey D. Ullman:
The Design and Analysis of Computer Algorithms.
Addison-Wesley 1974, ISBN 0-201-00029-6
BibTeX
- [AM]
- James E. Allchin, Martin S. McKendry:
Synchronization and Recovery of Actions.
PODC 1983: 31-44 BibTeX
- [BBGLS]
- Catriel Beeri, Philip A. Bernstein, Nathan Goodman:
A Concurrency Control Theory for Nested Transactions.
PODC 1983: 45-62 BibTeX
- [BF]
- Jon Louis Bentley, Jerome H. Friedman:
Data Structures for Range Searching.
ACM Comput. Surv. 11(4): 397-409(1979) BibTeX
- [BG]
- Philip A. Bernstein, Nathan Goodman:
Concurrency Control in Distributed Database Systems.
ACM Comput. Surv. 13(2): 185-221(1981) BibTeX
- [BGL]
- Philip A. Bernstein, Nathan Goodman, Ming-Yee Lai:
Two Part Proof Schema for Database Concurrency Control.
Berkeley Workshop 1981: 71-84 BibTeX
- [BS]
- Rudolf Bayer, Mario Schkolnick:
Concurrency of Operations on B-Trees.
Acta Inf. 9: 1-21(1977) BibTeX
- [Casa]
- ...
- [EGLT]
- Kapali P. Eswaran, Jim Gray, Raymond A. Lorie, Irving L. Traiger:
The Notions of Consistency and Predicate Locks in a Database System.
Commun. ACM 19(11): 624-633(1976) BibTeX
- [Ellis1]
- Carla Schlatter Ellis:
Concurrent Search and Insertion in 2-3 Trees.
Acta Inf. 14: 63-86,(1980) BibTeX
- [Ellis2]
- Carla Schlatter Ellis:
Extendible Hashing for Concurrent Operations and Distributed Data.
PODS 1983: 106-116 BibTeX
- [FC]
- Ray Ford, Jim Calhoun:
Concurrency Control Mechanisms and the Serializability of Concurrent Tree Algorithms.
PODS 1984: 51-60 BibTeX
- [Garc]
- Hector Garcia-Molina:
Using Semantic Knowledge for Transaction Processing in Distributed Database.
ACM Trans. Database Syst. 8(2): 186-213(1983) BibTeX
- [GuiSed]
- Leonidas J. Guibas, Robert Sedgewick:
A Dichromatic Framework for Balanced Trees.
FOCS 1978: 8-21 BibTeX
- [KL]
- H. T. Kung, Philip L. Lehman:
Concurrent Manipulation of Binary Search Trees.
ACM Trans. Database Syst. 5(3): 354-382(1980) BibTeX
- [KP]
- H. T. Kung, Christos H. Papadimitriou:
An Optimality Theory of Concurrency Control for Databases.
Acta Inf. 19: 1-11(1983) BibTeX
- [KS]
- Zvi M. Kedem, Abraham Silberschatz:
Locking Protocols: From Exclusive to Shared Locks.
J. ACM 30(4): 787-804(1983) BibTeX
- [KW1]
- Yat-Sang Kwong, Derick Wood:
A New Method for Concurrency in B-Trees.
IEEE Trans. Software Eng. 8(3): 211-222(1982) BibTeX
- [LY]
- Philip L. Lehman, S. Bing Yao:
Efficient Locking for Concurrent Operations on B-Trees.
ACM Trans. Database Syst. 6(4): 650-670(1981) BibTeX
- [Lomet]
- David B. Lomet:
Bounded Index Exponential Hashing.
ACM Trans. Database Syst. 8(1): 136-165(1983) BibTeX
- [ML]
- Udi Manber, Richard E. Ladner:
Concurrency Control in a Dynamic Search Structure.
PODS 1982: 268-282 BibTeX
- [Papa]
- Christos H. Papadimitriou:
The serializability of concurrent database updates.
J. ACM 26(4): 631-653(1979) BibTeX
- [Sama]
- Behrokh Samadi:
B-Trees in a System with Multiple Users.
Inf. Process. Lett. 5(4): 107-112(1976) BibTeX
- [Sch]
- Gunter Schlageter:
Process Synchronization in Database Systems.
ACM Trans. Database Syst. 3(3): 248-271(1978) BibTeX
- [Sha]
- ...
- [Weihl1]
- William E. Weihl:
Data-dependent Concurrency Control and Recovery (Extended Abstract).
PODC 1983: 63-75 BibTeX
- [Weihl2]
- ...
Referenced by
- V. Srinivasan, Michael J. Carey:
Performance of B+ Tree Concurrency Algorithms.
VLDB J. 2(4): 361-406(1993)
- Theodore Johnson, Dennis Shasha:
The Performance of Current B-Tree Algorithms.
ACM Trans. Database Syst. 18(1): 51-101(1993)
- V. Srinivasan, Michael J. Carey:
Performance of B-Tree Concurrency Algorithms.
SIGMOD Conference 1991: 416-425
- Ada Wai-Chee Fu, Tiko Kameda:
Concurrency Control of Nested Transactions Accessing B-Trees.
PODS 1989: 270-285
- Victor Vianu, Gottfried Vossen:
Goal-Oriented Concurrency Control.
MFDBS 1989: 398-414
- Dennis Shasha, Nathan Goodman:
Concurrent Search Structure Algorithms.
ACM Trans. Database Syst. 13(1): 53-90(1988)
- Vladimir Lanin, Dennis Shasha:
Concurrent Set Manipulation without Locking.
PODS 1988: 211-220
- Otto Nurmi, Eljas Soisalon-Soininen, Derick Wood:
Concurrency Control in Database Structures with Relaxed Balance.
PODS 1987: 170-176
- B. R. Badrinath, Krithi Ramamritham:
Semantics-Based Concurrency Control: Beyond Commutativity.
ICDE 1987: 304-311
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents - Gerhard Weikum:
A Theoretical Foundation of Multi-Level Concurrency Control.
PODS 1986: 31-43
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:33:46 2009