Global Lookahead Management (GLM) Protocol for Conservative DEVS Simulation

An approach to carrying out asynchronous distributed simulation of multiprocessor message passing architectures is presented. Aiming at achieving better performance on Conservative DEVS-based simulations, we introduce the GLM protocol which borrows the idea of safe processing intervals from the conservative time window algorithm and maintains global synchronization in a fashion similar to the distributed snapshot technique. Under the GLM scheme, a central look ahead manager (LM) exists which is in charge of receiving every LP’s look ahead, identifying the global minimum look ahead of the system, and broadcasting it via null messages to all LPs. The simulation is divided into cycles of two phases: Parallel phase and Broadcast phase. The GLM protocol is asynchronous and the central look ahead manager is not expected to be a bottleneck since the only message transmissions involving it take place when all LPs are blocked waiting for permission to advance their LVTs. The results presented in this paper show that the GLM protocol not only significantly reduces the total number of null messages, but it improves the performance and higher speedups are achieved.

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

[2]  Boris D. Lubachevsky,et al.  Efficient distributed event driven simulations of multiple-loop networks , 1988, SIGMETRICS '88.

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

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

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

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

[7]  Leslie Lamport,et al.  Distributed snapshots: determining global states of distributed systems , 1985, TOCS.

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

[9]  Gabriel A. Wainer,et al.  Parallel Environment for DEVS and Cell-DEVS Models , 2007, Simul..

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

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

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

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

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

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

[16]  Gabriel A. Wainer,et al.  A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models , 2011, SpringSim.

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