Ordonnancement distribué temps réel sérialisable de tâches : étude de faisabilité

par Soumaya Kamoun

Thèse de doctorat en Informatique

Sous la direction de Catherine Roucairol.

Soutenue en 2000

à Versailles-St Quentin en Yvelines .


  • Résumé

    Cette thèse traite du problème odits : ordonnancement distribué temps réel sérialisable. Son objectif est d'établir la faisabilité d'un jeu de tâches sporadiques distribuées soumises a des contraintes temps réel et partageant des objets modifiables persistants. Un jeu de tâches odits est dit faisable ssi il existe un ordonnancement satisfaisant les contraintes de cohérence des objets et les contraintes temps réel. Le problème est d'autant plus difficile que les tâches ont une structure en graphe. Cette thèse propose une approche générale de résolution du problème odits. Cette approche consiste, d'abord, a concevoir un ordonnancement en-ligne imposant une exécution sérialisable des tâches. Elle consiste, ensuite, a établir hors-ligne les conditions de faisabilité d'un jeu de tâches donné pour cet ordonnancement. Pour ce faire, cette thèse préconise une méthode novatrice basée sur (i) la caractérisation de l'ensemble des scénarios pires cas possibles et (ii) la modélisation de l'exécution de ces scénarios sous forme d'un graphe orienté value. Les temps de réponse pires cas sont obtenus par le calcul des plus longs chemins dans ce graphe. Les conditions de faisabilité en découlent. Deux solutions particulières sont dérivées de cette approche : l'une basée sur un ordonnancement périodique selon une séquence prédéfinie et l'autre basée sur un ordonnancement fifo. Pour chacune de ces solutions, les conditions de faisabilité nécessaires et suffisantes du jeu de tâches considéré sont établies. La complexité de ces conditions de faisabilité étant élevée, nous proposons des conditions de faisabilité de moindre complexité qui ne sont généralement que suffisantes. Cette thèse permet également d'aider le concepteur dans son choix du meilleur ordonnancement pour un jeu de tâches donné. Les résultats établis sont concrétisés par la réalisation de l'outil oodits qui se prononce sur la faisabilité d'un jeu de tâches pour les deux ordonnancements étudiés.

  • Titre traduit

    Serilizable and distribued real-time scheduling : feasibility study


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 195 p.
  • Notes : Publication autorisée par le jury
  • Annexes : 47 ref.Bibliogr. p. 193-195

Où se trouve cette thèse ?

  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Non disponible pour le PEB
  • Cote : T000018
  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB
  • Cote : 003 KAM
  • Bibliothèque : Université de Versailles Saint-Quentin-en-Yvelines. Direction des Bibliothèques et de l'Information Scientifique et Technique-DBIST. Bibliothèque universitaire Sciences et techniques.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-2000-KAM
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.