管理和调度.pptVIP

* . * 静态调度与动态调度之间的比较 动态调度的出现是为了确保低优先级任务也能被调度。 对于所有任务都具有同等重要程度的系统比较合适； 对于需要绝对可预测性的系统一般不使用动态调度： 在出现临时过载的情况下，要求调度算法能够选择最紧急的任务执行，而放弃那些不太紧急的任务。 而动态调度的优先级只反映了任务的时间特性，没有把任务的紧急程度体现到优先级中去。 * . * 静态调度与动态调度之间的比较 动态调度的调度代价通常都比静态调度高： 动态调度在每一个调度点都需要对任务的优先级进行重新计算， 静态调度中任务的优先级则始终保持不变，不需要进行计算。 * . * 4.优先级反转 优先级继承协议 优先级天花板协议 * . * 理想情况下 高优先级任务就绪后，能够立即抢占低优先级任务而得到执行。 但在有多个任务需要使用共享资源的情况下，可能会出现高优先级任务被低优先级任务阻塞，并等待低优先级任务执行的现象。 优先级反转（priority inversion）：高优先级任务需要等待低优先级任务释放资源，而低优先级任务又正在等待中等优先级任务的现象。 * . * 两个任务都试图访问共享数据的情况即为出现优先级反转最通常的情况。 为了保证一致性，这种访问应该是顺序进行的。 如果高优先级任务首先访问共享资源，则会保持共享资源访问的合适的任务优先级顺序； 如果是低优先级任务首先获得共享资源的访问，然后高优先级任务请求获取对共享资源的访问，高优先级任务将被阻塞，直到低优先级任务完成对共享资源的访问。 阻塞是优先级反转的一种形式，它使得高优先级任务必须等待低优先级任务的处理。 如果阻塞的时间过长，即使在CPU使用率比较低的情况下，也可能出现截止时间得不到满足的情况。 * . * 通常的同步互斥机制为信号量（semaphore）、锁（lock）和Ada中的Rendezvous（汇合）等。 为保护共享资源的一致性，或是确保非抢占资源在使用上的合适顺序，使用这些方法是非常必须的。 直接应用这些同步互斥机制将导致系统中出现不定时间长度的优先级反转和比较低的任务可调度性情况。 * . * t0 t0 t1 t2 t3 t4 t5 t6 t7 t8 Critical section guarded by S time τ1 τ2 τ3 t9 t0 t10 t11 t12 t13 t14 t15 t16 t18 t17 假设T1，T2，T3为优先级顺序降低的三个任务，T1具有最高优先级。假定T1和T3通过信号量S共享一个数据结构，并且，在时刻t1，任务T3获得信号量S，开始执行临界区代码。在T3执行临界区代码的过程中，高优先级任务T1就绪，抢占任务T3而获得CPU资源，并在随后试图使用共享数据，但该共享数据已被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 τ1 τ2 τ3 t9 t0 t10 t11 t12 t13 t14 t15 t16 t18 t17 如果任务T1被T3阻塞，优先级继承协议要求任务T3以任务T1的优先级执行临界区。这样，任务T3在执行临界区的时候，原来比T3具有更高优先级的任务T2