proces P0: proces P1:
while (true) while (true)
{ {
flag[0] = true; flag[1] = true;
while (flag[1]) while (flag[0])
{ {
flag[0] = false; flag[1] = false;
flag[0] = true; flag[1] = true;
} }
crit0(); crit1();
flag[0] = false; flag[1] = false;
rem0(); rem1();
} }
有人可以给我一个带有上下文切换的场景,以证明上述代码是否满足进度和有限等待的要求。
谁能给我一些关于如何检测代码是否满足进度或有限等待要求的提示(可能包括饥饿、死锁和追随你)