Accès direct au contenu

 

logo du site ENS

Logo du site Ens Lyon

Recherche
30 ans de l'ENS de Lyon

Accueil  >  ENS de Lyon > Recherche > Soutenances de thèses > Thèses en sc. exactes et exp.

Imprimer

Algorithmes d'ordonnancement et schémas de résilience pour les pannes et les erreurs silencieuses - Scheduling algorithms and resilience patterns for fail-stop and silent errors.

Soutenance de thèse
Soutenance de thèse de M. Aurélien CAVELAN du LIP sous la direction de Mme Anne BENOIT
7 juillet 2017
14h00

Lieu(x) :

Site Monod - 46 allée d'Italie
Salle des Thèses - ENS de Lyon
Cette thèse s'intéresse à la résilience pour les applications haute performance à très grande échelle. Sur ce type de plateforme, qui compte jusqu'à plusieurs millions d'unités de calculs, les erreurs représentent la norme plutôt que l'exception. On distingue principalement deux types d'erreurs : les pannes (typiquement, l'arrêt de l'application suite au crash d'un nœud de calcul) et les corruptions de données silencieuses (se traduisant généralement par des résultats erronés).
Ces dernières posent de nombreux problèmes car elles sont autant difficile à détecter qu'à corriger. Dans cette thèse, nous commençons par étudier plusieurs mécanismes de détection pour les erreurs silencieuses. Nous modélisons l'impact des détecteurs sur l'exécution d'applications scientifiques, permettant notamment de décider lequel utiliser lorsque plusieurs choix sont possibles.

Dans un deuxième temps, nous combinons pannes et erreurs silencieuses au sein d'un même schéma de résilience : périodiquement, l'application vérifie les résultats, puis créer un point de sauvegarde. Ainsi, en cas d'erreur, il n'est pas nécessaire de tout ré-exécuter. L'objectif est alors de minimiser le temps d'exécution ou la consommation d’énergie. Dans ce contexte, nous étendons plusieurs résultats de la littérature en caractérisant le schéma de résilience optimal pour différents types d'applications. Nous fournissons également plusieurs algorithmes d'ordonnancement exacts polynomiaux, ainsi que des heuristiques pour les graphes de tâches. Enfin, les modèles sont validés au travers de nombreuses simulations, en comparant notamment les résultats obtenus avec l'état de l'art lorsque cela est possible.

Retour au haut de la page

Pôle Recherche
 
 
Mise à jour le 19 juin 2017
Ens de Lyon
15 parvis René Descartes - BP 7000 69342 Lyon Cedex 07 - FRANCE
Tél. : Site René Descartes (siège) : +33 (0) 4 37 37 60 00 / Site Jacques Monod : +33 (0) 4 72 72 80 00