одно программное решение для критического раздела и проблемы

Question

Wait (i) { 
     c[i]=false; 
     while (c[1-i]) do; 
} 


Signal (i) { 
    c[i]=true; 
} 

Каждый процесс пытается войти в критический раздел (CS) для бесконечного времени. (i) для ввода CS и Signal (i) для выхода из CS. i в {0,1} - ряд процессов. C - массив с длиной = 2 из двоичной переменной, инициализируемой True.

Какой из них неверно:

а) это решение удовлетворяет взаимоисключение.

b) это решение удовлетворяет ограниченному ожиданию.

c) это решение удовлетворяет всем условиям для CS.

d) это решение удовлетворило ход выполнения.

Мой профессор говорит (с) правильно. но я думаю, что (a), (b), (c), (d) правильны для этого вопроса. любой может мне помочь.

Answer 1

(a) неверно: если оба процесса вызывают Wait, они устанавливают флаг другого в false и могут пересекать цикл.

Но тогда (c) также является ложным.