B.A.T.M.A.N. 协议的建模、验证与比较性能分析
计算机科学中的逻辑
2017-03-21 v1 网络与互联网体系结构
软件工程
摘要
本文研究一种称为移动自组织网络更好的方法（B.A.T.M.A.N.）的网络路由协议。该协议服务于两个目标：首先，发现所有双向链路；其次，为网络中每个其他节点确定最佳下一跳。一个关键元素是每个节点会定期以所谓的源消息泛洪网络。本文详细描述了 B.A.T.M.A.N. 协议的形式化。这一工作揭示了 RFC 中的若干歧义与不一致。我们开发了两个模型。第一个尽可能按 RFC 的字面意思实现，而第二个模型试图更贴近底层概念。替代模型在某些方面限制较少，在有助于路由发现时更频繁地重广播，另一方面会丢弃更多可能干扰该过程的消息。我们针对一个基本无时间模型验证两种解释均确保无环路、双向链路发现和路由发现。我们使用有时间模型的仿真来比较性能，发现两种模型在发现路由所需的时间和消息数量方面相当。然而，替代模型识别出的次优路由数量显著更低，从而改进了 RFC 的字面解释。
引用
@article{arxiv.1703.06570,
title = {Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol},
author = {Kaylash Chaudhary and Ansgar Fehnker and Vinay Mehta},
journal= {arXiv preprint arXiv:1703.06570},
year = {2017}
}
备注
In Proceedings MARS 2017, arXiv:1703.05812