消息交换网络中两种快照稳定的点对点通信协议
数据结构与算法
2009-05-18 v1 分布式、并行与集群计算
摘要
快照稳定协议从任意配置开始，始终按照其规范运行。在本文中，我们提出了一种快照稳定协议来解决消息交换网络中的消息转发问题。在该问题中，我们必须管理系统资源以将消息传递到网络中的任何处理器。为此，我们使用路由算法提供的信息。在稳定化的上下文中（特别是系统从任意配置开始），这些信息可能被破坏。因此，消息转发问题的快照稳定协议的存在意味着我们可以要求系统开始转发消息，即使路由信息最初被破坏。在本文中，我们针对该问题的以下规范提出了两种快照稳定算法（在状态模型中）：- 任何消息都可以在有限时间内生成。- 任何发出的消息在有限时间内被传递到其目的地一次且仅一次。这意味着我们的协议可以传递任何发出的消息，无论初始配置中路由表的状态如何。这两种算法基于[MS78]的先前工作。每种算法都需要一种特定的方法才能转换为快照稳定算法，但两者相对于[MS78]的算法在内存或时间上都没有引入显著的开销。
引用
@article{arxiv.0905.2540,
title = {Two snap-stabilizing point-to-point communication protocols in message-switched networks},
author = {Alain Cournier and Swan Dubois and Vincent Villain},
journal= {arXiv preprint arXiv:0905.2540},
year = {2009}
}