Section: New Results
Communication and Fault Tolerance in Distributed Networks
Linear Space Bootstrap Communication Schemes
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum.
We consider in [18] , a system of processes with ids not a priori known, that are drawn from a large space, potentially unbounded. How can these processes communicate to solve a task? We show that a priori allocated Multi-Writer Multi-Reader (MWMR) registers are both needed and sufficient to solve any read-write wait free solvable task. This contrasts with the existing possible solution borrowed from adaptive algorithms that require MWMR registers. To obtain these results, the paper shows how the processes can non blocking emulate a system of Single-Writer Multi-Reader (SWMR) registers on top of MWMR registers. It is impossible to do such an emulation with MWMR registers. Furthermore, we want to solve a sequence of tasks (potentially infinite) that are sequentially dependent (processes need the previous task's outputs in order to proceed to the next task). A non blocking emulation might starve a process forever. By doubling the space complexity, using rather than just registers, the computation is wait free rather than non blocking.
Black Art: Obstruction-Free -set Agreement with |MWMR registers| < |proccesses|
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Sergio Rajsbaum.
When processes communicate by writing to and reading from MWMR registers the “communication bandwidth” precludes emulation of SWMR system, even non-blocking.
Nevertheless, recently a positive result was shown that such a system either wait-free or obstruction-free can solve an interesting one-shot task. This paper demonstrates another such result. It shows that set agreement can be solved obstruction-free with merely 2 MWMR registers. Achieving set agreement with registers is a challenge. In [17] , we make the first step toward it by showing set agreement with registers.
Adaptive Register Allocation with a Linear Number of Registers
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, Leslie Lamport.
In [16] , we give an adaptive algorithm in which processes use multi-writer multi- reader registers to acquire exclusive write access to their own single-writer, multi-reader registers. It is the first such algorithm that uses a number of registers linear in the number of participating processes. Previous adaptive algorithms require at least registers
Uniform Consensus with Homonyms and Omission Failures
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The.
In synchronous message passing models in which some processes may be homonyms, i.e. may share the same id, we consider the consensus problem. Many results have already been proved concerning Byzantine failures in models with homonyms, we complete in [19] , the picture with crash and omission failures.
Let be the number of processes, the number of processes that may be faulty () and the number of identifiers. We prove that for crash failures and send-omission failures, uniform consensus is solvable even if , that is with fully anonymous processes for any number of faulty processes.
Concerning omission failures, when the processes are numerate, i.e. are able to count the number of copies of identical messages they received in each round, uniform consensus is solvable even for fully anonymous processes for . If processes are not numerate, uniform consensus is solvable if and only if .
All the proposed protocols are optimal both in the number of communication steps needed, and in the number of processes that can be faulty.
All these results show, (1) that identifiers are not useful for crash and send-omission failures or when processes are numerate, (2) for general omission or for Byzantine failures the number of different ids becomes significant.
Byzantine agreement with homonyms
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, Hung Tran-The.
So far, the distributed computing community has either as- sumed that all the processes of a distributed system have distinct identifiers or, more rarely, that the processes are anonymous and have no identifiers. These are two extremes of the same general model: namely, processes use dif- ferent authenticated identifiers, where . In this paper [3] , we ask how many identifiers are actually needed to reach agreement in a distributed system with t Byzantine processes. We show that having identifiers is necessary and suf- ficient for agreement in the synchronous case but, more sur- prisingly, the number of identifiers must be greater than in the partially synchronous case. This demonstrates two differences from the classical model (which has l = n): there are situations where relaxing synchrony to partial syn- chrony renders agreement impossible; and, in the partially synchronous case, increasing the number of correct processes can actually make it harder to reach agreement. The im- possibility proofs use the fact that a Byzantine process can send multiple messages to the same recipient in a round. We show that removing this ability makes agreement easier: then, identifiers are sufficient for agreement, even in the partially synchronous model.
Byzantine agreement with homonyms in synchronous systems
Participants : Carole Delporte-Gallet, Hugues Fauconnier, Hung Tran-The.
We consider in [4] , the Byzantine agreement problem in synchronous systems with homonyms. In this model different processes may have the same authenticated identifier. In such a system of processes sharing a set of identifiers, we define a distribution of the identifiers as an integer partition of into parts giving for each identifier the number of processes having this identifier.
Assuming that the processes know the distribution of identifiers we give a necessary and sufficient condition on the integer partition of to solve the Byzantine agreement with at most Byzantine processes. Moreover we prove that there exists a distribution of identifiers enabling to solve Byzantine agreement with at most Byzantine processes if and only if , and where .
This bound is to be compared with the bound proved in Delporte-Gallet et al. (2011) when the processes do not know the distribution of identifiers.
Convergence of the D-iteration algorithm: convergence rate and asynchronous distributed scheme
Participants : Dohy Hong, Fabien Mathieu, Gérard Burnside.
In this paper [25] , we define the general framework to describe the diffusion operators associated to a positive matrix. We define the equations associated to diffusion operators and present some general properties of their state vectors. We show how this can be applied to prove and improve the convergence of a fixed point problem associated to the matrix iteration scheme, including for distributed computation framework. The approach can be understood as a decomposition of the matrix-vector product operation in elementary operations at the vector entry level.