An algorithm for fully-reversible optimistic parallel simulation

Winter Simulation Conference Proceedings

Volumn 1, Issue , 2003, Pages 864-871

  Peters, Michael D ^a   Carothers, Christopher D ^a  

^a Rensselaer Polytechnic Institute   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CACHE MEMORY; COMPUTER SIMULATION; COMPUTER SOFTWARE; COSTS; DATA REDUCTION; FORMAL LOGIC; NETWORK PROTOCOLS; RANDOM ACCESS STORAGE;

LOGICAL PROCESSES (LP); TIME WARP ALGORITHMS;

PARALLEL PROCESSING SYSTEMS;

LARGE-SCALES; OPTIMISTIC SIMULATION; OPTIMISTICS; PARALLEL SIMULATIONS; REVERSE COMPUTATION; SIMULATION SYSTEMS; STATE SAVING; TCP MODELS;

EID: 1642518706     PISSN: 02750708     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Baker, H. G. 1992. NReversal of fortune-the thermo-dynamics of garbage collection. In Proceedings of the International Workshop on Memory Management, Springer Verlag Lecture Notes in Computer Science #637, 507-524.
2. Bennett, C. 1982. Thermodynamics of computation. International Journal of Physics 21: 905-940.
3. Biswas, B. and R. Mall. 1999. Reverse execution of programs. ACM SIGPLAN Notices 34(4): 61-69.
4. th Internal Symposium on Software Reliability Engineering, 182-191.
5. Carothers, C. D., K. S. Perumalla, and R. M. Fujimoto. Efficient optimistic parallel simulations using reverse computation. ACM Transactions on Computer Modeling and Simulation, 9 (3): 224-253.
6. Carothers, C. D., D Bauer and S. Pearce. 2002. ROSS: A High-Performance, Low Memory, Modular Time Warp System, Journal of Parallel and Distributed Computing, #62: 1648-1669.
7. Chen, G. and B. K. Szymanski. 2002. Lookback: A New Way of Exploiting Parallelism in Discrete Event Simulation. In Proceedings of the 16th Workshop on Parallel and Distributed Simulation, 153-162.
8. Chen, W. and J. Udding. 1990. Program inversion: more than fun. Science of Computer Programming, volume 15, number 1 (January), 1-13.
9. th International Joint Conference on Artificial Intelligence, 219-221.
10. Frank, M. 1999. Reversibility for Efficient Computing. Ph.D. thesis, MIT/LCS. Available online at 〈http://www.cise.ufl.edu/̃mpf/manuscript〉.
11. Gomes, F. 1996. Optimizing Incremental State-Saving and Restoration. Ph.D. thesis, Dept. of Computer Science, University of Calgary.
12. Griewant, A., D. Juedos, H. Mitev, J. Utke, O. Vogel and A. Walther. 1996. ADOL-C: A package for the automatic differentiation of algorithms written in C/CPP. ACM Trans. on Mathematical Software, 22(2): 131-167.
13. Grimm, J., L. Pottier and N. Rostiang-Schmidt. Optimal time and minimum space-time product for reversing a certain class of programs. Research Report, Institute National de Recherche en Informatique et en Automatique (INRIA).
14. Jefferson, D.R. 1985. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3): 404-425.
15. L'Ecuyer, P. and T. H. Andres. 1997. A Random Number Generator Based on the Combination of Four LCGs. Mathematics and Computers in Simulation, 44: 99-107.
16. Leeman, G. 1986. A formal approach to undo operations in programming languages. ACM Transactions on Programming Languages and Systems, 8(1): 50-87.
17. Lin,Y-B. and B. R. Preiss. 1991. Optimal Memory Management for Time Warp Parallel Simulation, ACM Trans. on Modeling and Computer Simulation, 1(4): 283-307.
18. th Workshop on Parallel and Distributed Simulation (PADS '92), 3-10.
19. Mattern, F. 1993. Efficient distributed snapshots and global virtual time algorithms for non-FIFO systems. Journal of Parallel and Distributed Computing, 18(4): 423-434.
20. Perumalla, K.S., C. A. Cooper and R. M. Fujimoto. 1996. An efficiency prediction method for ATM multiplexers. In Proceedings of the International IFIP-IEEE Conference on Broadband Communications, 477-488.
21. Perumalla, K.S., and R. Fujimoto. 2002. Using Reverse Circuit Execution for Efficient Parallel Simulation of Logic Circuits, In Proceedings of The International Society for Optical Engineering (SPIE) Annual Meeting.
22. Sosic, R. 1994. History cache: hardware support for reverse execution. Computer Architecture News, 22(5): 11-18.
23. Umamageswaran, K., K. Subramani, P. A. Wilsey and P. Alexander. 1998. Formal verification and empirical analysis of rollback relaxation. The Elsevier Science Journal of Systems Architecture, 44: 473-495.
24. th Workshop on Parallel and Distributed Simulation, June 2003.