Résumé

  • Après réception d’un paquet Database Description, RFC 5243 autorise la suppression d’un LSA de la liste récapitulative destinée à ce voisin si celui-ci a déjà annoncé une instance identique ou plus récente.
  • L’absence de cet en-tête dans la réponse signifie seulement qu’il était redondant ; elle ne dit rien, à elle seule, sur les requêtes restantes, l’état Full, le RIB, le FIB ou la livraison d’un paquet.

Ce que le voisin a rendu inutile

Un échange de bases OSPF commence par des descriptions. Chaque routeur dresse, pour son voisin, une liste d’en-têtes LSA susceptibles d’être placés dans des paquets DD. Ces en-têtes permettent au destinataire de repérer les informations qui lui manquent ou dont il possède une version plus ancienne.

RFC 5243 ajoute une déduction sobre. Si le voisin vient d’énumérer un LSA identique ou plus récent, il ne demandera pas l’instance identique ou plus ancienne que l’autre routeur s’apprêtait à décrire. Cette entrée peut donc sortir de la Database summary list.

Ce retrait ne raconte pas une action accomplie. Il raconte une action devenue superflue. La nuance est décisive pour tout système de contrôle : une tâche qui disparaît parce qu’elle a été exécutée n’a pas la même signification qu’une tâche annulée comme doublon.

Une seule réception, deux obligations contraires

Le même paquet DD peut contenir un autre en-tête plus récent que la copie locale. Celui-là doit entrer dans la Link state request list afin que le LSA complet soit demandé. La liste de ce que le routeur doit encore décrire se raccourcit ; la liste de ce qu’il doit encore obtenir s’allonge.

Un compteur global de « travail restant » ne peut représenter honnêtement ces deux mouvements. Il transforme une architecture à obligations distinctes en une courbe unique dont le sens change selon la cause.

La preuve exploitable doit donc rester granulaire : identité du LSA, version locale, version annoncée, voisin concerné, motif du retrait et éventuelle création d’une requête. À ce niveau, le retrait a une autorité négative bien définie : il autorise à ne pas envoyer un en-tête redondant. Il n’autorise pas à déclarer la synchronisation terminée.

Avant la réponse suivante

La spécification laisse l’implémentation libre de comparer d’abord le LSA à la base locale ou de mettre d’abord à jour la liste récapitulative. Elle impose toutefois que chaque LSA du paquet reçu ait été traité pour ce retrait avant l’envoi du paquet DD suivant.

Cette frontière évite de construire une réponse à partir d’une vue intermédiaire. Une réponse formée trop tôt pourrait encore inclure des en-têtes que le début du paquet reçu a déjà rendus inutiles.

Il s’agit d’une cohérence locale, pas d’une validation bilatérale. Le voisin n’a pas signé l’état complet de la base. Des requêtes peuvent subsister, des retransmissions peuvent être en cours et l’échange peut encore échouer. « Traité avant réponse » signifie que la réponse reflète l’entrée acceptée ; cela ne signifie pas que le système distribué a effectué un commit.

Les listes ne sont pas interchangeables

RFC 2328 sépare plusieurs registres par voisin. La Database summary list alimente les descriptions. La Link state request list désigne les LSA absents ou plus anciens localement. La Link state retransmission list suit les LSA envoyés qui attendent un acquittement.

Le chemin d’état conserve la même discipline. La fin des paquets DD produit ExchangeDone. Si aucune requête ne reste, l’adjacence peut atteindre Full. Sinon, elle passe par Loading et attend LoadingDone.

Même Full ne vaut pas preuve universelle de convergence. C’est un état de relation OSPF. Le calcul SPF, la sélection RIB, la programmation FIB, la continuité physique et le résultat d’un service appartiennent à d’autres surfaces d’observation.

Un tableau de bord qui fusionne ces listes et ces états ne simplifie pas seulement l’affichage. Il retire aux opérateurs la possibilité de savoir quelle obligation a réellement disparu.

Une optimisation sans négociation

RFC 5243 n’ajoute ni type de paquet, ni bit de capacité, ni numéro IANA. Le mécanisme reste compatible avec un voisin qui suit la procédure antérieure. C’est un avantage de déploiement et une limite de preuve.

Il n’existe pas d’acquittement de fonction disant que les deux côtés ont adopté l’optimisation. Une trace contenant moins de paquets DD peut être compatible avec RFC 5243, mais aussi avec une base plus petite, un autre remplissage des paquets ou un état initial différent. L’absence observée ne révèle pas automatiquement la décision interne qui l’a produite.

L’ordre lexicographique recommandé pour les LSA peut accélérer les recherches. Il n’est pas requis. Le voir ne certifie pas toute l’implémentation ; ne pas le voir ne démontre pas un échec de synchronisation.

Une estimation documentée, pas une mesure de parc

Le RFC annonce environ 50 % de réduction des descriptions dans de grands réseaux où les voisins sont généralement presque synchronisés. Son exemple suppose deux bases identiques dont les en-têtes occupent deux paquets pleins : chaque côté n’en envoie plus qu’un.

Cette construction explique l’économie. Elle ne mesure aucun parc, ne nomme aucun fournisseur et ne prouve ni gain CPU, ni convergence accélérée, ni incident évité. Le résultat réel dépend de la proximité des bases, du remplissage, du calendrier et de l’implémentation.

Le texte est Informational. RFC 9454 a modernisé la terminologie Leader/Follower. RFC 4222 traite séparément la congestion des paquets OSPF et RFC 4811 définit une resynchronisation LSDB hors bande. Ces documents donnent du contexte ; aucun ne transforme un en-tête omis en résultat de service.

Garder le silence à sa bonne couche de réalité

La discipline des couches de réalité formulée par Lu Heng invite à ne faire porter à une observation que le fait qu’elle peut soutenir. Ici : le voisin a présenté un en-tête ; la comparaison l’a déclaré égal ou plus récent ; une description locale est devenue redondante ; elle a été retirée avant la réponse suivante.

Cette chaîne suffit pour évaluer l’efficacité. Elle ne doit pas emprunter l’autorité de la fin de synchronisation. En conservant séparément requêtes, retransmissions, état voisin, LSDB, calcul, installation et trafic, une organisation peut reconnaître le travail évité sans inventer le travail accompli.

Sources