With the initial values of x as sho

With the initial values of x as shown in Figure 4.2, both processes have enabled guards. Using the distributed scheduler model, each process can take independent scheduling decisions as shown in Figure 4.3. Here, it is not impossible for each process i to concurrently read the state of the other process, detect that the guard is true, and eventually complement x[i]. As a result, the computation may potentially run forever and the goal is never reached.
The other scheduling model is based on the interleaving of actions. It assumes the presence of an invisible demon* that coordinates actions on a global basis. In particular, this demon finds out all the guards that are enabled, arbitrarily picks any one of these guards, schedules the corresponding action, and waits for the completion of this action before reevaluating the guards. This is the model of a central scheduler or a serial scheduler. With reference to Figure 4.2 again, if the central scheduler chooses process 0, then until x[0] has changed from true to false, process 1 cannot evaluate the guard or execute an action. So the computation terminates and the goal is reached in one step. This illustrates that the choice of the type of scheduler can make a difference in the behavior of a distributed system.

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

С начальными значениями x, как показано на рисунке 4.2, оба эти процесса позволили охранников. Использование модели распределенного планировщика, каждый процесс может принимать самостоятельные решения планирования как показано на рисунке 4.3. Здесь, это не для каждого процесса невозможно одновременно читать состояние другого процесса, обнаружить что охранник это правда и в конечном итоге дополнения x [i]. В результате вычисления потенциально может работать вечно, и никогда не достигнута цель.Другая модель планирования на основе интерливинга действий. Она предполагает наличие невидимого демона * который координирует действия на глобальной основе. В частности этот демон обнаруживает все охранники, которые включены, произвольно выбирает один из этих охранников, планирует соответствующие действия и ожидает завершения этого действия перед переоценка охранников. Это модель центрального планировщика или последовательный планировщик. Со ссылкой на рисунок 4.2 снова если Центральный планировщик выбирает процесс 0, затем до x [0] изменилось с true на false, процесс 1 не может оценить охранника или выполнить действие. Прекращает вычисление и цель будет достигнута в один шаг. Это показывает, что выбор типа планировщика может сделать разницу в поведении распределенной системы.

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

При исходных значениях х , как показано на рисунке 4.2, оба процесса позволили охранникам. Использование распределенной модели планировщика, каждый процесс может принимать самостоятельные решения о планировании , как показано на рисунке 4.3. Вот, это не является невозможным для каждого процесса я , чтобы одновременно читать состояние другого процесса, обнаружить , что охранник верно, и в конечном итоге дополняют х [I]. В результате, вычисление может потенциально работать вечно , и цель никогда не достигается.
Другая модель планирования основана на чередовании действий. Это предполагает наличие невидимого демона * , которая координирует действия на глобальной основе. В частности, этот демон выясняет все охранники, которые включены, произвольно выбирает любой из этих охранников, расписание соответствующее действие, и ожидает завершения этого действия до пересматривают охранников. Это модель центрального планировщика или последовательный планировщик. Со ссылкой на рисунок 4.2 снова, если центральный планировщик выбирает процесс 0, а затем до х [0] не изменился по сравнению с верным ложным, процесс 1 не может оценить охрану или выполнить действие. Таким образом, вычисление заканчивается и цель достигнута за один шаг. Это свидетельствует о том , что выбор типа планировщика может иметь значение в поведении распределенной системы.

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

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