基于可变负载的主备用版本容错调度

Yingchun Huang, Qingxu Deng
{"title":"基于可变负载的主备用版本容错调度","authors":"Yingchun Huang, Qingxu Deng","doi":"10.1109/ISSSR.2016.027","DOIUrl":null,"url":null,"abstract":"Task workload analysis for primary-alternate fault-tolerance is usually performed based on WCET (Worst-Case Execution Time), which causes excessive redundancy of processor resource reservation in conventional real-time systems. To address this issue, a novel primary-alternate fault-tolerant model based on a variable workload is built, theorems for both the alternate schedulability and the primary execution success ratio is proposed, and their correctness are proved. Motivated by these theorems, a new algorithm called BCEVW (BCE with Variable Workload) is proposed through improving the algorithm BCE. Further, a new error probability model for the primary version is proposed, which is closer to the practice than does the conventional model. Using two metrics including schedulability of a task set and execution success ratio of the primary version, simulation results show that (1) for scheduling task sets in the alternate version, backwards-EDF algorithm performs better than backwards-RM algorithm, and the necessary and sufficient conditions for its schedulability is that the processor utilization is no more than 1; (2) in the case of variable workload, BCEVW algorithm can significantly improve the schedulability of task sets in the primary version; (3) for the new error probability model, the results of the proposed scheduling algorithm show that there is an obvious linear relationship between the error probability and execution success ratio of the primary version, and further the greater processor utilization of the primary version is, the more significant linear relationship is.","PeriodicalId":257409,"journal":{"name":"2016 International Symposium on System and Software Reliability (ISSSR)","volume":"126 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Fault-Tolerant Scheduling of Primary-Alternate Version Based on Variable Workload\",\"authors\":\"Yingchun Huang, Qingxu Deng\",\"doi\":\"10.1109/ISSSR.2016.027\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Task workload analysis for primary-alternate fault-tolerance is usually performed based on WCET (Worst-Case Execution Time), which causes excessive redundancy of processor resource reservation in conventional real-time systems. To address this issue, a novel primary-alternate fault-tolerant model based on a variable workload is built, theorems for both the alternate schedulability and the primary execution success ratio is proposed, and their correctness are proved. Motivated by these theorems, a new algorithm called BCEVW (BCE with Variable Workload) is proposed through improving the algorithm BCE. Further, a new error probability model for the primary version is proposed, which is closer to the practice than does the conventional model. Using two metrics including schedulability of a task set and execution success ratio of the primary version, simulation results show that (1) for scheduling task sets in the alternate version, backwards-EDF algorithm performs better than backwards-RM algorithm, and the necessary and sufficient conditions for its schedulability is that the processor utilization is no more than 1; (2) in the case of variable workload, BCEVW algorithm can significantly improve the schedulability of task sets in the primary version; (3) for the new error probability model, the results of the proposed scheduling algorithm show that there is an obvious linear relationship between the error probability and execution success ratio of the primary version, and further the greater processor utilization of the primary version is, the more significant linear relationship is.\",\"PeriodicalId\":257409,\"journal\":{\"name\":\"2016 International Symposium on System and Software Reliability (ISSSR)\",\"volume\":\"126 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 International Symposium on System and Software Reliability (ISSSR)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSSR.2016.027\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 International Symposium on System and Software Reliability (ISSSR)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSSR.2016.027","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

摘要

主-备用容错任务负载分析通常基于最坏情况执行时间(WCET)进行,这导致传统实时系统中处理器资源预留冗余过多。为了解决这一问题,建立了一种基于可变工作负载的主-备用容错模型,提出了备用可调度性和主执行成功率定理,并证明了定理的正确性。在这些定理的启发下,通过对BCE算法的改进,提出了一种新的算法BCEVW (BCE with Variable Workload)。在此基础上,提出了一种新的误差概率模型,该模型比传统模型更接近实际情况。利用任务集的可调度性和主版本的执行成功率两个指标,仿真结果表明:(1)对于备用版本的任务集调度,后向edf算法优于后向rm算法,其可调度性的充分必要条件是处理器利用率不大于1;(2)在可变工作量情况下,BCEVW算法可以显著提高初级版本任务集的可调度性;(3)对于新的错误概率模型,所提调度算法的结果表明,主版本的错误概率与执行成功率之间存在明显的线性关系,且主版本的处理器利用率越大,线性关系越显著。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
Fault-Tolerant Scheduling of Primary-Alternate Version Based on Variable Workload
Task workload analysis for primary-alternate fault-tolerance is usually performed based on WCET (Worst-Case Execution Time), which causes excessive redundancy of processor resource reservation in conventional real-time systems. To address this issue, a novel primary-alternate fault-tolerant model based on a variable workload is built, theorems for both the alternate schedulability and the primary execution success ratio is proposed, and their correctness are proved. Motivated by these theorems, a new algorithm called BCEVW (BCE with Variable Workload) is proposed through improving the algorithm BCE. Further, a new error probability model for the primary version is proposed, which is closer to the practice than does the conventional model. Using two metrics including schedulability of a task set and execution success ratio of the primary version, simulation results show that (1) for scheduling task sets in the alternate version, backwards-EDF algorithm performs better than backwards-RM algorithm, and the necessary and sufficient conditions for its schedulability is that the processor utilization is no more than 1; (2) in the case of variable workload, BCEVW algorithm can significantly improve the schedulability of task sets in the primary version; (3) for the new error probability model, the results of the proposed scheduling algorithm show that there is an obvious linear relationship between the error probability and execution success ratio of the primary version, and further the greater processor utilization of the primary version is, the more significant linear relationship is.
求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信