Integrating inheritance and synchronization in Ada9X
Colin Atkinson, David Weller · 1993
Aproblemwith the current proposals for Ada9X is the laclcof orthogonality between the features supporting object-oriented programming and those providing data-oriented synchronization.Aa acmsequence,keyf~tures oftheobject-oriented programmingparadigm mothtitiatiemytitimtiwmtaego~of~jmw in concurrent systemsprotected objects.This paper proposes an alternative synchronization strategy based on the rides of separating concerns for synchronization and functionality, and allowing appropriate synchronization rules to be applied to a class using a special form of inheritance.