If the scheduler is unfair, then it

If the scheduler is unfair, then it is not impossible for it to always schedule the first action even if the guard of the second action remains true. As a result, the value of x may never be 1 or 2.
Unconditionally fair scheduler. A scheduler is unconditionally fair when each statement is
eventually* scheduled, regardless of the value of its guard.
This version of fairness deals with scheduling at the statement level. All unconditional statements will eventually be scheduled for execution. However, an action that is scheduled is executed only if its guard is true at that time; otherwise, it is ignored. An unconditionally fair scheduler is a primitive version of a fair scheduler that intends to give every action a fair chance to execute. Thus, in the program test, an unconditionally fair scheduler may schedule the guarded action x = 1 → x := 2 at a time when x = 0, but clearly, the action will not be executed. However, the action x = 0 → x := 1 will definitely be executed when it is scheduled. As an example, consider the scheduling of n processes in a multiprogrammed uniprocessor. Traditional scheduling policies reflect unconditional fairness, which guarantees that processor time is allocated to each of the n processes infinitely often. More refined version of schedulers pay attention to the guards while scheduling an action. This leads to
the concepts of weakly fair and strongly fair schedulers.
Weakly fair scheduler. A scheduler is weakly fair when it eventually schedules every guarded action whose guard becomes true and remains true thereafter.
Consider the program test again. Initially, only the first action is guaranteed to execute. After this, the condition x = 0 holds, so the guards of the first two actions remain enabled. The weakly fair scheduler will eventually schedule each of these two actions. Once the second action is executed, the condition x = 1 holds, which asserts the guard of the third action while the first guard remains enabled. So the scheduler has to choose between the first and the third actions. If the scheduler chooses the first action, then the guard of the third action again becomes disabled. In a valid execution, the weakly fair scheduler may schedule the first two actions infinitely often, but may never schedule the third action, since its guard does not remain enabled.

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

Если планировщик является несправедливым, то это не невозможно для того, чтобы всегда планировать первое действие, даже если охранник второго действия остается истинным. В результате значение x не может быть 1 или 2.Безоговорочно fair scheduler. Планировщик является безусловно справедливым, когда каждое заявлениев конце концов * запланировано, вне зависимости от значения его гвардии.Эта версия справедливости занимается планированием на уровне инструкций. Все безоговорочного заявления в конечном итоге будет запланирована для выполнения. Однако выполняется действие, запланированное, только если его охранник имеет значение true в то время; в противном случае оно игнорируется. Безусловно равномерный планировщик является примитивной версией справедливый планировщик, который намеревается дать справедливый шанс выполнить каждое действие. Таким образом, в программе испытаний, безусловно справедливый планировщик может запланировать охраняемом действие x = 1 → x: = 2 в то время, когда x = 0, но явно, действие не будет выполняться. Однако действие x = 0 → x: = 1 определенно будет выполнен, когда планируется. В качестве примера рассмотрим планирование n процессов в многопрограммного однопроцессорный. Традиционная политика планирования отражает безусловной справедливости, который гарантирует, что процессорное время выделяется для каждой из n процессов бесконечно часто. Более изысканной версии планировщиками обращать внимание на охранников при планировании действий. Это приводит кконцепции слабо справедливой и сильно ярмарка планировщиков.Слабо равномерный планировщик. Планировщик является слабо ярмарка, когда она в конечном итоге планирует каждый охраняемый действие, чья гвардия становится true и остается true после этого.Рассмотрим программу тест еще раз. Первоначально только первое действие гарантирует выполнение. После этого, условие x = 0 держит, поэтому охранники первых двух действий остаются включенными. Слабо равномерный планировщик в конечном итоге будет планировать каждый из этих двух действий. После того, как выполняется второе действие, условие x = 1 держит, которые, как утверждает гвардии третьего действия, в то время как первый охранник остается включенным. Таким образом планировщик должен выбирать между первым и третьим действий. Если планировщик выбирает первое действие, охранник третьего действия снова отключается. В действительный исполнении слабо равномерный планировщик может запланировать первые два действия бесконечно часто, но никогда не может планировать третье действие, так как его охранник не включен.

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

Если планировщик несправедливо, то это не является невозможным для того , чтобы всегда запланировать первое действие , даже если охранник второго действия остается верным. В результате величина х никогда не может быть 1 или 2.
Безоговорочно справедливым планировщик. Планировщик безусловно справедливо , когда каждое утверждение в
конце концов * запланировано, независимо от значения его охраны.
Эта версия справедливости имеет дело с планированием на уровне оператора. Все безусловные заявления будут в конечном итоге быть запланированы для выполнения. Тем не менее, это действие, которое запланировано выполняется только тогда , когда его охранник верно в то время; в противном случае, он игнорируется. Безусловно справедливо планировщик является примитивный вариант справедливого планировщика , который намерен дать каждое действие справедливый шанс для выполнения. Таким образом, в тесте программы заложена безусловно справедливым планировщик может планировать охраняемую действие х = 1 → х: = 2 в то время , когда х = 0, но очевидно, что действие не будет выполнено. Тем не менее, действие х = 0 → х: = 1, безусловно , будет выполняться , когда это планируется. В качестве примера, рассмотрим планирование п процессов в multiprogrammed однопроцессорной. Традиционные политики планирования отражают безусловную справедливость, которая гарантирует , что процессорного времени выделяется каждому из п процессов бесконечно часто. Более изысканный вариант планировщиков обратить внимание на охранников во время планирования действия. Это приводит к
понятиям слабо справедливым и сильно справедливым планировщиков.
Слабосвязанные справедливый планировщик. Планировщик слабо справедливо , когда он в конце концов расписания каждый охранял действие которого охранник становится истинным и остается верным в дальнейшем.
Рассмотрим тест программы снова. Первоначально, только первое действие гарантированно выполняется. После этого условие х = 0, так что охранники первых двух действий остаются включенными. Слабо справедливым планировщик будет в конечном счете планировать каждый из этих двух действий. После того , как второе действие выполняется условие х = 1 имеет место, которая утверждает охранник третьего действия , пока первый охранник остается включенным. Таким образом, планировщик должен выбирать между первым и третьим действиями. Если планировщик выбирает первое действие, то охранник третьего действия снова становится инвалидом. В действительного исполнения, слабо справедливым планировщик может планировать первые два действия бесконечно часто, но никогда не может планировать третье действие, так как его охранник не остаются включенными.

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

если планировщик несправедливо, то он не сможет всегда расписание первого действия, даже если охранник из второго действия по - прежнему правда.в результате стоимость X, возможно, никогда не будет 1 или 2.безоговорочно справедливых планировщик.а планировщик, безусловно, справедливо, когда каждое заявлениев конечном итоге * запланировано, независимо от того, стоимость его охраны.в этой версии справедливости занимается графика в связи с заявлением, уровне.все заявления будут в конечном счете не запланировано для исполнения.однако действие, которое намечено осуществляется только в том случае, если его охранника, правда в это время; в противном случае, это игнорировать.в качестве безоговорочно справедливых планировщик является примитивным вариант справедливой планировщик, что намерен дать каждый шанс исполнить.таким образом, в программе испытаний, безоговорочно справедливых планировщик может запланировать охраняемом действий x = 1 - x = 2, в то время когда x = 0, но очевидно, что меры, не будет.однако действия x = 0 - x = 1, несомненно, будет осуществляться в тех случаях, когда это было запланировано.например, рассмотреть расписание N процессы в многопрограммный однопроцессорных.традиционные график политика отражает безусловного справедливости, которая гарантирует, что процессор будет выделено время для каждого из N процессы гораздо чаще.более точный вариант для уделять внимание охранников и планирования действий.это приводит кконцепции слабо справедливых и решительно справедливой для.слабо справедливых планировщик.а планировщик - слабо справедливых когда она в конечном итоге графики каждый охраняют действий, охранник становится так и остается верным и в последующий период.рассмотреть программу тест еще раз.первоначально, только первое действие гарантируется казнить.после этого, состояние x = 0 занимает, поэтому охранники первых двух действия остаются включена.в слабо справедливых планировщик в конечном итоге расписание каждой из этих двух мер.после того, как второй действий осуществляется, состояние x = 1 содержит, в котором утверждалось, страж третьего действия, в то время как первым охранником, остается возможность.это планировщик пришлось выбирать между первой и третьей меры.если планировщик выбирает первый действий, тогда страж третьего действия снова становится инвалидом.в силу исполнения, слабо справедливых планировщик может запланировать первые два действия бесконечно часто, но никогда не может запланировать третий иск, поскольку его охранника не остается возможность.