Parallel and distributed simulation of discrete event systems

The achievements attained in accelerating the simulation of the dynamics of complex discrete event systems using parallel or distributed multiprocessing environments are comprehensively presented. While parallel discrete event simulation (DES) governs the evolution of the system over simulated time in an iterative SIMD way, distributed DES tries to spatially decompose the event structure underlying the system, and executes event occurrences in spatial subregions by logical processes (LPs) usually assigned to di erent (physical) processing elements. Synchronization protocols are necessary in this approach to avoid timing inconsistencies and to guarantee the preservation of event causalities across LPs. Included in the survey are discussions on the sources and levels of parallelism, synchronous vs. asynchronous simulation and principles of LP simulation. In the context of conservative LP simulation (Chandy/Misra/Bryant) deadlock avoidance and deadlock detection/recovery strategies, Conservative Time Windows and the Carrier Nullmessage protocol are presented. Related to optimistic LP simulation (Time Warp), Optimistic Time Windows, memory management, GVT computation, probabilistic optimism control and adaptive schemes are investigated. CR

[1]  Leonard Kleinrock,et al.  The virtual-time data-parallel machine , 1992, [Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.

[2]  R. M. Fujimoto,et al.  Parallel discrete event simulation , 1989, WSC '89.

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

[4]  Richard A. Davis,et al.  Time Series: Theory and Methods , 2013 .

[5]  Giovanni Chiola,et al.  Self-adaptive logical processes: the probabilistic distributed simulation protocol , 1994, 27th Annual Simulation Symposium.

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

[7]  David M. Nicol,et al.  Performance bounds on parallel self-initiating discrete-event simulations , 1990, TOMC.

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

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

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

[11]  Albert G. Greenberg,et al.  Algorithms for unboundedly parallel simulations , 1991, TOCS.

[12]  Paul F. Reynolds,et al.  Design and Performance Analysis of Hardware Support for Parallel Simulations , 1993, J. Parallel Distributed Comput..

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

[14]  Rema Padman,et al.  Measuring Congestion for Dynamic Task Allocation in Distributed Simulation , 1993, INFORMS J. Comput..

[15]  Atul Prakash,et al.  Filter: an algorithm for reducing cascaded rollbacks in optimistic distributed simulations , 1991, ANSS '91.

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

[17]  Richard M. Fujimoto,et al.  An Adaptive Memory Management Protocol for Time Warp Simulation , 1994, SIGMETRICS.

[18]  David M. Nicol,et al.  Parallel discrete-event simulation of FCFS stochastic queueing networks , 1988, PPEALS '88.

[19]  Hassan Rajaei,et al.  The local Time Warp approach to parallel simulation , 1993, PADS '93.

[20]  David R. Jefferson,et al.  Supercritical speedup , 1991, ANSS '91.

[21]  Eric G. Manning,et al.  Distributed Simulation Using a Network of Processors , 1979, Comput. Networks.

[22]  Alan Weiss,et al.  An analysis of rollback-based simulation , 1991, TOMC.

[23]  LamportLeslie.  Time, clocks, and the ordering of events in a distributed system , 1978 .

[24]  Boris D. Lubachevsky,et al.  Relaxation for Massively Parallel Discrete Event Simulation , 1993, Performance/SIGMETRICS Tutorials.

[25]  David M. Nicol,et al.  Parallel simulation today , 1994, Ann. Oper. Res..

[26]  Bernard P. Zeigler,et al.  Performance evaluation of hierarchical distributed simulators , 1985, WSC '85.

[27]  Rajive L. Bagrodia,et al.  The Maisie environment for parallel simulation , 1994, 27th Annual Simulation Symposium.

[28]  Philip A. Wilsey,et al.  pGVT: an algorithm for accurate GVT estimation , 1994, PADS '94.

[29]  David Jefferson,et al.  Fast Concurrent Simulation Using the Time Warp Mechanism. Part I. Local Control. , 1982 .

[30]  Wentong Cai,et al.  The “logical clocks” approach to the visualization of parallel programs , 1993 .

[31]  Yi-Bing Lin,et al.  Determining the Global Virtual Time in a Distributed Simulation , 1990, ICPP.

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

[33]  Giovanni Chiola,et al.  Accelerating the Evaluation of Parallel Program Performance Models Using Distributed Simulation , 1994, Computer Performance Evaluation.

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

[35]  Jeff S. Steinman,et al.  Breathing Time Warp , 1993, PADS '93.

[36]  Alois Ferscha.  Concurrent execution of timed Petri nets , 1994, Proceedings of Winter Simulation Conference.

[37]  Ian F. Akyildiz,et al.  The Effect of Memory Capacity on Time Warp Performance , 1993, J. Parallel Distributed Comput..

[38]  Giovanni Chiola,et al.  Distributed simulation of Petri nets , 1993, IEEE Parallel & Distributed Technology: Systems & Applications.

[39]  Laura M. Haas,et al.  Distributed deadlock detection , 1983, TOCS.

[40]  Richard M. Fujimoto,et al.  Feature Article - Parallel Discrete Event Simulation: Will the Field Survive? , 1993, INFORMS J. Comput..

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

[42]  K. Mani Chandy,et al.  A unifying framework for distributed simulation , 1991, TOMC.

[43]  G. Chiola,et al.  Performance Comparable Implementation Design ofSynchronization Protocols for Distributed Simulation , 1993 .

[44]  Rhonda Righter,et al.  Distributed simulation of discrete event systems , 1989, Proc. IEEE.

[45]  Randal E. Bryant,et al.  A Switch-Level Model and Simulator for MOS Digital Systems , 1984, IEEE Transactions on Computers.

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

[47]  David M. Nicol,et al.  Parallelized Direct Execution Simulation of Message-Passing Parallel Programs , 1996, IEEE Trans. Parallel Distributed Syst..