×
郭成佑;杨荣敏

实时多任务检查点间隔的概率优化。 （英语） Zbl 1276.93085号

国际期刊系统。科学。 44，第4期，595-603（2013）.
摘要：本文考虑实时系统的检查点放置问题。在我们的环境中，通过单调速率算法在系统中调度多个具有任意周期的实时任务，并且在每个任务中以固定的间隔插入检查点，而间隔的宽度相对于任务是不同的。我们导出了一个显式的概率公式，即在给定的一组检查点间隔内成功完成所有任务的概率。然后我们确定使任务完成概率最大化的最佳检查点间隔。概率计算包括关于重新执行的检查点间隔数的可调度性分析。我们的方法对计划任务的周期不需要任何代数条件。

理学硕士：

93E20型 最优随机控制
90B36型 运筹学中的随机调度理论

关键词：

检查点;容错;检查点间隔;速率单调算法;任意周期
PDF格式BibTeX公司 XML格式引用
\textit{S.W.Kwak}和\textit{J.M.Yang}，国际期刊系统。科学。44，第4号，595--603（2013；Zbl 1276.93085）
全文： 内政部

参考文献：

[1] Baldoni R，《国际系统科学杂志》28页1145–（1997）·Zbl 0897.68007号 ·网址：10.1080/00207729708929474
[2] Biswas S，《国际系统科学杂志》41 pp 763–（2010）·Zbl 1200.93097号 ·doi:10.1080/0207720903244089
[3] Chen N，《嵌入式软件和系统国际会议论文集》，第315页–（2009年）
[4] He X，《国际系统科学杂志》41 pp 937–（2010）·Zbl 1213.93123号 ·网址：10.1080/00207720902974744
[5] Kim BK，《国际系统科学杂志》第30期第123页–（1999年）·Zbl 1065.93536号 ·doi:10.1080/002077299292740
[6] Kim JK，《实时系统》，第26页，199–（2004）·Zbl 1101.68417号 ·doi:10.1023/B:TIME.000016130.911111.75
[7] Krishina CM，实时系统（1997）
[8] Kwak，SW，Choi，BJ和Kim，BK。2000 . 多个实时任务的检查点策略。第七届实时计算系统和应用国际会议论文集（RTCSA'00）。2000 . 第517-521页。 ·doi:10.1109/RTCSA.2000.896436
[9] Ling Y，IEEE计算机汇刊50，第699页–（2001年）·doi:10.1109/12.936236
[10] Liu JWS，实时系统（2000）
[11] MosséD，IEEE软件工程汇刊29，第752页–（2003）·doi:10.1109/TSE.2003.1223648
[12] 欧阳J，《国际系统科学杂志》28页945–（1997）·Zbl 1114.68329号 ·网址：10.1080/00207729708929459
[13] Ozaki T，IEEE可靠和安全计算汇刊3第130页–（2006）·doi:10.1109/TDSC.2006.22
[14] Punnekkat S，《国际时间临界计算系统杂志》，20页，83–（2001）
[15] Simon D，《国际系统科学杂志》36，第57页–（2005）·Zbl 1068.93041号 ·doi:10.1080/00207720412331330408
[16] Song CY，《国际系统科学杂志》40 pp 479–（2009）·Zbl 1172.93374号 ·doi:10.1080/00207720802692248
[17] Tantawi A，ACM计算机系统交易2，第123页–（1984年）·数字对象标识代码：10.1145/190.357398
[18] Tia TS，博士论文（1995年）
[19] Young JW，ACM通讯17第530页–（1974）·Zbl 0294.68008号 ·数字对象标识代码：10.1145/361147.361115
[20] Ziv A，IEEE计算机汇刊46，第976页–（1997）·doi:10.109/12.620479
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。