next up previous
suivant: À propos de ce

Curriculum Vitæ


\begin{picture}(40,1) \put(0,0){\line(1,0){40}} \end{picture}

\begin{picture}(160,1) \put(9,0){ \thicklines\line(1,0){20} } \put(32,0){ \makebox(0,0)[l]{\bf\Large Scolarit\'e} } \end{picture}




\begin{picture}(160,1) \put(9,0){ \thicklines\line(1,0){20} } \put(32,0){ \makebox(0,0)[l]{\bf\Large Exp\'erience Professionnelle} } \end{picture}




\begin{picture}(160,1) \put(9,0){ \thicklines\line(1,0){20} } \put(32,0){ \makebox(0,0)[l]{\bf\Large Publications}} \end{picture}




\begin{picture}(160,1) \put(9,0){ \thicklines\line(1,0){20} } \put(32,0){ \makebox(0,0)[l]{\bf\Large Connaissances techniques}} \end{picture}




\begin{picture}(160,1) \put(9,0){ \thicklines\line(1,0){20} } \put(32,0){ \makebox(0,0)[l]{\bf\Large Sujet de th\\lq ese}} \end{picture}
Mon sujet de thèse s'intitule ``Applications des problèmes d'accord à la tolérance aux défaillances dans les systèmes distribués asynchrones''. Il s'agit de concevoir et d'étudier une architecture modulaire permettant de mettre en \oe uvre un service de communication de groupes s'appuyant sur une brique centrale résolvant le problème du consensus dans les systèmes distribués asynchrones en présence de pannes franches. Le service de communications de groupe ainsi conc u fournit trois services. Tout d'abord une primitive de diffusion au sein du groupe dont les propriétés fonctionnelles sont la résistance aux pannes et l'ordre total maintenu sur les livraisons de messages. D'autre part un service d'évolution dynamique de la composition du groupe permet en cas de défaillance d'une des copies de pallier à sa disparition par l'insertion d'une nouvelle ou plusieurs autre nouvelles copies sans avoir à interrompre le service accompli par le groupe. Chaque changement de la composition du groupe donne lieu à ce que l'on appelle l'instantiation d'une nouvelle vue. Et enfin, un service dit de synchronie virtuelle permettant de synchroniser les changements de composition du groupe avec le service de livraison des messages sous ordre total, et qui de manière informelle garantit que l'ensemble des messages délivrés par deux copies appartenant toutes les deux à deux vues consécutives du groupe ont bien délivré le même ensemble de messages lors de la première vue. Une fois cette plateforme en place, la réalisation d'un service de tolérance aux fautes par duplication active, c'est-à-dire dans laquelle chacune des copies réalise le calcul que l'on veut rendre tolérant aux défaillances est rendu trivial.

Ce travail de thèse a donné lieu d'une part à un important travail de recherche visant à étudier les problèmes d'accord ne général et le problème du consensus en particulier, dont on sait qu'ils ne possèdent pas de solution entièrement déterministe dans un système purement asynchrone pouvant subir des défaillances, et d'autre part à la participation à un effort de codage, qui a abouti à la réalisation d'une plateforme de tolérance aux fautes par réplication active appelé Eden. Cette plateforme réalisée en Java est composée de deux sous-ensembles appelés EVA et ADAM. Partant de la constatation que la majeure partie des algorithmes publiés font appel à un formalisme faisant appel à la notion d'automates communicants qui réagissent à des événements extérieurs tels la réception d'un message, et l'écoulement d'un délai de garde pour changer d'état local et émettre des messages. Nous avons décidé d'écrire une architecture reposant sur un bus logiciel EVA. Cette approche permet de passer de manière assez aisée de la description synthétique d'un algorithme distribué à son implémentation. Chaque entité est décrite comme étant un consommateur/producteur de certains types d'événements qui sont automatiquement routés par le bus à destination. Quant à ADAM il constitue l'implémentation des algorithmes de communications de groupes mis au point durant ce travail de thèse sous la forme d'entités communicantes EVA.

next up previous
suivant: À propos de ce
Frederic Tronel
2002-02-12