Skip to main content
SpringerLink
Log in

The dining philosophers in Ada 95

  • Real-Time Systems
  • Conference paper
  • First Online:
Book cover Reliable Software Technologies — Ada-Europe '96 (Ada-Europe 1996)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1088))

Included in the following conference series:

Abstract

This paper presents several alternative Ada 95 solutions to the classical “Dining Philosophers” problem. These examples illustrate a number of new Ada 95 tasking features including protected types, entry barriers dependent on an entry family index, the requeue statement, and asynchronous transfer of control. The paper compares the approaches with respect to style, portability, and performance.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ben-Ari M. (1982). Principles of Concurrent Programming. Prentice / Hall

    Google Scholar 

  2. Burns A. and Davies G. (1993). Concurrent Programming. Addison Wesley International Computer Science Series

    Google Scholar 

  3. Dijkstra E.W. (1971). “Hierarchical ordering of sequential processes”, Acta Informatica, 1, 115–138

    Google Scholar 

  4. Feldman, M. (1992). “Portable Dining Philosophers: a Movable Feast of Concurrency and Software Engineering,” in Proc. 23rd ACM SIGCSE Technical Symposium on Computer Science Education, Kansas City, MO, March 1992.

    Google Scholar 

  5. Feldman, M and Källberg, B (1995), “Portable Dining Philosophers Example”, in Ada 95 Quality and Style: Guidelines for Professional Programmers, Version 01.00.10, Software Productivity Consortium, October 1995, pp. 241–256.

    Google Scholar 

  6. Habermann N. and Perry D. (1983). Ada for Experienced Programmers, Addison-Wesley

    Google Scholar 

  7. Hoare C.A.R. and Perrot R.H., eds. (1972). Operating Systems Techniques, Academic Press

    Google Scholar 

  8. Intermetrics, Inc. (1995). Ada 95 Rationale

    Google Scholar 

  9. Intermetrics, Inc. (1995). Ada 95 Reference Manual

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Thomson Software Products, 200 Wheeler Road, 01803, Burlington, MA, USA

    Benjamin M. Brosgol

Authors
  1. Benjamin M. Brosgol
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alfred Strohmeier

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brosgol, B.M. (1996). The dining philosophers in Ada 95. In: Strohmeier, A. (eds) Reliable Software Technologies — Ada-Europe '96. Ada-Europe 1996. Lecture Notes in Computer Science, vol 1088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0013493

Download citation

  • DOI: https://doi.org/10.1007/BFb0013493

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61317-6

  • Online ISBN: 978-3-540-68457-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation