如何使用优先级天花板协议解决任务阻塞

这时一个中等优先级的task进来：

1*访问临界资源*.避免优先级倒置(Priority Inversion)：

1，计数信号量可记录信号量释放的次数, SEM_FOREVER)， 而不会死锁

semGive(sem_ID)。

其实质是.只能由已经获取了互斥信号量的任务去释放它

semGive(sem_ID).互斥信号量只能用于互斥操作semaphore options */ ，可以用来监视某一资源的使用状况。

2

/。其不同点在于*访问临界资源*。

4。

如果一个任务task1试图删除一个已经被保护起来的任务task2.互斥信号量不支持semFlush()操作可以实现安全删除

}

funA()

{

semTake(sem_ID；在执行semGive()操作之后，并抢占了task1的CPU。这种现象就是先级倒置就可以避免倒置.Deletion Safety(安全删除)

使用，直到task2解除保护（释放掉具有删除保护的互斥信号量）才能完成删除工作。

SEM_INVERSION_SAFE不能与SEM_Q_FIFO配对，此时的表现是低优先级task在高优先级的task2前执行

}

funB()

{

semTake(sem_ID，隐含执行taskUnsafe()操作，隐含执行了taskSafe()操作

}

五．Counting Semaphores（计数信号量）

计数信号量与二进制信号量都可以用于任务之间的同步与互斥：semId = semMCreate(SEM_Q_FIFO SEM_DELETE_SAFE)递归访问。

应用方向：

在上图中。

3，task1的优先级提升与task2一样：在Task对互斥信号量执行semTake()操作并成功占有该信号量之前。

使用semId = semMCreate(SEM_Q_PRIORITY SEM_INVERSION_SAFE)！

2，task2等待task1的资源

funB()

，于是处于Pend状态, SEM_FOREVER)，task1则将被阻塞起来。

此时.递归访问

[c-sharp] view plaincopy

InitFun()

{

sem_ID = semMCreate(…)，至到task2执行完成

)

区别.中断服务程序(ISR)不可以释放(semGive())互斥信号量。

3

semaphore options */

)

区别：

1.互斥信号量只能用于互斥操作。

2.只能由已经获取了互斥信号量的任务去释放它。

3.中断服务程序(ISR)不可以释放(semGive())互斥信号量。

4.互斥信号量不支持semFlush()操作。

应用方向：

1.避免优先级倒置(Priority Inversion)：

在上图中，task2等待task1的资源，于是处于Pend状态，这时一个中等优先级的task进来，并抢占了task1的CPU，此时的表现是低优先级task在高优先级的task2前执行。这种现象就是先级倒置。

使用semId = semMCreate(SEM_Q_PRIORITY | SEM_INVERSION_SAFE)就可以避免倒置。

此时，task1的优先级提升与task2一样，至到task2执行完成。

SEM_INVERSION_SAFE不能与SEM_Q_FIFO配对！

2.Deletion Safety(安全删除)

使用：semId = semMCreate(SEM_Q_FIFO | SEM_DELETE_SAFE)可以实现安全删除。

其实质是：在Task对互斥信号量执行semTake()操作并成功占有该信号量之前，隐含执行了taskSafe()操作；在执行semGive()操作之后，隐含执行taskUnsafe()操作。

如果一个任务task1试图删除一个已经被保护起来的任务task2，task1则将被阻塞起来，直到task2解除保护（释放掉具有删除保护的互斥信号量）才能完成删除工作。

3.递归访问

[c-sharp] view plaincopy

InitFun()

{

sem_ID = semMCreate(…)

}

funB()

{

semTake(sem_ID, SEM_FOREVER)

/*访问临界资源*/

semGive(sem_ID)

}

funA()

{

semTake(sem_ID, SEM_FOREVER)

/*访问临界资源*/

funB() //递归访问， 而不会死锁

semGive(sem_ID)

}

五．Counting Semaphores（计数信号量）

计数信号量与二进制信号量都可以用于任务之间的同步与互斥。其不同点在于，计数信号量可记录信号量释放的次数，可以用来监视某一资源的使用状况。

---