首页> 外文会议> >A loop-free path-finding algorithm: specification, verification and complexity
【24h】

A loop-free path-finding algorithm: specification, verification and complexity

机译:无环寻路算法:规范,验证和复杂性

获取原文

摘要

The loop-free path-finding algorithm (LPA) is presented. LPA specifies the second-to-last hop and distance to each destination to ensure termination; in addition, it uses an inter-neighbor synchronization mechanism to eliminate temporary loops. A detailed proof of LPA's correctness is presented and its complexity is evaluated. LPA's average performance is compared by simulation with the performance of algorithms representative of the state of the art in distributed routing, namely an ideal link-state (ILS) algorithm and a loop free algorithm that is based on internodal coordination spanning multiple hops (DUAL). The simulation results show that LPA is a more scalable alternative than DUAL and ILS in terms of the average number of steps, messages, and operations needed for each algorithm to converge after a topology change. LPA is shown to achieve loop freedom at every instant without much additional overhead over that incurred by prior algorithms based on second-to-last hop and distance information.
机译:提出了无环寻路算法(LPA)。 LPA指定了到每个目的地的倒数第二跳和距离,以确保终止。此外,它使用邻居间同步机制来消除临时循环。提出了LPA正确性的详细证明,并评估了其复杂性。通过仿真将LPA的平均性能与代表分布式路由中最新技术的算法(即理想链路状态(ILS)算法和基于跨越多跳的节点间协调的无环算法(DUAL))的性能进行比较。 。仿真结果表明,就拓扑变化后每种算法收敛所需的平均步数,消息和操作而言,LPA是比DUAL和ILS更可扩展的替代方案。已证明,LPA可以在每一个瞬间实现循环自由,而没有比基于倒数第二跳和距离信息的现有算法所产生的额外开销大的额外开销。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号