Optimal Checkpoint Placement on Real-Time Tasks with Harmonic Periods

来源 :计算机科学技术学报(英文版) | 被引量 : 0次 | 上传用户:lhy5200
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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.
其他文献
目的:分析原发性肾病综合征(NS)合并可逆性后部脑白质综合征(PRLS)的特点,探讨NS合并PRLS可能的发病机制和危险因素。方法:回顾性分析7例儿童NS合并PRLS患者的临床、实验室检
以日本和IRR I的7个水稻品种为材料,分别以武香粳9号和两优培九为对照,在江苏南京和云南丽江研究了不同水稻基因型氮素利用效率及其在不同生态环境下的变异规律。结果表明:丽
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
用不同pH值(3.00~9.00)的培养液对旱稻幼苗进行培养,15 d以后测定幼苗丙二醛含量和超氧化物歧化酶、过氧化物酶、过氧化氢酶活性。试验结果表明,不同pH值培养条件下,旱稻幼苗
目的:探讨肿瘤转移抑制基因-1(TMSG-1)及细胞周期素D1(Cyclin D1)在食管鳞癌(ESCC)中的表达及其与患者预后的关系。方法:采用SP免疫组化染色法检测136例ESCC及13例正常食管黏
期刊
一、怎样选择玉米种和包衣剂rn(一)优良的品种和种子是丰收的基础,品种选择是玉米生产的第一步.品种间在生育期、产量水平、抗病性、耐旱性、抗倒性上以及适应区域上存在较大
设施蔬菜生产过程中,由于长期过量使用化肥、农药以及连续重茬种植等原因,往往造成土壤养分失衡、次生盐渍化和重金属、农药残留和有害生物大量积累等严重的土壤污染问题,土
今年7月,在内蒙古朱日和训练基地,一场庆祝建军90周年的盛大阅兵仪式在此举行,强大的阅兵阵容让举国上下为之振奋.现场同样引人瞩目的,还有支撑央视高空拍摄的特种设备——来
期刊
观察用蒸镀法制备的NiFeSiMnMo/Cu/NiFeSiMnMo多层膜的巨磁阻抗效应,经过退火后,得到性能优良的坡莫合金材料,研究了GMI效应与交变电流频率f和外加直流磁场H的关系,样品在3MH