Résumé

  • Lors d’une mise à jour explicite RFC 5177, le Home Agent doit supprimer de sa table tout préfixe antérieur qui n’apparaît plus dans la requête et désactiver son acheminement. L’absence vaut donc retrait.
  • Le code principal peut néanmoins annoncer le succès dès qu’au moins un autre préfixe obtient son acheminement. Seule la comparaison entre inventaire voulu, requête, acquittements unitaires et état final révèle l’étendue réelle du changement.

Il n’existe aucun paquet « retire ce préfixe » dans cette partie de l’échange. Le retrait se lit dans un blanc. Le Mobile Router renvoie sa liste ; le Home Agent la compare à sa table ; ce qui manque disparaît.

Cette économie de signalisation est cohérente. Elle transforme cependant la qualité de l’inventaire en condition de continuité. Une liste incomplète n’est pas conservatrice. Elle est exécutoire.

Une transaction de remplacement

RFC 5177 étend Mobile IPv4 pour qu’un routeur transporte plusieurs sous-réseaux lorsqu’il change de point d’attachement. En mode explicite, chaque Mobile Network Prefix figure dans sa propre extension de requête. Le Home Agent vérifie chaque couple adresse de domicile–préfixe, tente d’installer l’acheminement, puis renvoie un acquittement pour chaque préfixe.

Lorsqu’il met à jour une liaison existante, il doit aussi parcourir les préfixes déjà inscrits. Celui qui ne figure pas dans la nouvelle requête est effacé et son acheminement désactivé. Il ne s’agit donc pas d’un « patch » qui ne mentionnerait que les ajouts. La requête redéclare l’ensemble pertinent.

Cette sémantique exige une question préalable : la source qui a construit le message possédait-elle l’inventaire complet ? Une base en retard, un découpage entre contrôleurs ou une limite de sérialisation peuvent transformer une omission accidentelle en retrait conforme au protocole.

Le vert ne donne pas la taille du résultat

Le code principal de Registration Reply est mis à zéro si l’acheminement a réussi pour au moins un préfixe. Pour les autres, les extensions d’acquittement peuvent indiquer une longueur invalide, une absence d’autorisation ou un échec d’installation. Si tous échouent, le code principal devient HA_MOBNET_ERROR.

Le vert signifie donc « sous-ensemble non vide », pas « égalité entre l’ensemble demandé et l’ensemble obtenu ». Un préfixe autorisé et installé suffit à maintenir le vert tandis qu’un deuxième est refusé et qu’un troisième, omis, est supprimé.

Un indicateur qui ne conserve que le code principal efface deux différences : celle entre les membres demandés, puis celle entre l’ancien et le nouvel état. Il ne sait plus dire si le réseau mobile a rétréci volontairement.

L’authentificateur protège le message, pas la propriété

Les extensions explicites participent au calcul d’authentification Mobile IPv4. Cela protège leur intégrité. Le Home Agent doit toutefois vérifier séparément que le Mobile Router est autorisé à fournir la mobilité pour chaque préfixe. La table de préfixes matérialise cette compétence.

Un message authentique peut donc contenir un préfixe non autorisé. À l’inverse, le refus de ce membre n’annule pas nécessairement les autres. Le protocole préserve une granularité que l’exploitation perdrait en renommant tout l’échange « registration OK ».

L’état de contrôle n’est pas encore la portée

Après admission, le Home Agent doit installer l’acheminement vers la Care-of Address et maintenir un tunnel bidirectionnel. La visibilité extérieure peut dépendre d’une agrégation sous le préfixe du réseau d’origine ou d’une propagation de routes. Ce sont des actions supplémentaires, observées par d’autres surfaces.

RFC 5177 précise en outre que ses extensions gèrent la mobilité du routeur, non les changements topologiques internes au réseau mobile. Un protocole de routage peut les transporter dans le tunnel. Dans ce cas, envoyer aussi le même préfixe dans la requête Mobile IPv4 risque de créer des FIB incohérentes ; le mode implicite est recommandé.

L’acquittement unitaire établit donc une décision du Home Agent. Il ne prouve ni la convergence des annonces, ni une FIB identique partout, ni le passage des paquets.

L’allocation dynamique ne rend pas l’ensemble atomique

RFC 6626 permet ensuite de demander un préfixe en plaçant zéro dans le champ Prefix, avec éventuellement une longueur souhaitée comme indice. Le Home Agent peut attribuer un préfixe ou renvoyer MOBNET_UNASSIGNED. Plusieurs demandes peuvent cohabiter ; la durée d’une attribution suit celle de la liaison.

Cette extension rend l’inventaire moins prévisible, pas plus global. Une attribution réussie ne garantit pas les autres. La longueur finale reste au choix du Home Agent. Et la défense contre l’épuisement d’adresses exige de limiter nombre et taille des allocations.

Le dossier exploitable doit donc montrer, pour chaque membre, ce qui était voulu, demandé, autorisé, attribué, installé et finalement observable. L’absence, surtout, doit devenir un événement explicite dans le journal humain, même si elle reste silencieuse sur le fil.

Sources