분산 고장 탐지 방식을 이용한 실시간 태스크에서의 최적 체크포인터 구간 선정

국문 초록 (Abstract)

체크포인터를 삽입한 실시간 시스템에서는 고장이 발생하면 고장 직전의 체크포인터로 회귀하여 태스크를 재실행함으로써 과도 고장을 효과적으로 극복할 수 있다. 이번 논문에서는 체크포인터에서 실행되는 데이터 저장과 고장 탐지 과정을 분리한 새로운 체크포인터 방식을 제안한다. 하나의 체크포인터 구간 내에 여러 개의 고장 탐지 과정을 추가하면 고장 발생에서 탐지까지의 지연 시간을 줄일 수 있다. 본 논문에서는 태스크가 데드라인 이내에서 성공적으로 수행될 확률을 최대화하는 고장 탐지 과정의 삽입 방법을 제안한다. 고장 탐지 과정이 분리된 체크포인터 방식을 마코프 체인으로 모델링하고 실시간 태스크의 성공적 수행 확률을 계산하는 모의실험을 수행하여 최적의 해를 구하는 과정을 제시한다.

다국어 초록 (Multilingual Abstract)

Checkpoint placement is an effective fault tolerance technique against transient faults in which the task is re-executed from the latest checkpoint when a fault is detected. In this paper, we propose a new checkpoint placement strategy separating data saving and fault detection processes that are performed together in conventional checkpoints. Several fault detection processes are performed in one checkpoint interval in order to decrease the latency between the occurrence and detection of faults. We address the placement method of fault detection processes to maximize the probability of successful execution of a task within the given deadline. We develop the Markov chain model for a real-time task having the proposed checkpoints, and derive the optimal fault detection and checkpoint interval.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. 고장 탐지 과정이 분리된 체크포인터 방식
• 4. 시뮬레이션 결과
• 5. 결론
• References

참고문헌 (Reference)

1 곽성우, "확률 최적화를 이용한 비선점형 Rate Monotonic 스케줄링의 체크포인트 구간 결정" 한국지능시스템학회 11 (11): 120-127, 2011

2 곽성우, "데드라인이 주기보다 긴 멀티 태스크를 가진 실시간 시스템을 위한 최적 체크포인트 배치" 대한전기학회 61 (61): 148-154, 2012

3 곽성우, "RM 스케줄링된 실시간 태스크에서의 최적 체크 포인터 구간 선정" 대한전기학회 56 (56): 1122-1129, 2007

4 T. Ozaki, "Distributionfree checkpoint placement algorithms based on min-max principle" 3 (3): 130-140, 2006

5 S. Punnekkat, "Analysis of checkpointing for real-time systems" 20 (20): 83-102, 2001

6 Y. Ling, "A variational calculus approach to optimal checkpoint placement" 50 (50): 699-708, 2001

7 J. W. Young, "A first order approximation to the optimal checkpoint intervals" 17 (17): 530-531, 1974