A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems.

@article{DBLP:journals/csur/Kohler81,
  author    = {Walter H. Kohler},
  title     = {A Survey of Techniques for Synchronization and Recovery in Decentralized
               Computer Systems},
  journal   = {ACM Comput. Surv.},
  volume    = {13},
  number    = {2},
  year      = {1981},
  pages     = {149-183},
  ee        = {db/journals/csur/Kohler81.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

Copyright © 1981 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.

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An4-1 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

Online Edition: ACM Digital Library

References

[ALSB76]

Peter Alsberg, J. D. Day: A Principle for Resilient Sharing of Distributed Resources. ICSE 1976: 562-570 BibTeX

[ANDE76]

T. Anderson, R. Kerr: Recovery Blocks in Action: A System Supporting High Reliability. ICSE 1976: 447-457 BibTeX

[ANDE78]

Thomas Anderson, Peter A. Lee, Santosh K. Shrivastava: A Model of Recoverability in Multilevel Systems. IEEE Trans. Software Eng. 4(6): 486-494(1978) BibTeX

[BART77]

...

[BERN78]

Philip A. Bernstein, James B. Rothnie Jr., Nathan Goodman, Christos H. Papadimitriou: The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case). IEEE Trans. Software Eng. 4(3): 154-168(1978) BibTeX

[BERN79]

Philip A. Bernstein, David W. Shipman, Wing S. Wong: Formal Aspects of Serializability in Database Concurrency Control. IEEE Trans. Software Eng. 5(3): 203-216(1979) BibTeX

[BERN80a]

Philip A. Bernstein, David W. Shipman: The Correctness of Concurrency Control Mechanisms in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 52-68(1980) BibTeX

[BERN80b]

Philip A. Bernstein, David W. Shipman, James B. Rothnie Jr.: Concurrency Control in a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 18-51(1980) BibTeX

[COFF71]

Edward G. Coffman Jr., M. J. Elphick, Arie Shoshani: System Deadlocks. ACM Comput. Surv. 3(2): 67-78(1971) BibTeX

[DENN76]

Peter J. Denning: Fault Tolerant Operating Systems. ACM Comput. Surv. 8(4): 359-389(1976) BibTeX

[ECKH78]

...

[ELLI77]

Clarence A. Ellis: A Robust Algorithm for Updating Duplicate Databases. Berkeley Workshop 1977: 146-158 BibTeX

[ENSL78]

...

[ESWA76]

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

[GARC78]

Hector Garcia-Molina: Performance Comparison of Two Update Algorithms for Distributed Databases. Berkeley Workshop 1978: 108-119 BibTeX

[GARC79]

Hector Garcia-Molina: A Concurrency Control Mechanism for Distributed Databases Which Users Centralized Locking Controllers. Berkeley Workshop 1979: 113- BibTeX

[GLIG80]

Virgil D. Gligor, Susan H. Shattuck: On Deadlock Detection in Distributed Systems. IEEE Trans. Software Eng. 6(5): 435-440(1980) BibTeX

[GRAY75]

Jim Gray, Raymond A. Lorie, Gianfranco R. Putzolu, Irving L. Traiger: Granularity of Locks in a Large Shared Data Base. VLDB 1975: 428-451 BibTeX

[GRAY79]

Jim Gray: Notes on Data Base Operating Systems. Advanced Course: Operating Systems 1978: 393-481 BibTeX

[HAMM78]

...

[JONE79]

Anita K. Jones: The Object Model: A Conceptual Tool for Structuring Software. Advanced Course: Operating Systems 1978: 7-16 BibTeX

[KATZ77]

...

[LAGA79]

Klaus Lagally: Synchronization in a Layered System. Advanced Course: Operating Systems 1978: 252-281 BibTeX

[LAMP78]

Leslie Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. Commun. ACM 21(7): 558-565(1978) BibTeX

[LAMP76]

...

[LAMP79]

...

[LEDG77]

Henry F. Ledgard, Robert W. Taylor: Two Views of Data Abstraction - Introduction to the Special Section. Commun. ACM 20(6): 382-384(1977) BibTeX

[LELA78]

Gérard Le Lann: Algorithms for Distributed Data-Sharing Systems Which Use Tickets. Berkeley Workshop 1978: 259-272 BibTeX

[LEUN79]

Joseph Y.-T. Leung, Edmund K. Lai: On Minimum Cost Recovery from System Deadlock. IEEE Trans. Computers 28(9): 671-677(1979) BibTeX

[LIN79]

Wen-Te K. Lin: Concurrency Control in a Multiple Copy Distributed Database System. Berkeley Workshop 1979: 207-220 BibTeX

[Lome77]

David B. Lomet: Process Structuring, Synchronization, and Recovery Using Atomic Actions. Language Design for Reliable Software 1977: 128-137 BibTeX

[LORI77]

Raymond A. Lorie: Physical Integrity in a Large Segmented Database. ACM Trans. Database Syst. 2(1): 91-104(1977) BibTeX

[MENA78]

Daniel A. Menascé, Gerald J. Popek, Richard R. Muntz: A Locking Protocol for Resource Coordination in Distributed Databases (Abstract). SIGMOD Conference 1978: 2 BibTeX

[MENA79]

Daniel A. Menascé, Richard R. Muntz: Locking and Deadlock Detection in Distributed Data Bases. IEEE Trans. Software Eng. 5(3): 195-202(1979) BibTeX

[MILE79]

...

[PAPA79]

Christos H. Papadimitriou: The serializability of concurrent database updates. J. ACM 26(4): 631-653(1979) BibTeX

[PEEB78]

...

[PEEB80]

...

[RAND75]

Brian Randell: System Structure for Software Fault Tolerance. IEEE Trans. Software Eng. 1(2): 221-232(1975) BibTeX

[RAND78]

Brian Randell, P. A. Lee, Philip C. Treleaven: Reliability Issues in Computing System Design. ACM Comput. Surv. 10(2): 123-165(1978) BibTeX

[RAND79]

Brian Randell: Reliable Computing Systems. Advanced Course: Operating Systems 1978: 282-391 BibTeX

[REED78]

...

[REED79a]

David P. Reed, Rajendra K. Kanodia: Synchronization with Eventcounts and Sequences. Commun. ACM 22(2): 115-123(1979) BibTeX

[REED79b]

David P. Reed: Implementing Atomic Actions on Decentralized Data. SOSP 1979: 163 BibTeX

[RIES79]

Daniel R. Ries, Michael Stonebraker: Locking Granularity Revisited. ACM Trans. Database Syst. 4(2): 210-227(1979) BibTeX

[ROSE78]

Daniel J. Rosenkrantz, Richard Edwin Stearns, Philip M. Lewis II: System Level Concurrency Control for Distributed Database Systems. ACM Trans. Database Syst. 3(2): 178-198(1978) BibTeX

[ROTH80]

James B. Rothnie Jr., Philip A. Bernstein, Stephen Fox, Nathan Goodman, Michael Hammer, Terry A. Landers, Christopher L. Reeve, David W. Shipman, Eugene Wong: Introduction to a System for Distributed Databases (SDD-1). ACM Trans. Database Syst. 5(1): 1-17(1980) BibTeX

[RUSS77]

David L. Russell: Process Backup in Producer-Consumer Systems. SOSP 1977: 151-157 BibTeX

[RYPK79]

David J. Rypka, Anthony P. Lucido: Deadlock Detection and Avoidance for Shared Logical Resources. IEEE Trans. Software Eng. 5(5): 465-471(1979) BibTeX

[SALT78]

Jerome H. Saltzer: Research Problems of Decentralized Systems with Largely Autonomous Nodes. Operating Systems Review 12(1): 43-52(1978) BibTeX

[SCHL76]

Gunter Schlageter: The Problem of Lock by Value in Large Data Bases. Comput. J. 19(1): 17-20(1976) BibTeX

[SEVE76]

Dennis G. Severance, Guy M. Lohman: Differential Files: Their Application to the Maintenance of Large Databases. ACM Trans. Database Syst. 1(3): 256-267(1976) BibTeX

[SHAP78]

...

[SHRI78]

Santosh K. Shrivastava, Jean-Pierre Banâtre: Reliable Resource Allocation Between Unreliable Processes. IEEE Trans. Software Eng. 4(3): 230-241(1978) BibTeX

[SILB80]

Abraham Silberschatz, Zvi M. Kedem: Consistency in Hierarchical Database Systems. J. ACM 27(1): 72-80(1980) BibTeX

[SMIT77a]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation. Commun. ACM 20(6): 405-413(1977) BibTeX

[SMIT77b]

John Miles Smith, Diane C. P. Smith: Database Abstractions: Aggregation and Generalization. ACM Trans. Database Syst. 2(2): 105-133(1977) BibTeX

[STON79]

Michael Stonebraker: Concurrency Control and Consistency of Multiple Copies of Data in Distributed INGRES. IEEE Trans. Software Eng. 5(3): 188-194(1979) BibTeX

[THOM79]

Robert H. Thomas: A Majority Consensus Approach to Concurrency Control for Multiple Copy Databases. ACM Trans. Database Syst. 4(2): 180-209(1979) BibTeX

[VERH78]

Joost Verhofstad: Recovery Techniques for Database Systems. ACM Comput. Surv. 10(2): 167-195(1978) BibTeX

[WATS79]

Richard W. Watson, John G. Fletcher: An Architecture for Support of Network Operating System Services. Berkeley Workshop 1979: 18- BibTeX

[WULF75]

William A. Wulf: Reliable Hardware/Software Architecture. IEEE Trans. Software Eng. 1(2): 233-240(1975) BibTeX

Referenced by

1. John S. Keen, William J. Dally: Extended Ehemeral Logging: Log Storage Management for Applications with Long Lived Transactions. ACM Trans. Database Syst. 22(1): 1-42(1997)
2. Peter Triantafillou, David J. Taylor: VELOS: A New Approach for Efficiently Achieving High Availability in Partitioned Distributed Systems. IEEE Trans. Knowl. Data Eng. 8(2): 305-321(1996)
3. Sudha Ram, Roy E. Marsten: A Model for Database Allocation Incorporating a Concurrency Control Mechanism. IEEE Trans. Knowl. Data Eng. 3(3): 389-395(1991)
4. Naser S. Barghouti, Gail E. Kaiser: Concurrency Control in Advanced Database Applications. ACM Comput. Surv. 23(3): 269-317(1991)
5. Sushil Jajodia, David Mutchler: Dynamic Voting Algorithms for Maintaining the Consistency of a Replicated Database. ACM Trans. Database Syst. 15(2): 230-280(1990)
6. Sushil Jajodia, David Mutchler: A Hybrid Replica Control Algorithm Combining Static and Dynamic Voting. IEEE Trans. Knowl. Data Eng. 1(4): 459-469(1989)
7. Bharat K. Bhargava, John Riedl: A Model for Adaptable Systems for Transaction Processing. IEEE Trans. Knowl. Data Eng. 1(4): 433-449(1989)
8. Sushil Jajodia, David Mutchler: Integrating Static and Dynamic Voting Protocols To Enhance File Availability. ICDE 1988: 144-153
9. Bharat K. Bhargava, John Riedl: A Model for Adaptable Systems for Transaction Processing. ICDE 1988: 40-50
10. Maurice Herlihy: Dynamic Quorum Adjustment for Partitioned Data. ACM Trans. Database Syst. 12(2): 170-194(1987)
11. Sushil Jajodia, David Mutchler: Enhancements to the Voting Algorithm. VLDB 1987: 399-406
12. Tobin J. Lehman, Michael J. Carey: A Recovery Algorithm for A High-Performance Memory-Resident Database System. SIGMOD Conference 1987: 104-117
13. Sushil Jajodia, David Mutchler: Dynamic Voting. SIGMOD Conference 1987: 227-238
14. Sushil Jajodia: Managing Replicated Files in Partitioned Distributed Database Systems. ICDE 1987: 412-418
15. Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman: Concurrency Control and Recovery in Database Systems. Addison-Wesley 1987, ISBN 0-201-10715-5
    Contents
16. Rakesh Agrawal, David J. DeWitt: Integrated Concurrency Control and Recovery Mechanisms: Design and Performance Evaluation. ACM Trans. Database Syst. 10(4): 529-564(1985)
17. Wojciech Cellary, Tadeusz Morzy: Locking with Prevention of Cyclic and Infinite Restarting in Distributed Database Systems. VLDB 1985: 115-126
18. Marco A. Casanova, Arnaldo V. Moura, Luiz Tucherman: On the Correctness of a Local Storage Subsystem. PODS 1985: 123-134
19. Salvatore T. March, Gary D. Scudder: On the Selection of Efficient Record Segmentations and Backup Strategies for Large Shared Databases. ACM Trans. Database Syst. 9(3): 409-438(1984)
20. Won Kim: Highly Available Systems for Database Applications. ACM Comput. Surv. 16(1): 71-98(1984)
21. Theo Härder, Andreas Reuter: Principles of Transaction-Oriented Database Recovery. ACM Comput. Surv. 15(4): 287-317(1983)
22. Walter H. Kohler, Kenneth C. Wilner, John A. Stankovic: An Experimental Comparison of Locking Policies in a Testbed Database System. SIGMOD Conference 1983: 108-119