Результаты (
русский) 2:
[копия]Скопировано!
Если все процессы одновременно изменения цвета, то состояние снимка SSS была бы определена государствами всех процессов сразу после этой точки перехода. Тем не менее, из-за задержки при распространении сигналов, которые никогда не бывает. Разумной альтернативой этому было бы записать последовательность белых и красных действий всеми процессами, так что все белые действия предшествуют все красные действия (рис 8.4a). Здесь, SSS будет соответствовать состояниям процессов после последних белых действий и первых красных действий процессов. Там нет, однако, никакой гарантии, что наблюдатель будет иметь возможность наблюдать за действиями в этой последовательности. На самом деле, наблюдатель будет записывать последние белые действия и первые красные действия процессов в определенном порядке, как показано на Рисунке 8.4 b. Для каждого процесса I в наблюдаемой последовательности, W (I) должно предшествовать г (I), так как причинно-следственная порядок существует между ними. Обратите внимание, что (а) маркеры не изменяют состояние процесса, и (б) белые сообщения, полученные белыми или красными процессами сообщений, полученных красных процессов не интересны в контексте данной задачи.
переводится, пожалуйста, подождите..
