A new approach to real-time checkpointing

VEE 2006 - Proceedings of the Second International Conference on Virtual Execution Environments

Volumn 2006, Issue , 2006, Pages 68-77

  Cunei, Antonio ^a   Vitek, Jan ^a  

^a Purdue University   (United States)

Author keywords

Checkpoint; Java; Real time; Virtual Machine

Indexed keywords

ALGORITHMS; BENCHMARKING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; PROBLEM SOLVING;

CHECKPOINT; JAVA; REAL-TIME; VIRTUAL MACHINE;

REAL TIME SYSTEMS;

EID: 33745957366     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134760.1134771     Document Type: Conference Paper

References (33)

1. A. W. Appel and K. Li. Virtual memory primitives for user programs. In 4th International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS), volume 26, pages 96-107, New York, NY, 1991. ACM Press.
2. D. F. Bacon, P. Cheng, and V. T. Rajan. A real-time garbage collector with low overhead and consistent utilization. In POPL '03: Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 285-298, New York, NY, USA, 2003. ACM Press.
3. R. Bettati, N. Bowen, and J. Chung. Checkpointing imprecise computation. In IEEE Workshop on Imprecise and Approximate Computation, pages 45-49, Phoenix, AZ, Dec. 1992.
4. G. Bollella, T. Canham, V. Carson, V. Champlin, D. Dvorak, B. Giovannoni, M. Indictor, K. Meyer, A. Murray, and K. Reinholtz. Programming with non-heap memory in the Real-Time Specification for Java. In OOPSLA '03: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 361-369, New York, NY, USA, 2003. ACM Press.
5. G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, and M. Turnbull. The Real-Time Specification for Java. Java Series. Addison-Wesley, June 2000.
6. G. Bollella, J. Gosling, B. Brosgol, J. Gosling, P. Dibble, S. Furr, M. Turnbull, T. J. Bergin, and R. G. Gibson. The Real-Time Specification for Java. Addison-Wesley, New York, NY, 2000.
7. G. Candea, J. Cutler, and A. Fox. Improving availability with recursive microreboots: a soft-state system case study. Perform. Eval., 56(1-4):213-248, 2004.
8. E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: An exercise in cooperation. In Lecture Notes in Computer Science, No. 46. Springer-Verlag, New York, 1976.
9. E. N. Elnozahy, D. B. Johnson, and W. Zwaenepoel. The performance of consistent checkpointing. In Symposium on Reliable Distributed Systems, pages 39-47, 1992.
10. R. Geist, R. Reynolds, and J. Westall. Selection of a Checkpoint interval in a critical-task environment. IEEE Trans. Reliability, 37(4):395-400, 1988.
11. V. Grassi, L. Donatiello, and S. Tucci. On the optimal checkpointing of critical tasks and transaction-oriented systems. IEEE Trans. Softw. Eng., 18(1):72-77, 1992.
12. C. M. Krishna, Y.-H. Lee, and K. G. Shin. Optimization criteria for checkpoint placement. Commun. ACM, 27(10):1008-1012, 1984.
13. S. Kwak, B. Choi, and B. Kim. An optimal checkpointing-strategy for real-time control systems under transient faults. IEEE Transactions on Reliability, 50(3):293-301, September 2001.
14. S. W. Kwak, B.-J. Choi, and B. K. Kim. Checkpointing strategy for multiple real-time tasks. In 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), pages 12-14, Cheju Island,South Korea, Dec. 2000.
15. H. Lee, H. Shin, and S. L. Min. Worst case timing requirement of real-time tasks with time redundancy. In 6th International Workshop on Real-Time Computing and Applications Symposium (RTCSA '99), pages 410-413, Hong Kong, China, Dec. 1999. IEEE Computer Society.
16. K. Li, J. F. Naughton, and J. S. Plank. Real-time, concurrent checkpoint for parallel programs. SIGPLAN Not., 25(3):79-88, 1990.
17. K. Li, J. F. Naughton, and J. S. Plank. Low-latency, concurrent checkpointing for parallel programs. IEEE Trans. Parallel Distrib. Syst., 5(8):874-879, 1994.
18. J. S. Plank, M. Beck, G. Kingsley, and K. Li. Libckpt: Transparent checkpointing under Unix. In Usenix Winter Technical Conference, pages 213-223, January 1995.
19. J. S. Plank, K. Li, and M. A. Puening. Diskless checkpointing. IEEE Transactions on Parallel and Distributed Systems, 9(10):972-986, October 1998.
20. S. Punnekkat and A. Burns. Analysis of checkpointing for schedulability of real-time systems. In 4th International Workshop on Real-Time Computing Systems and Applications (RTCSA '97), pages 198-205. IEEE Computer Society, Oct. 1997.
21. A. Ranganathan and S. Upadhyaya. Simulation analysis of a dynamic checkpointing strategy for real-time systems. In 27th Annual Simulation Symposium, pages 181-187, La Jolla, CA, Apr. 1994. IEEE Computer Society.
22. A. B. S. Punnekkat and R. Davis. Analysis of checkpointing for real-time systems. Real-Time Systems Journal, 20(1):83-102, Jan 2001.
23. K. G. Shin, T.-H. Lin, and Y.-H. Lee. Optimal checkpointing of real-time tasks. IEEE Trans. Comput., 36(11):1328-1341, 1987.
24. J. M. Stichnoth, G.-Y. Lueh, and M. Cierniak. Support for garbage collection at every instruction in a Java compiler. In Proceedings of the ACM SIGPLAN '99 Conference on Programming Language Design and Implementation, Atlanta, Georgia, May 1-4, 1999.
25. A. N. Tantawi and M. Ruschitzka. Performance analysis of checkpointing strategies. ACM Trans. Comput. Syst., 2(2):123-144, 1984.
26. D. Ungar. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. In Software Development Environments (SDE), pages 157-167, 1984.
27. N. H. Vaidya. On checkpoint latency. Technical report, College Station, TX, USA, 1995.
28. N. H. Vaidya. Impact of checkpoint latency on overhead ratio of a checkpointing scheme. IEEE Trans. Comput., 46(8):942-947, 1997.
29. N. H. Vaidya. Staggered consistent checkpointing. IEEE Trans. Parallel Distrib. Syst., 10(7):694-702, 1999.
30. J. C. Wu and S. A. Brandt. Storage access support for soft real-time applications. In 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), Toronto, Canada, May 2004.
31. Y. Zhang and K. Chakrabarty. Energy-aware adaptive checkpointing in embedded real-time systems. In 2003 Design, Automation and Test in Europe Conference and Exposition (DATE 2003), pages 10918-10925, Munich, Germany, Mar. 2003. IEEE Computer Society.
32. Y. Zhang and K. Chakrabarty. Fault recovery based on checkpointing for hard real-time embedded systems. In 18th IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2003), pages 320-327, Boston, MA, Nov. 2003.
33. Y. Zhang and K. Chakrabarty. Dynamic adaptation for fault tolerance and power management in embedded real-time systems. Trans. on Embedded Computing Sys., 3(2):336-360, 2004.