DMCA
Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages (1993)
| Citations: | 180 - 2 self |
BibTeX
@MISC{Matsuoka93analysisof,
author = {Satoshi Matsuoka and Akinori Yonezawa},
title = {Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages},
year = {1993}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
It has been pointed out that inheritance and synchronization constraints in concurrent object systems often conflict with each other, resulting in inheritance anomaly where re-definitions of inherited methods are necessary in order to maintain the integrity of concurrent objects. The anomaly is serious, as it could nullify the benefits of inheritance altogether. Several proposals have been made for resolving the anomaly; however, we argue that those proposals suffer from the incompleteness which allows room for counterexamples. We give an overview and the analysis of inheritance anomaly, and review several proposals for minimizing the unwanted effect of this phenomenon. In particular, we propose (partial) solutions using (1) computational reflection, and (2) transactions in OOCP languages. 1 Introduction Inheritance is the prime language feature in sequential OO (Object-Oriented) languages, and is especially important for code re-use. Another important feature is concurrency; although...
Keyphrases
inheritance anomaly object-oriented concurrent programming language several proposal inherited method code re-use important feature unwanted effect prime language feature introduction inheritance sequential oo synchronization constraint concurrent object concurrent object system oocp language computational reflection
