哲学家进餐问题pv_计算机一一哲学家进餐问题

哲学家进餐问题是操作系统中的经典进程同步问题，在操作系统考试中是常考的重难点，今天给大家分享下哲学家进餐问题的相关PV操作策略。

问题描述：五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在桌子上有五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子，只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。请使用信号量的P、V操作(wait( )、 signal( )操作)描述上述过程中的互斥与同步，并说明所用信号量及初值的含义。

问题分析：放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对筷子的互斥访问，可以用一个信号量表示筷子，由这五个信号量构成信号量数组。

semaphore chopstick[5] = {1,1,1,1,1};

while(true)

{

//当哲学家饥饿时，总是先拿左边的筷子，再拿右边的筷子

wait(chopstick[i]);

wait(chopstick[(i+1)%5]);

// 吃饭

//当哲学家进餐完成后，总是先放下左边的筷子，再放下右边的筷子

signal(chopstick[i]);

signal(chopstick[(i+1)%5]);

}

上述的代码可以保证不会有两个相邻的哲学家同时进餐，但却可能引起死锁的情况。假如五位哲学家同时饥饿而都拿起的左边的筷子，就会使五个信号量chopstick都为0，当他们试图去拿右手边的筷子时，都将无筷子而陷入无限期的等待。

为避免死锁，可以使用以下三种策略：

策略一：至多只允许四个哲学家同时进餐，以保证至少有一个哲学家能够进餐，最终总会释放出他所使用过的两支筷子，从而可使更多的哲学家进餐。定义信号量count，只允许4个哲学家同时进餐，这样就能保证至少有一个哲学家可以就餐。

semaphore chopstick[5]={1,1,1,1,1};

semaphore count=4; // 设置一个count，最多有四个哲学家可以进来

void philosopher(int i)

{

{

think();

wait(count); //请求进入房间进餐 当count为0时 不能允许哲学家再进来了

//请求左手边的筷子

//请求右手边的筷子

eat();

//释放左手边的筷子

//释放右手边的筷子

signal(count); //离开饭桌释放信号量

}

}

策略二：仅当哲学家的左右两支筷子都可用时，才允许他拿起筷子进餐。可以利用AND 型信号量机制实现，也可以利用信号量的保护机制实现。利用信号量的保护机制实现的思想是通过记录型信号量mutex对取左边和右边筷子的操作进行保护，使之成为一个原子操作，这样可以防止死锁的出现。描述如下：

semaphore mutex = 1; // 这个过程需要判断两根筷子是否可用，并保护起来

semaphore chopstick[5]={1,1,1,1,1};

void philosopher(int i)

{

{

think();

wait(mutex); // 保护信号量

// 请求左手边的筷子

// 请求右手边的筷子

signal(mutex); // 释放保护信号量

// 释放左手边的筷子

// 释放右手边的筷子

}

}

策略三：规定奇数号的哲学家先拿起他左边的筷子，然后再去拿他右边的筷子；而偶数号的哲学家则先拿起他右边的筷子，然后再去拿他左边的筷子。按此规定，将是1、2号哲学家竞争1号筷子，3、4号哲学家竞争3号筷子。即五个哲学家都竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一个哲学家能获得两支筷子而进餐。

semaphore chopstick[5]={1,1,1,1,1};

void philosopher(int i)

{

{

think();

if(i%2 == 0) //偶数哲学家，先右后左。

{

wait (chopstick[(i + 1)%5]) ;

wait (chopstick[i]) ;

signal (chopstick[(i + 1)%5]) ;

signal (chopstick[i]) ;

}

else //奇数哲学家，先左后右。

{

wait (chopstick[i]) ;

wait (chopstick[(i + 1)%5]) ;

signal (chopstick[i]) ;

signal (chopstick[(i + 1)%5]) ;

}

}

}

真题练习：有n(n≥3)位哲学家围坐在一张圆桌边，每位哲学家交替地就餐和思考。在圆桌中心有m(m≥1)个碗，每两位哲学家之间有1根筷子。每位哲学家必须取到一个碗和两侧的筷子之后，才能就餐，进餐完毕，将碗和筷子放回原位，并继续思考。为使尽可能多的哲学家同时就餐，且防止出现死锁现象，请使用信号量的P、V操作(wait( )、 signal( )操作)描述上述过程中的互斥与同步，并说明所用信号量及初值的含义。(2019年计算机统考真题)