Self-stabilizing (f,g)-Alliances with Safe Convergence
Journal of Parallel and Distributed Computing(2015)
摘要
Given two functions f and g mapping nodes to non-negative integers, we give a silent self-stabilizing algorithm that computes a minimal (f, g)-alliance in an asynchronous network with unique node IDs, assuming that every node p has a degree at least g(p) and satisfies f(p) ≤ g(p). Our algorithm is safely converging in the sense that starting from any configuration, it first converges to a (not necessarily minimal) (f, g)-alliance in at most four rounds, and then continues to converge to a minimal one in at most 5n + 4 additional rounds, where n is the size of the network. Our algorithm is written in the shared memory model. It is proven assuming an unfair (distributed) daemon. Its memory requirement is O(log n) bits per process, and it takes steps to stabilize, where is the degree of the network.
更多查看译文
关键词
-alliance,safe convergence,self-stabilization
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络