Design of high level modelling / high performance simulation environments

ABSTRACT

Advances in massively parallel platforms are increasing the prospects for high performance discrete event simulation. Still the difficulty in parallel programming persists and there is increasing demand for high level support for building discrete event models to execute on such platforms. We present a parallel DEVS-based (Discrete Event System Specification) simulation environment that can execute on distributed memory multicomputer systems with benchmarking results of a class of high resolution, large scale ecosystem models. Underlying the environment is a parallel container class library for hiding the details of message passing technology while providing high level abstractions for hierarchical, modular DEVS models. The C++ implementation working on the Thinking Machines CM-5 demonstrates that the desire for high level modeling support need not be irreconcilable with sustained high performance.

REFERENCES

• 1: F. Bodin, P. Beckman, D. Gannon, S. Narayana, and S. X. Yang, "Distributed pC++" Basic Ideas for an Object Parallel Language", Scientific Programming, Vol. 2, No. 3, pp 7-22, Fall 1993.
• 2: Andrew A. Chien, Concurrent aggregates: supporting modularity in massively parallel programs, MIT Press, Cambridge, MA, 1993
• 3: K. M. Chandy and J. Misra, "A case study in design and verification of distributed programs", IEEE Trans. Software Engineering. SE-5, pp 440- 452, Sept., 1979.
• 4: Y. K. Cho, Parallel Implementation of Container using Parallel Virtual Machine, Master thesis, The University of Arizona, Tucson, AZ, 1995.
• 5: Alex Chung Hen Chow , Bernard P. Zeigler, Parallel DEVS: a parallel, hierarchical, modular, modeling formalism, Proceedings of the 26th conference on Winter simulation, p.716-722, December 11-14, 1994, Orlando, Florida, United States
• 6: E. R. Christensen and B. P. Zeigler, "Hierarchical, Distributed, Object oriented and Knowledge based Simulation", In 8th Military Operations Research Society Symposium, 1990.
• 7: A. I. Concepcion, A Hierarchical Computer Architecture for Distributed Simulation, IEEE Transactions on Computers, v.38 n.2, p.311-319, February 1989 [doi>10.1109/12.16512]
• 8: Alois Ferscha, Probabilistic adaptive direct optimism control in Time Warp, Proceedings of the ninth workshop on Parallel and distributed simulation, p.120-129, June 13-16, 1995, Lake Placid, New York, United States
• 9: Richard M. Fujimoto, Parallel discrete event simulation, Communications of the ACM, v.33 n.10, p.30-53, Oct. 1990 [doi>10.1145/84537.84545]
• 10: Albert G. Greenberg , Boris D. Lubachevsky , David M. Nicol , Paul E. Wright, Efficient massively parallel simulation of dynamic channel assignment schemes for wireless cellular communications, Proceedings of the eighth workshop on Parallel and distributed simulation, p.187-197, July 06-08, 1994, Edinburgh, Scotland, United Kingdom
• 11: Y. C. Ho, "Special issue on discrete event dynamic systems", Proceedings of the IEEE, 77(1), 1989.
• 12: David R. Jefferson, Virtual time, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.3, p.404-425, July 1985 [doi>10.1145/3916.3988]
• 13: Vikas Jha , Rajive L. Bagrodia, A unified framework for conservative and optimistic distributed simulation, Proceedings of the eighth workshop on Parallel and distributed simulation, p.12-19, July 06-08, 1994, Edinburgh, Scotland, United Kingdom
• 14: C. Liao, A. Motaabbed, D. Kim, and B. P. Zeigler, "Distributed Simulation Algorithm for Sparce Output DEVS", In Proc. of AI, Simulation and Planning in High-Autonomy Systems, Sept. 1993.
• 15: Y. B. Lin, "Special Issue on Parallel Discrete Event Simulation", Journal of Parallel and Distributed Computing, vol. 18, pp. 391-394, 1993.
• 16: D. Nicol, R. M. Fujimoto, "Parallel Simulation Today", Annals of Operations Research vol.53 pp. 249-285, Nov. 1994.
• 17: Ravi Ponnusamy , Rajeev Thakur , Alok Choudhary , Kishore Velamakanni , Zeki Bozkus , Geoffrey Fox, Experimental performance evaluation of the CM-5, Journal of Parallel and Distributed Computing, v.19 n.3, p.192-202, Nov. 1993 [doi>10.1006/jpdc.1993.1104]
• 18: H. Praehofer and B. P. Zeigler, "Automatic abstraction of event-based control models from continuous base models", submitted to IEEE Trans. Systems, Man and Cybernetics, 1995.
• 19: Jeff S. Steinman, "SPEEDES: Synchronous Parallel Environment for Emulation and Discrete Event Simulation", Advances in Parallel and Distributed Simulation, Proceedings of the SCS Multiconference, pp. 95-103, 1990.
• 20: V. S. Sunderam , G. A. Geist , J. Dongarra , R. Manchek, The PVM concurrent computing system: evolution, experiences, and trends, Parallel Computing, v.20 n.4, p.531-545, April 1994 [doi>10.1016/0167-8191(94)90027-2]
• 21: B. P. Zeigler, "DEVS representation of dynamical systems: Event-based intelligent control", Proceedings of the IEEE, 77(1):72-80, 1989.
• 22: Bernard P. Zeigler, Object-oriented simulation with hierarchical, modular models: intelligent agents and endomorphic systems, Academic Press Professional, Inc., San Diego, CA, 1990
• 23: B. P. Zeigler and W. H. Sanders, "Preface to special issue on environments for discrete event dynamic systems", Discrete Event Dynamic Systems: Theory and Application, 3(2):110-119, 1993.
• 24: B. P. Zeigler, Y. Moon, V. L. Lopes and J. Kim, "DEVS Approximation of Infiltration Using Genetic Algorithm Optimization of a Fuzzy System", submitted to Journal of Mathematical and Computer Modeling, 1995.
• 25: Bernard P. Zeigler , Yoonkeon Moon , Doohwan Kim , Jeong Geun Kim, DEVS-C++: A High Performance Modelling and Simulation Environment, Proceedings of the 29th Hawaii International Conference on System Sciences (HICSS'96) Volume 1: Software Technology and Architecture, p.350, January 03-06, 1996
• 26: B. P. Zeigler and Guoqing Zhang, "Mapping Hierarchical Discrete Event Models to Multiprocessor Systems: Concepts, Algorithm, and Simulation", Journal of Parallel and Distributed Computing, vol. 9, pp. 271-281, 1990.

INDEX TERMS

Primary Classification:
  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.7 Simulation Support Systems
          Subjects: Environments

General Terms:
Measurement, Performance, Theory

Keywords:
Discrete Event System Specification, Distributed Parallel Simulation, Containers Classes, Object-oriented Programming, Geographical Information System, Watershed Modelling, Connection Machine CM-5