This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Synchronizing Transactions on Objects
May 1988 (vol. 37 no. 5)
pp. 541-547
A method is discussed for synchronizing operations on objects when the operations are invoked by transactions. The technique, which is motivated by a desire to make use of possible concurrency in accessing objects, takes into consideration the granularity at which operations affect an object. A dynamic method is presented for determining the compatibility of an invoked operation with respect to

[1] J. E. Allchin and M. S. McKendry, "Synchronization and recovery of actions," inProc. Second Annu. ACM Symp. Principles Distributed Comput., Aug. 1983, pp. 31-44.
[2] B. R. Badrinath and K. Ramamritham, "Semantics-based concurrency control: Beyond commutativity,"ACM Trans. Database Syst., submitted for publication.
[3] P. A. Bernstein, D. W. Shipman, and J. B. Rothnie, "Concurrency control in a system for distributed databases (SDD-1),"ACM Trans. Database Syst., vol. 8, pp. 186-213, June 1983.
[4] P. Bernstein and N. Goodman, "Concurrency Control in Distributed Database Systems,"ACM Computing Surveys, Vol. 13, No. 2, June 1981, pp. 185-221.
[5] P.A. Bernstein, V. Hadzilacos, and N. Goodman,Concurrency Control and Recovery in Database Systems, Addison-Wesley, Reading, Mass., 1987.
[6] K. P. Birmanet al., "Implementing fault-tolerant distributed objects,"IEEE Trans. Software Eng., vol. SE-11, pp. 520-530, June 1985.
[7] G. Bracha and S. Toueg, "Distributed algorithm for generalized deadlock detection," inProc. Third ACM Symp. Principles Distributed Comput., Aug. 1984.
[8] G. N. Buckley and A. Silberschatz, "Beyond two phase locking,"J. ACM, vol. 31, pp. 314-326, Apr. 1985.
[9] A. Chanet al., "The implementation of an integrated concurrency control and recovery scheme," inProc. SIGMOD Conf. Management Data, June 1982, pp. 184-191.
[10] D. J. DuBourdieu, "Implementation of distributed transactions," inProc. Sixth Berkely Workshop Distributed Database Management Comput. Networks, 1982, pp. 81-94.
[11] 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.
[12] H. Garcia-Molina, "Using semantic knowledge for transaction processing in a distributed database,"ACM Trans. Database Syst., vol. 8, no. 2, June 1983.
[13] H. F. Korth, "Locking primitives in database systems,"J. ACM, vol. 30, pp. 55-79, Jan. 1983.
[14] B. Liskov and R. Scheifler, "Guardians and actions: linguistic support for robust, distributed programs,"ACM Trans. Program. Languages Syst., vol. 5, no. 3, pp. 381-404, July 1983.
[15] B. Liskov, "Overview of the ARGUS language and system,"Programming Methodology Group Memo 40, M.I.T., Lab. Comput. Sci., Cambridge, MA, Feb. 1984.
[16] C. Mohan and D. Fussellet al., "Lock conversion in non two phase locking protocols,"IEEE Trans. Software Eng., vol. 11, pp. 15-22, Jan. 1985.
[17] S. Mukul and N. Natarajan, "A priority based distributed deadlock detection algorithm,"IEEE Trans. Software Eng., vol. SE-11, pp. 67-80, Jan. 1985.
[18] N. Natarajan, "Communication and synchronization primitives for distributed systems,"IEEE Trans. Software Eng., vol. SE-11, pp. 396-416, Apr. 1985.
[19] C.H. Papadimitriou, "The serializability of concurrent database updates,"J. ACM, vol. 26, pp. 631-653, Oct. 1979.
[20] D. P. Reed, "Naming and synchronizing in a decentralized computer system," Ph.D. dissertation, Massachusetts Instit. Technol., Cambridge, MA, 1978.
[21] P. M. Schwarz and A. Z. Spector, "Synchronization shared abstract types,"ACM Trans. Comput. Syst., Aug. 1984.
[22] E. Sha Liu, E. D. Jensen, R. Rashid, and J. D. Northcutt, "Distributed co-operating processes and transactions," inProc. SIGCOMM Symp., Aug. 1983, pp. 188-196.
[23] A. Silberschatz and Z. Kedem, "Consistency in hierarchical database systems,"J. Ass. Comput. Mach., vol. 27, Jan. 1980.
[24] A. Z. Spector and M. P. Schwarz, "Transactions: A construct for reliable distributed computing," CMU Tech. Rep., Apr. 1983.
[25] A. Z. Spector, "Support for distributed transactions in TABS prototype,"IEEE Trans. Software Eng., vol. SE-11, pp. 520-530, June 1985.
[26] Z. Wei and K. Ramamritham, "Use of transaction structure for improving concurrency," Tech. Rep., Univ. of Massachusetts, Amherst, Apr. 1985.
[27] W. Weihl, "'Specification and implementation of atomic data types," Ph.D. dissertation, Massachusetts Instit. Technol., Cambridge, MA, Mar. 1984.
[28] W. Weihl and B. Liskov, "Implementation of resilient, atomic data types,"ACM Trans. Programming Languages and Systems 7, Apr. 1985.
[29] W. G. Wood, "Recovery control of communicating processes in a distributed system," Tech. Rep. 158, Univ. Newcastle upon Tyne, 1980.

Index Terms:
transactions synchronizing; affected sets; granularity graph; object representation; commutativity; concurrency control; semantic specification; concurrent access; granularity; compatibility; invoked operation; operations in progress; decisions; uncommitted operations; synchronizing access; data structures; distributed processing; graphs; parallel processing; synchronisation.
Citation:
B.R. Badrinath, K. Ramamritham, "Synchronizing Transactions on Objects," IEEE Transactions on Computers, vol. 37, no. 5, pp. 541-547, May 1988, doi:10.1109/12.4605
Usage of this product signifies your acceptance of the Terms of Use.