Comprehensive evaluation of aperiodic checkpointing and rejuvenation schemes in operational software system

Journal of Systems and Software

Volumn 83, Issue 9, 2010, Pages 1591-1604

  Okamura, Hiroyuki ^a   Dohi, Tadashi ^a  

^a HIROSHIMA UNIVERSITY   (Japan)

Author keywords

Checkpointing; Dynamic programming; Software aging; Software rejuvenation; Steady state system availability

Indexed keywords

CHECKPOINTING; COMPREHENSIVE EVALUATION; MAINTENANCE OPERATIONS; MAINTENANCE POLICY; NUMERICAL EXAMPLE; OPERATIONAL SOFTWARE SYSTEMS; SOFTWARE REJUVENATION; STEADY STATE SYSTEMS;

COMPUTER SOFTWARE MAINTENANCE; COMPUTER SOFTWARE SELECTION AND EVALUATION; ENDOCRINOLOGY; MAINTAINABILITY; OPTIMIZATION;

DYNAMIC PROGRAMMING;

EID: 77955427503     PISSN: 01641212     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jss.2009.06.058     Document Type: Conference Paper

References (62)

1. E. Adams Optimizing preventive service of the software products IBM Journal of Research and Development 28 1984 2 14
2. A. Avritzer, and E.J. Weyuker Monitoring smoothly degrading systems for increased dependability Empirical Software Engineering 2 1997 59 77
3. F. Baccelli Analysis of s service facility with periodic checkpointing Acta Informatica 15 1981 67 81
4. Y. Bao, X. Sun, and K.S. Trivedi A workload-based analysis of software aging, and rejuvenation IEEE Transactions on Reliability 54 3 2005 541 548
5. R.E. Barlow, and F. Proschan Mathematical Theory of Reliability 1965 John Wiley and Sons New York
6. R. Bellman Dynamic Programming 1957 Princeton University Press
7. Bobbio, A., Garg, S., Gribaudo, M., Horváth, A., Sereno, M., Telek, M., 1999. Modelling software systems with rejuvenation restoration and checkpointing through fluid stochastic Petri nets. In: Proceedings of 6th International Workshop on Petri Nets and Performance Models (PNPM'99), IEEE CS Press, pp. 82-91.
8. Bobbio, A., Garg, S., Gribaudo, M., Horváth, A., Sereno, M., Telek, M., 2008. Compositional fluid stochastic Petri net model for operational software system performance. In: Supplemental Proceedings of 19th International Symposium on Software Reliability Engineering (ISSRE'08), p. 6.
9. Bobbio, A., Sereno, M., Anglano, C., 2001. Fine grained software degradation models for optimal rejuvenation policies, Performance Evaluation 46, 45-62.
10. V. Castelli, R.E. Harper, P. Heidelberger, S.W. Hunter, K.S. Trivedi, K. Vaidyanathan, and W.P. Zeggert Proactive management of software aging IBM Journal of Research and Development 45 2001 311 332
11. K.M. Chandy A survey of analytic models of roll-back and recovery strategies Computer 8 5 1975 40 47
12. K.M. Chandy, J.C. Browne, C.W. Dissly, and W.R. Uhrig Analytic models for rollback and recovery strategies in database systems IEEE Transactions on Software Engineering SE-1 1 1975 100 110
13. T. Dohi, N. Kaio, and S. Osaki The optimal age-dependent checkpoint strategy for a stochastic system subject to general failure mode Journal of Mathematical Analysis and Applications 249 2000 80 94
14. T. Dohi, K. Goeva-Popstojanova, and K.S. Trivedi Estimating software rejuvenation schedule in high assurance systems The Computer Journal 47 2001 473 485
15. Dohi, T., Kaio, N., Trivedi, K.S., 2002. Availability models with age dependent-checkpointing. In: Proceedings of 21st Symposium on Reliable Distributed Systems (SRDS 2002), IEEE CS Press, pp. 130-139.
16. T. Dohi, H. Suzuki, and K.S. Trivedi Comparing software rejuvenation policies under different dependability measures IEICE Transactions on Information and Systems (D) E87-D 8 2004 2078 2085
17. Dohi, T., Ozaki, T., Kaio, N., 2006. Optimal sequential checkpoint placement with equality constraints. In: Proceedings of the 2nd IEEE International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), IEEE CS Press, pp. 77-84.
18. Eto, H., Dohi, T., 2006. Analysis of a service degradation model with preventive rejuvenation. In: Penkler, D., Reitenspiess, M., Tam, F. (Eds.), Service Availability: 3rd International Service Availability Symposium (ISAS 2006), vol. 4328, LNCS, Springer-Verlag, pp. 17-29.
19. S. Fukumoto, N. Kaio, and S. Osaki Optimal checkpointing strategies using the checkpointing density Journal of Information Processing 15 1992 87 92
20. S. Fukumoto, N. Kaio, and S. Osaki A study of checkpoint generations for a database recovery mechanism Computers and Mathematics with Applications 24 1992 63 70
21. Garg, S., Telek, M., Puliafito, A., Trivedi, K.S., 1995. Analysis of software rejuvenation using Markov regenerative stochastic petri net. In: Proceedings of 6th International Symposium on Software Reliability Engineering (ISSRE 1995), IEEE CS Press, pp. 24-27.
22. Garg, S., Huang, Y., Kintala, C., Trivedi, K.S., 1996. Minimizing completion time of a program by checkpointing and rejuvenation. In: Proceedings of 1996 ACM SIGMETRICS Conference, pp. 252-261.
23. S. Garg, S. Pfening, A. Puliafito, M. Telek, and K.S. Trivedi Analysis of preventive maintenance in transactions based software systems IEEE Transactions on Computers 47 1998 96 107
24. E. Gelenbe On the optimum checkpoint interval Journal of the ACM 26 2 1979 259 270
25. E. Gelenbe, and D. Derochette Performance of rollback recovery systems under intermittent failures Communication of the ACM 21 6 1978 493 499
26. E. Gelenbe, and M. Hernandez Optimum checkpoints with age dependent failures Acta Informatica 27 1990 519 531
27. P.B. Goes A stochastic model for performance evaluation of main memory resident database systems ORSA Journal on Computing 7 3 1997 269 282
28. P.B. Goes, and U. Sumita Stochastic models for performance analysis of database recovery control IEEE Transactions on Computers C-44 4 1995 561 576
29. B.S. Gottfried A stopping criterion for the golden-ratio search Operations Research 23 3 1975 553 555
30. V. Grassi, L. Donatiello, and S. Tucci On the optimal checkpointing of critical tasks and transaction-oriented systems IEEE Transactions on Software Engineering SE-18 1 1992 72 77
31. M. Grottke, and K.S. Trivedi Fighting bugs: remove, retry, replicate, and rejuvenate IEEE Computer 40 2 2007 107 109
32. Huang, Y., Kintala, C., Kolettis, N., Fulton, N.D., 1995. Software rejuvenation: analysis, module and applications, In: Proceedings of 25th Int'l Sympo. Fault Tolerant Computing, pp. 381-390.
33. V.G. Kulkarni, V.F. Nicola, and K.S. Trivedi Effects of checkpointing and queueing on program performance Stochastic Models 6 4 1990 615 648
34. P. L'Ecuyer, and J. Malenfant Computing optimal checkpointing strategies for rollback and recovery systems IEEE Transactions on Computers C-37 4 1988 491 496
35. Y. Ling, J. Mi, and X. Lin A variational calculus approach to optimal checkpoint placement IEEE Transactions on Computers 50 7 2001 699 707
36. V.F. Nicola Checkpointing and the modeling of program execution time M.R. Lyu, Software Fault Tolerance 1995 John Wiley and Sons 167 188
37. V.F. Nicola, and J.M. van Spanje Comparative analysis of different models of checkpointing and recovery IEEE Transactions on Software Engineering SE-16 8 1990 807 821
38. Okamura, H., Dohi, T., 2008. Analysis of a software system with rejuvenation, restoration and checkpointing. In: Nanya, T., Maruyama, F., Pataricza, A., Malek, M. (Eds.), Service Availability: 5th Int'l Service Availability Symposium, Lecture Notes in Computer Science, vol. 5017, Springer-Verlag, pp. 110-128.
39. Okamura, H., Dohi, T., 2008. Availability optimization in operational software system with aperiodic time-based rejuvenation scheme. In: Supplemental Proceedings of 19th International Symposium on Software Reliability Engineering (ISSRE'08), IEEE Computer Society Press, Los Alamitos, p. 6.
40. Okamura, H., Miyahara, S., Dohi, T., 2002. Dependability analysis of a client/server software systems with rejuvenation. In: Proceedings of 13th International Symposium on Software Reliability Engineering (ISSRE 2002), IEEE CS Press, pp. 171-180.
41. H. Okamura, S. Miyahara, and T. Dohi Dependability analysis of a transaction-based multi server system with rejuvenation IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (A) E86-A 8 2003 2081 2090
42. H. Okamura, H. Fujio, and T. Dohi Fine-grained shock models to rejuvenate software systems IEICE Transactions on Information and Systems (D) E86-D 10 2003 2165 2171
43. Okamura, H., Nishimura, Y., Dohi, T., 2004. A dynamic checkpointing scheme based on reinforcement learning. In: Proceedings of the 10th International Symposium on Pacific Rim Dependable Computing (PRDC 2004), IEEE CS Press, pp. 151-158.
44. H. Okamura, S. Miyahara, and T. Dohi Rejuvenating communication network system with burst arrival IEICE Transactions on Communications (B) E88-B 12 2005 4498 4506
45. H. Okamura, K. Iwamoto, and T. Dohi A DP-based checkpointing scheme in real-time applications, International Journal of Reliability Quality and Safety Engineering 13 4 2006 323 340
46. H. Okamura, K. Iwamoto, and T. Dohi Optimal rejuvenation scheduling of distributed computation based on dynamic programming Journal of Computer Science 2 6 2006 505 512
47. T. Ozaki, T. Dohi, H. Okamura, and N. Kaio Distribution-free checkpoint placement algorithms based on min-max principle IEEE Transactions on Dependable and Secure Computing 3 2 2006 130 140
48. S. Pfening, S. Garg, A. Puliafito, M. Telek, and K.S. Trivedi Optimal rejuvenation for tolerating soft failure Performance Evaluation 27/28 4 1996 491 506
49. M. Puterman Markov Decision Processes 1994 John Wiley and Sons
50. Reinecke, P., van Moorsel, A., Wolter, K., 2004. A measurement study of the interplay between application level restart and transport protocol. In: Malek, M., Manfred, M., Kaiser, J. (Eds.), Service Availability: First International Service Availability Symposium (ISAS 2004), Lecture Notes in Computer Science, vol. 3335, LNCS, Springer-Verlag, pp. 86-100.
51. K. Rinsaka, and T. Dohi Behavioral analysis of fault-tolerant software systems with rejuvenation IEICE Transactions on Information and Systems (D) E88-D 12 2005 2681 2690 (Pubitemid 43069065)
52. Rinsaka, K., Dohi, T., 2007. A faster estimation algorithm for periodic preventive rejuvenation schedule maximizing system availability. In: Malek, M., Reitenspiess, M., van Moorsel, A. (Eds.), Service Availability: 4th International Service Availability Symposium (ISAS 2007), vol. 4526, LNCS, Springer-Verlag, pp. 94-104.
53. A.T. Tai, L. Alkalai, and S.N. Chau On-board preventive maintenance: a design-oriented analytic study for long-life applications Performance Evaluation 35 1999 215 232
54. S. Toueg, and Ö. Babaog̃lu On the optimum checkpoint selection problem SIAM Journal of Computing 13 3 1984 630 649
55. N.H. Vaidya Impact of checkpoint latency on overhead ratio of a checkpointing scheme IEEE Transactions on Computers C-46 8 1997 942 947
56. K. Vaidyanathan, and K.S. Trivedi A comprehensive model for software rejuvenation IEEE Transactions on Dependable and Secure Computing 2 2 2005 124 137
57. Vaidyanathan, K., Harper, R.E., Hunter, S.W., Trivedi, K.S., 2001. Analysis of software rejuvenation in cluster systems. In: Proceedings of ACM SIGMETRICS 2001/Performance 2001, ACM Press, pp. 62-71.
58. A. van Moorsel, and K. Wolter Optimal restart times for moments of completion time IEE Proceedings of Software 151 5 2004 219 223
59. A. van Moorsel, and K. Wolter Analysis of restart mechanisms in software systems IEEE Transactions on Software Engineering 32 8 2006 547 558
60. W.X.D. Wang, and K.S. Trivedi Performability analysis of clustered systems with rejuvenation under varying workload Performance Evaluation 64 2007 247 265
61. J.W. Young A first order approximation to the optimum checkpoint interval Communication of the ACM 17 9 1974 530 531
62. A. Ziv, and J. Bruck An on-line algorithm for checkpoint placement IEEE Transactions on Computers C-46 9 1997 976 985