Abstract
There is a currently considerable interest in advanced transaction processing. Most proposals weaken serializability. The concurrency of transactions executing on shared objects can be enhanced with the use of semantic information about operations type or through user defined semantics called transaction semantic. This paper attempts to unify the two approaches; we present an extended model which exploits both transaction and object semantics to increase concurrency. The approach we adopt is similar to the one used in [Lynch83,Molina83,FO89]. However, our mechanism for specifying allowable interleavings is based on predicate over step types and synchronization operators. It supports concurrent execution of steps and synchronization amongst them. We will integrate this distributed concurrency control policy into a high level language to hide low-level details such as locks, timestamps management and concurrent activities synchronization inside the implementation of the language constructs. We use ANSA computational language DPL (Distributed Programming Language) as a basic language construct. We propose a few DPL extensions to support our model. This model is suitable to express a wide range of synchronization constraints between concurrent activities.
This research was sponsored by «Ministère de la Recherche et de la Technologie Française» under MRE contract.
Preview
Unable to display preview. Download preview PDF.
References
«The ANSA Programmers' Manual» APM/RC.105.04 1991. «Concurrency Control» APM/RC.248.01 1991.
A.Bernstein, V.Hadzilacos, N.Goodman «Concurrency Control and rRecovery in Database Systems».Addison-Wesley Publishing Co. 1987.
P.K.Chrysanthis, K.Ramamritham « ACTA: The SAGA Continues» in A.K Elmagarmid (Ed.) Database Transaction Models for Advanced Applications, Morgan Kaufmann 1992.
A.A.Farrag; M.T.Ozsu. «Using Semantic Knowledge of Transactions to Increase Concurrency,». ACM Transactions on Database Systems, Vol 14, No 4 December 1989.
J.Gray A.Reuter, “Transaction Processing, Concepts and Techniques” Morgan Kaufmann Edition. 1992.
Garcia-Molina, K. Salem «SAGAS» In Proceedings of ACM SIGMOD 1987 International Conference on Management of Data, San Francisco.
M.Hurfin, N.Plouzeau, M.Raynal «Detecting Atomic Sequences of Predicates in Distributed Computations» TR 695 IRISA Rennes 1992.
H.Korth, W.Kim, F. Bancilhon “On long Duration CAD Transactions. Information Science 1988.
H.T Kung, H.Papadimitrou. «An Optimal Theory of Concurrency Control for Databases». Proceedings of SIGMODICMD-ACM 1979.
H.Korth, D.Speegle « Formal Model of Correctness Without Serializability» Proceedings ACM-SIGMOD 1988 International Conference on Management of Data — Chicago June 1988.
D.B Lomet. « MLR: A Recovery Method for Multi-level Systems». Technical Report CRL 91/7 Digital Cambridge Research Laboratory. July 1991.
N.Lynch «Multilevel Atomicity — A New Correctness Criterion for Database Concurrency Control». ACM Transactions on Database Systems, Vol 8 No 4 December 1983.
H.Garcia-Molina «Using Semantic Knowledge for Transaction Processing in a Distributed Database». ACM Transactions on Database Systems, Vol 8, No12 December 1983.
J. Moss. «Nested Transactions:An approach To Reliable Distributed Computing» MIT Laboratory for Computer Science, MIT/LCS/TR-260 1981.
B. Walter «Nested Transaction with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications» Proceedings VLDB 84 Singapore 1984.
W. Weihl « Commutativity-Based Concurrency Control for Abstract Data Types». IEEE Transactions on Computers Vol37 Nol2 December 1988.
G. Weikum Principles and Realization Strategies of Multilevel Transaction Management. ACM TODS Vol 16 No 1 1991.
M.H Wong, D.Agrawal « Tolerating Bounded Inconcistency for Increasing Concurrency in Database Systems». 11th Proc ACM SIGACT-SIGMOT-SIGART San Diego 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Andry, R. (1994). DPL to express a concurrency control using transaction and object semantics. In: Guerraoui, R., Nierstrasz, O., Riveill, M. (eds) Object-Based Distributed Programming. ECOOP 1993. Lecture Notes in Computer Science, vol 791. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0017538
Download citation
DOI: https://doi.org/10.1007/BFb0017538
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57932-8
Online ISBN: 978-3-540-48389-2
eBook Packages: Springer Book Archive