Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods  

作　　者：Seong Woo Kwak Jung-Min Yang 

机构地区：[1]Department of Electronic Engineering, Keimyung University [2]Department of Electrical Engineering, Catholic University of Daegu

出　　处：《Journal of Computer Science & Technology》2012年第1期105-112,共8页计算机科学技术学报（英文版）

摘　　要：This paper presents an optimal checkpoint strategy for fault-tolerance in real-time systems where transient faults occur in Poisson distribution. In our environment, multiple real-time tasks with different deadlines and harmonic periods are scheduled in the system by rate-monotonic algorithm, and checkpoints are inserted at a constant interval in each task. When a fault is detected, the system carries out rollback to the latest checkpoint and re-executes tasks. The maximum number of re-executable checkpoints and an equation to check schedulability are derived, and the optimal number of checkpoints is selected to maximize the probability of completing all the tasks within their deadlines.This paper presents an optimal checkpoint strategy for fault-tolerance in real-time systems where transient faults occur in Poisson distribution. In our environment, multiple real-time tasks with different deadlines and harmonic periods are scheduled in the system by rate-monotonic algorithm, and checkpoints are inserted at a constant interval in each task. When a fault is detected, the system carries out rollback to the latest checkpoint and re-executes tasks. The maximum number of re-executable checkpoints and an equation to check schedulability are derived, and the optimal number of checkpoints is selected to maximize the probability of completing all the tasks within their deadlines.

关 键 词：checkpoint scheme real-time system FAULT-TOLERANCE harmonic period rate-monotonic （RM） scheduling 

分 类 号：TB114.2[理学—运筹学与控制论]