Кратко

  • В RFC 1993 один сжатый кадр мог содержать несколько исходных пакетов PPP, а один пакет — продолжаться в нескольких кадрах.
  • Даже увеличившийся результат сжатия передавался, чтобы обе стороны одинаково обновляли общую историю.
  • Успешная распаковка не доказывает полной доставки, личности узла, безопасности или результата приложения.

Пакет, кадр и история расходятся

Сжатые данные FZA могут включать один или несколько исходных инкапсулированных пакетов PPP. Если представление одного пакета после сжатия не помещается в MRU другой стороны, оно продолжается в следующем кадре. Конец исходного пакета отмечается внутри потока, поэтому физическая граница кадра для этого не нужна.

Получаются три независимых события. Канал закрывает кадр. Декодер находит конец исходного пакета. История сжатия продолжает жить для будущих данных. Кадр способен закончиться раньше пакета, а пакет — раньше истории. Счетчик кадров отвечает на другой вопрос, чем счетчик восстановленных пакетов.

Внешнее поле PPP Protocol использует 0x00FD для Compressed Datagram и 0x00FB для Link Compressed Datagram. Второй вариант размещает сжатие снаружи PPP Multilink, позволяя физическим линиям иметь отдельное состояние. Реестр IANA подтверждает выделение номеров и опции FZA 19, но не конкретное развертывание, версию, состояние истории или личность узла.

Неудача одного блока сохраняет будущее потока

Сжатие не всегда уменьшает объем. RFC 1993 указывает максимальное расширение два к одному; уже сжатые данные обычно вырастают примерно до 1,01 исходного размера. Но расширившийся результат все равно отправляется.

Так защищается общий контекст. Отправитель и получатель должны обработать одну последовательность в одном порядке. Если отправитель пропустит невыгодный участок, его история изменится незаметно для получателя. Позднейшие ссылки станут означать разные данные. Лишние байты сейчас сохраняют одинаковый язык сторон в будущем.

Если расширившееся представление превышает MRU, оно занимает несколько кадров. Размер контейнера не позволяет выбросить часть входа общей истории. Встроенная отметка конца исходного пакета сохраняет логическую границу внутри непрерывного потока.

Самоописывающее дополнение — это лишь пунктуация

На конце кадра приемнику надо отличить дополнение от сжатых данных. Поэтому RFC 1993 требует согласовать Self-Describing-Padding из RFC 1570 во время установления LCP. Октеты дополнения содержат свой номер: для трех октетов это 1, 2, 3, а последнее значение задает число удаляемых октетов. Если настоящий последний октет можно принять за длину, отправитель добавляет дополнение и устраняет неоднозначность.

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

Надежность должна существовать заранее

RFC 1993 рассчитывает на надежную доставку по порядку. FZA пользуется ею, но не создает ее. RFC 1663 объясняет, почему потеря datagram повреждает непрерывный словарь, и описывает отдельно согласуемый надежный режим PPP. Этот документ показывает зависимость, однако его механизм нельзя приписывать RFC 1993.

Поэтому доказательства складываются ступенями. Внешний номер показывает класс инкапсуляции. Правильное дополнение показывает удаляемый хвост. Распаковка показывает, что декодер смог обработать полученные байты. Только данные канала могут показать, что все необходимые кадры пришли в порядке; только данные PPP — что восстановленный пакет передан нужному протоколу. Для личности, полномочий, конфиденциальности, защиты от повтора и действия приложения нужны отдельные свидетельства.

RFC 1993 не рассматривает безопасность. Нынешнее отсутствие зарегистрированных errata не доказывает отсутствие дефектов, совместимость реализаций или современное применение. Статус документа — Informational. Его историческая ценность в другом: при преобразовании с состоянием видимая оболочка перестает быть достаточной мерой логического объекта.

Опубликованный подход Heng Lu предлагает смотреть на действующее поведение и ограничивать власть каждого свидетельства его точкой наблюдения. Граница кадра не свидетельствует за границу пакета, декодер — за надежность канала, а восстановленный пакет — за результат приложения.

Источники

Факты о протоколе взяты из RFC и реестра. Три текста Heng Lu раскрывают метод анализа, но не служат источниками механики FZA.