(1)正在执行的进程执行完毕。这时,如果不选择新的就绪进程执行,将浪费处理机资源。
(2)执行中进程自己调用阻塞原语将白己阻塞起来进入睡眠等状态。
(3)执行中进程调用了P原语操作,从而因资源不足而被阻塞;或调用了v原语操作激活了等待资源的进程队列。
(4)执行中进程提出I/O请求后被阻塞。
(5)在分时系统中时间片已经用完。
(6)在执行完系统调用等系统程序后返回用户进程时,这时可看作系统进程执行完毕,从而可调度选择一新的用户进程执行。
以上都是在可剥夺方式下的引起进程调度的原因。在CPU执行方式是可剥夺时.还有
(7)就绪队列中的某进程的优先级变得高于当前执行进程的优先级,从而也将引发进程调度。
我对比了在实时操作系统中经常使用的调度方式发现,原因(2)、(3)、(7)是主要的原因,其他的一般在实时操作系统中很难找到。但是这还是不能回答什么时候发生调度这个问题。
点击(此处)折叠或打开
- void OSTimeTick (void)
- {
- #if OS_CRITICAL_METHOD == 3 /* Allocate storage for CPU status register */
- OS_CPU_SR cpu_sr;
- #endif
- OS_TCB *ptcb;
-
- OSTimeTickHook(); /* Call user definable hook */
- #if OS_TIME_GET_SET_EN > 0
- OS_ENTER_CRITICAL(); /* Update the 32-bit tick counter */
- OSTime++;
- OS_EXIT_CRITICAL();
- #endif
- if (OSRunning == TRUE) {
- ptcb = OSTCBList; /* Point at first TCB in TCB list */
- while (ptcb->OSTCBPrio != OS_IDLE_PRIO) { /* Go through all TCBs in TCB list */
- OS_ENTER_CRITICAL();
- if (ptcb->OSTCBDly != 0) { /* Delayed or waiting for event with TO*/
- if (--ptcb->OSTCBDly == 0) { /* Decrement nbr of ticks to end of delay */
- if ((ptcb->OSTCBStat & OS_STAT_SUSPEND) == OS_STAT_RDY) { /* Is task suspended? */
- OSRdyGrp |= ptcb->OSTCBBitY; /* No, Make task R-to-R (timed out)*/
- OSRdyTbl[ptcb->OSTCBY] |= ptcb->OSTCBBitX;
- } else {
- /* Yes, Leave 1 tick to prevent ... */
- ptcb->OSTCBDly = 1; /* ... loosing the task when the ... */
- } /* ... suspension is removed. */
- }
- }
- ptcb = ptcb->OSTCBNext; /* Point at next TCB in TCB list */
- OS_EXIT_CRITICAL();
- }
- }
- }
浅谈实时操作系统任务调度
(2011-06-10 18:32:27)分类: 作业 |
一、1、 调度用来确定多任务环境下任务执行的顺序和在获得CPU资源后能够执行的时间长度。
二、调度算法
1、各种实时操作系统的实时调度算法可以分为如下三种类别
基于优先级的调度算法(Priority-driven scheduling-PD)、基于CPU使用比例的共享式的调度算法(Share-drivescheduling-SD)、以及基于时间的进程调度算法(Time—driven schedulinq-TD),下面对第一种调度算法进行重点介绍。
法可以分为如下两种类型
1.1 静态调度
1.2 动态调度
调度可以是抢占式的或非抢占式的。当检查到一事件时,动态抢占式算法立即决定是运行与此事件相关的任务,或继续执行当前的任务;对于动态非抢占式算法,它仅仅知道有另一
个任务可以运行,在当前任务结束后,它才在就绪的任务中选择一个来运行。
三、调度算法的选择 嵌入式实时系统中资源是非常有限的,所以开销要尽可能小。开销主要包括运行开销和调度开销。运行开销与队列分析和从调度队列中增加、删除任务相关。每个任务在一个调度周期内至少被阻塞和唤醒一次,所以任务调度器在一个周期内不得不对一个任务进行两次选择。静态算法根据任务的执行频率设置优先级,有较小的运行开销,但执行频率最高的任务不一定是最重要的。EDF算法中则是对整个任务列表的调度开销进行全面比较,选择最高优先级任务进行调度,有较小的调度开销,但对多个任务具有同一优先级的情况考虑不足。基于优先级的调度算法在实时进程调度中使用很广泛,静态优先级调度算法根据应用的属性来分配优先级,其可控性较强,而动态优先级调度算法在资源分配和调度时具有更大的灵活性。如果结合这两种算法的优点,扬长避短,就能够对实时任务进行更合理、更高效的任务调度。利用最著名的动态优先级调度算法一EDF算法的高CPU利用率、可调度较大的任务集的特点,结合静态优先级调度算法的可控性就形成了一种新的调度算法-NEDF、调度算法(New Earliest Dead—line First)。
NEDF算法以任务的截止期限作为任务调度的首要指标,但不是唯一的指标。当两任务的截止期限在一定的IM值范围内时,根据任务的优先级来决定要运行的任务,这时以任务的静态优先级来选择任务,一定程度上增强了算法的可控性。确定任务的静态优先级,主要依据有以下几个。
(1)执行时间
以执行时间为依据,执行时间越短,静态优先级越高。
(2)任务周期
以任务周期为依据,任务周期越短,静态优先级越高。
(3)任务的CPU利用率
任务的CPU利用率为任务执行时间与任务周期的比值(生)。仟各的CPU利基于Linux的实时操作系统研究用率越高,静态优先级越高。(4)任务紧急程度根据任务的紧急程度,人为安排任务的优先级。任务越紧急,静态优先级越高。
先假定任务的优先级均不相同,则在某个调度时刻t,NEDF算法先查找距截止期限最近的任务。这时,可能有多个任务的截止期限相等或较为接近。如果截止期限相等,则选择
高优先级的任务运行。如果截止期限均不相等,且最小截止期限比次小截止期限小许多,则选择最小截止期限的任务运行。若最小截止期限与次小截止期限的差值在一定的IM值范围
内,则选择高优先级的任务运行。截止期限IM 值的设定应保证最高优先级任务能够如期完成,一般可取最小相对截止期限的值,以确保在最小相对截止期限的周期范围内,最高优先
级任务能够优先运行。