Proof: The snapshot algorithm recor

Proof: The snapshot algorithm records a state SSS′ that consists of the states of every process when it turned red. Let w(i) and r(i) denote, respectively, the last white action and the first red action by process i. Without loss of generality, assume that an observer records the following partial schedule of actions (see Figure 8.4b) with processes i, j, k, l, …:

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

Доказательство: Алгоритм моментального снимка записывает состояние SSS′, состоящий из государств каждого процесса, когда он стал красным. Пусть w(i) и r(i) обозначают, соответственно, последние действия белых и первый красный действия процесса я. Без потери общности, предположим, что наблюдатель записывает следующее частичное расписание действий (см. рис. 8.4b) процессы i, j, k, l,...:

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

Доказательство: Алгоритм снимка записывает состояние SSS ', состоящее из состояний каждого процесса, когда он стал красным. Пусть ш (I) и R (I) обозначают, соответственно, последний белый действие и первый красный действия процесса я. Не ограничивая общности, предположим, что наблюдатель регистрирует следующий частичный график действий (смотри рисунок 8.4 b) с процессами I, J, K, L, ...:

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

มี 4 คน ได้แก่ พ่อ แม่ พี่สาว และฉัน