Надежная передача данных по абсолютно надежному каналу
Сначала рассмотрим простейший случай, когда канал, по которому передаются данные, является абсолютно надежным. Протокол rdt 1.0, обеспечивающий передачу по такому каналу, также является тривиальным. На рис. 3.8 приведена схема конечных автоматов, описывающая этот протокол. Фрагмент а соответствует передающей стороне, фрагмент б — принимающей. При описании протокола важным является наличие двух моделей конечных автоматов, соответствующих каждой из его сторон. В данном случае оба автомата имеют единственное состояние. Стрелки на схемах обозначают переходы между состояниями автомата; поскольку автоматы имеют единственное состояние, переход возможен только в то же состояние. Ниже мы разработаем более сложные модели. Событие, вызывающее переход, указывается над горизонтальной чертой возле стрелки, а действие, предпринимаемое при наступлении этого события, — под горизонтальной чертой. Отсутствие события или ответного действия явно обозначается символом «?». Пунктирная стрелка указывает на начальное состояние автомата. В более сложных моделях, имеющих несколько состояний, определение начального состояния является важным.
Передающая сторона протокола принимает данные от верхнего уровня при помощи метода rdt_send(data), методом make_pkt(data) создает пакет с данными и отправляет созданный пакет в канал. На практике событие rdt_send(data) является результатом вызова процедуры rdt_send(data) прикладной программой.
На приемной стороне получение пакета rdt от протокола сетевого уровня происходит при наступлении события rdt_rcv(packet). Далее данные пакета извлекаются при помощи метода extract(packet, data), а метод dеLiver_data(data) передает данные приложению. На практике событие rdt_rcv(packet) является результатом вызова процедуры rdt_rcv() протоколом нижнего уровня.
В нашем простом протоколе пакет соответствует единице обмена; кроме того, все пакеты движутся в направлении от передающей стороны к принимающей, поскольку отсутствие ошибок избавляет протокол от необходимости поддерживать обратную связь. Обратите внимание на то, что скорость приема данных совпадает со скоростью их передачи. Это позволяет не думать над разработкой механизма снижения скорости передачи по требованию принимающей стороны протокола.