14 mar 2019

Rachid Hadid exposera ses travaux sur les chemins nœuds-disjoints lors d'un séminaire le jeudi 14 mars à 14h.

The problem of two node-disjoint paths is to identify two paths Q1 and Q2 from source s ∈ V to target t ∈ V without any common intermediate node in a communication network G = (V,E), where each node (vertex) in V denotes a process and each edge (p, q) ∈ E denotes a communication channel between nodes p and q. In this paper, we present the first adaptive stabilizing algorithm for finding a pair of node-disjoint paths in a semi-anonymous arbitrary network in O(D) rounds and the state-space complexity is O(logD) bits per process, where D is the diameter of the communication network. The algorithm assumes weakly fair distributed daemon and the knowledge of an upper bound on the number of processes by each process. If two disjoint paths exist between s and t, two disjoint paths are guaranteed to be constructed. In addition, the algorithm detects if two node-disjoint paths exist or not. Since the proposed algorithm is stabilizing, it does not require initialization and is capable of withstanding transient faults. We view a fault that perturbs the state of the system but not its program as a transient fault. The proposed algorithm has a wide range of applications in ensuring reliability and security of sensor, mobile and fixed communication networks.

Keywords: All node-disjoint paths; two node-disjoint paths; distributed systems; fault tolerance; stabilization.