Let us revisit the message-passing

Let us revisit the message-passing model and examine the problem of detecting whether a channel is empty. A familiar scenario is as follows: there are two processes i and j and two channels (i, j) and (j, i). During a cold start, these channels may contain an arbitrary sequence of messages. To properly initialize the channel, process j, before starting the execution of a program, wants to make sure that the channel (i, j) is empty, so that whatever message it receives was actually sent by process i. How can process j detect this condition? If the clocks are synchronized and there exists an upper bound T on the message propagation delay along channel (i, j), then the problem is simple—both processes i and j pause for at least T seconds—this flushes both channels and each process rejects all the messages arriving during this time. After T seconds, process j knows that channel (i, j) is empty.

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

Давайте вновь модель передачи сообщений и изучить проблему определения, является ли пустой канал. Знакомый сценарий выглядит следующим образом: существуют два процесса, i и j и два канала (i, j) и (j, i). Во время холодного запуска эти каналы могут содержать произвольной последовательности сообщений. Для правильной инициализации канала, процесс j, перед началом выполнения программы, хочет убедиться, что канал (i, j), является пустой, так что все сообщение, он получает сообщения процесса я. Как процесс j может обнаружить это условие? Если часы синхронизированы и существует верхняя граница T задержка распространения сообщений вдоль канала (i, j), то проблема проста — оба процесса, i и j паузы для по крайней мере T секунд — это сбрасывает оба канала и каждый процесс отклоняет все сообщения, поступающие в это время. После T секунд, процесс j знает, что канал (i, j) является пустым.

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

Давайте вернемся к передачи сообщений модели и исследовать проблему обнаружения, пуст ли канал. Знакомый сценарий выглядит следующим образом: есть два процесса я и J и два канала (I, J) и (J, I). Во время запуска холодного двигателя, эти каналы могут содержать произвольную последовательность сообщений. Для того, чтобы правильно инициализировать канал, процесс J, перед началом выполнения программы, хочет убедиться в том, что канал (I, J) пусто, так что все, что сообщение, которое она получает действительно было отправлено процесса я. Как процесс J обнаружить это условие? Если часы синхронизированы и существует верхняя грань T на задержку распространения сообщений вдоль канала (I, J), то задача проста-оба процесса я и J пауза в течение по крайней мере T секунд-это промывает оба канала и каждый процесс отвергает все сообщения, поступающие в течение этого времени. После того, как Т секунд, процесс J знает, что канал (I, J) пусто.

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

давайте вновь передачи сообщений модели и изучить проблему выявления ли канал пуст.знакомый сценарий заключается в следующем: существует два процесса I и J и двумя каналами (я, j) и j - я).во время запуска холодного двигателя, эти каналы могут содержать произвольной последовательности сообщений.правильно инициализировать канал, процесс J, до начала осуществления программы, чтобы убедиться, что канал (я, j) пустой, так что все, что сообщение, оно получает, на самом деле было направлено процесса. как процесс J обнаружения этого состояния?если часы синхронизируются и существует верхние T сообщение полуавтоматические вдоль канала (я, j), то проблема проста как процессы I и J пауза, по крайней мере, не секунд это смывает обоих каналов и каждый процесс отвергает все сообщения, приходящие в это время.после процесса не секунды, J, знает, что канал (я, j) пуст.