【PPT-嵌入式系统及应用.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 理想情况下 高优先级任务就绪后，能够立即抢占低优先级任务而得到执行。 但在有多个任务需要使用共享资源的情况下，可能会出现高优先级任务被低优先级任务阻塞，并等待低优先级任务执行的现象。 优先级反转（priority inversion）：高优先级任务需要等待低优先级任务释放资源，而低优先级任务又正在等待中等优先级任务的现象。 优先级反转 * 通常的同步互斥机制为信号量（semaphore）、锁（lock）和Ada中的Rendezvous（汇合）等。 为保护共享资源的一致性，或是确保非抢占资源在使用上的合适顺序，使用这些方法是非常必须的。 直接应用这些同步互斥机制将导致系统中出现不定时间长度的优先级反转和比较差的任务调度性情况。 优先级反转 * t0 t0 t1 t2 t3 t4 t5 t6 t7 t8 Critical section guarded by S time T1 T2 T3 t9 t0 t10 t11 t12 t13 t14 t15 t16 t18 t17 假定T1和T3通过信号量S共享一个数据结构。 在时刻t1，任务T3获得信号量S，开始执行临界区代码。 在T3执行临界区代码的过程中，高优先级任务T1就绪，抢占任务T3，并在随后试图使用共享数据，但该共享数据已被T1通过信号量S加锁。在这种情况下，会期望具有最高优先级的任务T1被阻塞的时间不超过任务T3执行完整个临界区的时间。 但事实上，这种阻塞时间的长度是无法预知的。这主要是由于任务T3还可能被具有中等优先级的任务T2所阻塞，使得T1也需要等待T2和其他中等优先级的任务释放CPU资源。 优先级 高 低 * 任务T1的阻塞时间长度不定，可能会很长。 如果任务在临界区内不允许被抢占，这种情况可得到部分解决。但由于形成了不必要的阻塞，使得这种方案只适合于非常短的临界区。 比如，一旦一个低优先级任务进入了一个比较长的临界区，不会访问该临界区的高优先级任务将会被完全不必要的阻塞。 优先级反转 * Lampson在1980年发表的题为“Experiences with processes and monitors in Mesa”的论文中首先讨论关于优先级反转的问题： 建议临界区执行在比可能使用该临界区的所有任务的优先级更高的优先级上。 解决优先级反转现象的常用协议为： 优先级继承协议（priority inheritance protocol）； 优先级天花板协议（priority ceiling protocol）。 优先级反转 * 优先级继承协议 优先级继承协议的基本思想是： 当一个任务阻塞了一个或多个高优先级任务时，该任务将不使用其原来的优先级，而使用被该任务所阻塞的所有任务的最高优先级作为其执行临界区的优先级。 当该任务退出临界区时，又恢复到其最初的优先级。 * t0 t0 t1 t2 t3 t4 t5 t6 t7 t8 Critical section guarded by S time T1 T2 T3 t9 t0 t10 t11 t12 t13 t14 t15 t16 t18 t17 如果任务T1被T3阻塞，优先级继承协议要求任务T3以任务T1的优先级执行临界区。这样，任务T3在执行临界区的时候，原来比T3具有更高优先级的任务T2就不能抢占T3了。当T3退出临界区时，T3又恢复到其原来的低优先级，使任务T1又成为最高优先级的任务。这样任务T1会抢占任务T3而继续获得CPU资源，而不会出现T1无限期被任务T2所阻塞的情形。 优先级 高 低 * 优先级继承协议 优先级继承协议的定义 如果任务T为具有最高优先级的就绪任务，任务T将获得CPU资源。 在任务T进入临界区前，任务T需要首先请求获得该临界区的信号量S： 如果信号量S已经被加锁，则任务T的请求会被拒绝。 在这种情况下，任务T被称为是被拥有信号量S的任务所阻塞； 如果信号量S未被加锁，任务T将获得信号量S而进入临界区。 当任务T退出临界区时，使用临界区过程中所加锁的信号量将被解锁。 如果有其他任务因为请求信号量S而被阻塞，其中具有最高优先级的任务将被激活，处于就绪状态。 * 优先级继承协议 任务T将保持其被分配的原有优先级不变，除非任务T进入了临界区并阻塞了更高优先级的任务。 如果由于任务T进入临界