Skip to main content

On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System

  • Conference paper
  • First Online:
Reliable Software Technologies — Ada-Europe’ 99 (Ada-Europe 1999)

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

Included in the following conference series:

  • 314 Accesses

Abstract

In the field of distributed discrete event simulation the time warp algorithm is well known. For a generalization, called split queue time warp, a prototype using Ada 95 was built. The present paper describes an implementation of an add-on for fossil collection needed to prevent from memory overflow during a simulation run. The method is based on determining the simulation time, called global virtual time, by respecting the special submodel structure of the prototype. A discussion about the usefulness of Ada’s concept of controlled types for such a purpose is included.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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. Barnes, J.G.P. 1994. Programming in Ada. Addison-Wesley, Reading, Ma.

    Google Scholar 

  2. Burns A. and A. Wellings. 1995. Concurrency in Ada. Cambridge University Press, New York.

    MATH  Google Scholar 

  3. Chandy, K. N. and J. Misra. 1989. Parallel Program Design. Addison-Wesley, Reading, Ma.

    Google Scholar 

  4. Ferscha A. 1996. “Parallel and Distributed Simulation of Discrete Event Systems”. Parallel and Distributed Computing Handbook (A.Y. Zomaya ed.). Mc Graw-Hill.

    Google Scholar 

  5. Fujimoto, R. M. 1990. “Parallel Discrete Event Simulation”. Communications ACM 33(10), pp.31–53.

    Google Scholar 

  6. Hagenauer, H. and W. Pohlmann. 1996. “Making Asynchronous Simulation More Asynchronous”. Proc. 10th European Simulation Conference, Budapest.

    Google Scholar 

  7. Hagenauer H. and W. Pohlmann. 1996. “Prototyping a Parallel Discrete Event Simulation System in Ada”. Proc. ACM TRI-ADA96 (S. Carlson ed.). Philadelphia.

    Google Scholar 

  8. Hagenauer H. and W. Pohlmann. 1998. “Ada 95 for a Distributed Simulation System”. Proc. Conference Reliable Sortware Technologies Ada-Europe’98 (Lars Asplund ed.), Uppsala. Lecture Notes in Computer Science 1411, Springer.

    Chapter  Google Scholar 

  9. Hagenauer H. 1999. “Global Virtual Time Approximation for Split Queue Time Warp”. Proc. 4th International Conference of the ACPC — ACPC’99 (P.Zinterhof, M.Vajterffsic, A.Uhl ed.), Salzburg. Lecture Notes in Computer Science 1557, Springer.

    Google Scholar 

  10. Kempe M. 1994. “Abstract Data types are under full control with Ada 9X”. Proc. ACM TRI-ADA’94. Baltimore, MD.

    Google Scholar 

  11. Mattern, F. 1993. “Effcient Algorithms for Distributed Snapshots and Global Virtual Time Approximation”. Journal of Parallel and Distributed Computing 18, no 4.

    Google Scholar 

  12. Misra, J. 1986. “Distributed Discrete Event Simulation”. ACM Computing Surveys 18(1), p.39–65.

    Article  Google Scholar 

  13. Pohlmann, W. 1987. “Simulated Time and the Ada Rendezvous”. Proc. 4. Symposium Simulationstechnik, Zuerich. J. Halin ed., pp.92–102.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hagenauer, H. (1999). On the Use of Controlled Types for Fossil Collection in a Distributed Simulation System. In: González Harbour, M., de la Puente, J.A. (eds) Reliable Software Technologies — Ada-Europe’ 99. Ada-Europe 1999. Lecture Notes in Computer Science, vol 1622. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48753-0_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-48753-0_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66093-4

  • Online ISBN: 978-3-540-48753-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics