algorithm - 操作系统 : Does the following algorithm comply with the conditions to have processes adequately progressing?

Question

“给定以下两个进程 0 和 1 的算法:

Process (i)
REPEAT WHILE Interest [j] = 1 DO;
START
     Interest [i]:=1;
     Critical Section;
     Interest [i]:=0;
     Non-critical Section;
END

其中 i=0,1; j=1-i;, Interest 是大小为 2 的共享变量向量，初始化为 0。

检查是否满足互斥要求。该算法是否符合使过程充分进行的条件？”

你能帮我从我的操作系统类中推理出这个问题吗？

Answer 1

算法确实保证进步，但不保证互斥。很明显，当两个进程同时尝试进入临界区时，它们都会成功进入临界区，原因是:

Interest [0] := 0 和 Interest [1] := 0，因此这两个过程都将退出 while 循环。