Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study

The conservative Parallel DEVS protocol offers a novel approach that allows conservative simulation of DEVS-based PDES systems. The protocol is based on the classical Chandy-Misra-Bryant synchronization mechanism, and it extends the DEVS abstract simulator to provide means for lookahead computation and null-messages. We present a purely conservative simulator, called CCD++, designed for running large-scale DEVS and Cell-DEVS models in parallel and distributed fashion. A comparative performance analysis is presented, analyzing the performance of CCD++ compared to an optimistic DEVS simulator. Several DEVS-based environmental models with different characteristics are studied. The experiments indicate that the conservative simulator improves performance in terms of execution time, memory usage, operational cost, and system stability for very large models.

[1]  Bernard P. Zeigler,et al.  Implementation of the DEVS Formalism over the HLA/RTI: Problems and Solutions , 1999 .

[2]  H. Praehofer,et al.  Distributed simulation of DEVS-based multiformalism models , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.

[3]  B. Zeigler,et al.  DEVS / RMI — AnAuto-Adaptive and Reconfigurable Distributed Simulation Environment for Engineering Studies , 2005 .

[4]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[5]  K. Mani Chandy,et al.  Distributed Simulation: A Case Study in Design and Verification of Distributed Programs , 1979, IEEE Transactions on Software Engineering.

[6]  Bernard P. Zeigler,et al.  Theory of Modeling and Simulation: Integrating Discrete Event and Continuous Complex Dynamic Systems , 2000 .

[7]  Bernard P. Zeigler,et al.  DEVS-C++: a high performance modelling and simulation environment , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[8]  Claudia Frydman,et al.  A New Algorithm for the HLA Lookahead Computing in the DEVS/HLA Environment , 2005 .

[9]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[10]  Richard M. Fujimoto,et al.  Parallel and Distribution Simulation Systems , 1999 .

[11]  Claudia Frydman,et al.  Improving the DEVS/HLA Environment , 2005 .

[12]  Bernard P. Zeigler,et al.  Distributed supply chain simulation in a DEVS/CORBA execution environment , 1999, WSC '99.

[13]  Kyu Ho Park,et al.  Parallel simulation of hierarchical modular DEVS models: a modified time warp approach , 1995 .

[14]  Norbert Giambiasi,et al.  Improving the lookahead computation in G-DEVS/HLA environment , 2005, Ninth IEEE International Symposium on Distributed Simulation and Real-Time Applications.

[15]  Randal E. Bryant,et al.  SIMULATION OF PACKET COMMUNICATION ARCHITECTURE COMPUTER SYSTEMS , 1977 .

[16]  Bernard P. Zeigler,et al.  Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.

[17]  Gabriel A. Wainer,et al.  A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models , 2009, 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation.

[18]  Sumit Ghosh,et al.  A novel algorithm for discrete-event simulation: asynchronous distributed discrete-event simulation algorithm for cyclic circuits using a dataflow network , 1991, Computer.

[19]  R.M. Fujimoto,et al.  Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[20]  James J. Nutaro,et al.  On constructing optimistic simulation algorithms for the discrete event system specification , 2008, TOMC.

[21]  Gabriel A. Wainer.  Applying Cell-DEVS Methodology for Modeling the Environment , 2006, Simul..

[22]  Gabriel A. Wainer,et al.  Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models , 2010, SpringSim.

[23]  Ki-Hyung Kim,et al.  CORBA-Based, Multi-threaded Distributed Simulation of Hierarchical DEVS Models: Transforming Model Structure into a Non-hierarchical One , 2004, ICCSA.

[24]  Gabriel A. Wainer,et al.  Models of complex physical systems using Cell-DEVS , 2001, Proceedings. 34th Annual Simulation Symposium.

[25]  Yi Sun,et al.  Performance Improvement Using Parallel Simulation Protocol and Time Warp for DEVS Based Applications , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.

[26]  Collin D. Bevins.  fireLib user manual and technical reference , 1996 .