Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
ACT++: building a concurrent C++ with actors
Journal of Object-Oriented Programming
Concurrent programming: principles and practice
Concurrent programming: principles and practice
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
Distributed processes: a concurrent programming concept
Communications of the ACM
Monitors: an operating system structuring concept
Communications of the ACM
Communications of the ACM
Selected writings on computing: a personal perspective
Selected writings on computing: a personal perspective
Operating system principles
Object-oriented modelling of parallel hardware systems
Proceedings of the conference on Design, automation and test in Europe
Solving inheritance anomaly with OMNets
Journal of Computer Science and Technology
A Synchronization Mechanism for Inheritance in POOSL
HPC-ASIA '97 Proceedings of the High-Performance Computing on the Information Superhighway, HPC-Asia '97
| Hi-index | 0.00 |
The term Inheritance Anomaly has been introduced into Object-Oriented Concurrent Programming (OOCP). It has also been shown how different kinds of synchronization mechanisms fall into one of the three anomalies. Guarded Methods are shown to be an inadequate tool to solve either History-only Sensitive Anomaly or Modification of Acceptable States. This paper argues that any of the anomalies can be solved by Guarded Methods when a suitable semantics is found for it. The main contribution of the paper is the exposition that the concept of Guarded Methods, provided Guarded Methods are interpreted as Conditional Critical Regions, is an adequate language tool for expressing synchronization constraints in OOCP. Guarded Method based solutions are given for the above mentioned two cases of anomalies.