Skip to main content

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 154))

  • 75 Accesses

Abstract

Choosing Ada as a base language for the process view of simulation, one would like to adopt the Ada rendezvous for process interaction. This paper investigates the implications of the rendezvous in the context of simulated time. To avoid the danger of deadlock (as exhibited by some proposed systems), a very thorough control of the rendezvous is shown to be necessary. A suitable simulation mechanism is presented and proven. But judged by the ensuing costs the rendezvous is considered to be no attractive choice for general simulation purposes.

Considering methods, this paper uses and contributes to the “space-time view” (L.Lamport) of processes: processes are sequences of actions, and simulated time is a mapping of actions to numerical values.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. H.H. Adelsberger: ASSE — Ada Simulation Support Environment. Proc. Winter Simulation Conf., 1982

    Google Scholar 

  2. ANSI: The Programming Language Ada Reference Manual. 1983

    Google Scholar 

  3. C.J. Antonelli, R.A. Vok, T.N. Mudge: Hierarchical Decomposition and Simulation of Manufacturing Cells using Ada. Simulation, Apr.1986

    Google Scholar 

  4. G. Bruno: Rationale for the Introduction of Discrete Event Primitives in Ada. Simulation in Strongly Typed Languages, ed.R.M. Bryant, 1984

    Google Scholar 

  5. R.M. Bryant: Discrete Event Simulation in Ada. Simulation, Oct.1982

    Google Scholar 

  6. A. Burns: Concurrent Programming in Ada. 1985

    Google Scholar 

  7. V.A. Downes, R. Tellaeche Bosch: Discrete Event Simulation with Ada. Proc. UKSC Conf. on Computer Simulation, 1984

    Google Scholar 

  8. V.A, Downes, R. Tellaeche Bosch: Discrete Event Modelling in Ada. Proc. Joint Ada Europe/ Ada Tec Conf. 1984

    Google Scholar 

  9. W.R. Franta: The Process View of Simulation. 1977

    Google Scholar 

  10. P. Friel, S. Sheppard: Implications of the Ada Environment for Simulation Studies. Proc. Winter Simulation Conf. 1984

    Google Scholar 

  11. P. Friel, D. Reese, S. Sheppard: Simulation in Ada: an Implementation of two World Views. Simulation in Strongly Typed Languages, ed. R.M. Bryant, 1984

    Google Scholar 

  12. L. Lamport: Time, Clocks, and the Ordering of Events in a Distributed System. CACM, July 1978

    Google Scholar 

  13. G. Lomow, B. Unger: The Process View of Simulation in Ada. Proc. Winter Simulation Conf. 1982

    Google Scholar 

  14. R. Pooley: Languages for Discrete Event Simulation. Proc. Simula Users’ Conf. 1985

    Google Scholar 

  15. S.A. Steele, R. Beeby: A Process Simulation Package concealing Multi-tasking. Proc. Ada Europe Conf. 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1987 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pohlmann, W. (1987). Simulated Time and the Ada Rendezvous. In: Herzog, U., Paterok, M. (eds) Messung, Modellierung und Bewertung von Rechensystemen. Informatik-Fachberichte, vol 154. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73016-0_9

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-73016-0_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-18406-5

  • Online ISBN: 978-3-642-73016-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics