Placement statique de taches dans un calculateur temps reel tolerant les fautes

Static task allocation in a fault tolerant real time system for a turbo engine control

• Auteur / Autrice : Jean-Louis Lanet
• Direction : Claude Girault
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1995
• Etablissement(s) : Paris 6

Résumé

Nous avons aborde dans cette these le probleme de l'allocation statique de taches dans un systeme reparti temps reel lorsque les taches sont soumises a des contraintes de precedence. Apres une presentation du processus physique a controler, nous faisons un etat de l'art des methodes de placement et d'ordonnancement. Parmi celles-ci les methodes approchees et particulierement les algorithme de listes sont un bon compromis entre la qualite de la solution et la rapidite d'execution. Le critere d'optimisation retenu est l'equilibrage de charge. Ce critere permet d'egaliser les temps creux du processeur qui peuvent etre mis a profit pour executer des tests du materiel ou executer les procedures de reconfiguration. Le choix d'un critere de selection de tache depend des caracteristiques du graphe comme la charge, la laxite et aussi de l'importance des contraintes de placements. Ces dernieres sont liees aux ressources en nombre limite dans le calculateur et aux exclusions entre les differents replicats d'une tache. Nous avons developpe un algorithme de liste ldl d'une complexite de o(n#2) base sur deux criteres: la laxite dynamique et le degre de liberte d'une tache. Nous l'avons compare a l'aide de simulation a d'autres politiques de placement en terme de taux de reussite, de qualite de solution et de stabilite. Une amelioration de notre algorithme est obtenue par un placement separe des taches non liees par des contraintes de precedence. Ce placement est realise a l'aide d'un algorithme de mise en sac de type best fit