Synchronisation, concurrent object-oriented programming and the inheritance anomaly

There have been a number of models proposed for integrating concurrency and object-oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, designers of new concurrent object-oriented programming languages appear to have fo...

Full description

Saved in:
Bibliographic Details
Published in:Computer languages Vol. 22; no. 1; pp. 15 - 26
Main Authors: Mitchell, S.E., Wellings, A.J.
Format: Journal Article
Language:English
Published: Oxford Elsevier Ltd 01.04.1996
Elsevier Science
Subjects:
Applied sciences
Computer science; control theory; systems
Computer systems and distributed systems. User interface
concurrency
Exact sciences and technology
inheritance anomaly
object-oriented programming
Programming languages
Software
synchronisation
inheritance anomaly
object-oriented programming
synchronisation
concurrency
Programming language
Concurrent program
Concurrency
Inheritance
Object oriented
Anomaly
Synchronization
ISSN:0096-0551
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:There have been a number of models proposed for integrating concurrency and object-oriented programming. Unfortunately, there have been few criteria proposed for evaluating them. In focusing on issues of inheritance, designers of new concurrent object-oriented programming languages appear to have forgotten the experiences learned from over two decades of concurrent programming. In this paper we review Bloom's criteria for evaluating the expressive power of synchronisation primitives, and apply it in an object-oriented framework. We show that most of the available concurrent object-oriented programming languages lack expressive power, and that this contributes to the so-called inheritance anomaly. We then propose a new model which does address all of Bloom's criteria.
ISSN:0096-0551
DOI:10.1016/0096-0551(96)00002-1