Résumé

  • La RFC 9860 traduit une liste de réparation TI-LFA en vecteurs RPF afin qu'un Join PIM construise l'arbre secondaire saut par saut.
  • Le calcul, l'installation de l'état et la promotion de l'UMH secondaire sont trois faits locaux ; aucun ne garantit à lui seul la continuité jusqu'aux récepteurs.
  • Le verdict exige une chaîne reliant génération de topologie, éligibilité, état PIM, détection, paquets, branches réceptrices et santé applicative.

Le segment explicite ne suffit pas à PIM

TI-LFA produit une interface de sortie et une liste ordonnée de segments évitant la ressource protégée. Un paquet unicast peut suivre cette instruction explicite. Un arbre multicast demande davantage : chaque routeur intermédiaire doit créer une interface entrante, un voisin amont et une liste d'interfaces sortantes. Si le Join est seulement transporté au bout d'un tunnel, les nœuds traversés n'obtiennent pas cet état.

La RFC 9860 utilise donc la base d'état de liens pour convertir les Node SID et Adjacency SID en adresses IP. Le RPF Vector porte l'adresse d'un nœud ; l'Explicit RPF Vector peut désigner le voisin correspondant à une adjacency. En consommant ces vecteurs l'un après l'autre, les routeurs font progresser le Join et bâtissent l'état PIM sur le trajet de secours.

Cette méthode élargit le champ de MoFRR. Au point de fusion, le routeur rejoint deux chemins amont divergents, reçoit les deux flux et jette normalement la copie secondaire. Après détection d'une défaillance primaire, il promeut localement l'UMH secondaire. La préparation réduit le temps de réaction ; elle ne transforme pas le point de fusion en observateur omniscient.

Un registre pour chaque transition

Le registre topologique doit conserver la génération LSDB, les métriques, les SID et la ressource protégée. La RFC 9860 ne couvre que les liens et nœuds d'une zone IGP à état de liens. Les sorties de domaine et les liens vers un autre domaine n'entrent pas dans la promesse. Une topologie périmée peut produire un calcul parfaitement déterministe et pourtant faux.

Le registre d'éligibilité établit que tous les nœuds du chemin de Join comprennent les attributs RPF et qu'une politique ne les neutralise pas. La RFC précise qu'en cas de concurrence entre Join avec et sans vecteur, la version sans vecteur peut être prioritaire, laissant la protection inactive. Il faut donc distinguer « liste calculée » de « arbre secondaire armé pour ce flux ».

Le registre de construction montre le Join sur chaque voisin et l'état (S,G) créé à chaque saut. La RFC recommande de vérifier cet état et mentionne Mtrace pour le diagnostic. Mais Mtrace décrit le chemin et l'état multicast, pas l'expérience d'une application. La RFC 7431 souligne même que ping et mtrace ne valident pas le flux secondaire que le fonctionnement normal reçoit puis élimine.

Le registre d'activation commence avec une détection précise. Perte de signal, BFD, absence d'un paquet attendu et retrait IGP n'ont ni le même instant ni la même signification. D'après la RFC 9855, TI-LFA agit localement entre la détection au point de réparation et la convergence IGP de ce point. Des microboucles ailleurs, une libération trop rapide ou le retour du lien restent possibles ; la prévention des microboucles PIM est hors du champ de la RFC 9860.

Enfin, le registre de résultat mesure les compteurs avant et après le point de fusion, les trous de séquence, doublons, réordonnancements et pertes de file. Des sondes sur plusieurs branches établissent la réception. Le tampon d'un lecteur, la continuité d'un décodeur ou l'ingestion d'une télémétrie établit le service. La promotion de l'UMH n'accorde aucune de ces conclusions par héritage.

La durée dépend de la question

La RFC 7431 indique qu'une bascule de 50 ms est possible dans certains montages et qu'une sélection du premier paquet RTP peut ne perdre aucun paquet. Elle décrit aussi une détection fondée sur le débit minimal attendu, dont le délai dépend du flux. Ces possibilités ne constituent pas une garantie générale.

Une mesure doit nommer son départ et son arrivée. Commence-t-elle avec la panne physique, BFD, la rétrogradation de l'UMH ou le premier paquet manquant ? Se termine-t-elle au premier paquet réparé, à une séquence stable, au dernier récepteur ou au retour de l'application dans son objectif ? Un chiffre sans ces bornes mélange les couches de réalité.

La preuve minimale relie donc : topologie et ressource protégée ; liste TI-LFA ; compatibilité des vecteurs ; Join secondaire et état par saut ; événement de panne ; sélection UMH ; paquets au point de fusion ; réception représentative ; résultat du service. Un identifiant commun et des horloges monotones rendent les jointures auditables.

La primauté du code en fonctionnement défendue par Heng Lu ne diminue pas le rôle d'une norme. Elle empêche seulement que la portée d'une spécification absorbe les faits dus à l'implémentation. Ses couches de réalité donnent ici une règle simple : le calcul, le paquet et le service doivent chacun produire leur reçu.

Sources