优先级倒转和优先级继承.PDFVIP

实验七 优先级倒转及其解决办法 1 实验目的 1．理解优先级倒转问题 2 ．学习使用优先级继承以解决优先级倒转问题 2 实验内容 在实验一建立的 project 中，创建3 个任务，对这三个任务使用基于优先级的 抢占式调度。观察运行结果。 3 实验设备及工具 1．硬件： a) PC 机 2 ．软件： a) PC 机操作系统 Windows2000 或 windowsXP b) Tornado2.2 4 实验原理 当高优先级的任务不得不等待一段不确定的时间，等待低优先级任务完成操 作时，就发生优先级倒转。例如，prioHigh 、prioMedium 和 prioLow 三个任务的 优先级由高到低排列，prioLow 请求一个与二进制信号量相联系的资源，当 prioHigh 抢占 prioLow 并需要竞争相同的资源，它将被阻塞。如果 prioHigh 阻塞 的时间全部用来等待prioLow 使用该资源，那么不会存在什么问题，因为资源不 会被抢占。然而，如果这个低优先级的任务不得不被中等优先级的任务 prioMedium 抢占，由于它不需要使用该资源，这时 prioLow 仍然占用该资源。 这种情况可能进一步发生，使得 prioHigh 被迫等待一段不确定的时间。为避免 这种情况，VxWorks 引进优先级继承机制。 为使用优先级继承机制，当使用互斥信号量时，VxWorks 提供了一个附加的 选项 SEM_INVERSION_SAFE，它允许使用优先级继承算法，该算法保证占有 一个资源的任务，在其运行时，其优先级等于阻塞在该资源上的所有任务的优先 级的最高值。当执行完成，这个任务释放资源，返回正常的优先级。因此，这个 继承了最高优先级的任务，将不会被优先级比它的正常优先级高但又比继承的优 先级低的任务抢占。 需要指出的是SEM_INVERSION_SAFE 选项必须与 SEM_Q_PRIORITY 一起 使用： semId = semMCreate(SEM_Q_PRIORITY | SEM_INVERSION_SAFE) ; 下面的例子说明发生优先级倒转的典型情况： （1） prioLow 任务上锁信号量； （2 ） prioLow 任务被 prioMedium 任务抢占而阻塞，后者运行一段 较长的时间； （3 ） prioHigh 任务抢占 prioMedium 任务，试图上锁被 prioLow 上 锁的信号量。 由于任务prioLow 和prioHigh 都被阻塞，prioMedium 将一直运行直至结束（很 长的一段时间）。这时，prioHigh 可能已经错过它的时间限制。代码如下： 5 实验步骤 1．编程（假设编写的源文件为s7_inversion.c ） 2 ．将s7_ inversion.c 添加到 project 中 3 ．编译（如果有错误，则改正） 4 ．下载到VxSim 模拟器上运行，观察输出。 5 ．修改程序，使用优先级继承解决优先级倒转问题。观察输出。 6 实验报告要求 1．写出实验过程 2 ．记录输出结果。 3 ．附上源程序（修改前和修改后）