Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods

被引：14

作者：

Kwak, Seong Woo ^{[1
]}

Yang, Jung-Min ^{[2
]}

机构：

[1] Keimyung Univ, Dept Elect Engn, Taegu 704701, South Korea

[2] Catholic Univ Daegu, Dept Elect Engn, Gyeongbuk 712702, South Korea

来源：

JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY | 2012年 / 27卷 / 01期

关键词：

checkpoint scheme; real-time system; fault-tolerance; harmonic period; rate-monotonic (RM) scheduling; SCHEMES; SYSTEMS;

D O I：

10.1007/s11390-012-1209-0

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：105 / 112

页数：8

共 15 条

[1] Optimal reward-based scheduling for periodic real-time tasks [J].

Aydin, H ;

Melhem, R ;

Mossé, D ;

Mejía-Alvarez, P .

IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (02) :111-130

[2] Fault-tolerance through scheduling of aperiodic tasks in hard real-time multiprocessor systems [J].

Ghosh, S ;

Melhem, R ;

Mosse, D .

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1997, 8 (03) :272-284

[3] Design and analysis of an optimal instruction retry policy for TMR controller computers [J].

Kim, HB ;

Shin, KG .

IEEE TRANSACTIONS ON COMPUTERS, 1996, 45 (11) :1217-1225

[4] Probabilistic schedulability analysis of harmonic multi-task systems with dual-modular temporal redundancy [J].

Kim, JK ;

Kim, BK .

REAL-TIME SYSTEMS, 2004, 26 (02) :199-222

[5]

Kwak S. W., 2010, 2010 IEEE International Conference on Industrial Engineering & Engineering Management (IE&EM 2010), P778, DOI 10.1109/IEEM.2010.5675605

[6]

Kwak SW, 2001, IEEE T RELIAB, V50, P293, DOI 10.1109/24.974127

[7]

Kwak SW, 2000, SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, P517, DOI 10.1109/RTCSA.2000.896436

[8] A cost model for selecting checkpoint positions in time warp parallel simulation [J].