4.2 Consider a strongly connected n

4.2 Consider a strongly connected network of n processes 0, 1, 2, …, n − 1. Any process i (called the source) can send a message to any other process j (called the destination) in the network. Each process i has a local variable vi. A message sent out by a source process i consists of (1) the sequence number of the message, (2) the source id, (3) the destination id, and (4) the value of vi. We focus on the routing of the messages.
Any message has to be routed through zero or more processes. A process j receiving a message accepts it only if it is the destination and executes the assignment vj: = vi—otherwise, it forwards the message along its outgoing edges. The communication is considered to be complete, when at least one copy of the message reaches the desti- nation, the value of the local variable is appropriately updated, and there are no other circulating messages or pending actions.
Specify the communication from i to j using guarded actions in the message-passing model.

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

4.2 считают сильной связности сети n процессов 0, 1, 2, n − 1. Любой процесс i (так называемый источник) может отправить сообщение на любой другой процесс j (так называемый назначения) в сети. Каждый процесс имеет локальной переменной vi. Сообщение отправлено исходного процесса, я состоит из (1) порядковый номер сообщения, (2) идентификатор источника, (3) назначения id и (4) значение vi. Мы ориентируемся на маршрутизацию сообщений.Любое сообщение должно проходить через ноль или более процессов. Процесс j получает сообщение принимает его, только если это назначение и выполняет назначение vj: = vi — в противном случае, он перенаправляет сообщение вдоль его исходящих края. Сообщение считается полным, когда хотя бы одна копия сообщения достигает запустение нации, соответствующим образом обновляется значение локальной переменной и нет других циркулирующих сообщений или отложенных действий.Укажите сообщение от i j использование охраняемых действий в модели передачи сообщений.

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

4.2 Рассмотрим сильно связного сеть п процессов 0, 1, 2, ..., п - 1. Любой процесс я ( так называемый источник) может послать сообщение любому другому процессу J ( так называемый пункт назначения) в сети. Каждый процесс я имеет локальную переменную VI. Сообщение послано вне процесса источника я состоит из (1) порядковый номер сообщения, (2) идентификатор источника, (3) идентификатора назначения, и (4) величины VI. Мы делаем ставку на маршрутизацию сообщений.
Любое сообщение должно быть проложен через ноль или более процессов. Способ получения J сообщение принимает его , только если это назначение и выполняет ВСЮ присваивания: = VI- в противном случае, он пересылает сообщение вдоль его исходящих ребер. Связи считается законченной, когда хотя бы одна копия сообщения достигает адресаты нации, значение локальной переменной соответствующим образом обновляется, и нет никаких других циркулирующих сообщений или незаконченные действия.
Укажите сообщение от I до J используя осторожные действия в передачи сообщений модели.

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

4.2 рассмотрение решительно сетью N процессы, 0, 1, 2,..., N - 1.любой процесс, я (источник) может отправить сообщение любого другого процесса J (назначения) в сети.каждый процесс, я не локальная переменная. сообщение послано источник процесса я состоит из 1) номер послание, (2) источник ин, (3) и (4) назначения ид, ценность. мы обратили внимание на направление сообщений.любое сообщение должно проходить через ноль или более процессов.процесс J получение сообщений принимает его только в том случае, если она является местом и выполняет задание юа: = VI, иначе она направляет сообщение по покидающим свой пост края.сообщение считается полной, если по крайней мере одна копия сообщение поступает desti - нация, стоимость местных переменной является надлежащим образом обновлена, и никаких других распространения сообщений или в ожидании действий.укажите сообщение я - J, используя охраняют действия в передачи сообщений модели.