Distributed simulation systems

An overview of technologies concerned with distributing the execution of simulation programs across multiple processors is presented. Here, particular emphasis is placed on discrete event simulations. The High Level Architecture (HLA) developed by the Department of Defense in the United States is first described to provide a concrete example of a contemporary approach to distributed simulation. The remainder of this paper is focused on time management, a central issue concerning the synchronization of computations on different processors. Time management algorithms broadly fall into two categories, termed conservative and optimistic synchronization. A survey of both conservative and optimistic algorithms is presented focusing on fundamental principles and mechanisms. Finally, time management in the HLA is discussed as a means to illustrate how this standard supports both approaches to synchronization.

[1]  D. C. Miller,et al.  SIMNET: the advent of simulator networking , 1995, Proc. IEEE.

[2]  Yi-Bing Lin,et al.  Selecting the checkpoint interval in time warp simulation , 1993, PADS '93.

[3]  Richard M. Fujimoto,et al.  Scalable RTI-based parallel simulation of networks , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[4]  Behrokh Samadi.  Distributed simulation, algorithms and performance analysis (load balancing, distributed processing) , 1985 .

[5]  David R. Jefferson,et al.  Virtual Time II: Storage Management in Distributed Simulation , 1990 .

[6]  John G. Cleary,et al.  Scheduling critical channels in conservative parallel discrete event simulation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

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

[8]  David M. Nicol,et al.  Parallel execution for serial simulators , 1996, TOMC.

[9]  Richard M. Fujimoto,et al.  Time Warp on a Shared Memory Multiprocessor , 1989, ICPP.

[10]  David Jefferson,et al.  Virtual time II: storage management in conservative and optimistic systems , 1990, PODC '90.

[11]  Richard M. Fujimoto,et al.  Parallel simulation: parallel and distributed simulation systems , 2001, WSC '01.

[12]  Roberto Beraldi,et al.  Exploiting temporal uncertainty in time warp simulations , 2000, Proceedings Fourth IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2000).

[13]  B.R. Preiss,et al.  Memory management techniques for time warp on a distributed memory machine , 1995, Proceedings 9th Workshop on Parallel and Distributed Simulation (ACM/IEEE).

[14]  Rajive L. Bagrodia,et al.  Simultaneous events and lookahead in simulation protocols , 2000, TOMC.

[15]  Bu-Sung Lee,et al.  A causality based time management mechanism for federated simulation , 2001, Proceedings 15th Workshop on Parallel and Distributed Simulation.

[16]  Boris D. Lubachevsky,et al.  Efficient distributed event-driven simulations of multiple-loop networks , 1988, CACM.

[17]  Yu Liu,et al.  Parallel network simulation under distributed Genesis , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[18]  Luciano Bononi,et al.  HLA-based adaptive distributed simulation of wireless mobile systems , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[19]  Yi-Bing Lin,et al.  Optimal memory management for time warp parallel simulation , 1991, TOMC.

[20]  Rizos Sakellariou,et al.  Improving lookahead in parallel discrete event simulations of large-scale applications using compiler analysis , 2001, Proceedings 15th Workshop on Parallel and Distributed Simulation.

[21]  Rajive L. Bagrodia,et al.  Path lookahead: a data flow view of PDES models , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[22]  Richard M. Fujimoto,et al.  Exploiting temporal uncertainty in parallel and distributed simulations , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

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

[24]  Richard M. Weatherly,et al.  The aggregate level simulation protocol: an evolving system , 1994, Proceedings of Winter Simulation Conference.

[25]  Boleslaw K. Szymanski,et al.  Four types of lookback , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[26]  Boleslaw K. Szymanski,et al.  Lookback:a new way of exploiting parallelism in discrete event simulation , 2002, Proceedings 16th Workshop on Parallel and Distributed Simulation.

[27]  Judith S. Dahmann,et al.  Creating Computer Simulation Systems: An Introduction to the High Level Architecture , 1999 .

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

[29]  David M. Nicol,et al.  The dark side of risk (what your mother never told you about Time Warp) , 1997 .

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

[31]  Wentong Cai,et al.  Adapting a supply-chain simulation for HLA , 2000, Proceedings Fourth IEEE International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2000).

[32]  Alois Ferscha.  Probabilistic adaptive direct optimism control in Time Warp , 1995, PADS.

[33]  Richard M. Fujimoto,et al.  Adaptive memory management and optimism control in time warp , 1997, TOMC.

[34]  Jeff S. Steinman,et al.  SPEEDES - A multiple-synchronization environment for parallel discrete-event simulation , 1992 .

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

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

[37]  Christopher D. Carothers,et al.  Efficient optimistic parallel simulations using reverse computation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).

[38]  R. Fujimoto.  Parallel and distributed simulation , 1995, Winter Simulation Conference Proceedings, 1995..

[39]  Carl Tropper,et al.  The dependence list in time warp , 2001, Proceedings 15th Workshop on Parallel and Distributed Simulation.

[40]  Frederick Wieland,et al.  Performance experiments with the high level architecture and the total airport and airspace model (TAAM) , 2003, Seventeenth Workshop on Parallel and Distributed Simulation, 2003. (PADS 2003). Proceedings..

[41]  Friedemann Mattern,et al.  Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation , 1993, J. Parallel Distributed Comput..

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

[43]  Christopher D. Carothers,et al.  Efficient optimistic parallel simulations using reverse computation , 1999, Workshop on Parallel and Distributed Simulation.

[44]  P. Dickens,et al.  SRADS WITH LOCAL ROLLBACK , 1990 .

[45]  Philip A. Wilsey,et al.  An analytical comparison of periodic checkpointing and incremental state saving , 1993, PADS '93.