检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于回卷恢复的数控系统实时容错调度策略

浙江大学学报（工学版） 2007年第12期41卷 2011-2016页

作者：潘雪增姚鑫骅傅建中陈子辰浙江大学计算机科学与技术学院浙江杭州310027 浙江大学现代制造工程研究所浙江杭州310027

针对数控系统对时间确定性和可靠性的要求,建立混合关联任务集描述模型,提出了基于回卷恢复机制和最佳优先(BF)算法的容错调度策略.该策略对数控系统关键任务的执行过程进行周期性分段验证,通过保存正确的检查点状态,使得出现瞬时故障... 详细信息

针对数控系统对时间确定性和可靠性的要求,建立混合关联任务集描述模型,提出了基于回卷恢复机制和最佳优先(BF)算法的容错调度策略.该策略对数控系统关键任务的执行过程进行周期性分段验证,通过保存正确的检查点状态,使得出现瞬时故障时任务可以从检查点开始继续执行,从而以较低的计算损失达到容错的效果.与传统的实时容错调度算法相比,基于回卷恢复机制的容错调度策略能很好地适用于数控系统多类型任务并存和任务间相互约束的特点,同时,通过降低错误恢复所需的时间开销,有效地提高了系统的资源利用率.该算法应用于数控系统的有效性在实例分析和算法模拟研究中得到验证.

关键词：数控系统容错调度回卷恢复

在线全文

学校读者我要写书评

暂无评论

基于回卷恢复的容错硬实时系统可调度性分析

系统工程与电子技术 2011年第7期33卷 1673-1679页

作者：丁万夫郭锐锋赵进刘娴李杰中国科学院研究生院北京100049 中国科学院沈阳计算技术研究所辽宁沈阳110171 沈阳机床(集团)有限责任公司辽宁沈阳110142

在硬实时系统中,由于任务超时完成将会导致灾难性后果,因此硬实时系统必须具有实时性和可靠性保障。为了提高硬实时系统的容错能力,基于回卷恢复模型提出了允许容错优先级提升的分配策略。为了获得系统中容错优先级分配的最佳策略,基于... 详细信息

在硬实时系统中,由于任务超时完成将会导致灾难性后果,因此硬实时系统必须具有实时性和可靠性保障。为了提高硬实时系统的容错能力,基于回卷恢复模型提出了允许容错优先级提升的分配策略。为了获得系统中容错优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的容错优先级配置搜索算法(fault-tolerant priority configuration search algorithm,FTPCSA)。该算法能够将搜索空间由O(n!)减少到O(n2)。最后给出了该算法的最优性证明。经过深入分析和实验证明,允许容错优先级提升的分配策略能够在容错优先级继承策略的基础上,进一步提高系统的容错能力。

关键词：回卷恢复硬实时系统可调度性分析检查点

日志检查点回卷恢复策略的检查点周期求解模型

在线全文

学校读者我要写书评

暂无评论

高技术通讯 2011年第6期21卷 575-580页

作者：徐振朋门朝光李香哈尔滨工程大学高可信计算技术研究中心哈尔滨150001

基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复... 详细信息

基于Markov链进程状态模型和拉普拉斯变换，提出了一种日志检查点回卷恢复容错策略的最佳检查点周期求解模型，该模型充分考虑了日志检查点回卷恢复策略中进程回卷恢复与正常运行期间执行速度存在的差别，同时允许进程检查点和回卷恢复期间发生故障事件。通过求解进程状态Markov链转移概率和权重，得到完成检查点间隔的期望执行用时，最后通过系统最小容错负载率得出进程的最佳检查点周期。该模型退化后与现有其它求解模型相一致，结果表明该模型能确保相对较低的容错开销。

关键词：分布式计算容错消息日志回卷恢复检查点周期

基于优先级混合策略的回卷恢复容错实时系统的可调度性

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

吉林大学学报（工学版） 2012年第5期42卷 1243-1250页

作者：刘娴郭锐锋丁万夫中国科学院研究生院北京100039 中国科学院沈阳计算技术研究所沈阳110168

实时系统具有严格的实时性及高度的可靠性要求。考虑到系统可能出错的情况,对回卷恢复容错模型下实时系统的可调度性进行了研究,提出了容错优先级混合策略,并推导出该策略下任务最坏响应时间的计算公式。结合系统的可调度性分析,提出了... 详细信息

实时系统具有严格的实时性及高度的可靠性要求。考虑到系统可能出错的情况,对回卷恢复容错模型下实时系统的可调度性进行了研究,提出了容错优先级混合策略,并推导出该策略下任务最坏响应时间的计算公式。结合系统的可调度性分析,提出了混合策略的优先级配置搜索算法(FTPCS_MS算法),该算法将最优容错优先级混合配置的搜索空间由O(nn)降低为O(n2)。仿真实验表明,容错优先级混合策略能够在继承策略的基础上进一步提升系统的容错能力。

关键词：计算机系统结构容错实时系统回卷恢复可调度性分析最坏响应时间优先级配置

在线全文

学校读者我要写书评

暂无评论

一种可靠高效的回卷恢复实现方法

电子学报 2006年第2期34卷 237-240页

作者：杨金民张大方黎文伟湖南大学软件学院湖南长沙410082

本文针对现有用户级进程检查点实现中的线程挂起点不确定性问题提出一种基于线程自挂的解决方案.另外,为了降低分布式回卷恢复开销,本文提出一个多线程化的回卷恢复实现基架.基于所提回卷恢复策略,开发了一个回卷恢复试验床W INDAR.试... 详细信息

本文针对现有用户级进程检查点实现中的线程挂起点不确定性问题提出一种基于线程自挂的解决方案.另外,为了降低分布式回卷恢复开销,本文提出一个多线程化的回卷恢复实现基架.基于所提回卷恢复策略,开发了一个回卷恢复试验床W INDAR.试验结果表明,多线程化实现策略能够显著提高悲观消息日志协议性能.

关键词：检查点进程状态回卷恢复多线程

在线全文

学校读者我要写书评

暂无评论

回卷恢复模型下容错实时系统的可调度性分析

小型微型计算机系统 2013年第6期34卷 1334-1338页

作者：郭锐锋刘娴丁万夫李杰王鸿亮中国科学院沈阳计算技术研究所沈阳110168 中国科学院研究生院北京100039

实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级... 详细信息

实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.

关键词：实时系统可调度性分析最坏响应时间回卷恢复容错优先级配置

在线全文

学校读者我要写书评

暂无评论

超步透导的回卷恢复

小型微型计算机系统 2002年第6期23卷 731-735页

作者：丁俊童维勤上海大学计算机工程与科学学院上海200072

工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检... 详细信息

工作站机群系统已成为分布式并行处理发展的主流方向之一 .随着机群系统应用领域的逐渐拓展和规模的不断扩大 ,人们对其可靠性的要求日益提高 .设计高可靠的群机系统 ,需要着重研究其系统容错技术 .本文叙述了并行异构环境回卷恢复和检查点派生 .实现透明的可移植容错和负载均衡能力 .避免调整检查点就可以构成全局一致性状态 .不仅使 BSP应用程序自治容错能力 ,而且能够在机群 (Clusters)间迁移 ,保持系统负载均衡 .重点介绍检查点设置、检查点派生、卷回。

关键词：超步诱导回卷恢复容错故障恢复进程迁移进程状态工作站机群系统

在线全文

学校读者我要写书评

暂无评论

基于分块消息日志的回卷恢复策略

电子学报 2004年第5期32卷 857-859页

作者：杨金民张大方湖南大学计算机与通信学院

本文给出了一种基于分块消息日志的回卷恢复协议 ,建立了其性能模型 ,评估了协议的平均开销 .分块消息日志方法是一种可配置的一般化方法 ,悲观消息日志方法和协同检查点方法是其两个特例 .性能分析结果表明 ,协议配置参数具有可优化特... 详细信息

本文给出了一种基于分块消息日志的回卷恢复协议 ,建立了其性能模型 ,评估了协议的平均开销 .分块消息日志方法是一种可配置的一般化方法 ,悲观消息日志方法和协同检查点方法是其两个特例 .性能分析结果表明 ,协议配置参数具有可优化特性 ,采用分块消息日志策略能够优化协议性能 .

关键词：分布式系统回卷恢复消息日志性能评估参数优化

在线全文

学校读者我要写书评

暂无评论

基于并发性发掘的低开销回卷恢复实现方法

计算机工程 2013年第11期39卷 46-51页

作者：袁功彪杨金民白树仁湖南大学信息科学与工程学院长沙410082 湖南大学超级计算中心长沙410082

现有的回卷恢复容错技术存在同步约束和阻塞问题,其时间开销随系统节点规模的增大而剧增。为此,提出一种基于并发性发掘的低开销回卷恢复实现方法。利用消息传递附带跟踪消息依赖的策略解除消息日志中的同步约束,解析进程负载以发掘进... 详细信息

现有的回卷恢复容错技术存在同步约束和阻塞问题,其时间开销随系统节点规模的增大而剧增。为此,提出一种基于并发性发掘的低开销回卷恢复实现方法。利用消息传递附带跟踪消息依赖的策略解除消息日志中的同步约束,解析进程负载以发掘进程负载的并发性,构建进程负载并发执行的实现架构,采用数据缓存策略和多线程技术实现进程内部各负载的并发执行,以降低故障恢复开销。3个NAS NPB2.3标准性能检测程序的实验结果表明,该方法可使检查点开销从0.63 s、3.19 s、1.21 s分别降低到0.18 s、0.67 s、0.19 s,日志开销率从13.4%、3.5%、18.3%分别降低到0.7%、0.1%、1.0%。

关键词：回卷恢复时间开销同步约束并发性挖掘消息日志检查点