操作系统---第二章：进程和线程-经典同步问题和死锁

二、进程和线程

2.3 同步与互斥

---

2.3.6 经典同步问题

---

生产者-消费者问题

问题描述：系统中有一组生产者进程和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区中取出一个产品去使用。（注：这里的“产品”理解为某种数据）
缓冲区：用来存放数据的内存空间。缓冲区是临界资源。各进程必须互斥的访问。（因为如果多个生产者同时对缓冲区的一片空间进行写数据，如果不是临界资源的话，可能会导致数据覆盖）
生产者、消费者共享使用一个初始为空、大小为n的缓冲区。
只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。（缓冲区没满->生产者生产。同步问题）
只有缓冲区不空时，消费者才能从缓冲区取出产品，否则必须等待。（缓冲区没空->消费者消费。同步问题）

PV操作题目分析步骤：
1.关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
2.整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
3.设置信号量。并根据题目条件确定信号量初值（互斥信号量初值一般为1，同步信号量初值要看对应资源的初始值是多少）
消费者进程需要消耗的是产品，则P操作主要是申请一个产品，则full信号量应该是对应着非空缓冲区中产品的数量，而初始的时候是空缓冲区，则full信号量初值为0。
生产者进程每生产一个产品，就需要消耗一个空闲的缓冲区，那么empty信号量所对应的就是空闲缓冲区的数量，则empty信号量初值为n。

	semaphore mutex = 1;	//互斥信号量，实现缓冲区的互斥访问
	semaphore empty = n;	//同步信号量，表示空闲缓冲区的数量
	semaphore full = 0;		//同步信号量，表示产品的数量，也即非空缓冲区的数量

回顾：PV操作实际上是wait,signal，常把wait(S),signal(S)两个操作分别写为P(S),V(S)。

	wait(S){
   				//P操作
		while(S<=0);		//判断资源是否够
		S = S-1;			//资源够，则占用一个资源
	}
	
	signal(S){
   				//V操作		
		S = S + 1;			//使用完资源后，在退出区释放资源
	}

full和empty是两个信号量。

当一个生产者进程往缓冲区里放入一个产品（数据）之后，则需要对full信号量执行一个V操作，而当消费者进程从缓冲区取走一个产品（数据）之前，则需要对full信号量执行一个P操作。
同时也要实现缓冲区临界资源的互斥访问。只需要设置一个互斥信号量mutex，设置初值为1，然后执行PV操作即可。

如何实现：

//生产者
producer(){
   
	while(1){
   
		//1.生产一个产品;
		P(empty);	//消耗一个空闲缓冲区
		P(mutex);	//实现互斥访问
		
		//2.把产品放入缓冲区;
		V(full);	//增加一个产品
		V(mutex);	//实现互斥访问
		
		//实现互斥是在同一个进程中进行一对PV操作
		//实现两进程的同步关系，是在其中一个进程中执行P，另一个进程中执行V。执行V操作的进程会唤醒执行P操作的进程。（前V后P）
		
	}
}

//消费者
consumer(){
   
	while(1){
   
		//1.从缓冲区取出一个产品;
		P(full);	//消耗一个产品（非空缓冲区）
		P(mutex);	//实现互斥访问
		
		//2.使用产品;
		V(empty);	//增加一个空闲缓冲区
		V(mutex);	//实现互斥访问
		
	}
}

思考1：能否改变相邻P、V操作的顺序？

V操作不会导致进程阻塞，不会出现进程循环等待的问题，因此两个V操作的顺序可以交换。

思考2：生产者生产一个产品和消费者使用一个产品，能否放在PV操作之间？
理论上是可以放在PV操作之间的，但是如果放在PV操作之间会导致临界区代码更长，也就是说一个进程对临界区上锁的时间会增长，这样不利于各个进程交替的来使用临界区资源，所以我们要让临界区的代码尽可能的短。

---

多生产者-多消费者问题

问题描述：

其实对于这个问题可以抽象为生产者-消费者模型。
盘子：大小为1，初始为空的缓冲区
父亲：生产者进程1
母亲：生产者进程2
女儿：消费者进程1
儿子：消费者进程2

而多生产者-多消费者模型和生产者-消费者模型的区别：所谓的多不应该理解成多个，而是多类，不同类别的生产者和不同类别的消费者，他们所需要生产的和所需要消费的产品是不一样的。

问题：那么对于这种多生产者-多消费者模型的问题，如何用PV操作来解决呢？
1.关系分析。找出题目中描述的各个进程，分析它们之间的同步、互斥关系。
互斥关系：对缓冲区（盘子）的访问要互斥的进行
同步关系（一前一后）：
（1）父亲将苹果放入盘子后，女儿才能取苹果
（2）母亲将橘子放入盘子后，儿子才能取橘子
（3）只有盘子为空时，父亲或者母亲才能放入水果
盘子为空这个事件可以由儿子触发，也可以由女儿触发。事件发生后才允许父亲或者母亲放水果
2.整理思路。根据各进程的操作流程确定P、V操作的大致顺序。
互斥：在临界区前后分别PV
同步：前V后P
3.设置信号量。并根据题目条件确定信号量初值（互斥信号量初值一般为1，同步信号量初值要看对应资源的初始值是多少）
互斥关系：mutex=1;
同步关系：具体情况具体分析
只有父亲将苹果放进盘子，女儿才能取到苹果，所以设置一个同步信号量apple=0
同理，设置一个同步信号量orange=0;
而apple和orange同步信号量都为0，所以父亲和母亲都能放水果，因此为了表示父亲和母亲放水果的同步关系，还可以设置一个盘子同步信号量plate=1;

如何实现:

	semaphore mutex = 1;	//实现互斥访问盘子（缓冲区）
	semaphore apple = 0;	//盘子中有几个苹果
	semaphore orange = 0;	//盘子中有几个橘子
	semaphore plate = 1;	//盘子中还可以放多少个水果
	
	dad(){
   
		while(1){
   
			//准备一个苹果
			P(plate);
			P(mutex);
			//把苹果放入盘子
			V(mutex);
			V(apple);
		}//while
	}//dad
	
	mom(){
   
		while(1){
   
			//准备一个橘子
			P(plate);
			P(mutex);
			//把橘子放入盘子
			V(mutex);
			V(orange);
		}//while
	}//mom
	
	daughter(){
   
		while(1){
   
			P(apple);
			P(mutex);		
			//从盘中取出苹果;
			
			V<