The group paradigm for concurrency control

We propose a paradigm for developing, describing and proving the correctness of concurrency control protocols for replicated databases in the presence of failures or communication restrictions. Our approach is to hierarchically divide the problem of achieving one-copy serializability by introducing the notion of a “group” that is a higher level of abstraction than transactions. Instead of dealing with the overall problem of serializing all transactions, our paradigm divides the problem into two simpler ones. (1) A local policy for each group that ensures a total order of all transactions in that group. (2) A global policy that ensures a correct serialization of all groups. We use the paradigm to demonstrate the similarities between several concurrency control protocols by comparing the way they achieve correctness.

[1]  Amr El Abbadi,et al.  Availability in partitioned replicated databases , 1985, PODS.

[2]  Eliot B. Moss,et al.  Nested Transactions and Reliable Distributed Computing , 1982 .

[3]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[4]  Amr El Abbadi,et al.  Maintaining availability in partitioned replicated databases , 1987, ACM Trans. Database Syst..

[5]  Hector Garcia-Molina,et al.  Consistency in a partitioned network: a survey , 1985, CSUR.

[6]  Philip A. Bernstein,et al.  Concurrency control in a system for distributed databases (SDD-1) , 1980, TODS.

[7]  Philip A. Bernstein,et al.  The failure and recovery problem for replicated databases , 1983, PODC '83.

[8]  Maurice Herlihy,et al.  Dynamic quorum adjustment for partitioned data , 1987, TODS.

[9]  H ThomasRobert.  A Majority consensus approach to concurrency control for multiple copy databases , 1979 .

[10]  Brian A. Coan,et al.  Limitations on database availability when networks partition , 1986, PODC '86.

[11]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[12]  David P. Reed,et al.  Implementing atomic actions on decentralized data , 1983, TOCS.

[13]  Dale Skeen,et al.  Increasing availability in partitioned database systems , 1984, Adv. Comput. Res..

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

[15]  Derek L. Eager,et al.  Achieving robustness in distributed database systems , 1983, TODS.

[16]  Amr El Abbadi.  A Paradigm for Concurrency Control Protocols for Distributed Databases , 1987 .