Изменения

Перейти к: навигация, поиск

Участник:Shersh/Билеты к экзамену по сетям

1965 байт добавлено, 13:16, 2 апреля 2015
→‎5. Модель OSI. Канальный уровень (протоколы).
Есть два подхода к обработке ошибок. Первый называется возвратом на N. Если с каким-то из посланных кадров случилась беда, то все остальные посланные кадры игнорируются, что соответствует единичному размеру входящего окна. Через какое-то время проигнорированные кадры будут перепосланы отправителем. Это плохо в ситуации, когда возможно большое количество ошибок.
В реализации есть ещё одно нововведение: у сетевого уровня не всегда есть данные для передачи, поэтому он будет генерить событие, когда хочет что-то передавать. Также его можно выключить, чтобы он ничего не генерил, если у нас заполнено всё окно.
[[Файл: Networks 1.5 Protocol5.1.png]]
==== Верификация протоколов ====
TODOНам про это очень мало рассказывали. ===== Конечные автоматы =====Состояние процесса будет хранить в себе значения всех переменных в программе. Также будет состояние канала (какой кадр передаётся и передаётся ли). Множество переходов — все возможные переходы между состояниями вследствие каких-либо событий. Также пометим начальные состояния. Получим автомат, в котором можно анализировать достижимость различных состояний. Возможны следующие ошибки:* состояние, в котором нельзя определить, куда переходить (неполнота протокола)* состояние, из которого нет выхода (тупик)* состояние с переходом по событию, которое никогда не может произойти (лишний переход). Анализ достижимости позволяет обнаружить такие проблемы. ===== Сети Петри =====Нам про это два слова сказали, так что вряд ли понадобится. Есть в Таненбауме, если очень нужно.
=== 6. Модель OSI. Канальный уровень (контроль и исправление ошибок). ===
Gromak
170
правок
Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/45262»

Навигация