【互斥同步经典PV操作】

互斥同步经典PV操作

内容来自B站王道老师计算机考研操作系统讲解

一、单生产者和消费者

问题描述一

系统中有一组生产者和一组消费者进程，生产者进程每次生产一个产品放入缓冲区，消费者进程每次从缓冲区取出一个产品并使用（这里的产品理解为莫种数据），生产者和消费者共享一个初始为空，大小为n的缓冲区。
1）只有缓冲区没满时，生产者才能把产品放入缓冲区，否则必须等待。
2）只有缓冲区不空时，消费者才能从中取出产品，否则必须等待。
3）缓冲区是临街资源，各进程必须互斥访问。

---

在搞清楚生产者和消费者问题的关键是我们要搞清楚问题中包含的几种关系，同步关系和互斥关系。就上述这题不难得出
同步关系（缓冲区满时，生产者要等待消费者取出产品）
同步关系（缓冲区空时，消费者要等待生产者放入产品）
互斥关系（各进程必须互斥访问）

注意

1）设置初始值为1 的互斥信号量
2）设置初始值为0的同步信号量（实现“一前一后”）
3）设置一个信号量，初始值即为资源的数量（本质上也属于“同步问题”，若无空闲资源，则申请资源的进程需要等待进程释放资源后才能继续往下执行）
4）生产者每次要消耗（P）一个空闲缓冲区，并生产(V)一个产品，消费者每次要消耗（P）一个产品，并释放一个空闲缓冲区（V），往缓冲区放入或取出产品需要互斥。

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

伪代码实现

//生产者
producer(){
	while(1)
	{
		生产一个产品;
		P(empty); //申请资源
		P(mutex); //上锁
		把产品放入缓冲区;
		V(mutex); //解锁
		V(full) //增加一个产品
	}
}

//消费者
consumer(){
	while(1)
	{
		P(full); //消耗一个产品（非空缓冲区）
		P(mutex); //上锁
		从缓冲区取出一个产品;
		V(mutex); //解锁
		V(empty); //添加一个空闲缓冲区
		使用产品;
	}
}

将资源申请和上锁顺序交换会出现上面问题？

//生产者
producer(){
	while(1)
	{
		生产一个产品;
		P(mutex); //上锁  
		P(empty); //申请资源	 
		把产品放入缓冲区;
		V(mutex); //解锁
		V(full) //增加一个产品
	}
}

//消费者
consumer(){
	while(1)
	{
		P(mutex); //上锁	
		P(full); //消耗一个产品（非空缓冲区）
		从缓冲区取出一个产品;
		V(mutex); //解锁
		V(empty); //添加一个空闲缓冲区
		使用产品;
	}
}

分析：
若此时缓冲区已经放满产品则empty = 0,full = n
则生产者进程执行P(mutex)后mutex = 0,继续执行P(empty)由于没有空闲缓冲区，因此生产者被阻塞，由于产生阻塞，因此进行进程切换运行消费者进程，消费者进程执行P(mutex)，由于mutex为0，所以生产者还没释放对临界资源的“锁”，因此消费者也被阻塞。
所以这就造成了生产者等待消费者释放空闲缓冲区，而消费者又等待生产者释放临界区的情况，生产者和消费者循环等待被对方唤醒，出现“死锁”。
同样，若缓冲区中没有产品full = 0,empty = n,消费者先执行同样也会造成“死锁”.

总结

实现互斥的操作P一定要在实现同步的P操作后，V操作不会导致进程阻塞，因此两个V操作的顺序可以交换。

二、多生产者和多消费者

问题描述二

桌子上有一个盘子，每次只能向其中投入一个水果，爸爸专向盘子放入苹果，妈妈专向盘子投入橘子，儿子专等着吃盘子中的橘子，女儿专等着吃盘子中的苹果。只有盘子为空时，爸爸或妈妈才可向盘子放入水果。仅当盘子中有自己需要的水果时，儿子或女儿才可以从盘子中取出水果。

问题分析二

进行问题同样我们还是先找出问题中存在的关系
一、互斥关系
对缓冲区（盘子）的访问要互斥的进行
二、同步关系（一前一后）
1）父亲将苹果放入盘子后，女儿才能取出苹果
2）妈妈将橘子放入盘子后，儿子才能取出橘子
3）只有盘子为空时，父亲或母亲才能放入水果

伪代码实现

分析：刚开始儿子、女儿进程即使上处理机也会被阻塞。如果刚开始是父亲进程先上处理机执行则父亲P(plate),获取资源此时plate = 0,此时如果母亲进程执行则会被阻塞等待获取盘子资源，父亲放入苹果后V（apple）,女儿进程被唤醒，其他进程即使运行也会被阻塞，暂时不可能访问临界资源（盘子），当女儿进程执行V(plate)后，母亲获得资源P(plate)将橘子放入盘子中，此时其他进程都无法进入临界资源，母亲执行V（orange）后，儿子进程被唤醒，执行P(orange)，此时父亲进程和其他进程是被阻塞的，当儿子进程V(plate)后，才可以继续执行一直这样循环执行上面操作。

三、吸烟问题

问题描述三

问题分析三

伪代码实现

四、读者与写者问题

问题描述四

问题分析四

伪代码实现

方式一

方式二

总结

对于PV的案例我们关键是要搞清楚问题中存在的相互关系，同步和互斥