Кратко

  • RFC 1245 оценивал ожидаемые ресурсы, трафик, масштабируемость и устойчивость OSPF Version 2, а RFC 1246 описывал реализации, моделирование, рабочие сети и три раунда испытаний совместимости.
  • Испытания выявили как недостатки спецификации, так и ошибки программ. При этом отчёт зафиксировал границы: рабочие сети использовали одну реализацию, записи первого раунда были неполными, а межвендорный обмен между несколькими протоколами маршрутизации оставался непроверенным.
  • RFC 1247 был отдельной спецификацией. Расчёт, лабораторная конфигурация и эксплуатация усиливали друг друга лишь пока не выдавались за один и тот же факт.

Корректная формула трафика не заставит две программы одинаково заполнить поле, о котором молчит текст. Успешное соседство двух маршрутизаторов в лаборатории, в свою очередь, не доказывает поведение при иной базе, нагрузке или серии отказов.

Рабочая группа OSPF сохранила это различие в публикациях. RFC 1245, OSPF Protocol Analysis, и RFC 1246, Experience with the OSPF Protocol, вышли информационными отчётами в июле 1991 года. RFC 1247 отдельно задавал OSPF Version 2 как документ трека стандартов.

Расчёт очерчивал условную область

RFC 1245 разбирал базу состояний каналов, вычисление кратчайших путей, области, ограничивавшие распространение подробной топологии, и Designated Router, сокращавший число смежностей в многоадресной сети. Затем оценивались полоса, частота SPF, память, размер базы, число маршрутизаторов в LAN и реакция на разделение или перезапуск.

Источники были разными: структура протокола и формулы, эксплуатационная статистика BARRNet, NASA Sciences Internet и OARnet, моделирование, измерение конкретной конфигурации. Оценка памяти Proteon P4200 сопровождалась оговоркой, что другие реализации могут отличаться.

Более пятидесяти маршрутизаторов на одной LAN были смоделированы. Тринадцать маршрутизаторов на одном Ethernet участвовали в испытании совместимости без замеченных проблем. Это разные условия и разные числа. Ни одно не охватывало любые таймеры, версии, нагрузки и отказы.

Результат оставался связан с топологией, смесью и частотой LSA, размером пакета, таймерами и устройством памяти. Изменение входных условий означало новую проверку, а не наследование гарантии.

Эксплуатация сохраняла одну реализацию

RFC 1246 назвал пять реализаций, участвовавших хотя бы в одном раунде: 3Com, ACC, Proteon, Wellfleet и University of Maryland. Там же описывались NSI, BARRNet и OARnet — соответственно 15, 14 и 13 маршрутизаторов на момент отчёта.

Рабочие системы дали сведения о синхронизации, надёжном flooding, внешних маршрутах, равноценных путях и stub area. Но все три использовали Proteon. Поэтому многовендорная эксплуатация была прямо отнесена к непроверенным случаям, несмотря на отдельные испытания совместимости разных производителей.

Поле приносило реальную нагрузку и сбои, но фиксировало код. Лаборатория меняла код в заранее подготовленной топологии. Частые перезапуски в испытаниях нагружали MaxAge сильнее обычной эксплуатации. Эти среды дополняли, но не заменяли друг друга.

Неудача уточнила владельца дефекта

В первом раунде одновременно распространявшиеся MaxAge LSA могли попасть в окно процесса Database Description и не дать завершить синхронизацию. Обработку MaxAge в спецификации пришлось изменить. Также текст не задавал Network Mask для внешнего LSA маршрута по умолчанию; независимые реализации выбрали несовместимые допущения.

RFC 1246 признал, что записи первого раунда неполны и карты конфигураций воспроизвести нельзя. Вывод сохранился, но весь контекст уже не восстанавливался.

Следующие раунды включали виртуальные каналы, разные типы сетей, аутентификацию, иерархию, flooding, удаление и внешние маршруты. Конфигурация с 400 импортированными маршрутами обнаружила проблемы выделения буферов и предотвращения IP-фрагментации в реализациях. Отдельно фиксировались уточнения спецификации и успешно пройденные случаи.

Оставался ещё один предел: одновременная работа нескольких протоколов маршрутизации между устройствами разных производителей не испытывалась. Успех OSPF не доказывал автоматически обмен с RIP или EGP через разные внутренние архитектуры.

Рекомендация не была приказом о внедрении

В 1992 году RFC 1371 обосновал рекомендацию IESG считать OSPF общим IGP для IP-части Интернета. Документ ссылался на доступный эксплуатационный опыт и подчёркивал, что такое обозначение не обязывает применять OSPF.

Это было отдельное решение своего времени. Оно не превращало оценки RFC 1245 в универсальные измерения, а испытания RFC 1246 — в повсеместную многовендорную эксплуатацию.

Надёжная история состоит из связанных записей: спецификация, допущения, моделирование, реализации, лаборатория, поле, классифицированные дефекты, пробелы и последующее решение. Доверие росло благодаря сохранённым различиям между ними.

Источники

Границы свидетельств

RFC подтверждают анализ, реализации, среды, дефекты и рекомендацию, описанные в 1991–1992 годах. Они не подтверждают произвольный масштаб, все пары производителей, всеобщее внедрение, отсутствие поздних ошибок, текущее состояние сети или обязательность OSPF.