Advertisement

How to avoid the inheritance anomaly in Ada

  • Guido Schumacher
  • Wolfgang Nebel
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1411)

Abstract

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.

Keywords

Actual Operation Modelling Style Exclusive Access Package Body Synchronization Code 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 2.
    Atkinson, C.: Object-oriented reuse, concurrency and distribution: an Adabased approach. ACM Press (1991)Google Scholar
  3. 3.
    Burns, A.; Wellings, A.: Concurrency in Ada. Cambridge University Press (1995)Google Scholar
  4. 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. 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. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Guido Schumacher
    • 1
  • Wolfgang Nebel
    • 1
  1. 1.Department of Computer ScienceCarl von Ossietzky University OldenburgOldenburgGermany

Personalised recommendations