CN101615120B - Aadl模型的一种调度分析方法 - Google Patents
Aadl模型的一种调度分析方法 Download PDFInfo
- Publication number
- CN101615120B CN101615120B CN2009100603402A CN200910060340A CN101615120B CN 101615120 B CN101615120 B CN 101615120B CN 2009100603402 A CN2009100603402 A CN 2009100603402A CN 200910060340 A CN200910060340 A CN 200910060340A CN 101615120 B CN101615120 B CN 101615120B
- Authority
- CN
- China
- Prior art keywords
- thread
- timer
- dbm
- time
- ready
- 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.)
- Expired - Fee Related
Links
Images
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
本发明公开了AADL模型的一种调度分析方法,包括:线程的语义图和到达时间行为图,使得AADL模型的执行语义可抽象为一个语义图,并将每个线程的到达行为约束用到达时间行为图表示,还扩展了时钟限制数据结构的操作算法,从而达到分析其调度性的目的。
Description
技术领域
本发明涉及调度分析技术领域,具体来讲,涉及一种在由AADL模型所描述的嵌入式系统中,分析线程集合是否能在规定时限内正常执行完毕的方法。
背景技术
AADL是一种用来设计和分析性能关键实时系统的字符化和图形化的模型语言。它能够用来描述组件之间的功能接口,也能描述组件的时间需求。它也能够描述组件之间的交互关系,如数据输入输出、软件组件和硬件组件之间的绑定关系等。因此设计者可能从各个方面对模型进行分析和评估。下面简要介绍AADL模型元素:
组件是AADL的主要建模单位,组件包括有线程组件、处理器组件等。每个线程组件可以处于停止、睡眠或活跃状态。一个活跃的线程可以等待分派、执行或由于临界资源访问而阻塞。线程的属性可以有最坏执行时间、截止时间、分派协议、最小到达间隔时间等参数。根据线程的分派协议和对外部事件的响应,其类型可以分为周期线程、非周期线程、零星线程和后台线程。线程组件的调度协议定义在处理器组件的参数上。
调度分析领域自二十世纪六七十年代提出以来已经是一个研究相对成熟的领域,已发表了大量的论文。但是对于有不确定到达时间的非周期线程的系统,仍然缺乏精确分析的方法。传统上处理不确定到达时间的非周期线程的系统采用近似的悲观方法,即考虑最坏情况下非周期线程到达的最大频率,因此该种方法为其预留的处理器资源过多,无法精确计算是否可以调度。
目前已有一些支持AADL模型元素调度分析的工具,主要是Furness工具集和Cheddar工具。但是Furness工具集不能分析由外部环境驱动的嵌入式系统的调度性分析,而Cheddar工具本不是针对AADL模型元素开发,需要进行语义转换,且使用悲观的最坏情况分析,其调度分析结果不精确。上述工具和方法由于语义不同或分析范围的局限性,均不能有效的精确分析AADL的调度性,从而不能反馈给AADL建模人员准确的信息。
目前AADL模型方法正在尝试使用在国内某航天飞行器的设计过程中,因此设计一种能够有效的精确分析AADL的调度性方式是十分必要的。
发明内容
本发明的目的在于克服现有调度分析方法的不足,提供AADL模型的一种能准确分析非周期性线程的调度分析方法。
为实现上述目的,本发明的AADL模型的一种调度分析方法,包括以下步骤:
(1)、对每个线程实例设计一个语义图
1.1)、在语义图中,每个线程实例可以处于如下位置:等待分派、就绪、执行和错误;对每个线程实例Tij使用两个计时器eij和tij来分别计时其执行时间和截止时间,其中下标i表示第i个线程,下标j表示第j个实例,在任何位置上计时器tij单位时间增长率都一直为1,计时器eij只在running位置上单位时间增长率为1,其余位置上为0;
等待分派位置为每个线程实例Tij的初始位置;
对每个计时器eij和tij都分别存在一个最大正整数值Wi和Di,一旦某个线程实例Tij的计时器eij计时超过Wi或计时器tij计时超过Di,则该两个计时器eij和tij的值都同时置为0;
1.2)、函数v表示计时器的值,在每个线程实例Tij的就绪,执行位置上都存在如下的限制:v(tij)≤Di,执行位置上还存在限制:v(eij)≤Wi;
1.3)、每个线程实例Tij的位置之间的迁移条件的限制是如下的形式:
V:=V∧V|v(ekl)~C|v(tkl)-v(tmn)~C,其中~∈{<,>,≤,≥,=},C是整数。ekl是线程实例Tkl的计时其执行时间的计时器,tkl和tmn是线程实例Tkl和Tmn的计时其截止时间的计时器,将具体的调度策略编码成位置之间迁移条件限制;
1.4)、对非周期线程,将其就绪和执行位置分别细分K个,表示为ready1,ready2...readyK和running1,running2...runningK,使用位置的个数来记录目前分派缓冲队列中的事件个数,K对每个线程是常数;
1.5)、线程之间的分派关系由迁移之间的同步事件表示,具有相同同步事件的迁移才能同时发生;线程实例Tij执行完后激活非周期线程实例Tmn表示在线程实例Tij的执行位置到等待分派位置的迁移上标记同步事件且在线程实例Tmn的等待分派位置到就绪位置ready1的迁移上、ready1到ready2的迁移上、...readyK-1到readyK的迁移上都标记相同的同步事件;
(2)、用同步时间来描述每个线程到达时间行为
在每个线程到达时间行为图中,存在与语义图中定义相同的位置、计时器和迁移条件,只是在到达时间行为图中,计时器的增长率任何时间都为1且名字不同于任何已用的计时器;
(3)、为了分析某个任务实例的error位置是否可以到达,在DBM矩阵现有操作技术的基础上进行了操作修改:
有k个计时器:x1,x2,...xk,DBM是一个k+1维矩阵,对任意i,Di0=(k,0)表示计时器xi的严格上界值k,即v(xi)<k,或Di0=(k,1)表示计时器xi的非严格上界值k,即v(xi)≤k;D0i表示计时器xi的严格或非严格下界值;对任意的i和j,Dij表示v(xi)-v(xj)的严格或非严格上界值,其中下标i表示DBM的第i行,j表示DBM的第j列;为了使一个DBM和一个时钟时间域一一对应,因此必须将DBM化为标准形式,即 l≤k,s.t.Dij≤Dij+Djl。为了求后继时间区域,定义如下几个DBM操作行为:
●交(∧):对两个标准的DBM D和D’,定义交集D”,其Dij”=min(Dij,Dij’)。交操作完成后,首先检查所得到的D”所表示的时间区域是否为空,若不为空,则化为标准形式;
●时间流逝(↑):使用D↑表示DBM D的时间流逝操作。在此过程中,任意计时器xi满足 其D0i值保持不变,Di0值变为∞;任意计时器xj满足 其D0j值保持不变,Dj0值保持不变;任意计时器xm和xn满足 且 其Dmn和Dnm值保持不变;任意计时器xs和xt满足 且 其Dst和Dts值保持不变;任意计时器xi和xj满足 且 其Dij值变为∞,Dji值保持不变;然后在对所得到的D标准化;
●重置(λ:=0):假设需要重置的计时器集合为λ。给定DBM D,对所有计时器xi∈λ,把所有的D0i和Di0的值置为(0,1);任意计时器xm和xn满足xm∈λ且xn∈λ,把Dmn和Dnm值置为(0,1);任意时钟xi和xj满足xi∈λ且 把Dij置为D0j的值,把Dji置为Dj0的值;
(4)、调度前所有线程都被初始化,在各自的语义图上他们都在等待分派位置上,在到达时间图上他们都被初始化在初始位置上,一开始的DBM的所有计时器的值被初始化0;
(5)、进入调度分析的时候,先让DBM按上述时间流逝的方法进行流逝:在每个线程的每个位置事实上可以定义时间约束,把这些时间约束转换成一个整体的DBM,接着把该DBM和时间流逝后的DBM求交运算,求出一个新的DBM;但当前位置集合中包含某些就绪位置或执行位置,则对这些位置先不进行时间流逝,而直接进行求交运算;
(6)、每个线程实例的语义图的每个位置都有自己的后继边,把后继边上的时间约束用DBM的形式表示,用步骤(5)求出的DBM跟每条后继边时间约束的DBM求交,如果求交后的DBM不为空,即说明这条后继边可走,就发生位置转移;如果语义图的当前位置是执行位置,若到等待分派位置的后继边可走,就会迁移到等待分派位置,如果该后继边有同步事件产生,即该线程运行完会触发别的线程实例的分派;在实现这个步骤的时候,判断该线程运行状态到分派状态的边上所同步关联的线程实例有哪些,选择一个仍然处于等待分派位置的实例来使用,即触发该线程实例的分派;同样该线程的到达时间图的当前位置的后继边也做以上的同样处理,看是否发生状态转移;
(7)、如果某个线程实例进入错误位置,则分析过程中止,提示“不可调度”;
(8)、否则,判断当前所有线程的位置集合是否跟以前某一时期的位置集合相同,如果是,再判断当前的DBM是否包含于那一时期的DBM,两个条件都符合就说明整个系统可成功调度;否则回到步骤(5)。
本发明通过为每个线程设计语义图和到达时间行为图,使得AADL模型的执行语义可抽象为一个语义图,并将每个线程的到达时间约束用到达时间行为图表示,并扩展了时钟限制数据结构的操作算法,从而达到分析其调度性的目的。
附图说明
图1是单个周期、零星线程组件实例的语义图;
图2是非周期线程组件的语义图;
图3是线程组件的到达时间图;
图4是线程T1和T2的到达时间图;
图5是线程T1和T2的语义图;
具体实施方式
下面对本发明的具体实施方式进行描述,以便更好地理解本发明。需要特别提醒注意的是,在以下的描述中,当采用已知功能和设计的详细描述也许会淡化本发明的主要内容时,这些描述在这儿将被忽略。
图1是单个周期、零星线程组件实例的语义图
图中,Dispatch、ready、running和error是其位置集合,分别表示等待分派、就绪、执行和错误。为了便于表示迁移关系,增加了computation位置。从computation位置出发的迁移事实上是computation位置内所有位置都有该迁移。且迁移边上标记同步事件syni和迁移条件。e和t是前面定义的计时器,W和D是该线程组件属性里定义的最坏执行时间和截止时间。由于图1是对周期线程进行建模,如果其在截止时间内正常执行完毕,则它不会进入error位置,即该线程组不可调度;否则它不会进入error位置。对线程组的调度策略在ready位置和running位置之间的两个迁移的条件处体现,并定义在处理器组件的属性里。例如,如果调度策略是RMS时,对线程组件实例Thij从ready位置到running位置的迁移条件为: s.t.Di≤Dm;从running位置到ready位置的迁移条件为 s.t.Di≥Dm,即线程组件进入running位置后,后继位置只能是error或dispatch;如果调度策略是EDF时,对线程组件Thij从ready位置到running位置的迁移条件为: s.t.Di-ti≤Dm-tm;从running位置到ready位置的迁移条件为: s.t.Di-ti≥Dm-tm。
图2是非周期线程组件的语义图
图中,位置dispatch、computation、ready、running、error、同步事件syni、时钟条件、时钟e和t、W、D均和图1中的定义一致。在AADL中,由于非周期线程的存在,图1的模型无法进行建模。因此采用图2所示的到达时间行为图来对非周期线程建模。在图2中,syni是同步事件,由于自动机中无法记录同步事件的个数,因此本发明采用同步事件触发位置迁移。每个对应的readyi位置和runningi位置之间的迁移条件和图1相同。
图3是线程组件的到达时间图
如图所示,AADL中每个由外部直接触发的线程组件实例都会定义线程组件的到达时间图和语义图。语义图描述线程的内部行为,到达时间图描述线程的到达时间行为。他们之间的通信靠同步事件来实现。图3的左图可以用于描述周期线程的到达时间,右图可以用于描述非周期线程的到达时间。
图4是线程T1和T2的到达时间图
类型 | 优先级 | 最坏执行时间 | 截止时间 | 到达间隔/周期 | |
线程T1 | 周期 | 1 | 3 | 5 | 5 |
线程T2 | 周期 | 2 | 3 | 5 | 5 |
表1
则线程T1和T2的最大实例数是1。W1=3,D1=5,W2=3,D2=5。处理器组件上定义的调度策略是优先级调度。T1的优先级高于T2。
图5线程T1和T2的语义图
在语义图中,为了方便描述,我们采用目录结构,如T1的ready位置可表示为:T1/computation/ready。下面根据发明内容叙述分析过程:
1.到达时间图和语义图的初始位置为<m,n,T1/dispatch,T2/dispatch>,计时器x,y,e1,t1,e2,t2的初始值全为0,此时DBM矩阵为:
(0,1)(0,1)(0,1)(0,1)(0,1)
(0,1)(0,1)(0,1)(0,1)(0,1)
(0,1)(0,1)(0,1)(0,1)(0,1)
(0,1)(0,1)(0,1)(0,1)(0,1)
(0,1)(0,1)(0,1)(0,1)(0,1)
2.初始时刻,T1和T2均有同步事件,因此位置集合变为<m,n,T1/computation/ready,T2/computation/ready>,DBM保持不变。
3.由于T1优先级高于T2,位置集合变为<m,n,T1/computation/running,T2/computation/ready>。由于从T1/computation/ready到T1/computation/running的迁移条件是比较优先级,没有时间限制,因此DBM继续保持不变。
4.在位置集合<m,n,T1/computation/running,T2/computation/ready>中按位置中的计时器增长率进行时间流逝,得到的DBM为
(0,1)(0,1)(0,1)(0,1)(0,1)
(∞,1)(0,1)(0,1)(∞,1)(0,1)
(∞,1)(0,1)(0,1)(∞,1)(0,1)
(0,1)(0,1)(0,1)(0,1)(0,1)
(∞,1)(0,1)(0,1)(∞,1)(0,1)
该DBM和v(e1)=3∧v(t1)≤5的DBM求交后重置并标准化后的DBM为:
(0,1)(0,1)(0,1)(0,1)(-3,1)
(0,1)(0,1)(0,1)(0,1)(-3,1)
(0,1)(0,1)(0,1)(0,1)(-3,1)
(0,1)(0,1)(0,1)(0,1)(-3,1)
(3,1)(3,1)(3,1)(3,1)(0,1)不为空集。而和v(e1)<3∧v(t1)=5的DBM求交后并标准化后的DBM为空集。
5.因此T1位置变为T1/dispatch,位置集合变为<m,n,T1/dispatch,T2/computation/running>。由于从T2/computation/ready到T2/computation/running的迁移条件是比较优先级,没有时间限制,因此DBM继续保持不变。
6.在位置集合<m,n,T1/dispatch,T2/computation/running>中按位置中的计时器增长率进行时间流逝,得到的DBM为
(0,1)(0,1)(0,1)(0,1)(-3,1)
(0,1)(0,1)(0,1)(0,1)(-3,1)
(0,1)(0,1)(0,1)(0,1)(-3,1)
(∞,1)(∞,1)(∞,1)(0,1)(-3,1)
(∞,1)(∞,1)(∞,1)(3,1)(0,1)
该DBM和v(e2)=3∧v(t2)≤5的DBM求交后重置并标准化后的DBM为:
(-1,1)(-1,1)(-1,1)(-4,1)(-7,1)
(-1,1)(-1,1)(-1,1)(-4,1)(-7,1)
(-1,1)(-1,1)(-1,1)(-4,1)(-7,1)
(2,1)(2,1)(2,1)(-1,1)(-4,1)
(4,1)(4,1)(4,1)(1,1)(-2,1)
此为空集。说明T2不能进入T2/dispatch。该DBM和v(e2)<3∧v(t2)=5的DBM求交后并标准化后的DBM为不为空:
(0,1)(0,1)(0,1)(-2,1)(-5,1)
(0,1)(0,1)(0,1)(-2,1)(-5,1)
(0,1)(0,1)(0,1)(-2,1)(-5,1)
(2,1)(2,1)(2,1)(0,1)(-3,1)
(5,1)(5,1)(5,1)(3,1)(0,1)。
说明T2进入T2/error位置,由此说明该线程组不可调度,因为线程T2不能在其截止时间内执行完毕。
尽管上面对本发明说明性的具体实施方式进行了描述,以便于本技术领的技术人员理解本发明,但应该清楚,本发明不限于具体实施方式的范围,对本技术领域的普通技术人员来讲,只要各种变化在所附的权利要求限定和确定的本发明的精神和范围内,这些变化是显而易见的,一切利用本发明构思的发明创造均在保护之列。
Claims (1)
1.一种AADL模型的一种调度分析方法,包括以下步骤:
(1)、对每个线程实例设计一个语义图
1.1)、在语义图中,每个线程实例可以处于如下位置:等待分派、就绪、执行和错误;对每个线程实例Tij使用两个计时器eij和tij来分别计时其执行时间和截止时间,其中下标i表示第i个线程,下标j表示第j个实例,在任何位置上计时器tij单位时间增长率都一直为1,计时器eij只在running位置上单位时间增长率为1,其余位置上为0;
等待分派位置为每个线程实例Tij的初始位置;
对每个计时器eij和tij都分别存在一个最大正整数值Wi和Di,一旦某个线程实例Tij的计时器eij计时超过Wi或计时器tij计时超过Di,则该两个计时器eij和tij的值都同时置为0;
1.2)、函数v表示计时器的值,在每个线程实例Tij的就绪,执行位置上都存在如下的限制:v(tij)≤Di,执行位置上还存在限制:v(eij)≤Wi;
1.3)、每个线程实例Tij的位置之间的迁移条件的限制是如下的巴科斯范式形式:
V::=V∧V|v(ekl)~C|v(tkl)-v(tmn)~C,其中~∈{<,>,≤,≥,=},C是整数,ekl是线程实例Tkl的计时其执行时间的计时器,tkl和tmn是线程实例Tkl和Tmn的计时其截止时间的计时器,将具体的调度策略编码成位置之间迁移条件限制;
1.4)、对非周期线程,将其就绪和执行位置分别细分K个,表示为ready1,ready2...readyK和running1,running2...runningK,使用位置的个数来记录目前分派缓冲队列中的事件个数,K对每个线程是常数;
1.5)、线程之间的分派关系由迁移之间的同步事件表示,具有相同同步事件的迁移才能同时发生;线程实例Tij执行完后激活非周期线程实例Tmn表示在线程实例Tij的执行位置到等待分派位置的迁移上标记同步事件且在线程实例Tmn的等待分派位置到就绪位置ready1的迁移上、ready1到ready2的迁移上、...readyK-1到readyK的迁移上都标记相同的同步事件;
(2)、用同步时间来描述每个线程到达时间行为
在每个线程到达时间行为图中,存在与语义图中定义相同的位置、计时器和迁移条件,只是在到达时间行为图中,计时器的增长率任何时间都为1且名字不同于任何已用的计时器;
(3)、为了分析某个任务实例的error位置是否可以到达,在DBM矩阵现有操作技术的基础上进行了操作修改:
有k个计时器:x1,x2,...xk,DBM是一个k+1维矩阵,对任意i,Di0=(k,0)表示计时器xi的严格上界值k,即v(xi)<k,或Di0=(k,1)表示计时器xi的非严格上界值k,即v(xi)≤k;D0i表示计时器xi的严格或非严格下界值;对任意的i和j,Dij表示v(xi)-v(xj)的严格或非严格上界值,其中下标i表示DBM的第i行,j表示DBM的第j列;为了使一个DBM和一个时间域一一对应,因此必须将DBM化为标准形式,即为了求后继时间区域,定义如下几个DBM操作行为:
●交(∧):对两个标准的DBM D和D’,定义交集D”,其Dij”=min(Dij,Dij’),交操作完成后,首先检查所得到的D”所表示的时间区域是否为空,若不为空,则化为标准形式;
●时间流逝(↑):使用D↑表示DBM D的时间流逝操作,在此过程中,任意计时器xi满足其D0i值保持不变,Di0值变为∞;任意计时器xj满足其D0j值保持不变,Dj0值保持不变;任意计时器xm和xn满足且其Dmn和Dnm值保持不变;任意计时器xs和xt满足且其Dst和Dts值保持不变;任意计时器xi和xj满足且其Dij值变为∞,Dji值保持不变;然后在对所得到的D标准化;
●重置(λ:=0):假设需要重置的计时器集合为λ,给定DBM D,对所有计时器xi∈λ,把所有的D0i和Di0的值置为(0,1);任意计时器xm和xn满足xm∈λ且xn∈λ,把Dmn和Dnm值置为(0,1);任意计时器xi和xj满足xi∈λ且把Dij置为D0j的值,把Dji置为Dj0的值;
(4)、调度前所有线程都被初始化,在各自的语义图上他们都在等待分派位置上,在到达时间图上他们都被初始化在初始位置上,一开始的DBM的所有计时器的值被初始化0;
(5)、进入调度分析的时候,先让DBM按上述时间流逝的方法进行流逝:在每个线程的每个位置上可以定义时间约束,把这些时间约束转换成一个整体的DBM,接着把该DBM和时间流逝后的DBM求交运算,求出一个新的DBM;但当前位置集合中包含某些就绪位置或执行位置,则对这些位置先不进行时间流逝,而直接进行求交运算;
(6)、每个线程实例的语义图的每个位置都有自己的后继边,把后继边上的时间约束用DBM的形式表示,用步骤(5)求出的DBM跟每条后继边时间约束的DBM求交,如果求交后的DBM不为空,即说明这条后继边可走,就发生位置转移;如果语义图的当前位置是执行位置,若到等待分派位置的后继边可走,就会迁移到等待分派位置,如果该后继边有同步事件产生,即该线程运行完会触发别的线程实例的分派;在实现这个步骤的时候,判断该线程运行状态到分派状态的边上所同步关联的线程实例有哪些,选择一个仍然处于等待分派位置的实例来使用,即触发该线程实例的分派;同样该线程的到达时间图的当前位置的后继边也做以上的同样处理,看是否发生状态转移;
(7)、如果某个线程实例进入错误位置,则分析过程中止,提示“不可调度”;
(8)、否则,判断当前所有线程的位置集合是否跟以前某一时期的位置集合相同,如果是,再判断当前的DBM是否包含于那一时期的DBM,两个条件都符合就说明整个系统可成功调度;否则回到步骤(5)。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2009100603402A CN101615120B (zh) | 2009-08-13 | 2009-08-13 | Aadl模型的一种调度分析方法 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN2009100603402A CN101615120B (zh) | 2009-08-13 | 2009-08-13 | Aadl模型的一种调度分析方法 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN101615120A CN101615120A (zh) | 2009-12-30 |
CN101615120B true CN101615120B (zh) | 2012-11-14 |
Family
ID=41494779
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN2009100603402A Expired - Fee Related CN101615120B (zh) | 2009-08-13 | 2009-08-13 | Aadl模型的一种调度分析方法 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN101615120B (zh) |
Families Citing this family (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US9268595B2 (en) | 2011-11-15 | 2016-02-23 | Intel Corporation | Scheduling thread execution based on thread affinity |
CN111176637B (zh) * | 2019-12-11 | 2023-01-13 | 西北工业大学 | 基于缓存抢占延迟约束下aadl模型的可调度性分析方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1996237A (zh) * | 2006-12-20 | 2007-07-11 | 浙江大学 | 基于模型的面向嵌入式实时操作系统的建模方法 |
CN101013384A (zh) * | 2007-02-08 | 2007-08-08 | 浙江大学 | 一种基于模型的实时系统的可调度性分析方法 |
-
2009
- 2009-08-13 CN CN2009100603402A patent/CN101615120B/zh not_active Expired - Fee Related
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN1996237A (zh) * | 2006-12-20 | 2007-07-11 | 浙江大学 | 基于模型的面向嵌入式实时操作系统的建模方法 |
CN101013384A (zh) * | 2007-02-08 | 2007-08-08 | 浙江大学 | 一种基于模型的实时系统的可调度性分析方法 |
Non-Patent Citations (1)
Title |
---|
刘倩,桂盛霖,李允,罗蕾.基于UPPAAL的AADL模型可调度性验证.《计算机应用》.2009,第29卷(第7期),1820-1824. * |
Also Published As
Publication number | Publication date |
---|---|
CN101615120A (zh) | 2009-12-30 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
Ananthanarayanan et al. | {GRASS}: Trimming stragglers in approximation analytics | |
Xu et al. | Optimization for speculative execution in big data processing clusters | |
CN106293919A (zh) | 一种时间触发的嵌入式任务调度装置与方法 | |
US9436512B2 (en) | Energy efficient job scheduling in heterogeneous chip multiprocessors based on dynamic program behavior using prim model | |
CN103559045A (zh) | 一种硬件实时操作系统 | |
CN111026519B (zh) | 基于分布式的任务优先级调度方法和系统及存储介质 | |
Tan et al. | Tempo: robust and self-tuning resource management in multi-tenant parallel databases | |
CN104331331A (zh) | 任务数目和性能感知的可重构多核处理器的资源分配方法 | |
CN103942108A (zh) | Hadoop同构集群下的资源参数优化方法 | |
CN101615120B (zh) | Aadl模型的一种调度分析方法 | |
CN105446812A (zh) | 一种多任务调度配置方法 | |
CN107391866B (zh) | 一种基于多处理器的aadl模型的可调度性分析方法 | |
US20240004706A1 (en) | Methods and systems for scheduling energy-efficient execution of periodic, real-time, directed-acyclic-graph tasks | |
Ren et al. | Dynamic scheduling for energy minimization in delay-sensitive stream mining | |
US9983902B2 (en) | System and method for multi-level real-time scheduling analyses | |
CN101131754A (zh) | 成本约束下的工作流资源数量优化配置系统和方法 | |
Sutton | An efficient platform and communication architecture for event-triggered cyber-physical systems | |
Matsikoudis et al. | On the schedulability of real-time discrete-event systems | |
CN103870313A (zh) | 一种虚拟机任务调度方法及系统 | |
CN106325983A (zh) | 一种内存占用小、支持并发的微程模型及调度方法 | |
KR101725408B1 (ko) | 실시간 운영체제의 태스크 스케줄링 방법 | |
De Sensi et al. | State-aware concurrency throttling | |
Kim et al. | A science Cloud resource provisioning model using statistical analysis of job history | |
CN104699520B (zh) | 一种基于虚拟机迁移调度的节能方法 | |
Birke et al. | Differential approximation and sprinting for multi-priority big data engines |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
CF01 | Termination of patent right due to non-payment of annual fee |
Granted publication date: 20121114 Termination date: 20150813 |
|
EXPY | Termination of patent right or utility model |