Efficient computer simulation of complex physical phenomena has long been challenging due to their multiphysics and multiscale nature. In contrast to traditional time-stepped execution methods, the authors describe an approach using optimistic parallel discrete event simulation (PDES) and reverse computation techniques to execute plasma physics codes. They show that reverse computation-based optimistic parallel execution can significantly reduce the execution time of an example plasma simulation without requiring a significant amount of additional memory compared to conservative execution techniques. The authors describe an application-level reverse computation technique that is efficient and suitable for complex scientific simulations.
Carothers, C. D. , K. Perumalla and R. M. Fujimoto . 1999. Efficient optimistic parallel simulation using reverse computation . ACM Transactions on Modeling and Computer Simulation9 (3): 224-253 .
2.
Birdsall, C. K. , and A. B. Langdon . 1985. Plasma physics via computer simulation. New York: McGraw-Hill .
3.
Berger, M. J. , and J. Oliger . 1984. Adaptive mesh refinement for hyperbolic partial differential equations . Journal of Computational Physics53: 484-512 .
4.
Otani, N. F.2000. Computer modeling in cardiac electrophysiology . Journal of Computational Physics161: 21-32 .
5.
Dawson, C. , and R. Kirby . 2001. High resolution schemes for conservation laws with locally varying time steps . SIAM Journal of Scientific Computing22 (6): 2256 .
6.
Abedi, R. , S. Chung , J. Erickson , Y. Fan , M. Garland , D. Guoy , R. Haber , J. M. Sullivan , S. Thite , and Y. Zhou . 2004. Spacetime meshing with adaptive refinement and coarsening . In Proceedings of the 12th Annual Symposium on Computational Geometry, pp. 300-308 .
7.
Lew, A. , J. E. Mardsen , M. Ortiz , and M. West . 2003. Asynchronous variational integrators . Archive for Rational Mechanics and Analysis167 (2): 85-146 .
8.
Karimabadi, H. , J. Driscoll , Y. A. Omelchenko , and N. Omidi . 2005. A new asynchronous methodology for modeling of physical systems: Breaking the curse of courant condition . Journal of Computational Physics205 (2): 755-775 .
9.
Hontalas, P. , B. Beckman , M. DiLorento , L. Blume , P. Reiher , K. Sturdevant , L. V. Warren , J. Wedel , F. Wieland , and D. Jefferson . 1989. Performance of the colliding pucks simulation on the time warp operating system. In Distributed Simulation, Society for Computer Simulation International.
10.
Lubachevsky, B. D.1989. Efficient distributed event-driven simulations of multiple-loop networks . Communications of the ACM32 (1): 111-123 .
11.
Lubachevsky, B. D. 1993. Several unsolved problems in large-scale discrete event simulations . In Proceedings of the 7th Workshop on Parallel and Distributed Simulation, pp. 60-67 .
12.
Zeigler, B. P. , H. Praehofer and T. G. Kim . 2000. Theory of modeling and simulation. 2nd ed.New York: Academic Press .
13.
Nutaro, J. J. 2003. Parallel discrete event simulation with application to continuous systems. Ph.D. diss., Electrical and Computer Engineering Department, University of Arizona.
14.
Jefferson, D.1985. Virtual time . ACM Transactions on Programming Languages and Systems7 (3): 404-425 .
15.
Fujimoto, R. M. , J. J. Tsai , and G. Gopalakrishnan . 1988. The roll back chip: Hardware support for distributed simulation using time warp . Proceedings of SCS Distributed Simulation Conference19 (3): 81-86 .
16.
Bauer, H. , and C. Sporrer . 1993. Reducing rollback overhead in time warp based distributed simulation with optimized incremental state saving . In Proceedings of the 26th Annual Simulation Symposium.
17.
Steinman, J. 1993. Incremental state saving in SPEEDES using C++ . In Proceedings of the 1993Winter Simulation Conference.
18.
Lin, Y. B. , and E. D. Lazowska . 1989. The optimal checkpoint interval in time warp parallel simulation. Technical Report 89- 09-04, Department of Computer Science and Engineering, University of Washington .
19.
Bellenot, S. 1992. State skipping performance with the time warp operating system . In Proceedings of the 6th Workshop on Parallel and Distributed Simulation, pp. 53-61 .
20.
Franks, S. , F. Gomes , B. Unger , and J. Cleary . 1997. State saving for interactive optimistic simulation . In Proceedings of the 11th Workshop on Parallel and Distributed Simulation, pp. 72-79 .
21.
Fleischmann, J. , and P. Wilsey . 1995. Comparative analysis of periodic state saving techniques in time warp simulators . In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 50-58 .
22.
Yuan, G. , C. D. Carothers , and S. Kalyanaraman . 2003. Large-scale TCP models using optimistic parallel simulation . In Proceedings of the 17thWorkshop on Parallel and Distributed Simulation, p. 153 .
23.
Pritchett, P. L. , and R. M. Winglee . 1987. The plasma environment during particle beam injection into space plasmas: 1. Electron-beams . Journal of Geophysical Research—Space Physics92 (A7): 7673-7688 .
24.
Jefferson, D. R. 1990. Virtual time II: Storage management in distributed simulation . In Proceedings of the Ninth Annual ACM Symposium on Principles of Distributed Computing, pp. 75-89 .
25.
Preiss, B. R. , and W. M. Loucks . 1995. Memory management techniques for time warp on a distributed memory machine . In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 30-39 .
26.
Das, S. R. , and R. M. Fujimoto . 1997. An empirical evaluation of performance-memory tradeoffs in time warp . IEEE Transactions on Parallel and Distributed Systems8 (2): 210-224 .
27.
Perumalla, K. 2005. μsik—A micro-kernel for parallel/distributed simulation systems . In Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation.
28.
Sokol, L. M. , and B. K. Stucky . 1990. MTW: Experimental results for a constrained optimistic scheduling paradigm . Proceedings of the SCS Multiconference on Distributed Simulations22: 169-173 .
29.
Madisetti, V. , D. Hardaker , and R. Fujimoto . 1993. The MIMDIX operating system for parallel simulation . Journal on Parallel and Distributed Computing18 (4): 473-483 .
30.
Dickens, P. M. , and P. F. Reynolds . 1990. SRADS with local rollback . Proceedings of the SCS Multiconference on Distributed Simulation22: 161-164 .
31.
Steinman, J. S. 1993. Breathing time warp . In Proceedings of the 7th Workshop on Parallel and Distributed Simulation, pp. 109-118 .
32.
Madisetti, V. , J. Walrand , and D. Messerschmitt . 1988. WOLF: A rollback algorithm for optimistic distributed simulation systems . In Proceedings of the 20th Conference on Winter Simulation, pp. 296-305 .
