被动线程1:
mutex_lock AA;
signal.wait();/*休眠*/
/*执行代码块读取到共享区*/
mutex_unlock AA;
主动线程2:
mutex_lock AA;
/*执行代码块修改共享区*/
mutex_unlock AA;
signal.signal();/*唤醒*/
线程1和线程2在系统调度时,并不能保证被动线程1先执行,且先执行到wait代码行,有可能被动线程1先执行,但执行wait前(mutex_lock AA前)发现线程切换。即使调整线程优先级,也不能严格保证wait段先执行。
就会有可能丢失第一个唤醒事件。
最好的解决办法是引入另一个变量,让这个变量成为主被动线程知道对方是否等待的条件,当条件为真时即克等待。
以下模型即使信号丢失了(被动线程1后执行)也不会产生数据读取丢失。因为线程调度会执行到这里的线程。
被动线程1:
mutex_lock AA;
while(0 == share.count)
/*shar.count为共享区修改个数*/
{
signal.wait();/*休眠*/
}
/*执行代码块读取共享区*/
mutex_unlock AA;
主动线程2:
mutex_lock AA;
/*执行代码块修改共享区share数据*/
share.count++;/*共享区share数据修改计数*/
mutex_unlock AA;
signal.signal();/*唤醒*/