A low-overhead constant-time Lowest-Timestamp-First CPU scheduler for high-performance optimistic simulation platforms

Abstract An approach to high-performance discrete event simulation consists of exploiting parallelization techniques. These rely on partitioning the simulation model into multiple, interacting simulation objects, also known as Logical Processes (LPs), which concurrently execute events on different CPUs and/or multiple CPU-cores. However, despite the tendency towards high degree of hardware parallelism, for relatively large models, multi-programming schemes are still needed in order to share a single CPU-core across multiple LPs. Consequently, priority management and CPU-scheduling remain central issues for the effectiveness of any parallel simulation environment. This article focuses on the optimistic approach to parallelism, which is based on speculative processing and maintains event-causality across concurrent LPs via rollback techniques. Specifically, the article presents a low-overhead constant-time implementation of the well known Lowest-Timestamp-First algorithm for the identification of the next LP to be CPU-dispatched. This proposal is suited for contexts where the optimistic simulation system conforms to the best-practice of keeping separate event lists for the hosted LPs. The implementation has been integrated in the open source ROOT-Sim (ROme OpTimistic Simulator) package. The effectiveness of the presented proposal is assessed via an extended performance study, carried out by relying on the game of life as the test-bed application.

[1]  Francesco Quaglia,et al.  Nonblocking Checkpointing for Optimistic Parallel Simulation: Description and an Implementation , 2003, IEEE Trans. Parallel Distributed Syst..

[2]  Richard M. Fujimoto,et al.  GTW: a time warp system for shared memory multiprocessors , 1994, Proceedings of Winter Simulation Conference.

[3]  Master Gardener,et al.  Mathematical games: the fantastic combinations of john conway's new solitaire game "life , 1970 .

[4]  Francesco Quaglia,et al.  Application Transparent Migration of Simulation Objects with Generic Memory Layout , 2011, 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation.

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

[6]  Wayne M. Loucks,et al.  Effects of the checkpoint interval on time and space in time warp , 1994, TOMC.

[7]  Francesco Quaglia.  A state-based scheduling algorithm for time warp synchronization , 2000, Proceedings 33rd Annual Simulation Symposium (SS 2000).

[8]  Adel Said Elmaghraby,et al.  An Analytical Model for Hybrid Checkpointing in Time Warp Distributed Simulation , 1998, IEEE Trans. Parallel Distributed Syst..

[9]  Robert Rönngren,et al.  A comparative study of parallel and sequential priority queue algorithms , 1997, TOMC.

[10]  Roberto Vitali,et al.  Autonomic State Management for Optimistic Simulation Platforms , 2015, IEEE Transactions on Parallel and Distributed Systems.

[11]  Xiaojun Shen,et al.  Design and Implementation of Haptic Tele-mentoring over the Internet , 2007 .

[12]  Paolo Romano,et al.  A Lightweight Heuristic-based Mechanism for Collecting Committed Consistent Global States in Optimistic Simulation , 2007 .

[13]  Philip A. Wilsey,et al.  WARPED: a time warp simulation kernel for analysis and application development , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

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

[15]  Robert G. Sargent,et al.  A probabilistic event scheduling policy for optimistic parallel discrete event simulation , 1998, Workshop on Parallel and Distributed Simulation.

[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]  David R. Jefferson,et al.  Virtual time , 1985, ICPP.

[19]  Robert Rönngren,et al.  Service oriented scheduling in time warp , 1994, Proceedings of Winter Simulation Conference.

[20]  Roberto Baldoni,et al.  Exploiting Intra-Object Dependencies in Parallel Simulation , 1999, Inf. Process. Lett..

[21]  Alois Ferscha,et al.  Estimating rollback overhead for optimism control in Time Warp , 1995, Proceedings of Simulation Symposium.

[22]  Philip A. Wilsey,et al.  Event pool structures for PDES on many-core Beowulf clusters , 2013, SIGSIM PADS '13.

[23]  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).

[24]  Randy Brown,et al.  Calendar queues: a fast 0(1) priority queue implementation for the simulation event set problem , 1988, CACM.

[25]  M. Malik,et al.  Operating Systems , 1992, Lecture Notes in Computer Science.

[26]  Vittorio Cortellessa,et al.  On the processor scheduling problem in time warp synchronization , 2002, TOMC.

[27]  WAI TENG TANG,et al.  Ladder queue: An O(1) priority queue structure for large-scale discrete event simulation , 2005, TOMC.

[28]  William Stallings,et al.  Operating Systems: Internals and Design Principles , 1991 .

[29]  Gabriel A. Wainer,et al.  Synchronization methods in parallel and distributed discrete-event simulation , 2013, Simul. Model. Pract. Theory.

[30]  Bruno Ciciani,et al.  Tuning of the Checkpointing and Communication Library for optimistic simulation on Myrinet based NOWs , 2001, MASCOTS 2001, Proceedings Ninth International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[31]  Richard M. Fujimoto,et al.  Optimistic Parallel Simulation over Public Resource-Computing Infrastructures and Desktop Grids , 2008, 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications.

[32]  Roberto Vitali,et al.  Load sharing for optimistic parallel simulations on multi core machines , 2012, PERV.

[33]  Philip A. Wilsey,et al.  Scheduling Time Warp processes using adaptive control techniques , 1994, Proceedings of Winter Simulation Conference.