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

[ANDE76]

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

[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)

[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)

[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)

[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)

[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)

[COFF71]

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

[DENN76]

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

[ECKH78]

...

[ELLI77]

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

[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)

[GARC78]

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

[GARC79]

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

[GLIG80]

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

[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

[GRAY79]

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

[HAMM78]

...

[JONE79]

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

[KATZ77]

...

[LAGA79]

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

[LAMP78]

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

[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)

[LELA78]

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

[LEUN79]

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

[LIN79]

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

[Lome77]

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

[LORI77]

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

[MENA78]

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

[MENA79]

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

[MILE79]

...

[PAPA79]

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

[PEEB78]

...

[PEEB80]

...

[RAND75]

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

[RAND78]

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

[RAND79]

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

[REED78]

...

[REED79a]

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

[REED79b]

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

[RIES79]

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

[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)

[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)

[RUSS77]

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

[RYPK79]

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

[SALT78]

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

[SCHL76]

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

[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)

[SHAP78]

...

[SHRI78]

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

[SILB80]

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

[SMIT77a]

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

[SMIT77b]

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

[STON79]

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

[THOM79]

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

[VERH78]

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

[WATS79]

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

[WULF75]

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