El algoritmo de actualización por difusión ( DUAL ) es el algoritmo utilizado por el protocolo de enrutamiento EIGRP [1] de Cisco para garantizar que una ruta dada se vuelva a calcular globalmente siempre que pueda causar un bucle de enrutamiento. Fue desarrollado por JJ Garcia-Luna-Aceves en SRI International . El nombre completo del algoritmo es DUAL máquina de estados finitos (DUAL FSM). EIGRP es responsable del enrutamiento dentro de un sistema autónomo , y DUAL responde a los cambios en la topología de enrutamiento y ajusta dinámicamente las tablas de enrutamiento del enrutador automáticamente.
EIGRP utiliza una condición de viabilidad para garantizar que solo se seleccionen rutas sin bucles. La condición de factibilidad es conservadora: cuando la condición es verdadera, no pueden ocurrir bucles, pero la condición puede, en algunas circunstancias, rechazar todas las rutas a un destino, aunque algunas no tengan bucles.
Cuando no hay disponible una ruta factible hacia un destino, el algoritmo DUAL [2] invoca un cálculo de difusión [3] para garantizar que todos los rastros de la ruta problemática se eliminen de la red. En ese momento, se utiliza el algoritmo Bellman-Ford normal para recuperar una nueva ruta.
DUAL utiliza tres tablas separadas para el cálculo de la ruta. Estas tablas se crean utilizando información intercambiada entre los enrutadores EIGRP. La información es diferente a la que intercambian los protocolos de enrutamiento de estado de enlace . En EIGRP, la información intercambiada incluye las rutas, la " métrica " o el costo de cada ruta y la información requerida para formar una relación vecina (como el número de AS, los temporizadores y los valores K). Las tres tablas y sus funciones en detalle son las siguientes:
DUAL evalúa los datos recibidos de otros enrutadores en la tabla de topología y calcula las rutas primaria (sucesora) y secundaria (sucesora factible). La ruta principal suele ser la ruta con la métrica más baja para llegar al destino, y la ruta redundante es la ruta con el segundo costo más bajo (si cumple la condición de factibilidad). Puede haber múltiples sucesores y múltiples sucesores factibles. Tanto los sucesores como los factibles se mantienen en la tabla de topología, pero solo los sucesores se agregan a la tabla de enrutamiento y se usan para enrutar paquetes.
Para que una ruta se convierta en un sucesor factible, su RD debe ser menor que el FD del sucesor. Si se cumple esta condición de factibilidad, no hay forma de que agregar esta ruta a la tabla de enrutamiento pueda causar un bucle.