并确保它顺利进入EMC DataDomain 2500存储设备的维护手册

OSEventTaskRdy()]，把其中的最高优先级任务从等待任务列表中删除[L6.11(3)]并使它进入就 绪状态。然后，调用 OSSched()任务调度函数检查该任务是否是系统中的最高优先级的就绪任务 [L6.11(4)]。如果是，这时就要进行任务切换[当 OSSemPost()函数是在任务中调用的]，准备执 行该就绪任务。如果不是，OSSched()直接返回，调用 OSSemPost()的任务得以继续执行。如果 这时没有任务在等待该信号量，该信号量的计数值就简单地加 1[L6.11(5)]。 上面是由任务调用 OSSemPost()时的情况。当中断服务子程序调用该函数时，不会发生上 面的任务切换。如果需要，任务切换要等到中断嵌套的最外层中断服务子程序调用 OSIntExit() 函数后才能进行（见 3.09节，µC/OS-II中的中断）。