DUAL有限状态机用于计算路由，保证无环网络
Advertise Distance AD = 后继到达目的地
Feasible Distance FD = 当前路由器通过后继到目标网络的距离
Successor 后继 = 拥有最低成本路径的下一跳邻居（最低的FD，最低的Metric）
Feasible successor FS 可行后继 = 次佳路径的下一跳邻居（AD小于经由后继的FD）
FC 可行条件 = AD要小于当前的FD
尝试向外发送query，发送给所有邻居，内容为关于丢失的路由的查询消息
并且等待回应（reply）
邻居设备收到query之后会回应ack，用于RTP的确认，同时向外传递query消息，直至网络边界
边界设备则开始逐跳回应reply消息
直到所有query消息都得到了reply的回应，才开始重新评估可行后继列表
把该条目的可行后继条件设置为无穷大
然后把所有可能路径计算出FD，这样所有的邻居都会是FS
从中选取最优的作为后继
然后根据当前选举出的后继，就可以得到真正的FC
然后根据当前的FC，得出是否有可行后继
输入事件：当路由器直连链路发生变化（up / down、开销变化），收到更新、查询、回复报文
重新评估的过程：
路由器执行DUAL计算的同时，不能做以下操作：（事件应有序的一次一个的被处理）
? 有：立即提升为后继，并通知邻居
? 没有：进行DUAL计算，即发送查询分组，直至收到所有回复
对于被查询的邻居：
DUAL计算完成时，始发者会将该路由的FD设置为无穷大，确保所有合法度量应答都满足可行条件，并成为FS，至此DUAL结束
之后执行本地计算，先选取一个合法FD最小的成为后继，然后将不符合实际FC条件的条目从拓扑表中删除
在合适的位置对R2和R5 上的10.1.x.x的环回口做合理汇总，实现EIGRP网络的优化
原文：https://www.cnblogs.com/j-chao/p/12912732.html