Splitting Synchronization from Algorithmic Behaviour

S. Reitzner

english, 8 pages

Abstract: Synchronization of concurrent activities is a major issue of concurrent object-oriented programming languages, as we deal with fine grained synchronization involving objects and methods. In this paper we propose the separation of the synchronization code from the algorithmic code of a concurrent object, arriving at two objects: one that implements the algorithmic behavior, and the other one that is responsible for controlling concurrency. We introduce an event model to carry out the link between the two objects. We will also present a new way of deriving from classes with concurrency control. The inheritance step is split into two steps: one for the sequential behaviour and one for the concurrency control. This new mechanism together with our event model solves many problems of the well known inheritance anomalies.

[Full Paper (ps,http) , 30 kB][Full Paper (pdf) , 29 kB]