Without going through a formal proo

Without going through a formal proof, we demonstrate why the FIFO property of the channel is considered essential for the alternating bit protocol.
Consider the global state of Figure 12.5 reached in the following way: m[0] was transmitted by S and accepted by R, but its acknowledgment (ack, 0) was delayed—so S transmitted m[0] once more. When (ack, 0) finally reached S, it sent out m[1]. In general, the state of channel (S, R) is a concatenation of zero or more (m[i], b), followed by zero or more (m[i + 1], (1 − b)). If the channels are not FIFO, then (m[1], 1) may reach R before the duplicate copy of (m[0], 0) reaches R. R will accept it and send it back (ack, 1) to S. On receipt of this (ack, 1), S will send out (m[2], 0). When the duplicate copy of (m[0], 0) reaches R, and R accepts it, as it mistakes it for m[2] since both m[0] and m[2] have the same sequence number 0! Clearly, this possibility is ruled out when the channels are FIFO—the receiver R is certain that the received packet contains m[2] and not a duplicate copy of m[0].

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

Не через официальное доказательство, мы показываем, почему свойство FIFO канала считается необходимым для чередующихся разрядного протокола.Рассмотрим глобальное состояние фигуры 12.5 достигли следующим образом: m [0] было передано S и принятые R, но задержка подтверждения (ack, 0) — так S передачи m [0] еще раз. Когда (ack, 0) и наконец достигли S, он разослал м [1]. В целом, состояние канала (S, R) представляет собой объединение ноль или более (m [i], b), а затем ноль или более (m [i + 1], (1 − b)). Если каналы не FIFO, то (м [1], 1) может достичь R до копии (m [0], 0) достигает р. R будет принимать его и отправить его обратно (ack, 1) S. По получении этого (ack, 1) S будет посылать (м [2], 0). Когда копии (m [0], 0) достигает R и R принимает его, как он путает его m [2] так как m [0] и м [2] имеют же порядковый номер 0! Очевидно, такая возможность исключается, когда каналы FIFO — приемник R уверена, что полученный пакет содержит m [2] и не дублировать копию m [0].

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

Не вдаваясь через формальное доказательство, мы покажем , почему свойство FIFO канала считается необходимым для поочередного битового протокола.
Рассмотрим глобальное состояние Рисунок 12.5 , достигнутое следующим образом: м [0] был передан S и принятым R , но его понимание (извед, 0) была задержана, так S передается м [0] еще раз. Когда (извед, 0) , наконец , достиг S, он разослал м [1]. В целом, состояние канала (S, R) представляет собой объединение нуля или более (м [I], б), а затем ноль или более (м [I + 1], (1 - б)). Если каналы не FIFO, а затем (м [1], 1) может достигать R перед дубликата (м [0], 0) достигает R. R примет его и отправить его обратно (извед, 1) S . по получении этого (извед, 1), S будет посылать (м [2], 0). Когда дубликат (м [0], 0) достигает R и R принимает его, поскольку это ошибки его для т [2] , так как м [0] и м [2] имеют один и тот же порядковый номер 0! Ясно, что эта возможность исключается , когда каналы FIFO-приемник R уверен , что принятый пакет содержит т [2] , а не дубликат м [0].