Stenning’s protocol implements a re

Stenning’s protocol implements a reliable channel.

Proof: (No loss) If R does not receive m[i], then it does not send (ack, i), which triggers a retransmission of m[i]. After a bounded number of retransmissions, one copy of m[i] must be received and delivered by R.
(No duplication and no reordering) Once R delivers m[i], it increments r to (i + 1). Note that R does not deliver the received message unless its sequence number matches r, so duplicate messages are rejected. For the same reason, R always delivers the message m[i] before m[i + 1]. Therefore, the no reordering criterion holds.
Finally, we demonstrate that the progress property is satisfied. Assume that S sent m[i], it was received by R, and R sent (ack, i), but the ack was lost in transit. So S resent m[i]. But in the meantime, R increased the value of r to (i + 1) and was expecting to receive m[i + 1], so it would reject the duplicate copy of m[i]. By sending a replica of (ack, i), R guarantees that eventually S receives it and then sends m[i + 1]. This guarantees progress. ◾
Stenning’s protocol is also commonly known as the stop-and-wait protocol. It is inefficient, since even in the best case, the sender has to wait for one round-trip delay to send
each message, leading to a low throughput. In real life, different variations of this basic idea are used. One such variation is the sliding window protocol.

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

Stenning в протокол реализует надежный канал.Доказательство: (Без потерь) если R не получает m [i], то не отправляет (ack, i), которая запускает ретрансляцию m [i]. После ограниченного количества повторных передач одна копия m [i] должны получены и доставлено р.(Отсутствие дублирования и без переупорядочения) Как только R обеспечивает m [i], он увеличивает значение r (i + 1). Обратите внимание, что R не доставляет полученное сообщение, если его порядковый номер соответствует r, поэтому повторяющиеся сообщения отклоняются. По этой же причине R всегда доставляет сообщение m [i] до m [i + 1]. Таким образом не дозаказа критерий имеет.И наконец мы показываем, что прогресс свойство выполняется. Предположим, что S послал m [i], он получил R и R послал (ack, i), но ack был потерян в пути. Так что S resent m [i]. Но тем временем, R увеличить значение r (i + 1) и ожидает получить m [i + 1], поэтому он будет отвергать дубликат m [i]. Отправив копию (ack, i), R гарантирует, что в конечном итоге S получает его и затем посылает m [i + 1]. Это гарантирует прогресс. ◾Stenning в протокол также широко известен как протокол стоп wait. Это неэффективно, поскольку даже в лучшем случае, отправитель должен ждать один задержки кругового пути для отправкиКаждое сообщение, приводит к низкой пропускной способностью. В реальной жизни используются различные вариации этой основной идеи. Один из таких вариантов является протокол скользящего окна.

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

Протокол Стеннинг внедряет надежный канал.

Доказательство: (без потери) Если R не получит м [я], то он не посылает (извед, я), который вызывает повторную передачу т [I]. После ограниченного числа повторных передач, один экземпляр м [я] должны быть получены и доставлены R.
(без дублирования и без переназначения) После того, как R обеспечивает M [I], то приращение г к (I + 1). Обратите внимание , что R не доставляет принятое сообщение , если его порядковый номер не совпадает с г, поэтому дублирующие сообщения отклоняются. По той же причине, R всегда доставляет сообщение M [I] , прежде чем т [I + 1]. Таким образом, никакого критерия переназначения не держит.
Наконец, мы покажем , что свойство прогресса выполнено. Предположим , что S отправленное м [я], он был получен R, и R послал (извед, I), но извед был потерян в пути. Так S возмущает м [я]. Но в то же время, R увеличил значение г до (я + 1) и ожидает получить м [+ 1], поэтому было бы отклонить дубликат м [I]. Отправляя реплику (извед, I) R гарантирует , что в конечном итоге S принимает соответствующий сигнал и затем посылает м [+ 1]. Это гарантирует прогресс. ◾
протокол Стеннинг является также широко известен как протокол с остановкой и ожиданием. Это неэффективно, так как даже в лучшем случае, отправитель должен ждать в течение одной задержки обратной передачи, чтобы послать
каждое сообщение, что приводит к низкой пропускной способности . В реальной жизни, используются различные вариации этой основной идеи. Одним из таких является изменение протокола скользящего окна.