Note the difference between the two

Note the difference between the two types of schedulers. The guard x in program fair does not remain enabled, but is enabled infinitely often—so a strongly fair scheduler must eventually execute the third action b := false, which negates the first two guards. On the same ground, it also eventually executes the fourth action, after which the program terminates.
In all these examples, all guarded actions belong to the same process—however, this is not necessary. The same definitions of fairness will apply when the guarded actions belong to distinct processes in a network or the guards include variables from a pair of neighboring processes.

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

Обратите внимание на разницу между двумя типами планировщиков. Охранник x в программе ярмарки не включен, но включен бесконечно часто — так сильно справедливый планировщик должен в конечном итоге выполнить третье действие b: = false, который отрицает первых двух охранников. На том же месте в конечном счете выполняет четвертое действие, после чего программа завершает работу.Во всех этих примерах все охраняемые действия принадлежат к такой же процесс, однако это не является необходимым. Одинаковые определения справедливости будет применяться, когда охраняемые действия принадлежат различные процессы в сети или охранники включают переменные из пары соседних процессов.

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

Обратите внимание на разницу между этими двумя типами планировщиков. Охранник х в программе ярмарки не остается включен, но включен бесконечно часто так сильно справедливым планировщик должен в конечном итоге выполнить третье действие B: = ЛОЖЬ, что сводит на нет первые два охранника. На том же самом основании, он в конечном итоге также выполняет четвертое действие, после чего завершает программу.
Во всех этих примерах все охранявшие действия принадлежат одному и тому же процессу, тем не менее, это не является необходимым. Одни и те же определения справедливости будет применяться , когда охраняемого действия принадлежат различным процессам в сети или охранники включают в себя переменные из пары соседних процессов.

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

примечание различие между двумя видами планировании.охранник X в программе ярмарки не остается возможность, но не позволяет бесконечно часто так сильно справедливых планировщик, должны в конечном итоге выполнить третье дело B: = false, которые сводят на нет первых двух охранников.на том же основании, но и в конечном итоге исполняет четвертой действий, после которых программа заканчивается.во всех этих примеров, которые охраняют акции принадлежат к одной и той же процесс, однако это не является необходимым.те же определения справедливости будет применяться в тех случаях, когда охраняемые действия принадлежат отдельных процессов в сети или охранники относятся переменные из пары соседних процессов.