L'unisson - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2007

The unison

L'unisson

Résumé

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.
Fichier principal
Vignette du fichier
PhD_Christian.pdf (4.64 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-01511431 , version 1 (15-05-2017)

Licence

Licence Ouverte - etalab

Identifiants

  • HAL Id : tel-01511431 , version 1

Citer

Christian Boulinier. L'unisson. Réseaux et télécommunications [cs.NI]. Université de Picardie Jules Verne, 2007. Français. ⟨NNT : ⟩. ⟨tel-01511431⟩

Collections

CNRS U-PICARDIE
219 Consultations
160 Téléchargements

Partager

Gmail Facebook X LinkedIn More