How to avoid the inheritance anomaly in Ada
Object-oriented techniques such as inheritance promise great benefits for the specification and design of concurrent systems. To exploit these benefits appropriate techniques for object-oriented programming within a concurrent programming language context are required. Especially a concept how to support the inheritance of synchronization constraints is necessary to avoid what is called the inheritance anomaly. We present a modelling style of Ada which allows the integration of concurrency into object-oriented programming and which offers a solution to the inheritance anomaly.
KeywordsActual Operation Modelling Style Exclusive Access Package Body Synchronization Code
Unable to display preview. Download preview PDF.
- 1.America, P.: Inheritance and Subtyping in a Parallel Object-Oriented Language. in Bézivin, J.; Hullot, J-M.; Lieberman, H. (eds.): European Conference on Object-Oriented Programming ECOOP '87, Lecture Notes in Computer Science, Vol. 276, Springer-Verlag (1987)Google Scholar
- 2.Atkinson, C.: Object-oriented reuse, concurrency and distribution: an Adabased approach. ACM Press (1991)Google Scholar
- 3.Burns, A.; Wellings, A.: Concurrency in Ada. Cambridge University Press (1995)Google Scholar
- 4.Ferenczi, S.: Guarded Methods vs. Inheritance Anomaly Inheritance Anomaly Solved by Nested Guarded Method Calls. ACM SIGPLAN Notices, Vol. 30, Number 2, (February 1995)Google Scholar
- 5.Frølund, S.: Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages. in Lehrmann Madsen, O. (ed.): European Conference on Object-Oriented Programming ECOOP '92, Lecture Notes in Computer Science, Vol. 615, Springer-Verlag (1992)Google Scholar
- 6.Matsuoka, S.; Yonezawa, A.: Analysis of Inheritance Anomaly in Object-Oriented Concurrent Programming Languages. in Agha, G.; Wegner, P.; Yonezawa, A. (eds.): Research Directions in Concurrent Object-Oriented Programming, MIT Press (1993)Google Scholar
- 7.Mitchell, S., E.; Wellings, A. J.: Synchronization, Concurrent Object-Oriented Programming and the Inheritance Anomaly. Technical Report 234. Department of Computer Science, University of York UK (1994)Google Scholar
- 8.Tomlinson, C.; Singh, V.: Inheritance and Synchronization with Enabled-Sets. in Meyrowitz, N. (ed): Object-Oriented Programming: Systems, Languages and Applications. OOPSLA'89 Conference Proceedings. ACM Press (1989)Google Scholar