The Transactions of The Korean Institute of Electrical Engineers (전기학회논문지)

The Korean Institute of Electrical Engineers (대한전기학회)
권호 표지
DOI QR코드

DOI QR Code

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

임의 주기를 가지는 실시간 멀티 태스크를 위한 체크포인트 구간 최적화

  • Received : 2010.06.01
  • Accepted : 2010.10.19
  • Published : 2011.01.01
Download PDF
⟨ Previous Next ⟩

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

References

  1. J. W. S. Liu, Real-Time Systems, New Jersey: Prentice Hall, 2000.
  2. J. W. Young, "A first order approximation to the optimal checkpoint intervals," Communications of the ACM, vol. 17, no. 9, pp. 530-531, 1974. https://doi.org/10.1145/361147.361115
  3. 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. https://doi.org/10.1109/TDSC.2006.22
  4. A. N. Tantawi and M. Ruschitzka, "Performance analysis of checkpointing strategies," ACM Transactions on Computer Systems, vol. 2, no. 2, pp. 123-143, 1984. https://doi.org/10.1145/190.357398
  5. 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.
  6. 곽성우, 정용주, "RM 스케줄링된 실시간 태스크에서의 최적 체크포인터 구간 선정," 전기학회논문지, 제56권 제6호, pp. 1122-1129, 2007.
  7. 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. https://doi.org/10.1023/B:TIME.0000016130.91111.75
  8. 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. https://doi.org/10.1109/24.229490
  9. 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. https://doi.org/10.1109/12.936236
  10. 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.