Browse > Article
http://dx.doi.org/10.5391/JKIIS.2011.21.1.120

Determining Checkpoint Intervals of Non-Preemptive Rate Monotonic Scheduling Using Probabilistic Optimization  

Kwak, Seong-Woo (계명대학교 전자공학과)
Yang, Jung-Min (대구가톨릭대학교 전자공학과)
Publication Information
Journal of the Korean Institute of Intelligent Systems / v.21, no.1, 2011 , pp. 120-127 More about this Journal
Abstract
Checkpointing is one of common methods of realizing fault-tolerance for real-time systems. This paper presents a scheme to determine checkpoint intervals using probabilistic optimization. The considered real-time systems comprises multiple tasks in which transient faults can happen with a Poisson distribution. Also, multi-tasks are scheduled by the non-preemptive Rate Monotonic (RM) algorithm. In this paper, we present an optimization problem where the probability of task completion is described by checkpoint numbers. The solution to this problem is the optimal set of checkpoint numbers and intervals that maximize the probability. The probability computation includes schedulability test for the non-preemptive RM algorithm with respect to given numbers of checkpoint re-execution. A case study is given to show the applicability of the proposed scheme.
Keywords
Checkpoints; Rate Monotonic (RM) algorithm; Non-preemptiveness; Transient faults;
Citations & Related Records
Times Cited By KSCI : 3  (Citation Analysis)
연도 인용수 순위
1 H. Kim and K. G. Shin, “Design and analysis of an optimal instruction retry policy for TMR controller computers,” IEEE Transactions on Computers, vol 45, no. 11, pp. 1217-1225, 1996.   DOI
2 J. W. S. Liu, Real-Time Systems, New Jersey: Prentice Hall, 2000.
3 허보진, 손동철, 김창석, 이상용, “이동통신에서 무선채널할당과 CPU 작업 스케줄링 관계 연구,” 한국지능시스템학회 논문지, 제16권 제5호 pp. 575-580, 2006.   과학기술학회마을
4 곽성우, 정용주, “RM 스케줄링된 실시간 태스크에서의 최적 체크포인터 구간 선정,” 전기학회논문지, 제56권 제6호, pp. 1122-1129, 2007.   과학기술학회마을
5 곽성우, 정용주, “성능 함수를 고려한 실시간 제어 태스크에서의 최적 체크 포인터 구간 선정,” 전기학회논문지, 제57권 제5호 pp. 875-880, 2008.   과학기술학회마을
6 A. Ranganathan and S. J. Upadhyaya, “Performance evaluation of rollback-recovery techniques in computer programs,” IEEE Transactions on Reliability, vol. 42, no. 2, pp. 220-226, 1993.   DOI
7 S.-M. Ryu, “Reliability analysis for static checkpointing in embedded real-time systems,” 2007 International Symposium on Advanced Intelligent Systems, pp. 965-970, 2007.
8 C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
9 A. Ziv and J. Bruck, “Performance optimization of checkpointing schemes with task duplication,” IEEE Transactions on Computers, vol. 46, no. 12, pp. 1381-1386, 1997.   DOI
10 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, vol. 3, no. 2, pp. 130-140, 2006.   DOI
11 J. T. Daly, “A higher order estimate of the optimum checkpoint interval for restart dumps,” Future Generation Computer Systems, vol. 22, pp. 303-312, 2006.   DOI