操作系统-PV操作-独木桥问题

前言

在操作系统中，使用pv操作实现进程的同步和互斥是进程管理的重要内容。pv操作不仅是本科学习阶段的重难点，也是研究生入学考试的一个重点考察知识。今天跟大家带来一个常见的pv操作题，题目描述如下：

问题描述

东西向汽车过独木桥，为了保证安全，只要桥上无车，则允许一方的汽车过桥，待一方的车全部过完后， 另一方的车才允许过桥。请用信号量和 P、V操作写出过独木桥问题的同步算法。

解决思路

这是一道读者写者问题的变种问题，和我们读者写者问题中的读者进程的思路是一致的。我们先整理一下思路：东侧第一个人先看一下桥对面有没有人上桥，假如说对面桥上已经有人了，则他就等待；如果没有人，则他就上桥，此时占领桥，让东侧对面的人不要再上，但和他同侧的人可以源源不断地上桥下桥，等到最后一个下桥，则由最后一个人释放桥。西侧完全相同。
很明显，东西两侧的人都是平等的，是有两个相同的“读者进程”构成。
设置一个互斥信号量，实现对桥的互斥访问。
设置两个int值，分别记录东西两侧的桥上人数，来判断是否是第一个个人，和最后一个人。
设置两个互斥量，来实现对人数的互斥访问。

伪代码实现

//独木桥问题1
semaphore brigde = 1；  // 互斥信号量，表示独木桥的互斥访问
int eastCount = 0;       // 东侧车辆在独木桥上的数量
semaphore eastMutex = 1; // 东侧车辆的互斥信号量，保证eastCount操作的完整执行
int westCount = 0;       // 西侧车辆在独木桥上的数量
semaphore westMutex = 1; // 西侧车辆的互斥信号量，保证westCount操作的完整执行

process 东： 
while（1）{
	P(eastMutex);
	eastCount++;
	if(eastCount == 1)  // 东侧第一个准备上桥的车去抢夺独木桥
		P(brigde);
	V(eastMutex);
	//上桥
	//下桥
	P(eastMutex);
	eastCount--;
	if(eastCount == 0)  // 东侧最后一个已经下桥的车去释放独木桥
		V(bridge);
	V(eastMutex);
}



process 西： 
while（1）{
	P(westMutex);
	westCount++;
	if(westCount == 1)  // xi侧第一个准备上桥的车去抢夺独木桥
		P(brigde);
	V(westMutex);
	//上桥
	//下桥
	P(westMutex);
	westCount--;
	if(westCount == 0)  // 西侧最后一个已经下桥的车去释放独木桥
		V(bridge);
	V(westMutex);
}

改造题型

如上所述，加入说东侧的第一个人上桥，占领桥之后，还未下桥，那东侧可以有无数个车辆上桥。如果说为了安全起见，我们不允许无数辆汽车上桥，只允许K辆汽车同时在桥上。该问题的完整描述如下：
东西向汽车过独木桥，为了保证安全，只要桥上无车，则允许一方的汽车过桥，待一方的车全部过完后， 另一方的车才允许过桥。为了安全起见，最多允许K（K>=1）辆汽车在桥上。请用信号量和 P、V操作写出过独木桥问题的同步算法。

解决思路

我们对思路做简单调整，只需要增加一个记录型信号量，用来记录同时在桥上的车辆即可。

伪代码实现

//独木桥问题2，最多有k辆汽车
semaphore brigde = 1；  // 互斥信号量，表示独木桥的互斥访问
int eastCount = 0;       // 东侧车辆在独木桥上的数量
semaphore eastMutex = 1; // 东侧车辆的互斥信号量，保证count1操作的完整执行
int westCount = 0;       // 西侧车辆在独木桥上的数量
semaphore westMutex = 1; // 西侧车辆的互斥信号量，保证count2操作的完整执行
semaphore count=k		 //桥上最多有K辆汽车
process 东： 
while（1）{
	P(eastMutex);
	eastCount++;
	if(eastCount == 1)  // 东侧第一个准备上桥的车去抢夺独木桥
		P(brigde);
	V(eastMutex);
	p（Count）
	//上桥，下桥			
	V（Count）			
	P(eastMutex);
	eastCount--;
	if(eastCount == 0)  // 东侧最后一个已经下桥的车去释放独木桥
		V(bridge);
	V(eastMutex);
}



process 西： 
while（1）{
	P(westMutex);
	westCount++;
	if(westCount == 1)  // xi侧第一个准备上桥的车去抢夺独木桥
		P(brigde);
	V(westMutex);
	p（Count）
	//上桥，下桥			
	V（Count）
	P(westMutex);
	westCount--;
	if(westCount == 0)  // 西侧最后一个已经下桥的车去释放独木桥
		V(bridge);
	V(westMutex);
}

总结

上述提到的独木桥问题是读者写者问题的变种，从这个问题中衍生出来了飞机起飞问题，幼儿园小朋友做游戏问题等。饮水思源，所以，读者写者问题是教材中重点提过的内容。希望大家能仔细阅读。