A formal approach to undo operations in programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Program inversion: more than fun!
Science of Computer Programming
History cache: hardware support for reverse execution
ACM SIGARCH Computer Architecture News
GTW: a time warp system for shared memory multiprocessors
WSC '94 Proceedings of the 26th conference on Winter simulation
A case study in simulating PCS networks using Time Warp
PADS '95 Proceedings of the ninth workshop on Parallel and distributed simulation
Algorithm 755: ADOL-C: a package for the automatic differentiation of algorithms written in C/C++
ACM Transactions on Mathematical Software (TOMS)
Incremental state saving in SPEEDES using C++
WSC '93 Proceedings of the 25th conference on Winter simulation
A random number generator based on the combination of four LCGs
Mathematics and Computers in Simulation - Special issue: papers presented at the MSSA/IMACS 11th biennial conference on modelling and simulation
Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator
ACM Transactions on Modeling and Computer Simulation (TOMACS) - Special issue on uniform random number generation
Nops: a conservative parallel simulation engine for TeD
PADS '98 Proceedings of the twelfth workshop on Parallel and distributed simulation
Formal verification and empirical analysis of rollback relaxation
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: parallel and distributed simulation
Scheduling critical channels in conservative parallel discrete event simulation
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
ACM SIGPLAN Notices
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 2
NREVERSAL of Fortune - The Thermodynamics of Garbage Collection
IWMM '92 Proceedings of the International Workshop on Memory Management
Using Reversible Computing To Achieve Fail-Safety
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
Optimizing incremental state-saving and restoration
Optimizing incremental state-saving and restoration
XSim: real-time analytic parallel simulations
Proceedings of the sixteenth workshop on Parallel and distributed simulation
Parallel simulation: parallel and distributed simulation systems
Proceedings of the 33nd conference on Winter simulation
Proceedings of the 33nd conference on Winter simulation
Instruction-level reverse execution for debugging
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Optimistic parallel simulation of a large-scale view storage system
Future Generation Computer Systems - Selected papers from CCGRID 2002
Large-Scale TCP Models Using Optimistic Parallel Simulation
Proceedings of the seventeenth workshop on Parallel and distributed simulation
Large-scale network simulation techniques: examples of TCP and OSPF models
ACM SIGCOMM Computer Communication Review
A Fast Assembly Level Reverse Execution Method via Dynamic Slicing
Proceedings of the 26th International Conference on Software Engineering
Time warp - connection oriented
Proceedings of the eighteenth workshop on Parallel and distributed simulation
Assembly instruction level reverse execution for debugging
ACM Transactions on Software Engineering and Methodology (TOSEM)
An asynchronous integration and event detection algorithm for simulating multi-agent hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Parallel simulation: distributed simulation systems
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Proceedings of the 35th conference on Winter simulation: driving innovation
Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation
Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation
DSIM: scaling time warp to 1,033 processors
WSC '05 Proceedings of the 37th conference on Winter simulation
Parallel and distributed simulation: traditional techniques and recent advances
Proceedings of the 38th conference on Winter simulation
Scaling time warp-based discrete event execution to 104 processors on a Blue Gene supercomputer
Proceedings of the 4th international conference on Computing frontiers
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Dynamic Reverse Code Generation for Backward Execution
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Optimistic parallel discrete event simulation of the event-based transmission line matrix method
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Proceedings of the 22nd Workshop on Principles of Advanced and Distributed Simulation
An approach for the effective utilization of GP-GPUs in parallel combined simulation
Proceedings of the 40th Conference on Winter Simulation
Scalable Time Warp on Blue Gene Supercomputers
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
PADS '09 Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation
Scalable RF propagation modeling on the IBM Blue Gene/L and Cray XT5 supercomputers
Winter Simulation Conference
Reversible Parallel Discrete Event Formulation of a TLM-Based Radio Signal Propagation Model
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Application Transparent Migration of Simulation Objects with Generic Memory Layout
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Modeling Billion-Node Torus Networks Using Massively Parallel Discrete-Event Simulation
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Cache-aware memory manager for optimistic simulations
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Hierarchical Composite Synchronization
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
PADS '12 Proceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the Winter Simulation Conference
On deciding between conservative and optimistic approaches on massively parallel platforms
Proceedings of the Winter Simulation Conference
Reversible simulations of elastic collisions
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Interference resilient PDES on multi-core systems: towards proportional slowdown
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Consistent and efficient output-streams management in optimistic simulation platforms
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Warp speed: executing time warp on 1,966,080 cores
Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation
Hi-index | 0.00 |
In optimistic parallel simulations, state-saving techniques have traditionally been used to realize rollback. In this article, we propose reverse computation as an alternative approach, and compare its execution performance against that of state-saving. Using compiler techniques, we describe an approach to automatically generate reversible computations, and to optimize them to reap the performance benefits of reverse computation transparently. For certain fine-grain models, such as queuing network models, we show that reverse computation can yield significant improvement in execution speed coupled with significant reduction in memory utilization, as compared to traditional state-saving. On sample models using reverse computation, we observe as much as a six-fold improvement in execution speed over traditional state-saving.