操作系统：过桥问题

题目
一些猪正试图穿过峡谷。一根绳子穿过沟壑，猪可以手牵手交叉。最多可以有五头猪。绳子随时都有。如果超过五个，绳子就会断，他们都会死。而且，如果东移的猪遇到西移的猪，所有的猪都会掉下来死去。每个pig在一个单独的线程中操作，该线程执行以下代码：

typedef enum {
   EAST, WEST} Destination ;
void pig(int id, Destination dest) {
   
	WaitUntilSafeToCross(dest);
	CrossRavine(id, dest);
	DoneWithCrossing(dest);
}

变量id保存一个唯一的数字来标识该猪。CrossRavine（int pigid，Destination d）是提供给您的同步调用，当呼叫猪已安全到达目的地。使用信号量实现WaitUntilSafeToCross（Destination d）和DoneWithCrossing(Destination d)。
( a ) 确保：
i）最多5头猪同时执行CrossRavine（）。
ii）所有在CrossRavine（）执行的猪都朝同一方向前进。
iii）任何猪不得不必要地等待。（这样，可以最大化吞吐量）

( b ) 代替最大化吞吐量，（b）的解决方案应该确保没有饥饿（（a）中的前两个条件仍然适用）也就是说，猪不应该永远在峡谷里等着。可以假设信号量的等待队列是FIFO队列。

( c ) 现在我们让学生们越过峡谷，而不是猪。因为学生比猪聪明得多，所以假设学生的方向不同方向可以同时在绳子上。编写一个信号量实现，确保满足以下要求。
i) 最多M名向东移动的学生同时执行CrossRavine（）
ii) 最多N名向西移动的学生同时执行CrossRavine（）
iii) 最多有K名学生同时执行CrossRavine（）
iv)在上述条件下，解决方案应最大限度地提高吞吐量。

答案
( a )

semaphore mutex = 1;//桥的同步信号量
semaphore mutex_east = 1;//东边过桥数量互斥信号量
semaphore mutex_west = 1;
int eastcount = 0;
int westcount = 0;
semaphore max = 5;//最多同时5个
void WaitUntilSafeToCross(dest) {
   
	if(dest == EAST) {
   
		P