This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Clarification of Two Phase Locking in Concurrent Transaction Processing
January 1988 (vol. 14 no. 1)
pp. 122-125

The authors propose a formal definition of the two-phase locking class derived from the semantic description of the two-phase locking protocol, and prove that this definition is equivalent to that given by C.H. Papadimitriou (1979). They present: (1) a precise definition of the two phase locking; (2) a clarification of the occurrence and the order ofall events such as lock points, unlock points, read operations, and write operations of conflicting transactions; and (3) by relaxing some conditions in the given definition, the derivation of a new class called restricted-non-two-phase locking (RN2PL), which is a superset of the class two-phase locking (2PL) but a subset of the class D-serializable (DSR) given by Papadimitriou.

[1] K. P. Eswaran, J. N. Gray, R. A. Lorie, and I. L. Traiger, "The notions of consistency and predicate locks in a database system,"Commun. ACM, vol. 19, no. 11, pp. 624-633, Nov. 1976.
[2] C. Hua and B. Bhargava, "Classes of serializable historics and synchronization algorithms in distributed database systems," inProc. 3rd IEEE Int. Conf. Distributed Comput. Syst., Miami, FL, Oct. 1982.
[3] Z. Kedem and A. Silberschatz, "Controlling concurrency using locking protocols," inProc. 20th IEEE Symp. Foundations of Computer Science, Oct. 1979.
[4] Z. Kedem and A. Silberschatz, "Non-two-phase locking protocols with shared and exclusive locks," inProc. 6th Int. Conf. Very Large Data Bases. Oct. 1980.
[5] H. T. Kung and C. H. Papadimitriou, "An optimal theory of concurrency control for databases," inProc. SIGMOD Int. Conf. Management Data, ACM, 1979, pp. 116-126.
[6] C.H. Papadimitriou, "The serializability of concurrent database updates,"J. ACM, vol. 26, pp. 631-653, Oct. 1979.
[7] A. Silberschatz and Z. Kedem, "Consistency in hierarchical database systems,"J. Ass. Comput. Mach., vol. 27, Jan. 1980.
[8] M. Yannakakis, C. H. Papadimitriou, and H T Kung, "Locking Protocols: Safety and freedom from deadlock," inProc. 20th IEEE Symp. Fountations of Computer Science, Oct. 1979.

Index Terms:
two phase locking; concurrent transaction processing; semantic description; locking protocol; lock points; unlock points; read operations; write operations; conflicting transactions; RN2PL; D-serializable; database theory; distributed databases; parallel programming; protocols
Citation:
P.J. Leu, B. Bhargava, "Clarification of Two Phase Locking in Concurrent Transaction Processing," IEEE Transactions on Software Engineering, vol. 14, no. 1, pp. 122-125, Jan. 1988, doi:10.1109/32.4629
Usage of this product signifies your acceptance of the Terms of Use.