Specification of Concurrency Control in Persistent Programming Languages
This paper proposes a mechanism for object-oriented database languages which allows the specification of as much concurrency among method executions as a user needs. This proposal goes towards the use of semantic information about methods and it allows a user to specify some kind of observational independence among methods by means of a construct called concurrent behaviour. It is shown that, as far as such method commutativity is concerned, there is no direct relation between super-types and sub-types, that is, a sub-type can be either “less concurrent” or “more concurrent” than its super-type. The notion of correctness for interleaved executions of transactions is presented taking into account the concurrent behaviour of objects, and a possible implementation of the proposed construct is outlined.
KeywordsConcurrency Control Commutativity Rule Abstract Data Type Concurrent Behaviour Method Execution
Unable to display preview. Download preview PDF.
- 1.Skarra A.H., Zdonik S.B., “Concurrency Control and Object-Oriented Databases”, in Object Oriented Concepts, Databases, and Applications, Kim W. and Lochovsky F.H. eds., ACM Press, (1989), pp. 395–421.Google Scholar
- 7.De Francesco, N., Vaglini, G.,“An axiomatic approach to Concurrency Control”, submitted for publication.Google Scholar
- 8.Bondavalli, A., De Francesco, N., Latella, D., Vaglini, G., “Shared abstract data types: an algebraic methodology for their specification”, MFDBS-89, LNCS 364, Budapest, June 26-July 1, 1989, pp. 53–67.Google Scholar
- 9.Albano, A., Ghelli, G. and Orsini, R “Objects for a database programming language”, 3rd International Workshop on Database Programming Languages, Napflion, Greece, August 1991.Google Scholar
- 11.Bernstein P.A., Hadzilacos V. and Goodman N., “Concurrency Control and Recovery in Database Systems”, Addison-Wesley, Reading, Mass 1987.Google Scholar