Transparent State Management for Optimistic Synchronization in the High Level Architecture

Simulation

Volumn 82, Issue 1, 2006, Pages 5-20

  Santoro, Andrea ^a   Quaglia, Francesco ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

federated simulation systems; HLA; middleware; transparent checkpointing recovery

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING; INTERCONNECTION NETWORKS; MIDDLEWARE;

FEDERATED SIMULATION SYSTEMS; HIGH LEVEL ARCHITECTURE; OPTIMISTIC SYNCHRONIZATION; TRANSPARENT CHECKPOINTING/RECOVERY;

COMPUTER SIMULATION;

EID: 33646404057     PISSN: 00375497     EISSN: None     Source Type: Journal    
DOI: 10.1177/0037549706065350     Document Type: Article

References (32)

1. IEEE Std 1516-2000. 2000. IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA): Framework and rules. NewYork: Institute of Electrical and Electronics Engineers.
2. IEEE Std 15161-2000. 2000. IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA): Federate interface (FI) specification. NewYork: Institute of Electrical and Electronics Engineers.
3. Vardanega, F., and C. Maziero. 2000. A generic rollback manager for optimistic HLA simulations. In Proceedings of the 4th Workshop on Distributed Simulation and Real-Time Applications, pp. 79-85.
4. Wang, X., S. J. Turner, Y. H. Low, and B. P. Gan. 2004. Optimistic synchronization in HLA based distributed simulation. In Proceedings of the 18thWorkshop on Parallel and Distributed Simulation, pp. 123-130.
5. Georgia Tech Research Corporation. n.d. FDK: Federated Simulations Development Kit. http://www.cc.gatech.edu/computing/pads/fdk/
6. DMSO. n.d. Runtime infrastructure (RTI). http://www.dmso.mil/public/transition/hla/rti
7. Virtual Technology Corporation. n.d. RTI NG ProTM version 2.0.2. http://www.virtc.com/Products/prdFulltextjsp?ID=1z_RTI
8. PITCH. n.d. pRTI 1516TM. http://www.pitch.se/prti1516/default.asp
9. Elnozahy, E. N., L. Alvisi, Y.-M. Wang, and D. B. Johnson. 2002. A survey of rollback-recovery protocols in message-passing systems. ACM Computing Surveys 34 (3): 375-408.
10. Plank, J. S., M. Beck, and G. Kingsley. 1995. Libckpt: Transparent checkpointing under UNIX. In Proceedings of USENIX Winter Technical Conference, pp. 213-223.
11. Jefferson, D. R. 1985. Virtual time. ACM Transactions on Programming Languages and System 7 (3): 404-425.
12. Fleischmann, J., and P. A. 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.
13. Preiss, B. R., W. M. Loucks, and D. MacIntyre. 1994. Effects of the checkpoint interval on time and space in Time Warp. ACM Transactions on Modeling and Computer Simulation 4 (3): 223-253.
14. Quaglia, F. 2001. A cost model for selecting checkpoint positions in Time Warp parallel simulation. IEEE Transactions on Parallel and Distributed Systems 12 (4): 346-362.
15. Quaglia, F., and A. Santoro. 2003. Non-blocking checkpointing for optimistic parallel simulation: Description and an implementation. IEEE Transactions on Parallel and Distributed Systems 14 (6): 593-610.
16. Ronngren, R., and R. Ayani. 1994. Adaptive checkpointing in Time Warp. In Proceedings of the 8th Workshop on Parallel and Distributed Simulation, pp. 110-117.
17. Bruce, D. 1995. The treatment of state in optimistic systems. In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 40-49.
18. Ronngren, R., M. Liljenstam, R. Ayani, and J. Montagnat. 1996. Transparent incremental state saving in Time Warp parallel discrete event simulation. In Proceedings of the 10th Workshop on Parallel and Distributed Simulation, pp. 70-77.
19. Steinman, J. 1993. Incremental state saving in SPEEDES using C Plus Plus. In Proceedings of the Winter Simulation Conference, pp. 687-696.
20. West, D., and K. Panesar. 1996. Automatic incremental state saving. In Proceedings of the 10th Workshop on Parallel and Distributed Simulation, pp. 78-85.
21. 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.
22. Soliman, H. M., and A. S. Elmaghraby. 1998. An analytical model for hybrid checkpointing in Time Warp distributed simulation. IEEE Transactions on Parallel and Distributed Systems 9 (10): 947-951.
23. Carothers, C. D., K. S. Perumalla, and R. Fujimoto. 1999. Efficient optimistic parallel simulations using reverse computation. ACM Transactions on Modeling and Computer Simulation 9 (3): 224-253.
24. Li, K., J. F. Naughton, and J. S. Plank. 1994. Low latency concurrent checkpointing for parallel programs. IEEE Transactions on Parallel and Distributed Systems 5 (8): 474-479.
25. Plank, J. S., J. Xu, and R. H. Netzer. 1995. Compressed differences: An algorithm for fast incremental checkpointing. Tech Rep CS- 95-302, University of Tennessee at Knoxville.
26. McLean, T., and R. M. Fujimoto. 2003. Predictable time management for real-time distributed simulation. In Proceedings of the 17thWorkshop on Parallel and Distributed Simulation, pp. 89-96.
27. Chien, A. A., and J. H. Kim. 1995. Planar-adaptive routing: Low-cost adaptive networks for multiprocessors. Journal of the ACM 42 (1): 91-123.
28. Kandukuri, S., and S. Boyd. 2002. Optimal power control in interference-limited fading wireless channels with outage-probability specifications. IEEE Transactions on Wireless Communications 1 (1): 46-55.
29. Akyildiz, I. F., Y. B. Lin, W. R. Lai, and R. J. Chen. 2000. A new random walk model for PCS networks. IEEE Journal on Selected Areas in Communications 18 (7): 1254-1260.
30. Boukerche, A., S. K. Das, A. Fabbri, and O. Yildz. 1999. Exploiting model independence for parallel PCS network simulation. In Proceedings of the 13th Workshop on Parallel and Distributed Simulation, pp. 166-173.
31. Carothers, C. D., R. M. Fujimoto, P. England, and Y. B. Lin. 1994. Distributed simulation of large-scale PCS networks. In Proceedings of the 2nd IEEE International Workshop on Modeling, Analysis, and Simulation of Compute and Telecommunication Systems, pp. 2-6.
32. Carothers, C. D., R. M. Fujimoto, and Y. B. Lin. 1995. A case study in simulating PCS networks using Time Warp. In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, pp. 87-94.