Assume that a sender process S send

Assume that a sender process S sends out a sequence of messages m[0], m[1], m[2], … to a receiver process R (Figure 12.3). If the upper bound of the message propagation delay is not known and the channels are not FIFO, then the receiver must send acknowledgments to the sender to notify the arrival of a message. To detect the nonarrival of a message, process S can at best make a good guess of the round-trip propagation delay and set a timer accordingly. If there is a timeout, the sender retransmits the message. Due to the transient nature of the failure, it is assumed that if a message is sent a bounded number of times, then it will eventually reach the receiver and will be delivered to the application at the receiving end. In case the sender’s guess about the round-trip delay is incorrect and the timeout is too early, retransmissions may lead to duplicate messages on the channel. In this context, a reliable channel from S to R should meet the following three requirements:

1. No loss: The receiver eventually delivers each message sent out by the sender.
2. No duplication: The receiver delivers each message sent by the sender exactly once.
3. No reordering: The receiver always delivers the message m[i] before m[i + 1].

Thus, if S sends out the sequence a b c d e, then the first condition rules out R accepting this sequence as a c d e, the second condition rules out the possibility of R accepting it as a b b c c c d e, and the third condition prevents R from accepting it as a c e b d.

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

Предположим, что процесс S отправляет последовательность сообщений m [0], m [1], m [2], к приемник процесса R (рис. 12.3). Если верхняя граница задержки распространения сообщений не известен и каналы не FIFO, получатель должен отправлять подтверждения отправителя для уведомления прибытия сообщения. Для обнаружения nonarrival сообщения, процесс S в лучшем случае может сделать хорошее предположение задержки кругового пути распространения и установить таймер соответствующим образом. Если время ожидания, отправитель передает сообщение повторно. Из-за преходящий характер сбоя предполагается, что если сообщение отправлено ограниченное число раз, то он будет в конечном итоге достичь приемника и будет доставлен к приложению на приемном конце. В случае отправителя догадываться о кругового пути задержка является неверным и время ожидания слишком рано, ретрансляций может привести к повторяющиеся сообщения на канале. В этом контексте надежный канал от S R должно удовлетворять следующим трем требованиям:1. без потерь: приемник обеспечивает в конечном счете каждое сообщение, отправленное отправителем.2. отсутствие дублирования: приемник доставляет каждое сообщение, отправленное отправителем ровно один раз.3. не переупорядочения: приемник всегда доставляет сообщение m [i] до m [i + 1].Таким образом если S отправляет последовательность b c d e, то первое условие исключает R, принимая эту последовательность как c d e, второе условие исключает возможность R, принимая его как b b c c c d e, и третье условие запрещает принимать его как d b c e R.

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

Предположим , что процесс отправитель S посылает последовательность сообщений м [0], м [1], м [2], ... в процессе приемника R (рис 12.3). Если верхняя граница задержки распространения сообщения не известны , а каналы не FIFO, то получатель должен отправлять подтверждения отправителю уведомления о прибытии сообщения. Для обнаружения nonarrival сообщени, процесс S в лучшем случае может сделать хорошее предположение задержки распространения туда-обратно и установить таймер соответственно. Если есть тайм - аут, отправитель выполнит повторную передачу сообщения. Из - за переходного характера отказа, то предполагается , что , если сообщение посылается ограниченное число раз, то он в конечном счете достигнет приемника и будет доставлен к приложению на приемном конце. В случае , если предположение отправителя о задержке кругового обхода является неправильным , и тайм - аут слишком рано, повторная передача может привести к дублированию сообщений на канале. В этом контексте, надежный канал от S до R должен отвечать следующим трем требованиям:

1. Без потери: Приемник в конечном счете не доставляет каждое сообщение , отправленное из отправителем.
2. Нет дублирования: Приемник не доставляет каждое сообщение , посланное отправителем ровно один раз.
3. Нет переназначения: Приемник всегда доставляет сообщение M [] перед M [+ 1].

Таким образом, если S посылает на ABCDE последовательность, то первое условие исключает R принимать эту последовательность как AcdE, вторые правила состояние вне возможность R принимать его как abbcccde, и третье условие препятствует R от принятия его в качестве aceb д.

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

предположим, что отправитель процесса S отправляет последовательности сообщений м [0], в м [1], в м [2],... на приемник процесса R (рис. 12.3).если верхние послание полуавтоматические не знал и каналы не FIFO, то получатель должен направить посвящений отправителю уведомить прибытия сообщение.для выявления nonarrival послание, процесс S может в лучшем случае можете догадаться, о стоимости проезда в оба конца полуавтоматические и установить таймер соответственно.если есть время, retransmits отправителя сообщения.из - за временный характер, что, предполагается, что если сообщение направляется ограниченное число раз, тогда он будет в конечном итоге достигают получателя и будет осуществляться с применением при их получении.в случае, если отправитель гадать о стоимости проезда в оба конца задержка является неправильной и время ожидания слишком рано, retransmissions может привести к копии сообщений по каналам.в этом контексте надежный канал от S - R должен отвечать следующим трем критериям:1.никаких потерь: приемник в конечном итоге обеспечивает каждое сообщение послано отправителя.2.никакого дублирования: получатель предоставляет каждому сообщение отправителем ровно один раз.3.никаких перестановок: приемник всегда выдает сообщение м [я] до м [i + 1].таким образом, если S отправляет последовательность c D, E, то первое условие исключает R это последовательность как с D, E, второе условие не исключает возможность признания его в качестве B, B R с C D, E, и третье условие мешает R от приема как ар. b).