问答题
试利用记录型信号量写出一个不会出现死锁的哲学家进餐问题的解决算法。
【正确答案】此题主要考查进程控制过程中的信号量技术的运用。设初始值为1的信号量c[I]表示I号筷子被拿(I=1，2，3，4，…，2n)，其中n为自然数。
send(I);
begin
if I rood 2 == 1 then{
P(c[I]);
P(c[I-1 rood 5]);
Eat;
V(c[I-1 mod 5]);
V(c[I]);
}
else{
P(c[I-1 rood 5]);
P(c[I]);
Eat;
V(e[I]);
V(c[I-1 rood 5]);
}
end
【答案解析】