Efficient Optimistic Parallel Simulations Using Reverse Computation

ACM Transactions on Modeling and Computer Simulation

Volumn 9, Issue 3, 1999, Pages 224-253

  Carothers, Christopher D ^a   Perumalla, Kalyan S ^b   Fujimoto, Richard M ^b  

^a Rensselaer Polytechnic Institute   (United States)

^b Georgia Institute of Technology   (United States)

Author keywords

Parallel discrete event simulation; Reverse computation; Rollback; State saving

Indexed keywords

MEMORY UTILIZATION; STATE SAVING;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; DATA STORAGE EQUIPMENT; OPTIMIZATION; PARALLEL ALGORITHMS; PROGRAM COMPILERS; RANDOM NUMBER GENERATION;

COMPUTATIONAL METHODS;

EID: 0002614346     PISSN: 10493301     EISSN: None     Source Type: Journal    
DOI: 10.1145/347823.347828     Document Type: Article

References (29)

1. BAKER, H. G. 1992. NReversal of fortune - The thermodynamics of garbage collection. In Proceedings of the International Workshop on Memory Management (St. Malo, France, Sept. 1992), Lecture Notes in Computer Science, vol. 637. Springer-Verlag, New York, 507-524.
2. BELLENOT, S. 1992. State skipping performance with the time warp operating system. In Proceedings of the 6th Workshop on Parallel and Distributed Simulation (PADS '92), 53-64.
3. BENNETT, C. 1982. Thermodynamics of computation. Int. J. Phys. 21, 905-940.
4. BISHOP, P. 1997. Using reversible computing to achieve fail-safety. In Proceedings of the 8th International Symposium on Software Reliability Engineering (ISSRE 97), 182-191.
5. BISWAS, B. AND MALL, B. 1999. Reverse execution of programs. SIGPLAN Not. 34, 4 (Apr.), 61-69.
6. CAROTHERS, C. D., FUJIMOTO, R. M., AND LIN, Y.-B. 1995, A case study in simulating PCS networks using Time Warp. SIGSIM Simul. Dig. 25, 1 (July 1995), 87-94.
7. CAROTHERS, C. D., PERUMALLA, K. S., AND FUJIMOTO, R. M. 1999. The effect of state-saving in optimistic simulation on a cache-coherent non-uniform memory access architecture. In Proceedings of the 1999 Winter Conference on Simulation (WSC '99), ACM Press, New York, NY.
8. CHEN, W. AND UDDING, J. T. 1990. Program inversion: More than fun!. Sci. Comput. Program. 15, 1 (Nov. 1990), 1-13.
9. DAS, S., FUJIMOTO, R., PANESAR, K., ALLISON, D., AND HYBINETTE, M. 1994. GTW: A time warp system for shared memory multiprocessors. In Proceedings of the 1994 Winter Conference on Simulation (WSC'94, Lake Buena Vista, FL, Dec. 11-14, 1994), D. A. Sadowski, A. F. Seila, M. S. Manivannan, and J. D. Tew, Eds. Society for Computer Simulation, San Diego, CA, 1332-1339.
10. EPPSTEIN, D. 1985. A heuristic approach to program inversion. In Proceedings of the 9th International Joint Conference on Artificial Intelligence (IJCAI '85), Morgan Kaufmann, San Mateo, CA, 219-221.
11. FRANK, M. 1999. The R programming language and compiler. http://www.ai.mit.edu/̃mpf/rc/home.html
12. FUJIMOTO, R. M. 1989. Time warp on a shared memory multiprocessor. In. Proceedings of the International Conference on Parallel Processing (ICPP '89, Aug.), Pennsylvania State University, University Park, PA, 242-249.
13. FUJIMOTO, R. M. 1990. Parallel discrete event simulation. Commun. ACM 33, 10 (Oct. 1990), 30-53.
14. GOMES, F. 1996. Optimizing incremental state-saving and restoration. Ph.D. Dissertation. University of Calgary, Calgary, Canada.
15. GRIEWANT, A., JUEDOS, D., MITEV, H., UTKE, J., VOGEL, O., AND WALTHER, A. 1996. ADOL-C: A package for the automatic differentiation of algorithms written in C/ C++. ACM Trans. Math. Softw. 22, 2 (Feb.), 131-167.
16. GRIMM, J., POTTIER, L., AND ROSTLANG-SCHMIDT, N. 1996. Optimal time and minimum space-time product for reversing a certain class of programs. Res. Rep., INRIA, Rennes, France.
17. LEEMAN, G. B. 1986. A formal approach to undo operations in programming languages. ACM Trans. Program. Lang. Syst. 8, 1 (Jan.), 50-87.
18. L'ECUYER, P. AND ANDRES, T. H. 1997. A random number generator based on the combination of four LCGs. Math. Comput. Simul. 44, 1, 99-107.
19. MATSUMOTO, M. AND NISHIMURA, T. 1998. Mersenne twister: A 623-dimensionally equidistributed uniform pseudo-random number generator. ACM Trans. Model. Comput. Simul. 8, 1, 3-30.
20. PERUMALLA, K. S., COOPER, C. A., AND FUJIMOTO, R. M. 1996. An efficiency prediction method for ATM multiplexers. In Proceedings of the International IFIP-IEEE Conference on Broadband Communications, IEEE Press, Piscataway, NJ, 477-488.
21. PERUMALLA, K. S. AND FUJIMOTO, R. M. 1999. Source code transformations for efficient reversibility. Tech. Rep. GIT-CC-99-21. College of Computing, Georgia Institute of Technology, Atlanta, GA.
22. PRESS, B. AND MACINTYRE, I. 1992. On the trade-off between time and space in optimistic parallel discrete event simulation. In Proceedings of the 6th Workshop on Parallel and Distributed Simulation (PADS '92), 33-42.
23. POPLAWSKI, A. AND NICOL, D. M. 1998. Nops: A conservative parallel simulation engine for TeD. In Proceedings of the 12th Workshop on Parallel and Distributed Simulation (PADS '98, Banff, Alta., Canada, May 26-29, 1998), B. Unger and A. Ferscha, Eds. IEEE Computer Society Press, Los Alamitos, CA, 180-187.
24. MIT. 1999. The reversible computing home page at MIT. Massachusetts Institute of Technology, Cambridge, MA. http://www.ai.mit.edu/̃cvieri/reversible.html
25. SOSIC, R. 1994. History cache: Hardware support for reverse execution. SIGARCH Comput. Arch. News 22, 5 (Dec. 1994), 11-18.
26. STEINMAN, J. S. 1993. Incremental state saving in SPEEDES using C++. In Proceedings of the Winter Conference on Simulation (WSC '93, Los Angeles, CA, Dec. 12-15, 1993), G. W. Evans, M. Mollaghasemi, E. C. Russell, and W. E. Biles, Eds. ACM Press, New York, NY, 687-696.
27. UMAMAGESWARAN, K., SUBRAMANI, K., WILSEY, P. A., AND ALEXANDER, P. 1998. Formal verification and empirical analysis of rollback relaxation. J. Syst. Archit. 44, 6&7, 473-495.
28. VANDEN EYNDEN, C. 1987. Elementary Number Theory. Random House Inc., New York, NY.
29. XIAO, Z., UNGER, B., SIMMONDS, R., AND CLEARY, J. 1999. Scheduling critical channels in conservative parallel discrete event simulation. In Proceedings of the 13th Workshop on Parallel and Distributed Simulation (PADS '99), IEEE Computer Society Press, Los Alamitos, CA, 20-28.