刘娴
- 作品数：13 被引量：34H指数：4
- 供职机构：中国科学院沈阳计算技术研究所更多>>
- 发文基金：国家科技重大专项更多>>
- 相关领域：自动化与计算机技术更多>>
- 容错优先级可提升的抢占阈值容错调度算法被引量：5
- 2011年
- 基于软件容错模型,提出了允许容错优先级提升的抢占阈值容错调度算法(extended fault-tolerantfixed-priority with preemption threshold,简称FT-FPPT*).该算法能够在抢占式容错调度算法(fault-tolerantfixed-priority preemptive,简称FT-FPP)和抢占阈值容错调度算法(fault-tolerant fixed-priority with preemptionthreshold,简称FT-FPPT)无法提高系统容错能力的情况下,进一步提高系统的容错能力.为了获得系统中任务优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的优先级配置搜索算法(priorityassignment search algorithm,简称PASA).经过深入分析和实验证明,与FT-FPPT算法相比,FT-FPPT*算法能够有效地提高硬实时系统的容错能力.
- 丁万夫郭锐锋秦承刚刘娴郭凤钊
- 关键词：实时系统容错调度抢占阈值调度可调度性分析
- 回卷恢复模型下容错实时系统的可调度性分析被引量：1
- 2013年
- 实时任务的超时完成将会导致灾难性后果,因此实时系统必须具备严格的实时性及可靠性保障.考虑实时系统的容错需求,本文基于回卷恢复模型,对容错实时系统的可调度性分析进行研究.在基于任务最坏响应时间的可调度性分析方法中,容错优先级配置是决定系统可调度性的关键.为了改进系统的可调度性,提出一种容错优先级可降低的配置策略,并推导出此策略下任务最坏响应时间的计算公式,以判断系统的可调度性.降低策略下低优先级任务可挪用高优先级任务的空闲时间来满足自身的截止时限要求.仿真实验表明,降低任务的容错优先级可以有效提升系统的容错能力.
- 郭锐锋刘娴丁万夫李杰王鸿亮
- 关键词：实时系统可调度性分析回卷恢复
- 基于软件容错的抢占阈值调度算法设计与仿真被引量：2
- 2012年
- 为了提高硬实时系统的容错能力,同时减少任务间的抢占次数,基于软件容错模型提出了抢占阈值容错调度算法(FT-FPPT).为了获得系统中任务抢占阈值分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的抢占阈值配置搜索算法(PTCSA).PTCSA算法能够将搜索空间由O(n!)减少到O(n 2),其中n为任务的个数.最后给出了该算法的最优性证明.仿真实验表明,抢占阈值容错调度算法能够在抢占式容错调度算法的基础上,进一步提高系统的容错能力。
- 丁万夫郭锐锋刘娴秦承刚郭凤钊
- 关键词：硬实时系统容错调度抢占阈值
- 基于回卷恢复的容错硬实时系统可调度性分析被引量：1
- 2011年
- 在硬实时系统中,由于任务超时完成将会导致灾难性后果,因此硬实时系统必须具有实时性和可靠性保障。为了提高硬实时系统的容错能力,基于回卷恢复模型提出了允许容错优先级提升的分配策略。为了获得系统中容错优先级分配的最佳策略,基于任务最坏响应时间的可调度性分析,提出了一种最优的容错优先级配置搜索算法(fault-tolerant priority configuration search algorithm,FTPCSA)。该算法能够将搜索空间由O(n!)减少到O(n2)。最后给出了该算法的最优性证明。经过深入分析和实验证明,允许容错优先级提升的分配策略能够在容错优先级继承策略的基础上,进一步提高系统的容错能力。
- 丁万夫郭锐锋赵进刘娴李杰
- 关键词：回卷恢复硬实时系统可调度性分析检查点
- 基于平均空闲时间分配的低功耗调度算法被引量：4
- 2015年
- 针对周期任务,考虑通用的功耗模型,结合动态电压缩放技术和动态功耗管理技术,提出了基于平均空闲时间分配的低功耗调度算法.该算法是两阶段的调度算法,离线阶段计算静态运行速度,回收静态空闲时间;在线阶段回收动态空闲时间,调节处理器的运行速度,并适时地利用动态功耗管理技术关闭处理器,以降低处理器能耗.仿真实验表明所提的算法比使用基于贪婪空闲时间分配的DRA算法平均节约大约6.55%的能耗.
- 张忆文郭锐锋刘娴段立明
- 关键词：动态电压缩放动态功耗管理实时调度
- 基于优先级混合策略的回卷恢复容错实时系统的可调度性被引量：3
- 2012年
- 实时系统具有严格的实时性及高度的可靠性要求。考虑到系统可能出错的情况,对回卷恢复容错模型下实时系统的可调度性进行了研究,提出了容错优先级混合策略,并推导出该策略下任务最坏响应时间的计算公式。结合系统的可调度性分析,提出了混合策略的优先级配置搜索算法(FTPCS_MS算法),该算法将最优容错优先级混合配置的搜索空间由O(nn)降低为O(n2)。仿真实验表明,容错优先级混合策略能够在继承策略的基础上进一步提升系统的容错能力。
- 刘娴郭锐锋丁万夫
- 关键词：计算机系统结构容错实时系统回卷恢复可调度性分析
- 一种引入关键速度的节能调度算法
- 2015年
- Look Ahead-EDF（LA-EDF）算法利用DVS技术降低系统能耗,保证所有任务都满足截止期的同时,推迟任务执行.但是忽略了静态功耗以及处理器状态切换能量开销,造成系统资源的浪费.针对LA-EDF算法未考虑处理器状态切换能量开销,提出一种基于关键速度的LA-EDF-CRITICAL调度算法.该算法引入关键速度来确定处理器的运行速度,通过比较空闲时间,确定处理器的是否进入休眠状态.仿真实验表明所提LA-EDF-CRITICAL算法比LA-EDF算法节约0~18.06%的能耗.
- 郭锐锋邓昌义张忆文刘娴王鸿亮
- 关键词：动态电压调整节能调度
- 离散频率周期任务的节能调度算法被引量：5
- 2014年
- DRA算法通过建立α队列,动态回收系统空闲时间,利用DVS技术降低系统能耗,但其通常假设处理器提供连续的频率或者电压.为了保证任务的实时性,DRA算法选择的实际运行速度比连续频率情况下计算出的理想速度Sx大,这样会造成系统资源的浪费.本文以DRA算法为基础,针对处理器提供离散频率或电压,提出了DRA-PARTION算法.该算法把任务的执行时间划分为两部分,通过Sx确定第一部分的速度SL和第二部分的速度SH,并且利用理想速度下的执行时间e'x.I计算出第一部分的执行时间e'x.L.待第一部分执行完成,根据剩余执行时间完成第二部分.仿真实验表明DRA-PARTION算法比DRA算法节约大约19.04%的能耗.
- 郭锐锋张忆文李杰刘娴
- 关键词：DVS节能调度
- 通用刀具扫描体隐式曲面建模方法被引量：2
- 2015年
- 提出五轴加工仿真中基于隐式曲面理论的通用刀具扫描体建模方法。为了提高布尔减运算时间性能,采用隐式曲面能够高效判断扫描体与工件体素数据场点集的位置关系,避免耗时的空间相交计算。定义通用刀具体的隐式曲面模型;根据刚体运动框架理论,建立工件框架与刀具框架的映射关系,利用逆向运动法确定曲面边界范围,将刀具体线性位移和旋转角度作线性插补,推导出工件框架中刀具扫描体的隐函数曲面方程;在分析刀具各部分扫描体方程实数根情况的基础上,给出基于隐式曲面的扫描体构造算法。以典型刀具和运动类型为例,分析扫描体构建过程,试验结果验证方法的正确性和较好的时间性能,方法应用于数控系统中的材料去除仿真。
- 王鸿亮郭锐锋彭健钧王品刘娴
- 关键词：数控加工仿真扫描体隐函数曲面
- 主/副版本模型中预分配容错实时调度算法被引量：3
- 2015年
- 实时系统中任务的超时完成可能导致灾难性后果,因此要求系统具备容错处理能力,以保证系统出错后的实时性及可靠性.主/副版本模型是提高实时系统容错能力的有效技术.传统的容错实时调度算法通过为副版本预留处理器时间来实现软件容错,为副版本预留的处理器时间在系统运行过程中需动态调整,增加了系统的容错调度开销.提出一种基于res-backwards-RM预分配子算法的容错实时调度算法BCE*,通过限制预分配过程中高优先级任务的抢占条件,在不影响系统可调度性的同时可以有效避免副版本预留时间的动态调整,降低系统的容错调度开销.仿真实验验证了BCE*算法的可行性及有效性,且在系统出错概率及主版本负载较低的环境下,BCE*算法对系统容错调度开销的优化效果更显著.
- 刘娴郭锐锋邓昌义
- 关键词：实时调度软件容错预分配
