ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Pre-Analysis Locking: A Safe and Deadlock Free Locking Policy.

Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer: Pre-Analysis Locking: A Safe and Deadlock Free Locking Policy. VLDB 1985: 270-281
@inproceedings{DBLP:conf/vldb/LausenSW85,
  author    = {Georg Lausen and
               Eljas Soisalon-Soininen and
               Peter Widmayer},
  editor    = {Alain Pirotte and
               Yannis Vassiliou},
  title     = {Pre-Analysis Locking: A Safe and Deadlock Free Locking Policy},
  booktitle = {VLDB'85, Proceedings of 11th International Conference on Very
               Large Data Bases, August 21-23, 1985, Stockholm, Sweden},
  publisher = {Morgan Kaufmann},
  year      = {1985},
  pages     = {270-281},
  ee        = {db/conf/vldb/LausenSW85.html},
  crossref  = {DBLP:conf/vldb/85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A safe and deadlock free lock policy is introduced, called pre-analysis locking. Pre-analysis locking is based on an efficient geometric algorithm which inserts lock and unlock operations into the transactions. Pre-analysis locking is the first safe and deadlock free general locking policy which is not a variant of two-phase locking. It is an approach con- ceptually different from policies following the two-phase locking principle. In general, none of pre-analysis lock- ing and two-phase locking dominates the other: there exist cases in which pre-analysis locking allows for more concur- rency than any two-phase locking policy, but there are also cases in which a two-phase locking policy allows for more concurrency than pre-analysis locking.

Copyright © 1985 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Alain Pirotte, Yannis Vassiliou (Eds.): VLDB'85, Proceedings of 11th International Conference on Very Large Data Bases, August 21-23, 1985, Stockholm, Sweden. Morgan Kaufmann 1985
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
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) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Zvi M. Kedem, Abraham Silberschatz: Controlling Concurrency Using Locking Protocols (Preliminary Report). FOCS 1979: 274-285 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Zvi M. Kedem, Abraham Silberschatz: Non-Two-Phase Locking Protocols with Shared and Exclusive Locks. VLDB 1980: 309-317 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer: Maximal Concurrency by Locking. PODS 1984: 38-44 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Witold Lipski Jr., Christos H. Papadimitriou: A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems. J. Algorithms 2(3): 211-226(1981) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Christos H. Papadimitriou: A theorem in database concurrency control. J. ACM 29(4): 998-1006(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
Christos H. Papadimitriou: Concurrency Control by Locking. SIAM J. Comput. 12(2): 215-226(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Abraham Silberschatz, Zvi M. Kedem: A Family of Locking Protocols for Database Systems that Are Modeled by Directed Graphs. IEEE Trans. Software Eng. 8(6): 558-562(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Jeffrey D. Ullman: Principles of Database Systems, 2nd Edition. Computer Science Press 1982, ISBN 0-914894-36-6
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Mihalis Yannakakis: Issues of Correctness in Database Concurrency Control by Locking. STOC 1981: 363-367 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Mihalis Yannakakis: Freedom from Deadlock of Safe Locking Policies. SIAM J. Comput. 11(2): 391-408(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Mihalis Yannakakis: Serializability by Locking. J. ACM 31(2): 227-244(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:58 2010 by Michael Ley (ley@uni-trier.de)