序列号不能保证无环；AODV 可能产生路由环
网络与互联网体系结构
2015-12-31 v1 计算机科学中的逻辑
摘要
在移动自组网和无线网状网络领域，序列号常用于路由协议以避免路由环。协议规范中通常声称，如果序列号随时间单调递增，则足以保证无环性。使用序列号的一个经典例子是流行的按需距离矢量自组网路由协议 (AODV)。AODV 的无环性不仅是一种普遍信念，其 RFC 摘要中也曾如此宣称，且至少已有两项证明提出。基于 AODV 的协议（如 AODVv2 (DYMO) 和 HWMP）也因同样使用序列号而声称具有无环性。在本文中，我们表明 AODV 并非先天无环；以此反驳文献中提出的证明。事实上，无环性取决于在解决 RFC 中出现的歧义时所作的非显而易见假设。因此，仅凭单调递增的序列号并不能保证无环性。
引用
@article{arxiv.1512.08891,
title = {Sequence Numbers Do Not Guarantee Loop Freedom; AODV Can Yield Routing Loops},
author = {Rob van Glabbeek and Peter Höfner and Wee Lum Tan and Marius Portmann},
journal= {arXiv preprint arXiv:1512.08891},
year = {2015}
}
备注
arXiv admin note: text overlap with arXiv:1312.7645