2021-10-10 用信号量机制 实现进程互斥，同步，前驱关系

目录

知识回顾和考点

信号量机制实现进程互斥

信号量机制实现进程同步

信号量机制实现前驱关系

---

知识回顾和考点

 

信号量机制实现进程互斥

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

2.设置互斥信号量mutex，初值为1。

3.在临界区之前执行 P(mutex)。

4.在临界区之后执行V(mutex)。

 

 

注意：

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

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

信号量机制实现进程同步

进程同步：要让各并发进程按照要求有序地推进。

比如，P1、P2并发执行，由于存在异步性，因此二者交替推进的次序是不确定的。

若P2的“代码4”要基于P1的“代码1”和“代码2”的运行结果才能执行，那么我们就必须保证“代码4”一定是在“代码2”之后才会执行。

这就是进程同步问题，让本来异步并发的进程互相配合，有序推进。

 用信号量实现进程同步：

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

信号量机制实现前驱关系