[发明专利]一种带抢占点实时任务的可调度性分析方法

权利要求书

1.一种带抢占点实时任务的可调度性分析方法，其特征在于，包括：

(1)根据实时任务集中每项实时任务的相对截止期对实时任务进行排序，得到实时任务表；

(2)遍历实时任务表，获取分析任务，得到每项分析任务的最大被抢占次数，将所有分析任务的非抢占域按照长度由大到小顺序排序，根据排序结果和每项分析任务的最大被抢占次数，得到实时任务的最大干扰非抢占域集合；

(3)根据实时任务的最大干扰非抢占域集合，使用ARRSM得到分析任务的最大干扰，根据分析任务的最大干扰，得到实时任务集中每项实时任务的最坏情况响应时间；

(4)将每项实时任务的最坏情况响应时间和每项实时任务的相对截止期进行比较，如果存在最坏情况响应时间大于相对截止期的实时任务，判定实时任务集不可调度；否则，判定时任务集可调度；

所述步骤(2)包括：

(2.1)遍历实时任务表，获取分析任务和每项实时任务的指定时间区域长度，实时任务表中排在分析任务之前的实时任务为高优先级任务，实时任务表中排在分析任务之后的实时任务为低优先级任务；

(2.2)根据高优先级任务的指定时间区域长度与高优先级任务的周期之比，得到高优先级任务的最大释放次数，根据高优先级任务的最大释放次数和分析任务的非抢占域个数，得到每项分析任务的最大被抢占次数；

(2.3)将所有分析任务的非抢占域按照长度由大到小顺序排序，根据排序结果得到被访问非抢占域在指定时间区域长度上的最大释放次数，根据每项分析任务的最大被抢占次数与被访问非抢占域在指定时间区域长度上的最大释放次数，得到实时任务的最大干扰非抢占域集合；

所述步骤(2.3)包括：

(2.3.1)将实时任务的最坏情况响应时间设为实时任务的最坏情况执行时间，访问分析任务的下一个任务j；

(2.3.2)将当前访问的任务j的非抢占域按照长度由大到小顺序排序；

(2.3.3)生成一个空的非抢占域集合S_j，访问排序后的首个非抢占域；

(2.3.4)根据排序结果，计算访问非抢占域R(i，x)在指定时间区域上的最大释放次数：

其中，R(i，x)表示实时任务i的第x个非抢占域，t是指定时间区域长度，l_i，y表示实时任务i的第y个非抢占域的长度，R_i是任务i的最坏情况响应时间，T_i是实时任务i的周期；

(2.3.5)如果n_R(i，x)与S_j中元素个数之和小于或等于(2.2)所得出的最大抢占次数，将n_R(i，x)个访问非抢占域加入非抢占域集合S_j，访问下一个非抢占域，执行步骤(2.3.4)；否则，向非抢占域集合S_j中不断加入访问非抢占域，直至集合S_j中元素个数等于分析任务的最大抢占次数；

(2.3.6)将集合S_j设为任务j对分析任务的最大干扰非抢占域集，如果当前访问任务为实时任务表中最后一个任务，执行步骤(2.3.7)；否则，访问实时任务表中的下一个任务，并重新执行步骤(2.3.2)；

(2.3.7)将所有低优先级任务的最大干扰非抢占域集进行合并后根据元素长度由大到小的顺序进行排序，得到实时任务的最大干扰非抢占域集合S。

2.如权利要求1所述的一种带抢占点实时任务的可调度性分析方法，其特征在于，所述步骤(3)的具体实现方式为：

根据实时任务的最大干扰非抢占域集合，使用ARRSM得到分析任务的最大干扰；当分析任务的最大干扰超出指定时间区域长度上所能承受的干扰阈值时，利用分析任务的最坏情况执行时间得到新的指定时间区域长度，进而得到新的指定时间区域长度下分析任务的最大干扰；根据分析任务的最大干扰，得到实时任务集中每项实时任务的最坏情况响应时间；

使用ARRSM计算所分析任务的最大干扰I：

I_k(t)＝[(L+I)/m]；

其中，I_k(t)为指定时间区域长度为t的分析任务k的最大干扰，m为实时系统中处理器的个数，L为S中最大num项元素的长度之和。