读写公平

写者优先

经典同步问题

哲学家进餐问题

同步与互斥概念

turn=i——谦让

违反空闲让进

flag[i]——意愿 turn=i——谦让

flag[i]——意愿

flag[i]——意愿

中断屏蔽方法

TestAndSet指令

硬件实现方法

Swap指令

• 空闲让进；
• 忙则等待；
• 有限等待；
• 让权等待

仍未遵循让权等待

违反空闲让进和有限等待

违反忙则等待

软件实现方法

单标志法

双标志先检查

双标志后检查

Peterson 算法

进程同步

互斥原则

直接制约关系

进程互斥

间接制约关系

信号量：资源剩余数量

解决了让权等待

互斥信号量mutex，初值为 1

信号量实现互斥

进程互斥的实现

互斥锁

信号量实现同步

同步信号量 S，初值为 0

管程

信号量实现前驱关系

多对同步信号量 S，初值为 0

生产者-消费者问题

图示

进程的同步与互斥

多生产者-多消费者问题

图示

记录型信号量

操作一气呵成

吸烟者问题

图示

图示

读者-写者问题

整型信号量

block与wakeup操作

wait(S)、signal(S) 即：P(S)、V(S)操作