An Environment for Advanced Parallel Simulation of Cellular Models

DEVS is a sound formal modeling and simulation (M&S) framework based on generic dynamic system concepts. Cell-DEVS is a formalism for cell-shaped models based on DEVS. This work presents a new simulation technique for execution of DEVS and CellDEVS models in parallel environments. These techniques are modifications to the original Time Warp mechanism offered by WARPED kernel. Time Warp functionalities are revised to include two new algorithms namely, Local Rollback Frequency Model (LRFM) and Global Rollback Frequency Model (GRFM). The resultant simulator is used as new simulation engine for CD++, a M&S toolkit that implements DEVS and Cell-DEVS theories. The results obtained allowed us to achieve considerable speedups due to the reductions that LRFM and GRFM protocols perform on number of rollbacks and antimessages.

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

[2]  Anthony Skjellum,et al.  A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard , 1996, Parallel Comput..

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

[4]  Michael Schreckenberg,et al.  Microscopic Simulation of Evacuation Processes on Passenger Ships , 2000, ACRI.

[5]  F Benfenati,et al.  Computer modeling of synapsin I binding to synaptic vesicles and F-actin: implications for regulation of neurotransmitter release. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[6]  Philip A. Wilsey,et al.  An Object-Oriented Time Warp Simulation Kernel , 1998, ISCOPE.

[7]  Ezequiel Glinsky,et al.  NEW TECHNIQUES FOR PARALLEL SIMULATION OF DEVS AND CELL-DEVS MODELS IN CD++ , 2004 .

[8]  Paul F. Reynolds,et al.  Elastic time , 1998, TOMC.

[9]  Gabriel A. Wainer.  CD++: a toolkit to develop DEVS models , 2002, Softw. Pract. Exp..

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

[11]  Gabriel Wainer,et al.  Timed cell-DEVS: modeling and simulation of cell spaces , 2001 .

[12]  Gabriel Wainer,et al.  Advanced DEVS Models With Application to Biomedicine , 2007 .

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