提取及时性图的算法
分布式、并行与集群计算
2015-05-18 v2
摘要
我们考虑某些链路是及时的且进程可能崩溃的异步消息传递系统。每次运行都在正确进程之间定义了一个及时性图：如果从 p 到 q 的链路是及时的（即，从 p 到 q 的通信延迟有界），则 (p, q) 是该及时性图的一条边。本文的主要目标是用具有某些性质（如树、环等）的图来近似该及时性图。给定图族 S，对于及时性图至少包含 S 中一个图的运行，使用提取算法，每个正确进程必须收敛到 S 中的同一个图，该图在精确意义上是运行及时性图的近似。例如，如果及时性图包含一个环，那么使用提取算法，所有正确进程最终将收敛到同一个环，并且在该环中所有节点将是正确进程，所有链路将是及时的。我们首先提出一个通用提取算法，然后提出一个更具体的通信高效提取算法（即，最终提取算法的所有消息仅使用被提取图的链路）。
引用
@article{arxiv.1003.1058,
title = {Algorithms For Extracting Timeliness Graphs},
author = {Carole Delporte-Gallet and Stéphane Devismes and Hugues Fauconnier and Mikel Larrea},
journal= {arXiv preprint arXiv:1003.1058},
year = {2015}
}