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

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

DOI QR Code

Optimal Checkpoint Placement for Real-Time Systems with Multi-Tasks Having Deadlines Longer Than Periods

데드라인이 주기보다 긴 멀티 태스크를 가진 실시간 시스템을 위한 최적 체크포인트 배치

  • Received : 2011.11.11
  • Accepted : 2011.12.23
  • Published : 2012.01.01
Download PDF
⟨ Previous Next ⟩

Abstract

For a successful checkpointing strategy, we should place checkpoints so as to optimize fault-tolerance capability of real-time systems. This paper presents a novel scheme of checkpoint placement for real-time systems with periodic multi-tasks. Under the influence of transient faults, multi-tasks are scheduled by the Rate Monotonic (RM) algorithm. The optimal checkpoint intervals are derived to maximize the probability of task completion. In particular, this paper is concerned about the general case that the deadline of a task is longer than the period. Compared with the special condition that the deadline is equal to or less than the period, this general case causes a more complicate test procedure for schedulability of the RM algorithm with respect to a given set of checkpoint re-execution vectors. The probability of task completion is also derived in a more complex form. A case study is given to show the applicability of the proposed scheme.

Keywords

References

  1. L. Sterpone and M. Violante, "A new reliability-oriented place and route algorithm for SRAM-based FPGAs," IEEE Transactions on Computers, vol. 55, no. 6, pp. 732-744, 2006. https://doi.org/10.1109/TC.2006.82
  2. C. M. Krishina and K. G. Shin, Real-Time Systems, New York: McGraw-Hill, 1997.
  3. 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. https://doi.org/10.1109/12.641939
  4. S.-M. Ryu, "Reliability analysis for static checkpointing in embedded real-time systems," 2007 International Symposium on Advanced Intelligent Systems, pp. 965-970, 2007.
  5. A. Ziv and J. Bruck, "Analysis of checkpointing schemes with task duplication," IEEE Transactions on Computers, vol. 47, no. 2, pp. 222-227, 1998. https://doi.org/10.1109/12.663769
  6. S. W. Kwak and B. K. Kim, "Task-scheduling strategies for reliable TMR controllers using task grouping and assignment," IEEE Transactions on Reliability, vol. 49, no. 4, pp. 355-362, 2000. https://doi.org/10.1109/24.922488
  7. J. W. S. Liu, Real-Time Systems, New Jersey: Prentice Hall, 2000.
  8. 곽성우, 정용주, "RM 스케줄링된 실시간 태스크에서의 최적 체크포인터 구간 선정," 전기학회논문지, 제56권 제6호, pp. 1122-1129, 2007.
  9. S. W. Kwak, B. J. Choi, and B. K. Kim, "An optimal checkpointing-strategy for real-time control systems under transient faults," IEEE Transactions on Reliability, vol. 50, no. 3, pp. 293-301, 2001. https://doi.org/10.1109/24.974127
  10. 곽성우, 양정민, "임의 주기를 가지는 실시간 멀티 태스크를 위한 체크포인트 구간 최적화," 전기학회논문지, 제60권 제1호, pp. 193-200, 2011.
  11. D. Seto, J. P. Lehoczky, L. Sha, and K. G. Shin, "On task schedulability in real-time control systems," 17th IEEE Real-Time Systems Symposium (RTSS '96), pp. 13-21, 1996.
  12. "과학기술위성 1호 상세점검회의 자료집," 인공위성연구센터, 2002.
  13. M. R. Garey and D. S. Johnson, "Two processor scheduling with start time and deadlines," SIAM Journal of Computing, vol. 6, pp. 416-426, 1977. https://doi.org/10.1137/0206029

Cited by

  1. Determination of Optimal Checkpoint Intervals for Real-Time Tasks Using Distributed Fault Detection vol.26, pp.3, 2016, https://doi.org/10.5391/JKIIS.2016.26.3.202