Recherche Avancée

Thèse soutenue

Ordonnancement en-ligne temps réel critique dans les systèmes distribues

FR  |  
EN
Auteur / Autrice : Laurent George
Direction : Catherine Roucairol
Type : Thèse de doctorat
Discipline(s) : Informatique
Date : Soutenance en 1998
Etablissement(s) : Versailles-St Quentin en Yvelines

Résumé

FR

Les systèmes distribués temps réel critique sont des systèmes distribués bien spécifiques pour lesquels les techniques d'analyse en moyenne avec ou sans simulation ne sont pas satisfaisantes. Il est nécessaire de garantir que tout au long de la vie du système, les contraintes temporelles associées aux tâches exécutées dans le système seront toujours respectées. A ces contraintes temporelles sont le plus souvent associées des contraintes de haute disponibilité des services fournis par le système. Contraintes pour lesquelles il est nécessaire de mettre en oeuvre des techniques de tolérance aux fautes particulières. Nous nous intéressons aux problèmes de conception et dimensionnement de systèmes ou se conjuguent les problèmes de temps réel, de traitement distribué et de tolérance aux fautes (trdf). Cette thèse montre comment il est possible d'étendre des résultats d'ordonnancement établis en contexte monoprocesseur centralise pour résoudre deux problèmes trdf. Nous étudions plus particulièrement les politiques d'ordonnancement à bases de priorités fixes (rate monotonic, deadline monotonic ou arbitraire) et dynamiques (earliest deadline first, fifo notamment) en contexte préemptif et non préemptif. Les différents résultats établis en contexte non préemptif centralise sont ensuite étendus pour résoudre les deux problèmes trdf suivants : diffusion temps réel dans un groupe : (multicast) nous décrivons une famille de protocoles de diffusion atomique uniforme avec un temps de réponse de bout en bout borne. La famille de protocoles utilise l'ordonnancement earliest deadline first (edf). Traitement reparti temps réel : Nous traitons un problème d'algorithmique distribuée avec maintien de relation d'ordre (l'ordre d'occurrence des évènements). Nous montrons comment maintenir la cohérence de données reparties en présence d'accès concurrents avec un temps de réponse garanti. Une analyse de faisabilité associée a l'ordonnancement FIFO est réalisée. Cette analyse est basée sur le calcul du pire temps de réponse des tâches du système.