Fair and Reliable Self-Stabilizing Communication

12 pages -- Edition: World Scientific Version 2: soumission ArXivInternational audienceWe assume a link-register communication model under read/write atomicity, where every process can read from but cannot write into its neighbours' registers. The paper presents two self-stabilizing protocols for basic fair and reliable link communication primitives. The rst primitive guarantees that any process writes a new value in its register(s) only after all its neighbours have read the previous value, whatever the initial scheduling of processes' actions. The second primitive implements a weak rendezvous communication mechanism by using an alternating bit protocol: whenever a process consecutively writes n values (possibly the same ones) in a register, each neighbour is guaranteed to read each value from the register at least once. Both protocols are self-stabilizing and run in asynchronous arbitrary networks. The goal of the paper is in handling each primitive by a separate procedure, which can be used as a black box in more involved self-stabilizing protocols

A Self-Stabilizing Communication Primitive

Invited paperInternational audienceThe goal of the paper is to provide designers of self-stabilizing protocols with a fair and reliable communication primitive, which allows any proces that writes a value in its own register to make sure that every neihgbour eventually does read that value. We assume a link register communication model under read/write atomicity, where every process can read but cannot write into its neighbours' registers. The primitive runs a self-stabilizing protocol, which implements a "rendezvous" communication mechanism in the link register asynchronous model. This protocol works in arbitrary networks and also solves the problem of how to simulate reliable self-stabilizing message-passing in asynchronous distributed systems

La Recursivite, mode de programmation distribuee

Projet PARADISRésumé disponible dans le fichier PD

Un Algorithme distribue d'electIon non pre-determinee et d'arbre couvrant

Projet PARADISRésumé disponible dans le fichier PD

Efficient routing protocols in nameless networks

Projet PARADISTwo types of distributed fully asynchronous probabilistic algorithms are given in the present paper which elect a leader and find a spanning tree in arbitrary anonymous networks of processes. Our algorithms are simpler and slightly improve on those with respect to communication complexity. So far, the present algorithms are very likely to be the first fully and precisely specified distributed communication protocols for nameless networks. They are basically patterned upon the spanning tree algorithm designed and motivated by the previous works proposed. For the case where no bound is known on the network size, we give a message terminating algorithm with error probability e which requires 0(m log log(nr) + n log n) messages on the average, each of size 0(log r + log log n) where n and m are the number of nodes and links in the network and r = 1/e. In the case where some bounds are known on n (N < n ² KN, with K ³ 1), we give a process terminating algorithm with error probability e, with 0(m + n log n) messages of size 0(log n) in the worst case. In either case, the (virtual) time complexity is 0(D x log log(nr)). In the particular case where the exact value of n is known a variant of the preceding algorithm process terminates and always succeeds in 0(m + n log n) messages of size 0(log n)