Browse > Article
http://dx.doi.org/10.5370/KIEE.2011.60.1.193

Optimizing Checkpoint Intervals for Real-Time Multi-Tasks with Arbitrary Periods  

Kwak, Seong-Woo (계명대 전자공학과)
Yang, Jung-Min (대구가톨릭대 전자공학과)
Publication Information
The Transactions of The Korean Institute of Electrical Engineers / v.60, no.1, 2011 , pp. 193-200 More about this Journal
Abstract
This paper presents an optimal checkpoint strategy for fault-tolerance in real-time systems. In our environment, multiple real-time tasks with arbitrary periods are scheduled in the system by Rate Monotonic (RM) algorithm, and checkpoints are inserted at a constant interval in each task while the width of interval is different with respect to the task. We propose a method to determine the optimal checkpoint interval for each task so that the probability of completing all the tasks is maximized. Whenever a fault occurs to a checkpoint interval of a task, the execution time of the task would be prolonged by rollback and re-execution of checkpoints. Our scheme includes the schedulability test to examine whether a task can be completed with an extended execution time. A numerical experiment is conducted to demonstrate the applicability of the proposed scheme.
Keywords
Checkpointing; Real-time systems; Fault-tolerance; Rate Monotonic (RM) scheduling; Arbitrary period;
Citations & Related Records
Times Cited By KSCI : 1  (Citation Analysis)
Times Cited By SCOPUS : 0
연도 인용수 순위
1 J. K. Kim and B. K. Kim, "Probabilistic schedulability analysis of harmonic multi-task systems with dual modular temporal redundancy," Real-Time Systems, vol. 26, no. 2, pp. 199-222, 2004.   DOI
2 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   ScienceOn
3 Y. Ling, J. Mi, and X. Lin, "A variational calculus approach to optimal checkpoint placement," IEEE Transactions on Computers, vol. 50, no. 7, pp. 699-708, 2001.   DOI   ScienceOn
4 T. S. Tia, "Utilizing slack time for aperiodic and sporadic requests scheduling in real-time systems," Ph.D. thesis, Department of Computer Science, University of Illinois at Urbana-Champaign, 1995.
5 곽성우, 정용주, "RM 스케줄링된 실시간 태스크에서의 최적 체크포인터 구간 선정," 전기학회논문지, 제56권 제6호, pp. 1122-1129, 2007.
6 J. W. S. Liu, Real-Time Systems, New Jersey: Prentice Hall, 2000.
7 J. W. Young, "A first order approximation to the optimal checkpoint intervals," Communications of the ACM, vol. 17, no. 9, pp. 530-531, 1974.   DOI
8 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   ScienceOn
9 A. N. Tantawi and M. Ruschitzka, "Performance analysis of checkpointing strategies," ACM Transactions on Computer Systems, vol. 2, no. 2, pp. 123-143, 1984.   DOI
10 S. Punnekkat, A. Burns, and R. Davis, "Analysis of checkpointing for real-time systems," International Journal of Time-Critical Computing Systems, vol. 20, pp. 83-102, 2001.