Since the first action is atomic, e

Since the first action is atomic, every time the guards are evaluated, flag is found to be false and the second statement is never executed! So the program does not terminate. For a more complete understanding of such issues, we introduce the notion of fairness.

Результаты (русский) 1:

Поскольку первое действие является атомарной, каждый раз, когда охранники оцениваются, флаг оказывается ложным, а второй оператор никогда не выполняется! Поэтому программа не завершается. Для более полного понимания этих вопросов, мы вводим понятие справедливости.

Результаты (русский) 2:

Так как первое действие является атомарным, каждый раз, когда охранники оцениваются, флаг оказывается ложным и второе утверждение никогда не выполняется! Таким образом, программа не завершается. Для более полного понимания этих вопросов, мы вводим понятие справедливости.

Результаты (русский) 3:

после первого действия атомной, каждый раз, когда охранники оценивается, флаг, признаны ложными и второе заявление не казнили!так, программа не прекращается.для более полного понимания этих вопросов, мы введем понятие справедливости.