The examples illustrated in the pre

The examples illustrated in the previous section dealt with a single process, whose program consists of one or more guarded actions. We will now examine the various possibilities of scheduling actions in a network of processes.
Since each individual process has a local scheduler, one possibility is to leave the scheduling decisions to these individual schedulers, without attempting any kind of global coordination. This is most natural and characterizes distributed schedulers.
Consider the system of two processes in Figure 4.2. This system uses the state-reading model. Each process i has a Boolean variable x[i] and their initial values are arbitrary. The goal is to lead the system to a configuration in which the condition x[0] = x[1] holds. To meet this goal, assume that process i executes the following program:

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

Примеры , представленные в предыдущем разделе рассматривается единый процесс, программа которого состоит из одного или более действий , охраняемого. Теперь мы рассмотрим различные возможности планирования действий в сети процессов.
Поскольку каждый отдельный процесс имеет локальный планировщик, одним из возможных вариантов является оставить решения планирования для этих отдельных планировщиков, без попытки какой - либо глобальной координации. Это наиболее естественный и характеризует распределенных планировщиков.
Рассмотрим систему двух процессов на рисунке 4.2. Эта система использует государственную чтения модели. Каждый процесс имеет я логическую переменную х [I] и их начальные значения являются произвольными. Цель состоит в том, чтобы привести систему к конфигурации , в которой условие х [0] = х [1] имеет место. Для достижения этой цели, предположим , что процесс я выполняет следующую программу:

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

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