Быть или не быть, succesor или feasible succesor?

Всем известный алгоритм DUAL позволяет протоколу EIGRP получать оптимальную, свободную от петель топологию. В русскоязычных блогах ему обычно уделяется не так много места, типа вот так:

Если маршрут через successor становится недействительным (изменилась топология) или у соседа изменилась метрика, DUAL проверяет, есть ли для данного маршрута feasible successor.
Если feasible successor есть, DUAL использует его в качестве successor-а, что позволяет избежать перерасчет маршрута.
Если feasible successor-а для маршрута нет, производится перерасчет маршрута. Хотя перерасчет не сильно загружает процессор, он занимает определенное время, поэтому желательно избегать ненужных перерасчетов.

На первый взгляд всё так и есть. Но если попытаться разобраться в том, как работает DUAL, станет понятно, что данное описание неполно. Рассмотрим следующую топологию в качестве примера:

Редистрибуция в IPv4 и IPv6.

Нюансы, нюансы.

Если в OSPFv2 мы решим редистрибутить сети из соседнего EIGRP, то ввод команды "redistribute eigrp 1 subnets" приведет к запуску следующего процесса:

• Все маршруты имеющиеся в show ip route eigrp станут кандидатами для редистрибуции. 
• Все connected сети на интерфейсах которых работает eigrp так-же будут редистрибутированы.

А вот в IPv6 окружении, несколько иначе. Собственно само различие весьма небольшое, по умолчанию не будут подвержены редистрибуции connected сети, для их включения в него создан ключ include connected. Поведение этого механизма несколько отличается в раличных версиях IOS и для протоколов, особенно это касается BGP.