uC/OS-II 中的优先级翻转问题分析

1、uC/OS-II中的优先级翻转问题

        当涉及到共享资源的互斥访问时，多任务实时操作系统常常会出现优先级翻转问题(priority inversion)，不能保证高优先级任务的响应时间，影响系统的实时性，uC/OS-II中也存在同样问题。所谓优先级翻转问题(priority inversion)即当一个高优先级任务通过信号量机制访问共享资源时，该信号量已被一低优先级任务占有，而这个低优先级任务在访问共享资源时可能又被其它一些中等优先级的任务抢先，因此造成高优先级任务被许多具有较低优先级的任务阻塞，实时性难以得到保证。

        例如：有优先级为A、B和C的三个任务，优先级A>B>C，任务A，B处于挂起状态，等待某一事件的发生，任务C正在运行，此时任务C开始使用某一共享资源S。在使用中，任务A等待的事件到来，任务A转为就绪态，因为它比任务C优先级高，所以立即执行。当任务A要使用共享资源S时，由于其正在被任务C使用，因此任务A被挂起，任务C开始运行。如果此时任务B等待的事件到来，则任务B转为就绪态。由于任务B的优先级比任务C高，因此任务B开始运行，直到其运行完毕，任务C才开始运行。直到任务C释放共享资源S后，任务A才得以执行。在这种情况下，优先级发生了翻转，任务B先于任务A运行。

 

 2、uC/OS-II中优先级翻转问题的解决办法

  2.1 经典方法

         优先级翻转不能保证高优先级任务的响应时间，解决优先级翻转问题有优先级天花板(priority ceiling)和优先级继承(priority inheritance)两种办法。

 　　优先级天花板是当任务申请某资源时，把该任务的优先级提升到可访问这个资源的所有任务中的最高优先级，这个优先级称为该资源的优先级天花板。这种方法简单易行，不必进行复杂的判断，不管任务是否阻塞了高优先级任务的运行，只要任务访问共享资源都会提升任务的优先级。在uC/OS-II中，可以通过OSTaskChangePrio()改变任务的优先级，但是改变任务的优先级是很花时间的。如果不发生优先级翻转而提升了任务的优先级，释放资源后又改回原优先级，则无形中浪费了许多CPU时间，也影响了系统的实时性。

 　　优先级继承是当任务A申请共享资源S时，如果S正在被任务C使用，通过比较任务C与自身的优先级，如发现任务C的优先级小于自身的优先级，则将任务C的优先级提升到自身的优先级，任务C释放资源S后，再恢复任务C的原优先级。这种方法只在占有资源的低优先级任务阻塞了高优先级任务时才动态的改变任务的优先级，如果过程较复杂，则需要进行判断。uC/OS-II不支持优先级继承，而且其以任务的优先级作为任务标识，每个优先级只能有一个任务，因此，不适宜在应用程序中使用优先级继承。

 

 2.2 研究人员提出的方法

         有人提出借鉴优先级继承的方法对优先级天花板方法进行改进。对uC/OS-II的使用，共享资源任务的优先级不是全部提升，而是先判断再决定是否提升。即当有任务A申请共享资源S时，首先判断是否有别的的任务正在占用资源S，若无，则任务A继续执行，若有，假设为任务B正在使用该资源，则判断任务B的优先级是否低于任务A，若高于任务A，则任务A挂起，等待任务B释放该资源，如果任务B的优先级低于任务A，则提升任务B的优先级到该资源的优先级天花板，当任务B释放资源后，再恢复到原优先级。具体实现上，在uC/OS-II中，每个共享资源都可看作一个事件，每个事件都有相应的事件控制块ECB。在ECB中包含一个等待本事件的等待任务列表，该列表包括OSEventTbl[]和OSEventGrp两个域，通过对等待任务列表的判断可以很容易的确定是否有多个任务在等待该资源，同时也可判断任务的优先级与当前任务优先级的高低，从而决定是否需要用OSTaskChangePio()来改变任务的优先级。这样，仅在优先级有可能发生翻转的情况下才改变任务的优先级，而且利用事件的等待任务列表进行判断，比用OSTaskChangePio()来改变任务的优先级速度快，并占用较少的CPU时间，有利于系统实时性的提高。