题目：关于临界问题的一个算法

[kaqiusha001]

题目：
(假设只有进程P0和P1可能进入该临界区)，如下(i为0或1)，它的算法如下：

Repeat
retry
if(turn不等于负1)
turn:=i;

if(turn不等于i)
go to retry;

turn:=负1;
临界区

turn:=0;
其他区域

until false;


书中的解释说： 不能保证进程互斥进入临界区，且会出现“饥饿”现象。


我的问题是：
1请问，在本例子中，“饥饿”是如何表现出来的啊
2请问，“饥饿”和“互斥”有什么区别吗，

请会此算法的人帮助。

[sunbett]

饥饿是说某进程一直不能得到资源的状态。
互斥是说某资源是临界资源，禁止共享。
这两个差别挺大的

[kaqiusha001]

好的，我回去在理解体会一下