PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Concurrency Control for Composite Objects

Abdelsalam Shanneb
( Libyan )

UNSW
Sydney - Australia
tel:
fax:
shanneba@cse.unsw.edu.au

Keywords:

analysis/design concurrency frameworks software engineering Ownership Types Locking Granuality Synchronization

Abstract:

Abstract An essential motivation behind concurrent object-oriented systems is to exploit the software modularity and reuse potential of object-oriented features in the development of concurrent systems. However, the marriage between the two disciplines has not been a happy one. In this work we are proposing a language framework model that reduces the problems associated with introducing concurrency into object-oriented languages. We basically explore the possibilities of adapting different composable synchronisation constraints to be imposed on aggregate objects, that is, we are investigating how complex synchronisation requirements could be specified by composing together simple synchronisation controls. To distinguish our contribution from that of other researchers in this area, we intend to explore the concept of Ownership Types. Ownership Types restrict the structural relationships between objects, limiting the ways in which objects can be accessed. Every object has clearly defined synchronisation requirements. These requirements can be provided by separately implemented synchronisation controls. Aggregate objects can be composed from component objects. The synchronisation requirements of the aggregate can be derived from those of the components, and how are the components are used. Synchronisation for aggregate objects can be provided externally or internally or by some combination. We are investigating a practical system that should provide some flexibility in terms of the granularity of synchronisation constraints. This system should provide means for coarsening the granularity of synchronisation for composable concurrent object systems. We are researching more adaptable, flexible, and reusable approaches to synchronisation in concurrent object-oriented programs. Along with the main goal of this research we are investigating other issues related to incorporating concurrency into object-oriented systems and to the integration of synchronisation mechanisms and object reuse through inheritance and delegation.

The PhD work started: 1/2003

HTML3
JAVA

 

Last modified on Mon Aug 15 14:59:24 2005