Soutenance de thèse de Julien Sopena

Bonjour,

j'ai le plaisir de vous inviter à la soutenance de ma thèse intitulée :
"Algorithmes d'exclusion mutuelle : tolérance aux fautes et adaptation
aux grilles", ainsi qu'au pot qui suivra.

Date et Lieu :

La soutenance aura lieu le lundi 8 décembre à 14h00 en salle 549 (5ème
étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au 104
avenue du Président Kennedy, 75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php
Composition du Jury :

Roberto BALDONI, Professeur à l'Université Rome I (Rapporteur).
Frédéric DESPREZ, Directeur de recherche à l'INRIA (Rapporteur).
Marin BERTIER, Maître de conférences à l'INSA de Rennes (Examinateur).
André SCHIPER, Professeur à l'École Polytechnique Fédérale de Lausane
(Examinateur).
Sebastien TIXEUIL, Professeur à l'Université Paris VI (Examinateur).
Pierre SENS, Professeur à l'Université Paris VI (Directeur).
Luciana ARANTES, Maître de conférences à l'Université Paris VI
(Co-Encadrante).

Résumé :

Cette thèse étudie les algorithmes distribués d'exclusion mutuelle dans
le cadre des systèmes répartis à grande échelle. Elle s'intéresse plus
particulièrement à la gestion des défaillances, ainsi qu'à la prise en
compte des spécificités des topologies de type grille.

Dans une première partie, nous proposons un nouvel algorithme
d'exclusion mutuelle tolérant aux défaillances, basé sur l'algorithme de
Naimi-Tréhel. Ce nouvel algorithme conserve la complexité originale en
O(log(n)), limite l'utilisation de la diffusion et minimise le nombre
des ré-émissions de requêtes en cas de défaillances. Une étude de
performance, réalisées dans un cadre réel, a permis de montrer qu'il est
particulièrement bien adapté aux systèmes répartis à grande échelle.

Dans une deuxième partie, nous proposons un algorithme générique
permettant de composer les algorithmes d'exclusion mutuelle de la
littérature, pour prendre en compte la spécificité des grilles de
calcul, à savoir : une grande différence de latence et de débit entre
les réseaux locaux et le réseau inter-connectant les différentes grappes
(clusters). Des expériences menées sur la grille expérimentale GRID'5000
ont, entre autre, permis de dégager des choix de composition en fonction
du type d'application. Dans une autre étude de performances, nous
étudions l'importance de la répartition des machines dans les différents
clusters, sur l'efficacité de la composition.

Amicalement,
Julien Sopena

Soutenance de thèse de Samir GHAMRI-DOUDANE (LIP6, mercredi 10 décembre 14h30, Salle 549)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée : "Une
approche pair à pair pour la découverte de ressources à large échelle",
ainsi qu'au pot qui suivra.

Date et Lieu :

La soutenance aura lieu le mercredi 10 décembre à 14h30 en salle 549 (5ème
étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au
104 avenue du Président Kennedy, 75016 Paris
Plan d'accès: http://www.lip6.fr/fr/informations/comment.php

Composition du Jury :

M. Raouf BOUTABA, Professeur à l'Université de Waterloo (Rapporteur).
M. Ken CHEN, Professeur à l'Université de Paris 13 (Rapporteur).
M. Prosper CHEMOUIL, Directeur de Recherche à Orange Labs - France Télécom
(Examinateur).
M. Ahmed KARMOUCH, Professeur à l'Université d'Ottawa (Examinateur).
M. Nazim AGOULMINE, Professeur à l'Université d'Evry Val d'Essonne
(Directeur).
M. Guy PUJOLLE, Professeur à l'Université Pierre et Marie Curie - Paris 6
(Directeur).

Résumé :

Le pair à pair constitue actuellement le modèle de référence pour la
découverte et le partage des ressources à large échelle. Toutefois, les
technologies proposées arrivent difficilement à concilier efficacité de
fonctionnement, flexibilité des recherches et distribution complète de
l'architecture. Dans cette thèse, nous commençons par étudier, évaluer et
discuter les différentes approches proposées dans ce contexte. Nous
détaillons ensuite notre proposition pour un système de découverte de
ressources qui puisse répondre aux différents besoins applicatifs tout en
exhibant des propriétés d'adaptation à des environnements de déploiement
hétérogènes. Le système ainsi proposé offre un outil de recherche
déterministe, efficace et flexible. Ses performances sont comparées à celles
d'autres systèmes pair à pair structurés et non structurés. Puis, nous
concentrons notre étude sur la répartition de charge en proposant des
mécanismes complémentaires, dont l'évaluation montre que leur utilisation
combinée garantit une répartition équitable des charges de stockage, de
traitement et de trafic réseau. Ceci a pour objectif de préserver les
performances du système dans des environnements denses et déséquilibrés.
Enfin, nous nous assurons que les objectifs fixés pour un système de
découverte de ressources utile et efficace sont atteints.

Cordialement,
Samir.

Soutenance de thèse de Thomas BEGIN (LIP6=?iso-8859-1?Q?= 2C_vendredi_5_d=E9cembre_10h30=2C_Salle_549?=)

Bonjour,

J'ai le plaisir de vous inviter à ma soutenance de thèse intitulée :
"Modélisation et Calibrage Automatiques de Systèmes"
qui aura lieu le vendredi 5 décembre à 10h30 en salle 549 (5ème étage) au
Laboratoire d'Informatique de Paris 6 (LIP6), situé au 104 avenue du
Président Kennedy, 75016 Paris (Plan d'accès disponible à :
http://www.lip6.fr/fr/informations/comment.html) ainsi qu'au pot qui
suivra en salle 550.

Composition du jury :

M. Raymond MARIE, Professeur à l'Université Rennes 1, (Rapporteur)
M. Philippe NAIN, Directeur de Recherche à l'INRIA (Rapporteur)
M. Alexandre BRANDWAJN, Professeur à l'Université de Californie Santa Cruz
(Examinateur)
M. Philippe CHRETIENNE, Professeur à l'Université Pierre et Marie Curie
(Examinateur)
M. Bernd WOLFINGER, Professeur à l'Université de Hambourg (Examinateur)
M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie (Directeur)
M. Bruno BAYNAT, Maître de Conférence à l'Université Pierre et Marie Curie
(Co-Encadrant)

Résumé :

Cette thèse s'intéresse au calibrage et à la génération automatiques de
modèles.
Une nouvelle méthode de modélisation, nommée HLM ("High Level Modeling")
est proposée afin de permettre la modélisation rapide et automatique de
systèmes opérationnels de type "boîte noire" pour lesquels on dispose
uniquement de mesures. Son principe consiste à rechercher parmi un
ensemble présupposé de modèles génériques si, une fois correctement
calibré, l'un d'eux permet de reproduire le comportement d'entrée/sortie
du système tel qu'il est décrit par les mesures. La méthode HLM comprend
la description (1) de modèles classiques de type file d'attente ainsi que
des modèles plus originaux et (2) d'une méthode de calibrage automatique
permettant de déterminer les paramètres d'un modèle de type file d'attente
à partir de mesures. La recherche du calibrage est formulée comme un
problème d'optimisation numérique pour lequel un algorithme de recherche
efficace de type "Derivative Free Optimization" est proposé. Des exemples
d'applications de la méthode HLM sur des systèmes réels et variés sont
présentés.
Enfin, une partie de cette thèse concerne l'influence que peuvent avoir
les propriétés distributionnelles d'ordre supérieur sur les performances
de files classiques de la théorie des files d'attente.

Mots clés :
Modélisation; Calibrage; Automatique; Boîte Noire; Files d'attente;
Moments d'ordre supérieur

Bien cordialement,

Thomas

Soutenance de thèse de Chloé ROLLAND (LIP6, vendredi 5 décembre 15h00, Salle 549)

Bonjour, 

j'ai le plaisir de vous inviter à ma soutenance de thèse intitulée "Modèles orientés objet pour une meilleure prédiction du trafic Internet", ainsi qu'au pot qui suivra.

La soutenance aura lieu le vendredi 5 décembre à 15h00 en salle 549 (5ème étage) au Laboratoire d'Informatique de Paris 6 (LIP6), situé au 

104 avenue du Président Kennedy, 75016 Paris

(Plan d'accès disponible à : http://www.lip6.fr/fr/informations/comment.html).

Composition du jury :

M. Fabrice GUILLEMIN, Ingénieur R&D, France Télécom R&D (Rapporteur)

M. Bernd WOLFINGER, Professeur à l'Université de Hambourg (Rapporteur)

M. Pierre BORGNAT, Chargé de Recherche CNRS, ENS Lyon (Examinateur)

M. Pierre EISENMANN, Directeur des Opérations, N2NSoft (Examinateur)

M. Sébastien TIXEUIL, Professeur à l'Université Pierre et Marie Curie - Paris VI (Examinateur)

M. Serge FDIDA, Professeur à l'Université Pierre et Marie Curie - Paris VI (Directeur)

M. Bruno BAYNAT, Maître de Conférence à l'Université Pierre et Marie Curie - Paris VI (Encadrant)

Résumé :

Cette thèse s'intéresse à la modélisation du trafic Internet. Elle propose une approche dont le but est de dépasser les limites des modèles traditionnels et des modèles de type boîte noire, afin de concevoir des modèles de trafic structurels, alliant précision et simplicité d'utilisation. Elle s'intéresse en premier lieu à un modèle hiérarchique, Basic LiTGen, orienté utilisateur et application, où les entités de trafic considérées sont les sessions, les pages, les objets et les paquets. Une analyse en ondelettes permet d'aiguiller l'analyse sur l'organisation des paquets dans les objets et de proposer une structure originale s'imbriquant au niveau paquet du modèle, permettant de reproduire la dépendance à long terme observée de manière réaliste. Le modèle ainsi obtenu, Extended LiTGen, est très précis, mais la structure introduite le rend aussi complexe. Une deuxième étape s'intéresse alors à simplifier le modèle. Elle se concentre sur la structure en rafales des paquets dans les objets, et propose un modèle simple pour la modéliser, Bursts LiTGen, reproduisant finement la dépendance à long terme observée. Les modèles proposés, Extended et Bursts LiTGen, reproduisent des paramètres de performance réalistes et peuvent être utilisés dans le cadre de la prédiction de trafic.

Mots clés : 

Trafic Internet ; Modélisation de trafic ; Analyse en ondelettes ; Analyse de performance ; Dépendance à long terme.

Cordialement

Chloé