A synchronization mechanism for inheritance in POOSL

Many of the major advantages of the object-oriented paradigm such as reusability and extensibility stem from the inheritance mechanism. However, it is difficult to support inheritance in concurrent object-oriented languages. This is owing to the problem called inheritance anomaly, which is a kind of interference between inheritance and synchronization. This paper presents a novel synchronization mechanism which resolves the inheritance anomaly and thus supports effectively inheritance in POOSL. POOSL is a parallel programming model that we have developed for the purpose of facilitating the description of parallel programs. Our approach offers high-level synchronization constructs such as method-synchronization and method-concurrency. Furthermore, it operates an object manager as low-level control in order to avoid the inheritance anomaly