嵌入式操作系统中的抢占式调度策略

【本文由PB创新网为您整理】
摘要：绝大多数嵌入式操作系统采用抢占式的调度方式。本文主要讲述采用抢占式方式进行任务调度的嵌入式操作系统的调度策略和原理。

    关键词：抢占式 多任务 中断

引 言

　　通过逐行阅读顺序程序的源代码，不难说出程序会向处理器提出什么样的特定操作，并且也能说出这些操作的顺序。实际上，如果能够知道对一个顺序程序的所有输入，那就不仅能精确预测到处理器所执行的一系列机器码，还能计算出系统最终的输出值或系统行为。这样，无论这个程序运行的速度快慢，都能够得到一个唯一的结果。

　　然而，在现实中顺序操作程序是很少见的。譬如，在嵌入式系统C程序中的main（）函数，尽管它看上去是顺序的，但是这种看似顺序执行的程序最终会被系统的硬件中断，在某个时刻所打断。当外围设备中断产生后，相应的中断服务程序会运行，从而取代当前main（）函数的执行。这个过程就可以称为抢占。

　　抢占意味着main（）函数将以比预期慢的速度执行。这是因为它执行速度的快慢与系统中断的数量、中断程序的执行时间以及用于保存和恢复处理器状态的操作时间有着直接的关系。实质上，大部分的处理器周期都被中断服务程序给占用了。除非对中断服务程序有时间的限制，否则，这些中断自身并不会改变系统其它部分的输出，它们只是减慢了程序的执行。

　　由于绝大多数中断服务程序处理来自于系统设备的中断，这样它们的执行必将会带来系统状态的改变。这种状态的改变最终会给后续指令主序列中的系统行为带来变化，指令主序列则必须做出适当的反应来避免状态改变带来的影响。此时，不但难以预测处理器将执行的操作，同时也难以知道何时，并且以何种顺序来执行这些操作。

　　绝大多数处理器支持中断的嵌套。一个打断程序顺序执行的中断服务程序可以被另一个更高优先级的中断服务程序所打断。当该高优先级的中断服务程序执行完成后，最初的中断可以在指令主序列之前得以继续执行。

　　当每一个抢占过程发生时，处理器标志位、当前PC指针以及关键寄存器的内容都应该被保存起来（通常在RAM中），这称为被抢占程序的上下文（context）。这些信息会在该程序进入运行态之前恢复到处理器中。在中断事件产生时，大多数处理器会自动保存这些值，剩下的就是必须执行中断服务程序的入口和出口代码了。

1 伪并行

　　一个近似的技术就是使处理器像对待处理硬件事件一样处理软件事件。为了达到这个目的，需要将系统划分为一系列独立的事件来处理，即任务。抢占式调度方式使这个想法成为可能。该调度方式管理着系统软件对处理器的使用，并且使系统能够保证对时间要求严格的事件得以有效的执行。

    每个任务就是一个顺序执行的函数，并常常以一个无限循环作为结束。这样，就好像任务独占了处理器；同时，每个任务都被赋予特定的工作，如读传感器、扫描键盘、记录一些数据或者刷新显示等。每个任务都拥有一个相应的优先级，并在RAM中有属于自己的堆栈空间。总的来说，这一系列任务一起完成了整个系统所要完成的功能。

　　当一个高优先级任务抢占一个低优先级任务时，调度器所做的操作与处理器处理中断的操作一致。首先，将当前运行任务的上下文保存到内存中某个地方，然后开始执行新的任务。如果这个新任务在先前已经运行了，那它必有一个保存的上下文，那么，则需要恢复这些内容使其继续运行。当高优先级任务执行完后，调度器将保存其最终的上下文，并且恢复被抢占任务的运行，就好像该低优先级任务从没被打断过。

　　经过这样划分，每个任务函数可以被写成独占处理器的形式。在实际应用中，往往大多数系统中只有一个处理器。所以在某个特定时刻应该只有一个任务或中断在执行。当没有中断发生时，调度器会根据就绪任务的优先级来决定任务的运行次序。

　　图1显示了两个不同优先级任务和一个中断服务程序的执行情况。首先，中断服务程序抢占低优先级的任务进入运行态，但是该中断服务程序使一个更高优先级的任务进入就绪态。所以在中断服务程序执行完成后，调度器选择该高优先级任务进入运行，这样就推迟了恢复执行被抢占任务的操作。需要注意的是，处理器总是认为系统中低优先级的中断比高优先级的任务更重要。
javascript:window.open(this.src);" style="cursor:pointer;"/>
2 任务控制

　　 有关每个任务的信息，如任务起始地址（在C中就是函数名的地址）、任务优先级和任务执行需要的堆栈空间，都必须提供给调度器。系统调用正是利用这些信息来建立一个新的任务。尽管在不同的操作系统中，这些信息会有所不同，但它们的作用是一样的。

　　在任务函数的实现体中，可能会调用与软件事件或定时事件相关的系统函数。许多任务会等待一个特定类型的事件并对之作出响应。如一些可能产生一个软件事件；另一些可能做一个100ns的等待，然后再进行重复。

　　软件事件和超时事件可以由其它任务或中断服务程序来产生。对于后者，可以参看图1。图1显示了一个中断服务程序产生了一个高优先级任务正在等待的事件（从而唤醒该任务）。当然，可能该中断服务程序只是执行了一个时钟中断，而该高优先级任务只是等待计数器到达

[1] [2]  下一页