1.每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对出现
2.控制顺序的信号量empty和full的wait和signal操作,成对的出现在不同的进程中
3.在每个程序中的多个wait操作顺序不能颠倒。且应先执行对资源信号量的wait操作,再执行对互斥信号量的wait操作,否则可能引起进程死锁
4.模拟交替执行过程,检查控制是否正确
采用AND信号量
仅当哲学家的左右筷子均可用时,才允许他拿起筷子进餐
读者-写者问题
1.每个程序中用于实现互斥的wait(mutex)和signal(mutex)必须成对出现
2.控制顺序的信号量empty和full的wait和signal操作,成对的出现在不同的进程中
3.在每个程序中的多个wait操作顺序不能颠倒。且应先执行对资源信号量的wait操作,再执行对互斥信号量的wait操作,否则可能引起进程死锁
4.模拟交替执行过程,检查控制是否正确
采用AND信号量
仅当哲学家的左右筷子均可用时,才允许他拿起筷子进餐
读者-写者问题