哲学家就餐问题PV算法

Question

如题所述

Answer 1

设fork[5]为5 个信号量，初值为均1
设信号量S ，用于封锁第5个哲学家，初值为4。
Philosopheri：
while (1)
{ 思考;
P(S);
P(fork[i]);
P(fork[(i+1) % 5]);
进食;
V(fork[i]);
V(fork[(i+1) % 5]);
V(S);
}
解二：
设fork[5]为5 个信号量，初值为均1。
Philosopher1：
while (1)
{ 思考;
P(fork[1]);
P(fork[2]);
进食;
V(fork[2]);
V(fork[1]);
}

Philosopher2：
while (1)
{ 思考;
P(fork[3]);
P(fork[2]);
进食;
V(fork[2]);
V(fork[3]);
}