CN102654843A - 嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 - Google Patents
嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 Download PDFInfo
- Publication number
- CN102654843A CN102654843A CN2011100524395A CN201110052439A CN102654843A CN 102654843 A CN102654843 A CN 102654843A CN 2011100524395 A CN2011100524395 A CN 2011100524395A CN 201110052439 A CN201110052439 A CN 201110052439A CN 102654843 A CN102654843 A CN 102654843A
- Authority
- CN
- China
- Prior art keywords
- task
- scheduler
- priority
- treat
- final term
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
Images
Landscapes
- Debugging And Monitoring (AREA)
Abstract
本发明提供了嵌入式处理器中非抢占式容错调度方法及嵌入式处理器,其中,该方法包括:判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务加入任务队列;否则,丢弃该待调度任务;调用任务队列中的任务,并执行。本发明方案能够简化容错调度的操作。
Description
技术领域
本发明涉及数据处理技术,尤其涉及嵌入式处理器中非抢占式容错调度方法及嵌入式处理器。
背景技术
目前,嵌入式处理器中的非抢占式容错调度方法包括:
嵌入式处理器对待调度任务进行判断,也就是判断将该待调度任务加入任务队列后是否会引起执行错误,如果不会,则将该调度任务加入任务队列,否则丢弃该调度任务;同时,嵌入式处理器从任务队列中逐个调用任务,并执行任务。
在执行任务的过程中,可能有新的任务到达,该新的任务也就是待调度任务,则嵌入式处理器执行上述对待调度任务进行容错判断的步骤,以确定是否将其加入任务队列;也可能,当前执行的任务出现错误,该出错任务也称为待调度任务,则嵌入式处理器也执行上述对待调度任务进行容错判断的步骤,以确定是否将其加入任务队列重复执行。
嵌入式处理器判断将该待调度任务加入任务队列后,是否会引起执行错误的方法有多种,通过实践发现,现有的判断方法步骤繁多,实现复杂;因而,常引起结果不准确,导致任务执行出现较多错误。
发明内容
本发明提供了一种嵌入式处理器中非抢占式容错调度方法,该方法能够简化容错调度的操作。
本发明提供了一种嵌入式处理器,该嵌入式处理器能够简化容错调度的操作。
一种嵌入式处理器中非抢占式容错调度方法,该方法包括:
判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务加入任务队列;否则,丢弃该待调度任务;
调用任务队列中的任务,并执行。
一种嵌入式处理器,该嵌入式处理器包括指令处理单元、内存和CPU;
所述指令处理单元,用于判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务传送给内存;否则,丢弃所述待调度任务;
所述内存,用于接收所述指令处理单元发送的待调度任务,添加到任务队列中;并根据CPU的调用将任务逐个传送给CPU;
所述CPU,用于逐个调用任务队列中的任务,并执行。
从上述方案可以看出,本发明在对待调度任务进行判断时,包括两部分内容,即任务集合中各任务的执行不会引起任务本身超过最终期限,且任务集合中各任务的执行不会引起其它任务超过最终期限;满足这两部分条件,便可将待调度任务加入任务队列;该判断方式无需执行较多的步骤,简化了操作。
附图说明
图1为本发明嵌入式处理器中非抢占式容错调度方法的示意性流程图;
图2为嵌入式处理器中非抢占式调度任务1、2和3的时序图;
图3为本发明嵌入式处理器的结构示意图。
具体实施方式
为使本发明的目的、技术方案和优点更加清楚明白,下面结合实施例和附图,对本发明进一步详细说明。
嵌入式处理器对任务队列中的每个任务周期性地执行,通常地,每个周期的起始时刻记为0时刻,结束时刻称为相应任务的最终期限。在嵌入式处理器中的每个任务都有自己的执行时间,所谓执行时间,也就是从执行某一任务开始,至执行结束所经历的时间。参见图1,为本发明嵌入式处理器中非抢占式容错调度方法的示意性流程图,其包括以下步骤:
步骤101,判断待调度任务是否满足调度条件,如果满足,则执行步骤102;否则,丢弃该待调度任务。
所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限。
所述待调度任务为到达任务或出错任务。
步骤102,将待调度任务加入任务队列。
步骤103,调用任务队列中的任务,并执行。
在执行任务的过程中,可能有新的任务到达,该新的任务也就是待调度任务,则嵌入式处理器执行上述对待调度任务进行容错判断的步骤,以确定是否将其加入任务队列;也可能,当前执行的任务出现错误,该出错任务也称为待调度任务,则嵌入式处理器也执行上述对待调度任务进行容错判断的步骤,以确定是否将其加入任务队列重复执行。
步骤103中执行任务时,可按照静态优先级顺序从任务队列中调用任务,也可按照动态优先级顺序从任务队列中调用任务。对静态优先级顺序而言,任务队列中各任务的优先级顺序确定后,便不再改变,并按照确定的优先级顺序调用任务;当有待调度任务加入时,计算出该调度任务的优先级,然后按照计算的优先级,将待调度任务插入任务队列中。对于动态优先级,在每次调用任务队列中的任务时,都需要对任务队列中的所有任务重新计算一次优先级顺序,按照计算出的优先级顺序调用任务。
静态优先级可采用现有方式计算;本发明中,静态优先级还可采用下述公式计算:静态优先级=(最终期限-执行时间)/执行时间。
动态优先级可采用现有方式计算;本发明中,动态优先级还可以按照下述公式计算:动态优先级=最终期限/执行时间。
本发明在对待调度任务进行判断时,包括两部分内容,即任务集合中各任务的执行不会引起任务本身超过最终期限,且任务集合中各任务的执行不会引起其它任务超过最终期限;满足这两部分条件,便可将待调度任务加入任务队列;该判断方式无需执行较多的步骤,简化了操作。
下面对本发明提供的调度条件进行具体说明。
参见图2,为现有嵌入式处理器实际应用中,非抢占式调度任务1、2和3的时序图,将该实例的任务队列中包含的任务表示为其中,i为优先级序号,也是任务执行的序号,N=3,C表示执行时间,Ci表示第i个任务的执行时间,T表示最终期限,Ti表示第i个任务的最终期限;该任务队列包括θ1(12,5),θ2(12,5),θ3(12,5),本实例中,三个任务的执行时间和最终期限都相同,最终期限为5秒(m),也就是,需要在5m内完成三个任务的执行。图中坐标为时间轴,标出了某一周期,即5秒内执行各个任务的情况,具体地:在0-1.2秒执行任务1,在0.6m时发现任务1执行错误,便在1.2-2.4秒重新执行任务1;然后,在2.4-3.6秒执行任务2,在3.4m时发现任务2执行错误,便在3.6-4.8秒重新执行任务2;而后在4.8秒开始执行任务3,执行任务3需要1.2秒;而在5.0m将更新为0时刻重新计时,需要按照任务1、2、3的顺序执行下一个周期的任务,这导致当前周期中因超过最终期限不能完整执行任务3。本实施例中,任务1和任务2的重复执行都紧接在第一次执行之后,实际运用中,重复执行与第一次执行之间也可能有一定的时间间隔。图中,加粗竖线部分示出了相邻任务1和2出错的时间点,两者间隔为2.8,这里将该间隔称为故障间隔,用Δf表示。实践表明,故障间隔对任务的执行是否超过最终期限影响很大。在对待调度任务进行判断时,需要容忍一定的故障间隔;也就是,在允许一定故障间隔的条件,保证任务的执行不超过最终期限。本实施例中,假设能够容忍的故障间隔为:
步骤101在进行判断时,以待调度任务及任务队列中已有的任务作为整体,称为任务集合,表示为N为自然数,表明任务集合中有N个任务。满足调度条件,也就是满足任务集合中各任务的执行不会引起任务本身超过最终期限,且各任务的执行不会引起其它任务超过最终期限;考虑故障间隔的影响,也就是,在容忍的基础上,满足任务集合中各任务的执行不会引起任务本身超过最终期限,且各任务的执行不会引起其它任务超过最终期限;故障间隔满足也就是满足在的时间内仅会出现一次故障。这样,本实施例的调度条件可通过公式组(1)和式(2)实现;若任务集合中的任务满足公式组(1)和式(2),则说明待调度任务满足调度条件。
其中,j为任务集合中各任务的优先级序号,取值为1至N,N为自然数,j取1为最高优先级,取N为最低优先级;i和m为优先级序号,取值为1至N;优先级可按现有方式计算获取,也可按照上述本发明提供的方式计算获取。T表示任务执行的最终期限,Tj表示第j个任务执行的最终期限,也是当前计算的任务,Ti表示第i个任务执行的最终期限;如无特殊要求,通常地,任务的周期也就是其最终期限。C表示执行时间,Ci表示第i个任务的执行时间,Cj表示第j个任务的执行时间。公式中的“*”表示相乘。
(1)式保证了执行任务集合中各个任务时,不会超过任务本身的最终期限。
公式(1)中:表示在第j个任务的执行周期内,第i个任务执行的次数;表示第i个任务执行次所消耗的时间,表示所有比第j个任务优先级高的任务的执行时间之和;这是因为,执行第j个任务时,需要等待比其优先级高的所有任务执行完。
2*Cj表示第j个任务单次重复,即执行两次所消耗的时间;这里假设执行第j个任务时出现故障,需要重复一次。执行第j个任务时,对于该第j个任务为重复执行任务,即第二次执行的情况,如果当前有任务正在执行,需要等待当前正在执行的任务执行完之后才能执行,而当前正在执行的任务为比第j个任务优先级低的任务,因此,用表示比第j个任务优先级低的各任务执行时间中最长的执行时间,也属于执行第j个任务需要等待的时间。
若j=1,说明当前任务就是最高优先级任务,则(3)为:
若j∈(1,N),说明当前任务为一个较高优先级的任务,对所有j∈[2,N-1]的任务运算上式,等价于:
若j=N,说明当前任务为低优先级任务,则(3)为:
式(2)保证了执行任务集合中各任务时不会引起其它任务超过最终期限。
式(2)中,对于j∈(1,N-1],即当前任务为较高优先级任务,表示所有比第j个任务优先级高的任务的执行时间之和。比第j个任务优先级高的任务有可能出现执行故障,需要重复执行,且在Tj内只出现一次故障,用表示比第j个任务优先级高的各个任务的执行时间中最长的执行时间。Cj表示第j个任务本身执行的时间。执行第j个任务时,对于该第j个任务为重复执行任务的情况,即第二次执行的情况,如果当前有任务正在执行,需要等待当前正在执行的任务执行完之后才能执行,而当前正在执行的任务为比第j个任务优先级低的任务,因此,用表示比第j个任务优先级低的各任务执行时间中最长的执行时间。
若要满足执行任务集合中各任务时不会引起其它任务超过最终期限,可通过满足其它任务的执行不会引起第j个任务超过最终期限来体现,具体地,需要满足:比第j个任务优先级高的所有任务单次执行的时间之和,加上较高任务的最长重复执行时间,再加上第j个任务的单次执行(由于故障间隔满足在的时间内仅会出现一次故障)时间,再加上可能执行的低优先级任务的最长执行时间,四者之和小于第j个任务的最终期限;即:
若j=N,说明当前任务为最低优先级的任务,将j=N代入(4),得到:
若j=1,说明当前任务就是最高优先级任务,最高优先级的任务最先执行,其它任务的执行不会引起第j个任务超过最终期限。
将(4)和(5)式的右侧部分移至左侧,作为左侧的分母,稍加变形后得到公式组(2)。
现有的判断是否将该待调度任务加入任务队列的方法步骤繁多,实现复杂,具体实现时,常需要结合运算较多公式组,有时甚至需要结合运算十多个公式组。由于现有的容错判断方法复杂,常引起结果不准确,导致任务执行出现较多错误。而采用本发明方案,通过两组公式便可判断是否将待调度任务加入任务队列,简化了操作。
参见图3,为本发明嵌入式处理器的结构示意图,该嵌入式处理器指令处理单元、内存和CPU;
所述指令处理单元,用于判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务传送给内存;否则,丢弃所述待调度任务;
所述内存,用于接收所述指令处理单元发送的待调度任务,添加到任务队列中;并根据CPU的调用将任务逐个传送给CPU;
所述CPU,用于逐个调用任务队列中的任务,并执行相应操作。
所述指令处理单元不仅可以独立于内存和CPU设置,还可以设置于内存中,或者,设置于CPU中。
可选地,所述指令处理单元包括所述指令处理单元包括判断子单元和发送子单元;
所述判断子单元,用于判断待调度任务是否满足调度条件,如果是,则将待调度任务发送给发送子单元;否则,丢弃所述待调度任务;
所述发送子单元,用于将待调度任务发送给内存。
可选地,所述判断子单元包括静态优先级计算子单元,用于计算出待调度任务的静态优先级,在将待调度任务发送给发送子单元时,也将其静态优先级发送给发送子单元;静态优先级用下述公式计算:静态优先级=(最终期限-执行时间)/执行时间;
所述发送子单元将待调度任务及其静态优先级发送给内存;
所述内存按照静态优先级顺序,将待调度任务加入内存的任务队列中;并按照静态优先级顺序,将任务队列中的任务发送给CPU。
可选地,所述判断子单元包括动态优先级计算子单元,用于计算出任务集合中各任务的动态优先级,在将待调度任务发送给发送子单元时,也将各任务的动态优先级发送给发送子单元;动态优先级按照下述公式计算:动态优先级=最终期限/执行时间;
发送子单元将待调度任务和各任务的动态优先级发送给内存;
所述内存按照动态优先级顺序,将任务队列中的任务发送给CPU。
以上所述仅为本发明的较佳实施例而已,并不用以限制本发明,凡在本发明的精神和原则之内,所做的任何修改、等同替换、改进等,均应包含在本发明保护的范围之内。
Claims (9)
1.一种嵌入式处理器中非抢占式容错调度方法,其特征在于,该方法包括:
判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务加入任务队列;否则,丢弃该待调度任务;
调用任务队列中的任务,并执行。
3.如权利要求1或2所述的方法,其特征在于,所述待调度任务为到达任务或出错任务。
4.如权利要求1或2所述的方法,其特征在于,所述将待调度任务加入任务队列包括:按照静态优先级顺序,将待调度任务加入任务队列;静态优先级用下述公式计算:静态优先级=(最终期限-执行时间)/执行时间。
5.如权利要求1或2所述的方法,其特征在于,所述调用任务队列中的任务包括:按照动态优先级顺序,调用任务队列中的任务;动态优先级按照下述公式计算:动态优先级=最终期限/执行时间。
6.一种嵌入式处理器,其特征在于,该嵌入式处理器包括指令处理单元、内存和CPU;
所述指令处理单元,用于判断待调度任务是否满足调度条件,所述调度条件为:将待调度任务与任务队列中的任务作为任务集合,所述任务集合中各任务的执行不会引起任务本身超过最终期限,且所述任务集合中各任务的执行不会引起其它任务超过最终期限;如果是,则将待调度任务传送给内存;否则,丢弃所述待调度任务;
所述内存,用于接收所述指令处理单元发送的待调度任务,添加到任务队列中;并根据CPU的调用将任务逐个传送给CPU;
所述CPU,用于逐个调用任务队列中的任务,并执行。
7.如权利要求6所述的嵌入式处理器,其特征在于,所述指令处理单元包括判断子单元和发送子单元;
所述判断子单元,用于判断待调度任务是否满足调度条件,如果是,则将待调度任务发送给发送子单元;否则,丢弃所述待调度任务;
所述发送子单元,用于将待调度任务发送给内存。
8.如权利要求7所述的嵌入式处理器,其特征在于,所述判断子单元包括静态优先级计算子单元,用于计算出待调度任务的静态优先级,在将待调度任务发送给发送子单元时,也将其静态优先级发送给发送子单元;静态优先级用下述公式计算:静态优先级=(最终期限-执行时间)/执行时间;
所述发送子单元将待调度任务及其静态优先级发送给内存;
所述内存按照静态优先级顺序,将待调度任务加入内存的任务队列中;并按照静态优先级顺序,将任务队列中的任务发送给CPU。
9.如权利要求7所述的嵌入式处理器,其特征在于,所述判断子单元包括动态优先级计算子单元,用于计算出任务集合中各任务的动态优先级,在将待调度任务发送给发送子单元时,也将各任务的动态优先级发送给发送子单元;动态优先级按照下述公式计算:动态优先级=最终期限/执行时间;
发送子单元将待调度任务和各任务的动态优先级发送给内存;
所述内存按照动态优先级顺序,将任务队列中的任务发送给CPU。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2011100524395A CN102654843A (zh) | 2011-03-04 | 2011-03-04 | 嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2011100524395A CN102654843A (zh) | 2011-03-04 | 2011-03-04 | 嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 |
Publications (1)
Publication Number | Publication Date |
---|---|
CN102654843A true CN102654843A (zh) | 2012-09-05 |
Family
ID=46730469
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2011100524395A Pending CN102654843A (zh) | 2011-03-04 | 2011-03-04 | 嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN102654843A (zh) |
Cited By (5)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN105391649A (zh) * | 2015-10-16 | 2016-03-09 | 浪潮(北京)电子信息产业有限公司 | 一种队列调度方法及装置 |
CN106155781A (zh) * | 2015-04-08 | 2016-11-23 | 中国科学院软件研究所 | 一种多智能体平台中的实时任务调度方法 |
CN107766140A (zh) * | 2017-10-30 | 2018-03-06 | 华中科技大学 | 一种带抢占点实时任务的可调度性分析方法 |
CN108292237A (zh) * | 2015-12-18 | 2018-07-17 | 想象技术有限公司 | 控制gpu的操作 |
CN110427257A (zh) * | 2019-07-29 | 2019-11-08 | 招商局金融科技有限公司 | 多任务调度方法、装置及计算机可读存储介质 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6052707A (en) * | 1993-09-21 | 2000-04-18 | Microsoft Corporation | Preemptive multi-tasking with cooperative groups of tasks |
US7086057B2 (en) * | 2001-05-17 | 2006-08-01 | Matsushita Electric Industrial Co., Ltd. | Task allocation time decision apparatus and method of deciding task allocation time |
CN101145112A (zh) * | 2007-11-01 | 2008-03-19 | 北京工业大学 | 一种实时系统任务调度方法 |
CN101290668A (zh) * | 2008-06-16 | 2008-10-22 | 中国移动通信集团湖北有限公司 | 一种分时作业动态调度方法和装置 |
CN101609417A (zh) * | 2009-07-17 | 2009-12-23 | 西安电子科技大学 | 基于VxWorks操作系统的混合任务集调度方法 |
US20100088706A1 (en) * | 2008-10-07 | 2010-04-08 | Futurewei Technologies, Inc. | User Tolerance Based Scheduling Method for Aperiodic Real-Time Tasks |
-
2011
- 2011-03-04 CN CN2011100524395A patent/CN102654843A/zh active Pending
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6052707A (en) * | 1993-09-21 | 2000-04-18 | Microsoft Corporation | Preemptive multi-tasking with cooperative groups of tasks |
US7086057B2 (en) * | 2001-05-17 | 2006-08-01 | Matsushita Electric Industrial Co., Ltd. | Task allocation time decision apparatus and method of deciding task allocation time |
CN101145112A (zh) * | 2007-11-01 | 2008-03-19 | 北京工业大学 | 一种实时系统任务调度方法 |
CN101290668A (zh) * | 2008-06-16 | 2008-10-22 | 中国移动通信集团湖北有限公司 | 一种分时作业动态调度方法和装置 |
US20100088706A1 (en) * | 2008-10-07 | 2010-04-08 | Futurewei Technologies, Inc. | User Tolerance Based Scheduling Method for Aperiodic Real-Time Tasks |
CN101609417A (zh) * | 2009-07-17 | 2009-12-23 | 西安电子科技大学 | 基于VxWorks操作系统的混合任务集调度方法 |
Cited By (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN106155781A (zh) * | 2015-04-08 | 2016-11-23 | 中国科学院软件研究所 | 一种多智能体平台中的实时任务调度方法 |
CN106155781B (zh) * | 2015-04-08 | 2019-08-27 | 中国科学院软件研究所 | 一种多智能体平台中的实时任务调度方法 |
CN105391649A (zh) * | 2015-10-16 | 2016-03-09 | 浪潮(北京)电子信息产业有限公司 | 一种队列调度方法及装置 |
CN105391649B (zh) * | 2015-10-16 | 2018-09-04 | 浪潮(北京)电子信息产业有限公司 | 一种队列调度方法及装置 |
CN108292237A (zh) * | 2015-12-18 | 2018-07-17 | 想象技术有限公司 | 控制gpu的操作 |
CN107766140A (zh) * | 2017-10-30 | 2018-03-06 | 华中科技大学 | 一种带抢占点实时任务的可调度性分析方法 |
CN110427257A (zh) * | 2019-07-29 | 2019-11-08 | 招商局金融科技有限公司 | 多任务调度方法、装置及计算机可读存储介质 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN106773711B (zh) | 一种铁路机车运行操纵系统的混合任务调度方法及模型 | |
Ha et al. | Validating timing constraints in multiprocessor and distributed real-time systems | |
CN106293919B (zh) | 一种时间触发的嵌入式任务调度装置与方法 | |
CN102654843A (zh) | 嵌入式处理器中非抢占式容错调度方法及嵌入式处理器 | |
CN104536827A (zh) | 一种数据调度方法和装置 | |
CN103810026A (zh) | 一种适用于实时系统周期任务的混合调度方法 | |
Guo et al. | The concurrent consideration of uncertainty in WCETs and processor speeds in mixed-criticality systems | |
Bai et al. | ASDYS: Dynamic scheduling using active strategies for multifunctional mixed-criticality cyber–physical systems | |
CN101609417A (zh) | 基于VxWorks操作系统的混合任务集调度方法 | |
CN115619002A (zh) | 一种灵活动态混合关键系统调度方法 | |
Matani et al. | A fault-tolerant workflow scheduling algorithm for grid with near-optimal redundancy | |
Kumar et al. | Identifying quick starters: towards an integrated framework for efficient predictions of queue waiting times of batch parallel jobs | |
EP2278454B1 (en) | Method for correct-by-construction development of real-time-systems | |
Hong et al. | Local-deadline assignment for distributed real-time systems | |
Piao et al. | Predictability of earliest deadline zero laxity algorithm for multiprocessor real-time systems | |
Garibay-Martínez et al. | On the scheduling of fork-join parallel/distributed real-time tasks | |
Wan et al. | A time-aware programming framework for constructing predictable real-time systems | |
CN108845870B (zh) | 一种基于pWCET整形的概率性实时任务调度方法 | |
Liu et al. | An EVT-based worst-case response time analysis of complex real-time systems | |
CN106354555A (zh) | 一种操作系统进程调度算法 | |
CN116430738A (zh) | 一种混合关键系统的自适应动态调度方法 | |
Chokshi et al. | Modeling fixed priority non-preemptive scheduling with real-time calculus | |
Marinho et al. | Job phasing aware preemption deferral | |
Dumitrescu et al. | Optimal discrete controller synthesis for modeling fault-tolerant distributed systems | |
Devaraj et al. | Exact task completion time aware real-time scheduling based on supervisory control theory of timed DES |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C02 | Deemed withdrawal of patent application after publication (patent law 2001) | ||
WD01 | Invention patent application deemed withdrawn after publication |
Application publication date: 20120905 |