第二章 进程与线程 十七、用信号量实现进程互斥、进程同步、进程的前驱关系

一、实现进程互斥

1、过程

（1）分析并发进程的关键活动，划定临界区（如:对临界资源打印机的访问就应放在临界区)

（2）设置互斥信号量mutex，初值为1

（3）在进入区P(mutex)—一申请资源

（4）在退出区V(mutex)—一释放资源

2、注意

对不同的临界资源需要设置不同的互斥信号量。

P、V操作必须成对出现。缺少P(mutex)就不能保证临界资源的互斥访问。

缺少V(mutex)会导致资源永不被释放，等待进程永不被唤醒。

二、实现进程同步

1、过程

（1）分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码)

（2）设置同步信号量s,初始为0

（3）在“前操作”之后执行v(S)

（4）在“后操作”之前执行P(S)

2、理解

三、实现进程的前驱关系

四、总结