即时稳定消息路由的充要条件
分布式、并行与集群计算
2009-05-13 v1
摘要
即时稳定算法确保无论从何种任意配置开始，其行为始终符合规范。本文关注消息交换网络中的消息转发问题。我们必须管理网络资源，以便将消息传递到网络中的任何处理器。为此，我们需要路由算法提供的信息。但由于稳定化背景，这些信息初始时可能已损坏。因此，该任务存在即时稳定算法（已在[CDV09]中证明）意味着我们可以要求系统即使在路由表初始损坏时也开始转发消息。本文推广了先前的结果，给出了以即时稳定方式解决转发问题的充要条件。
引用
@article{arxiv.0905.1786,
title = {Une CNS pour l'acheminement de messages instantan\'ement stabilisant},
author = {Alain Cournier and Swan Dubois and Vincent Villain},
journal= {arXiv preprint arXiv:0905.1786},
year = {2009}
}