Note that for a given program with

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:

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

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

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