The unison
L'unisson
Abstract
It is easy to see that in a fault-free environment, it is not always true that a synchronized unison is deadlock-free or livelock-free, in the sense that all processes would execute their application code infinitely often. These kinds of problem mandates a deep study of unison.
Our contribution is threefold:
- understand unision and its convergence to a synchronized deadlock-free state in an arbitrary graph, and inferring new efficient protocols for general graphs;
- enhance protocoles in two particular cases: synchronous networks and tree networks;
- apply unison to local synchronization, and more generally to distance-d synchronization.
These three axes motivate the three chapters of this study.
Il est facile de voir que même dans un univers sans panne, il n'est pas toujours vrai qu'un "unisson" synchronisé soit sans interblocage ou sans famine, au sens où tous les processus exécuteraient le code de l'application une infinité de fois. Ce type de pathologie exige une étude approfondie de l'unisson.
Nos contributions s'articulent autour de trois grands axes :
- comprendre l'unisson et sa convergence vers un état synchronisé sans interblocage dans un graphe quelconque, en déduire des protocoles efficaces sur le graphe général ;
- améliorer les protocoles dans deux cas particuliers : les réseaux synchrones et les réseaux à topologie en arbre ;
- appliquer l'unisson à la synchronisation locale, et plus généralement à la synchronisation
à distance d.
Ces trois axes motivent les trois parties de cette étude.
Loading...
