"Efficient Optimistic Parallel Simulations using Reverse Computation",(journal version)
C. D Carothers, K. Perumalla, and R. M. Fujimoto
ACM Trans. on Computer Modeling and Simulation,Volume 9, Number 3, pages 224-253, July 1999.
ABSTRACT
In optimistic parallel simulations, state-saving techniques have been
traditionally used to realize rollback. In this article, we propose
{\em 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 transparently reap
the performance benefits of reverse computation. 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 six-fold improvement in execution
speed over traditional state-saving.