Synchronisation, concurrent object-oriented programming and the inheritance anomaly

Authors:
S. E. Mitchell;A. J. Wellings
Affiliations:
Department of Computer Science, University of York, York, U.K.;Department of Computer Science, University of York, York, U.K.
Venue:
Computer Languages
Year:
1996

Citing 13
Cited 11

Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
The design and implementation of Concurrent Smalltalk

OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Inheritance on processes, exemplified on distributed termination detection

International Journal of Parallel Programming
Concurrent programming in concurrent Smalltalk

Object-oriented concurrent programming
Pool-T: a parallel object-oriented language

Object-oriented concurrent programming
Rosette: An object-oriented concurrent systems architecture

OOPSLA/ECOOP '88 Proceedings of the 1988 ACM SIGPLAN workshop on Object-based concurrent programming
Systematic concurrent object-oriented programming

Communications of the ACM
Analysis of inheritance anomaly in object-oriented concurrent programming languages

Research directions in concurrent object-oriented programming
Guarded methods vs. inheritance anomaly: inheritance anomaly solved by nested guarded method calls

ACM SIGPLAN Notices
An overview of actor languages

OOPWORK '86 Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming
Concepts and Notations for Concurrent Programming

ACM Computing Surveys (CSUR)
Evaluating synchronization mechanisms

SOSP '79 Proceedings of the seventh ACM symposium on Operating systems principles
Object-oriented programming with protected types in Ada 95

WPDRTS '95 Proceedings of the 3rd Workshop on Parallel and Distributed Real-Time Systems

A comparison of the concurrency features of Ada 95 and Java

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Extensible protected types

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)
Integrating object-oriented programming and protected objects in Ada 95

ACM Transactions on Programming Languages and Systems (TOPLAS)
Integrating object-oriented programming and protected objects in Ada 95

ACM SIGAda Ada Letters
MOPping up exceptions

ACM SIGAda Ada Letters - Exception handling for a 21st century programming language proceedings
ConC++: A Concurrent C++

COMPSAC '00 24th International Computer Software and Applications Conference
Adaptive Scheduling Using Reflection

ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
Developing a Real-time Metaobject Protocol

WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
An overview of the mensurae language: specifying business processes

ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Synchronization abstraction in the BETA programming language

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.