浅谈Nut/OS和μC/OS—II的实时调度算法比较

如果说CPU是计算机系统的心脏，那么进程调度就是计算机系统的灵魂，因为它决定了如何使用CPU。例如，Linux是一个多任务操作系统，它的理想状况是保持CPU有效运行。如果某个正在运行的进程转入等待系统资源，操作系统就调度其他进程运行，从而保证CPU的最大利用率。如何使系统能够保证较短的响应时间和较高的吞吐量，使得多个进程竞争CPU时保持公平、高效，是通用操作系统所追求的目标。但对于实时操作系统而言，它的调度算法是基于POSIX规定的基于事件驱动优先级的调度算法，为了及时响应高优先级进程，它宁愿牺牲整体效率。
　　调度的实现可以分为2步来完成：
　　①何时启动调度，即解决调度启动时机的问题；
　　②怎么调度，按优先级调度就是要找到系统当前优先级最高的进程，然后进行上下文切换。
　　在实时系统中，只有当就绪进程集合发生变动时才有调度的需要，而就绪进程集合的变动只可能发生在几种情况下：
　　①运行中的进程受阻或自动放弃CPU；
　　②系统中新建了进程；
　　③运行中的进程“自杀”或“被杀”；
　　④运行中的进程唤醒了某个线程；
　　⑤中断服务子程序结束时唤醒了其他进程。
　　理想情况下，实时系统在有高优先级的进程转入就绪态时，就应该立即启动调度程序，响应高优先级进程。但实际上却存在着不可调度的时隙，称为不可调度窗口：
　　①正在进行进程切换，不能进行调度；
　　②中断响应期间，不能进行调度；
　　③进入临界区，不能进行调度；
　　④DMA期间CPU已被挂起，不可能进行调度。
　　在实时系统里，必须努力缩小不可调度窗口。
　　在调度启动的时机上，所有的实时操作系统基本一致。
　　那么接下来要做的就是寻找系统中当前最应该得到运行机会的进程，下面分别看一个最简单的和比较复杂的实现。
　　1 μC/OS-Il的实现
　　在μC／OS-II里。只允许有64个优先级且不同进程优先级互不相同。把64个优先级分成8组，数据结构位图OSRdyGrp反映着哪一些进程组中有就绪进程。另外，各个进程组的标志位在位图中的位置也是有规律的，位置靠右边的标志位代表优先级较高的进程组，只要从右到左扫描位图OSRdyGrp，碰到第一个非0的标志位就代表当前优先级最高的就绪进程所在的进程组。这样，就可以预先编制一个对照表，即数组。此数组就是OStJnMapTbl［］（该表的详细描述可参阅参考文献的88～90页），以位图OSRdyGrp的数值为下标，就可以直接得到优先级最高者所属组号。
　　8个标志位共有256种不同组合，所以这个数组大小是256。为了便于与μC／OS-II源代码对照，把以OSRdyGrp的数值为下标，在OSTJnMapTbl［］数组中查得的值称为组号y。知道组号y以后，就可以以此为下标在OSRdyTbl［］中得到相应的组内位图。同理，以这个位图的数值OSRdyThl［y］为下标，又可以在OSUnMapTbl［］内查得该组内优先级最高者进程号。将组号和组内号拼合在一起，就得到了目标进程完整的进程号，即优先级。再以此为下标，就可以从OSTcBPrioTbl［］中得到指向目标进程控制块的OSTCBHighRdy。以下就是进程切换的工作了。
　　通过上面的分析，不难理解下面这样的语句了：这个过程如此简洁，其根本原因是μC／OS-II严格按优先级调度，并且每个优先级只有一个进程。如果优先级的使用并非唯一，多个线程可以使用相同的优先级，那就还有个相同优先级的就绪进程之间怎样调度的问题，这就使调度过程复杂化了。一些商品的实时操作系统，例如VxWorks，允许多个进程具有相同的优先级，因为不支持不同进程可以有相同优先级的系统，无法采用优先级继承算法来解决实时系统里令人讨厌的优先级反转现象，但它不公开源代码。下面选择一个公开源代码的实时操作系统Nut/OS进行分析。它有256个优先级且允许不同进程具有相同的优先级。在这样的系统里，是不可能采用类似于位图这样的机制来实现调度的。
　　2Nut／OS的实现
　　为了叙述方便，设计一个完整的进程运行的情景来说明。另外Nut／0S中采用了线程的概念，在不分系统空间和用户空间的系统中，进程等价于线程。而进程和任务本来就是同一个概念的不同叫法。Nut／Os是一个嵌入式实时操作系统，不分系统空间和用户空间，所以以下的叙述中，线程、进程和任务混用，意思完全一样。
　　在Nut／OS中，可以通过下面的函数创建一个线程：
　　
　　创建一个线程的过程，实际上就是从堆栈空间中申请一个放置线程控制块的空间，在这个空间中建立线程控制块并完成对控制块的赋值的过程。为了更好地说明线程控制块的作用，下面用一个图表来说明，如图1所示。