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.
Note that for a given program with a predefined initial state, the set of possible schedule of actions (also called executions or behaviors) under a weakly fair scheduler is a subset of the set of possible schedule of actions under a strongly fair scheduler. On one side, this implies that from a given initial configuration A0, any state Ak that is reachable under a weakly fair scheduler is also reachable under a strongly fair scheduler. However, on the other side, the additional feasible executions under a strongly fair scheduler may some- times affect program termination, when these executions have the potential to lead the system through a cycle of nonterminal configurations.
It is possible to come across many other types of schedulers in common applications. An example is a FIFO scheduler. A FIFO scheduler guarantees that between two consecutive executions of one action, every other action with an enabled guard gets the opportunity to execute once. If there is a mechanism to order the instants at which the guards were enabled, then FIFO scheduling guarantees that the corresponding actions are executed in that order. In real-time systems, fairness can be specified using physical clocks—for example, “engine number 2 must start 12 seconds after the blast-off of the spacecraft” specifies a stringent fairness property.

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

Обратите внимание на разницу между этими двумя типами планировщиков. Охранник х в программе ярмарки не остается включен, но включен бесконечно часто так сильно справедливым планировщик должен в конечном итоге выполнить третье действие B: = ЛОЖЬ, что сводит на нет первые два охранника. На том же самом основании, он в конечном итоге также выполняет четвертое действие, после чего завершает программу.
Во всех этих примерах все охранявшие действия принадлежат одному и тому же процессу, тем не менее, это не является необходимым. Одни и те же определения справедливости будет применяться , когда охраняемого действия принадлежат различным процессам в сети или охранники включают в себя переменные из пары соседних процессов.
Следует отметить , что для данной программы с заданным начальным состоянием, набор возможных график действий ( также называют казни или поведения) при слабо справедливой планировщик представляет собой подмножество множества возможных графика действий под сильно справедливого планировщика. С одной стороны, это означает , что из заданного начального конфигурации A0, любое состояние Ak , который достижим при слабо справедливой планировщик также достижимы при сильно справедливой планировщик. Однако, с другой стороны, дополнительные возможные казни под сильно справедливый планировщик может иногда повлиять на завершение программы, когда эти казни имеют потенциал , чтобы привести систему через цикл нетерминальными конфигураций.
Можно встретить много других типов планировщиков в общих приложениях. Примером может служить планировщик FIFO. FIFO планировщик гарантирует , что между двумя последовательными выполнений одного действия, каждое другое действие с задействованной охранник получает возможность выполнить один раз. Если есть механизм заказать моменты , на которых были включены охранники, затем ФИФО гарантии планирования , что соответствующие действия выполняются в указанном порядке. В системах реального времени, справедливость можно задать с помощью физических часов, например, "номер двигателя 2 должен начать 12 секунд после того , как взлет космического корабля" определяет строгую справедливость свойства.

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

примечание различие между двумя видами планировании.охранник X в программе ярмарки не остается возможность, но не позволяет бесконечно часто так сильно справедливых планировщик, должны в конечном итоге выполнить третье дело B: = false, которые сводят на нет первых двух охранников.на том же основании, но и в конечном итоге исполняет четвертой действий, после которых программа заканчивается.во всех этих примеров, которые охраняют акции принадлежат к одной и той же процесс, однако это не является необходимым.те же определения справедливости будет применяться в тех случаях, когда охраняемые действия принадлежат отдельных процессов в сети или охранники относятся переменные из пары соседних процессов.следует отметить, что для данной программы с заранее первоначальное состояние, набор возможных план действий (также называемого казней или поведения), в соответствии с слабо справедливых планировщик является частью комплекса возможных график мероприятий в рамках решительно справедливых планировщик.с одной стороны, это означает, что из данной начальной конфигурации а0, любое государство, ак, который доступен в слабо справедливых планировщик, также доступен в решительно справедливых планировщик.однако, с другой стороны, дополнительные возможности казни под решительно справедливых планировщик, возможно, некоторые - время на завершение программы, когда эти казни могут привести систему в рамках цикла nonterminal конфигураций.можно зайти во многих других видов для общего применения.примером является FIFO планировщик.а FIFO планировщик гарантирует, что между двумя подряд казни одного из действий, все остальные действия с позволило караул получает возможность исполнить один раз.имеется ли механизм, чтобы мгновения, на котором охранники была включена, тогда FIFO расписание гарантий того, что соответствующие меры осуществляются в порядке.в режиме реального времени систем, справедливость может быть определена с использованием физической часы, например, "номер двигателя 2 должны начать 12 секунд после взлета из космических аппаратов" устанавливает строгие справедливости имущество.