ACM Transactions on Programming Languages and Systems (TOPLAS)
Virtual time II: storage management in conservative and optimistic systems
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Dynamic load management in the time warp operating system
Transactions of the Society for Computer Simulation International
A study of time warp rollback mechanisms
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Optimal memory management for time warp parallel simulation
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on parallel and distributed systems performance
Efficient implementation of event sets in Time Warp
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
PADS '93 Proceedings of the seventh workshop on Parallel and distributed simulation
Efficient algorithms for distributed snapshots and global virtual time approximation
Journal of Parallel and Distributed Computing - Special issue on parallel and discrete event simulation
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism
WSC '94 Proceedings of the 26th conference on Winter simulation
Memory management techniques for Time Warp on a distributed memory machine
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Comparative analysis of periodic state saving techniques in time warp simulators
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Efficient data structures for Time Warp simulation queues
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: parallel and distributed simulation
A new kind of science
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
Theory of Modeling and Simulation
Theory of Modeling and Simulation
N-dimensional Cell-DEVS Models
Discrete Event Dynamic Systems
CD++: a toolkit to develop DEVS models
Software—Practice & Experience
Formal Specification and Verification of the pGVT Algorithm
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Event reconstruction in time warp
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Exploiting the Concept of Activity for Dynamic Reconfiguration of Distributed Simulation
DS-RT '07 Proceedings of the 11th IEEE International Symposium on Distributed Simulation and Real-Time Applications
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Conservative synchronization methods for parallel DEVS and Cell-DEVS
Proceedings of the 2011 Summer Computer Simulation Conference
A DEVS-based M&S method for large-scale multi-agent systems
Proceedings of the 2013 Summer Computer Simulation Conference
| Hi-index | 0.00 |
This paper proposes a novel Lightweight Time Warp (LTW) protocol for high-performance parallel optimistic simulation of large-scale DEVS and Cell-DEVS models. By exploiting the characteristics of the simulation process, the protocol is able to set free most logical processes (LPs) from the Time Warp mechanism, while the overall simulation still executes optimistically, driven by only a few full-fledged Time Warp LPs. The LTW protocol includes a rule-based event-scheduling mechanism using two types of event queues, an aggregated state-saving technique for optimal risk-free state management, and a new rollback algorithm that recovers lightweight LPs from causality errors without sending anti-messages. The impact on global control mechanisms such as GVT computation, fossil collection, and load migration is also discussed. The basic concepts of the protocol could also apply to a broad range of Time Warp systems under certain conditions and with appropriate control over the LPs.