Кратко

  • RFC 9657 описывает детерминированные TVR-сценарии сохранения ресурсов, эксплуатационной эффективности и динамической достижимости, но не задаёт конкретный механизм.
  • Граф t1/t2/t3 может объяснить, когда ожидать контакт или низкую стоимость, однако не доказывает clock integrity, фактическую adjacency, rate, release очереди, forwarding или delivery.
  • Проверяемая цепочка связывает источник и revision прогноза, время, schedule, local policy, computation, наблюдаемую сеть, custody и результат назначения.

Граф, нарисованный до событий

Routing обычно строит граф из того, что протокол считает доступным сейчас. Time-Variant Routing добавляет ожидаемые будущие рёбра и стоимости. Предсказанная потеря adjacency может стать плановым переходом, а не аварией. Будущий контакт может позволить заранее подготовить маршрут.

RFC 9657 классифицирует такие use cases как Resource Preservation, Operating Efficiency и Dynamic Reachability. Это Informational RFC, не protocol specification. Примеры показывают существование задач, а не полный список решений.

Плановый граф обладает властью над вычислением. Он не обладает памятью о пакетах.

t1, t2 и t3 зависят от модели

В solar sensor network узлы включают радио после энергетического threshold. На t1 доступны N1–N2, на t2 N2–N3, на t3 может не быть связи. Такая последовательность следует из предсказания накопления и расхода энергии.

Она помогает не считать плановое выключение отказом. Но включение радио не означает готовность маршрута. RFC отмечает задержку discovery и neighborhood synchronization после join. Короткое окно может закончиться до установки forwarding state.

Поэтому нужны отдельные события: resource threshold, physical power state, neighbor discovery, adjacency, route installation, first packet и outcome.

Путь может содержать хранение

Operating Efficiency превращает cost в функцию времени. Стоимость должна быть измерима, предсказуема, достаточно устойчива и существенна. Узел может фильтровать дорогой link, накапливать данные для burst или ждать выгодного окна.

RFC показывает передачу N1→N2 на t1, хранение на N2 и передачу N2→N3 на t3. RFC 4838 и RFC 9171 дают Delay-Tolerant Networking и Bundle Protocol context.

Прогноз не доказывает, что N2 сохранил данные. Нужны queue ID, custody, integrity, expiry, storage, выбранное окно, actual cost, release и destination receipt.

Движение создаёт будущие adjacency

Dynamic Reachability предполагает предсказуемую trajectory и знание environment. Можно вычислить expiration/resumption adjacency, изменение rate или отказаться от link, который скоро исчезнет.

LEO satellites проходят ground station по известной геометрии. Ferries и planes тоже имеют ожидаемые пути. Но inter-satellite link может неожиданно отказать; storm, occultation или pointing изменяют rate и duration. Недетерминированные vehicle-to-vehicle cases вне scope, однако детерминированный scope не равен гарантии.

«Ожидался контакт» — факт forecast. «Сформировалась adjacency» — control-plane observation. «Прошёл packet» — data-plane evidence. «Получило приложение» — destination outcome.

Неиспользованный link мог оставаться рабочим

TVR может фильтровать link из-за близкого expiration или ожидаемого падения rate. Это anticipatory policy, не failure detection. Если UI записывает link как down, организация теряет возможность проверить качество прогноза.

Правильный receipt говорит, что link не выбран по forecast revision X и threshold Y. Затем он хранит actual expiry, rate, alternative path и flow result. Ошибки в обе стороны важны: link может исчезнуть раньше или работать дольше.

Часы меняют смысл графа

RFC 3339 задаёт Internet date/time, RFC 5905 — NTPv4, RFC 8633 — практики безопасности времени. Валидный timestamp, synchronized clock и trusted source — разные claims.

RFC 9657 называет синхронизацию критичной и предупреждает: unauthorized clock change может нарушить работу и вызвать DoS. Два узла с разными offsets видят разные графы в одну физическую секунду.

Time source, offset, uncertainty, sync state и clock step должны сопровождать route decision.

Schedule выражает окно, а не доказывает модель

RFC 9922 определяет общие YANG schedule groupings, validation и status, но не предполагает triggered action и не решает конфликты. RFC 7758 добавляет time capability в NETCONF.

Эти механизмы выражают «когда». Они не проверяют energy forecast, trajectory, price или demand. Существующая статья RFC 9922 владеет границей schedule status/action. Эта статья владеет границей forecast network state/observed network state.

Превратить прогноз в проверяемое решение

Сохраните objective, forecast producer, assumptions, model build, issued time и validity. Добавьте time authority, distribution, local acceptance, route computation и rejected alternatives. На исполнении наблюдайте device state, neighbor, adjacency, rate и next hop.

Для отложенных данных храните queue, custody, expiry и release. Destination receipt завершает цепь. Failed forecasts не должны исчезать: они обновляют метрику ошибки.

Подход Heng Lu к слоям реальности разделяет forecast, schedule, decision и outcome. Minimum Initial Specification оставляет общий минимум совместимым с local authority. Running-Code Primacy требует наблюдаемого перехода.

RFC 9845 добавляет green networking context, но energy saving и utility остаются измеряемыми результатами.

Источники