第四章 进程同步

目录

一、进程同步、进程互斥

1.1 进程同步

1.2 进程互斥

二、信号量机制

2.1 整型信号量

2.2 记录型信号量

三、用信号量实现进程互斥、同步、前驱关系

3.1 信号量机制实现进程互斥

3.2 信号量机制实现进程同步

3.3 信号量机制实现前驱关系 

四、生产者-消费者问题

4.1 分析步骤

4.2  问题分析

4.3 如何实现

4.4 总结建议 

五、读者写者问题

5.1 问题分析

5.2 如何实现 

---

一、进程同步、进程互斥

1.1 进程同步

同步亦称直接制约关系，它是指为完成某种任务而建立的两个或多个进程，这些进程因为需要在某些位置上协调它们的工作次序而产生的制约关系。进程间的直接制约关系就是源于它们之间的相互合作。

1.2 进程互斥

二、信号量机制

 1965年，荷兰学者Dijkstra提出了一种卓有成效的实现进程互斥、同步的方法。 

2.1 整型信号量

2.2 记录型信号量

三、用信号量实现进程互斥、同步、前驱关系

3.1 信号量机制实现进程互斥

3.2 信号量机制实现进程同步

3.3 信号量机制实现前驱关系 

四、生产者-消费者问题

4.1 分析步骤

4.2  问题分析

4.3 如何实现

4.4 总结建议 

五、读者写者问题

5.1 问题分析

5.2 如何实现