发明名称 一种多核实时容错系统中获取准确的最晚截止时间的方法
摘要 本发明提出了一种多核实时容错系统中获取准确的最晚截止时间的方法,包括如下步骤:根据给定的任务调度,在保持原有数据依赖的基础上,为调度在同一核上的相邻任务增加调度顺序依赖;增加两个执行时间为0的虚拟任务节点,使得在任务调度中,其中一个虚拟节点先于所有任务执行,另外一个后于所有任务执行;假设在任务执行过程中最多出现X个软错误,在原有调度的基础上通过出错任务在同一核上立即重新执行来实现容错,并确定任务集合的关键任务,获取任务集合的准确的最晚截止时间。若任务集合中包含N个任务,并且在执行过程中最多出现X个软错误,本发明能够在O(n^2)时间内确定任务集合的准确的最晚截止时间,保证容错,高效快速。
申请公布号 CN103699455A 申请公布日期 2014.04.02
申请号 CN201310739053.0 申请日期 2013.12.27
申请人 重庆大学 发明人 沙行勉;吴剀劼;崔晓通
分类号 G06F11/07(2006.01)I 主分类号 G06F11/07(2006.01)I
代理机构 重庆市前沿专利事务所(普通合伙) 50211 代理人 郭云
主权项 一种多核实时容错系统中获取准确的最晚截止时间的方法,其特征在于,包括如下步骤:S1,根据多核系统的任务调度,在保持原有数据依赖的基础上,为在同一核上执行的相邻任务增加调度顺序依赖,建立新的有向无环图;S2,在新的有向无环图的基础上,增加两个虚拟任务节点,所述虚拟任务的执行时间为0,在以该有向无环图为模型的任务调度中,其中一个虚拟任务节点最先执行,另外一个虚拟任务节点最后执行;S3,假设在任务执行过程中最多出现X个软错误,在原有调度的基础上通过出错任务在同一核上的立即重新执行来实现容错,保证任务集合的正确执行,并确定任务集合的关键任务,获取任务集合的准确的最晚截止时间;S4,衡量任务集合的准确的最晚截止时间是否满足当前多核实时容错系统中的工作时限需求,如果满足,则退出,如果不满足,则调整调度策略,返回步骤S1。
地址 400044 重庆市沙坪坝区沙正街174号