WinCE线程调度



WinCE使用抢占式的基于优先级的时间片轮转调度算法调度线程。对于就绪队列中的线程，优先级高的先获得时间片运行，优先级相同时按时间片轮转，正在运行的线程用完时间片后无论是否执行完毕都得让出CPU退回就绪队列等待下一次时间片分配。

WinCE优先级分256级(0~255)其中应用程序可使用248~255，其它的供驱动及内核使用。

WinCE线程状态转换图

WinCE具体的线程调度规则如下：
选择就绪队列中的高优先级进程先执行，存在多个最高优先级线程时按时间片轮转，如果线程时间片设为0则会一直运行直到阻塞或终止。

线程调度中可能存在如下问题：假设有一优先级为34的线程T1，它需要获得资源R才能运行；但此时资源R被就绪队列中一个优先级为255的线程T2所占有，而且就就绪队列中还有优先级高于T2的其它线程T3, T4....按照WinCE的调度算法T1阻塞等待T2释放R，T3先运行，T3运行完后，T4运行，T4之后还有其它比T2优先级高的就绪线程，T2很可能永远得不到执行，但如果T2不执行则T1将会一直阻塞。

解决这个问题Windows中有两种方案：
1)完全嵌套法(Fully Nested)：将所有就绪线程逐个执行直到高优先级线程T1可以执行；
2)单级法(Single Level)：找到占有高优先级线程T1运行所需资源R的线程T2，将它的优先级提高到与高优先级线程T1相同的优先级，然后执行线程T2直到其释放资源R。此法也称优先级继承法(Priority Inheritance)

完全嵌套法效率低，牺牲实时性；单级法可能引发死锁（以上例子中如果T1也占有T2运行所必需的资源R1时就会出现死锁)。