The semantics of a distributed comp

The semantics of a distributed computation depend on specific assumptions about atomicity and scheduling policies. In the absence of a complete specification, the weakest possible assumptions hold.
To illustrate the importance of atomicity and scheduling policies, let us take a second look at program switch in Section 4.3. Will this program terminate with a strongly fair scheduler, since the variable flag becomes true infinitely often? With the assumption about the atomicity of each guarded action, the answer is no. In fact, a weakly fair scheduler also does not guarantee termination. This is because an atomic statement is indivisible by definition, so each time the value of flag is monitored, it is found to be false.
Termination of program switch (Section 4.3) is possible with a strongly fair scheduler, when we split the first guarded statement as follows:

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

Семантика распределенных вычислений зависит от конкретных предположений о атомарность и политики планирования. В отсутствие полной спецификации слабые возможности допущения провести.Чтобы проиллюстрировать важность атомарность и политики планирования, давайте рассмотрим второй переключатель программы в разделе 4.3. Эта программа заканчивается сильно справедливый планировщик, так как переменная флага бесконечно часто становится истинным? С предположением о атомарность каждой охраняемой действия, ответ-нет. В самом деле слабо равномерный планировщик также не гарантирует прекращение. Это потому, что atomic заявление является неделимой по определению, поэтому каждый раз значение флага контролируется, он оказывается ложной.Прекращение программы переключателя (раздел 4.3) возможно с сильно справедливый планировщик, когда мы делим первый охраняемый заявление следующим образом:

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

Семантика распределенного вычисления зависят от конкретных предположений о атомарности и планирования политики. При отсутствии полной спецификации, самые слабые возможные предположения провести.
Чтобы проиллюстрировать важность атомарности и планирования политики, давайте посмотрим на второй переключателя программ в разделе 4.3. Будет ли эта программа завершится с сильно справедливой планировщик, так как переменная флаг становится истинным бесконечно много раз? В предположении о атомарностью каждого охраняемого действия, ответа нет. На самом деле, слабо справедливым планировщик также не гарантирует прекращения. Это объясняется тем , что атомная утверждение неделимой по определению, поэтому каждый раз , когда значение флага контролируется, она оказывается ложной.
Прекращение программы коммутатора (раздел 4.3) возможно с сильно справедливый планировщик, когда мы разбили первый охраняемый заявление следующим образом :

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

семантика распределенных вычислений зависят от конкретных предположений о атомарность и планирования политики.в отсутствие полного уточнения, слабым возможных предположений, подождите.чтобы проиллюстрировать важность атомарность и планирования политики, позвольте взглянуть на программу, перейти в раздел 4.3.будет эта программа расторгнуть с решительно справедливых планировщик, поскольку регулятор флага становится так бесконечно часто?с предположением о атомарность друг охранял действий, нет. на самом деле, слабо справедливых планировщик, также не гарантирует прекращение.это потому, что атомная заявление является неделимой, по определению, таким образом, каждый раз, когда стоимость флаг контролируется, было признано ложным.прекращение Program Switch (раздел 4.3) можно с самым справедливым планировщик, когда мы расстались впервые охраняют заявления, а именно: