A Distributed Architecture for Transactions Synchronization in Distributed Database Systems

Various concurrency control algorithms have been proposed for use in distributed database systems. But, the number of algorithms available for the distributed concurrency control, come into one of three basic classes: locking algorithms, Timestamp algorithms and optimistic (or certification) algorithms. In this paper we are presenting a Distributed Transaction Processing Model and an approach for concurrency control in distributed database systems. The analysis of our approach is a decomposition of the concurrency control problem into two major sub-problems: read-write and write-write synchronization. We describe a series of synchronization techniques for solving each sub-problem and will show how to combine these techniques into algorithms for solving the entire concurrency control problem. Such algorithms are called "concurrency control methods". Our approach concentrates on the structure and correctness of concurrency control methods and also the performance of such methods up to some extent.

[1]  Richard C. Holt,et al.  Some deadlock properties of computer systems , 1971, SOSP '71.

[2]  Per Brinch Hansen,et al.  Operating System Principles , 1973 .

[3]  Paul F. King,et al.  Database sharing: an efficient mechanism for supporting concurrent processes , 1973, AFIPS National Computer Conference.

[4]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[5]  Alfred V. Aho,et al.  The Design and Analysis of Computer Algorithms , 1974 .

[6]  Carl Hewitt,et al.  Protection and Synchronization in Actor Systems , 1974 .

[7]  J. D. Day,et al.  A principle for resilient sharing of distributed resources , 1976, ICSE '76.

[8]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[9]  Nathan Goodman,et al.  A Survey of Research and Development in Distributed Database Management , 1977, VLDB.

[10]  David P. Reed,et al.  Naming and synchronization in a decentralized computer system , 1978 .

[11]  Daniel J. Rosenkrantz,et al.  System level concurrency control for distributed database systems , 1978, TODS.

[12]  Daniel R. Ries,et al.  The Effects of Concurrency Control on the Performance of a Distributed Data Management System , 1979, Berkeley Workshop.

[13]  Hector Garcia-Molina.  Performance of update algorithms for replicated data in a distributed database , 1979 .

[14]  Philip A. Bernstein,et al.  Formal Aspects of Serializability in Database Concurrency Control , 1979, IEEE Transactions on Software Engineering.

[15]  Daniel A. Menascé,et al.  Locking and Deadlock Detection in Distributed Data Bases , 1979, IEEE Transactions on Software Engineering.

[16]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[17]  Michael Stonebraker,et al.  Concurrency Control and Consistency of Multiple Copies of Data in Distributed Ingres , 1979, IEEE Transactions on Software Engineering.

[18]  Miron Livny,et al.  Distributed Concurrency Control Performance: A Study of Algorithms, Distribution, and Replication , 1988, VLDB.