信号量机制实现进程互斥，进程同步，进程的前驱关系

信号量机制

一个信号量对应一种资源。

信号量的值=这种资源的剩余数量（信号量的值如果小于0，说明此时有进程在等待这种资源)

• P(S )：申请一个资源S，如果资源不够就阻塞等待
• V(S)：释放一个资源S，如果有进程在等待该资源，则唤醒一个进程

1.实现进程互斥

1. 分析并发进程的关键活动，划定临界区（如:对临界资源打印机的访问就应放在临界区)
2. 设置互斥信号量mutex，初值为1
3. 在进入区P(mutex)：申请资源
4. 在退出区V(mutex)：释放资源

注意:

• 对不同的临界资源需要设置不同的互斥信号量。
• 不同的互斥信号量。
• P、V操作必须成对出现。
• 缺少P(mutex)就不能保证临界资源的互斥访问。
• 缺少V(mutex)会导致资源永不被释放，等待进程永不被唤醒。

2.实现进程同步

进程同步：要让各并发进程按要求有序地推进。
让本来异步并发的进程互相配合，有序推进。

1. 分析什么地方需要实现“同步关系”，即必须保证“一前一后”执行的两个操作（或两句代码)
2. 设置同步信号量S,初始为0
3. 在**“前操作”**之后执行V(S)
4. 在**“后操作”**之前执行P(S)

3.实现进程的前驱关系

进程P1中有句代码S1，P2中有句代码S2，P3中有句代码S3…P6中有句代码S6。这些代码要求按如下前驱图所示的顺序来执行:

其实每一对前驱关系都是一个进程同步问题（需要保证一前一后的操作):

1. 要为每一对前驱关系各设置一个同步信号量
2. 在“前操作”之后对相应的同步信号量执行V操作
3. 在“后操作”之前对相应的同步信号量执行Р操作