A novel parallelization technique for DEVS simulation of continuous and hybrid systems

In this paper, we introduce a novel parallelization technique for Discrete Event System Specification (DEVS) simulation of continuous and hybrid systems. Here, like in most parallel discrete event simulation methodologies, the models are first split into several sub-models which are then concurrently simulated on different processors. In order to avoid the cost of the global synchronization of all processes, the simulation time of each sub-model is locally synchronized in a real-time fashion with a scaled version of physical time, which implicitly synchronizes all sub-models. The new methodology, coined Scaled Real-Time Synchronization (SRTS), does not ensure a perfect synchronization in its implementation. However, under certain conditions, the synchronization error introduced only provokes bounded numerical errors in the simulation results. SRTS uses the same physical time-scaling parameter throughout the entire simulation. We also developed an adaptive version of the methodology (Adaptive-SRTS) where this parameter automatically evolves during the simulation according to the workload. We implemented the SRTS and Adaptive-SRTS techniques in PowerDEVS, a DEVS simulation tool, under a real-time operating system called the Real-Time Application Interface. We tested their performance by simulating three large-scale models, obtaining in all cases a considerable speedup.

[1]  Rodrigo Castro,et al.  Quantization-based integration methods for delay-differential equations , 2011, Simul. Model. Pract. Theory.

[2]  Kyu Ho Park,et al.  A Real-Time Discrete Event System Specification Formalism for Seamless Real-Time Software Development , 1997, Discret. Event Dyn. Syst..

[3]  Carl Tropper,et al.  On Process Migration and Load Balancing in Time Warp , 1993, IEEE Trans. Parallel Distributed Syst..

[4]  Michael J. Flynn,et al.  Very high-speed computing systems , 1966 .

[5]  Robert G. Sargent,et al.  Model structure and load balancing in optimistic parallel discrete event simulation , 2000, Proceedings Fourteenth Workshop on Parallel and Distributed Simulation.

[6]  Kyu Ho Park,et al.  Distributed simulation of hierarchical DEVS models: hierarchical scheduling locally and time warp globally , 1996 .

[7]  Gustavo Migoni,et al.  Linearly Implicit Discrete Event Methods for Stiff ODEs. Part I: Theory , 2007 .

[8]  James J. Nutaro A discrete event method for wave simulation , 2006, TOMC.

[9]  Ernesto Kofman,et al.  Load management: Model-based control of aggregate power for populations of thermostatically controlled loads , 2012 .

[10]  Jayadev Misra,et al.  Distributed discrete-event simulation , 1986, CSUR.

[11]  D. Marr,et al.  Hyper-Threading Technology Architecture and MIcroarchitecture , 2002 .

[12]  Richard M. Fujimoto,et al.  Optimistic parallel discrete event simulations of physical systems using reverse computation , 2005, Workshop on Principles of Advanced and Distributed Simulation (PADS'05).

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

[14]  Jason Liu Parallel Discrete-Event Simulation , 2010 .

[15]  François E. Cellier,et al.  Quantization-based new integration methods for stiff ordinary differential equations , 2012, Simul..

[16]  Bernard P. Zeigler,et al.  Parallel discrete event simulation with application to continuous systems , 2003 .

[17]  David W. Bauer,et al.  Optimistic parallel discrete event simulation of the event-based transmission line matrix method , 2007, 2007 Winter Simulation Conference.

[18]  E. Deelman,et al.  Dynamic load balancing in parallel discrete event simulation for spatially explicit problems , 1998, Proceedings. Twelfth Workshop on Parallel and Distributed Simulation PADS '98 (Cat. No.98TB100233).

[19]  Federico Bergero,et al.  PowerDEVS: a tool for hybrid system modeling and real-time simulation , 2011, Simul..

[20]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

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

[22]  Philip A. Wilsey,et al.  Unsynchronized parallel discrete event simulation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[23]  Ernesto Kofman,et al.  A Third Order Discrete Event Simulation Method for Continuous System Simulation , 2006 .

[24]  G. Blake,et al.  A survey of multicore processors , 2009, IEEE Signal Processing Magazine.

[25]  Kristian Stavåker,et al.  Parallel Simulation of Equation-based Object-Oriented Models with Quantized State Systems on a GPU , 2009 .

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

[27]  Ernesto Kofman,et al.  Discrete Event Simulation of Hybrid Systems , 2004, SIAM J. Sci. Comput..

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

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

[30]  Azzedine Boukerche,et al.  A static partitioning and mapping algorithm for conservative parallel simulations , 1994, PADS '94.

[31]  Willem Hundsdorfer,et al.  A multirate time stepping strategy for stiff ordinary differential equations , 2007 .

[32]  Jean-Baptiste Chaudron,et al.  Towards an HLA Run-time Infrastructure with Hard Real-time Capabilities , 2010 .

[33]  Jack Dongarra,et al.  MPI - The Complete Reference: Volume 1, The MPI Core , 1998 .

[34]  Randima Fernando,et al.  GPU Gems: Programming Techniques, Tips and Tricks for Real-Time Graphics , 2004 .

[35]  Ernesto Kofman,et al.  Quantization-Based Simulation of Differential Algebraic Equation Systems , 2003, Simul..

[36]  K. Mani Chandy,et al.  Asynchronous distributed simulation via a sequence of parallel computations , 1981, CACM.

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

[38]  Ernesto Kofman,et al.  A THIRD ORDER DISCRETE EVENT METHOD FOR CONTINUOUS SYSTEM SIMULATION Part II: Applications , 2006 .

[39]  François E. Cellier,et al.  Quantization-Based New Integration Methods for Stiff ODEs. , 2012 .

[40]  Michael Barabanov,et al.  A Linux-based Real-Time Operating System , 1997 .