)
区别:
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(计数信号量)
计数信号量与二进制信号量都可以用于任务之间的同步与互斥。其不同点在于,计数信号量可记录信号量释放的次数,可以用来监视某一资源的使用状况。
这时一个中等优先级的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
欢迎分享,转载请注明来源:夏雨云
评论列表(0条)