Une CNS pour l'acheminement de messages instantanément stabilisant
Une CNS pour l'acheminement de messages instantanément stabilisant
摘要：
快照稳定化算法确保无论何时从任意配置开始，它都始终按照其规范运行。本文研究了消息交换网络中的消息转发问题。我们必须管理网络资源，以便将消息传递到网络的任何处理器。在这个目标中，我们需要路由算法给出的信息。但是，由于稳定的背景，这些信息最初可能会被破坏。这就是为什么这个任务的快照稳定算法的存在（在[CDV09]中证明）意味着我们可以要求系统开始转发消息，即使路由表最初被损坏。在本文中，我们推广了以前的结果，给出了一个必要和充分的条件，以一个快速稳定的方式解决的转发问题。
英文摘要：
A snap-stabilizing algorithm ensures that it always behaves according to its specifications whenever it starts from an arbitrary configuration. In this paper, we interest in the message forwarding problem in a message-switched network. We must manage network ressources in order to deliver messages to any processor of the network. In this goal, we need information given by a routing algorithm. But, due to the context of stabilization, this information can be initially corrupted. It is why the existence of snap-stabilizing algorithms for this task (proved in [CDV09]) implies that we can ask the system to begin forwarding messages even if routing tables are initially corrupted. In this paper, we generalize the previous result given a necessary and sufficient condition to solve the forwarding problem in a snap-stabilizing way.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
