Vous êtes sur la page 1sur 4

Université Ibn Khaldoun – Tiaret–

Faculté des sciences appliquées


Département de Génie Electrique Spécialités: M2
Informatique Industrielle Travaux pratiques
du Module : Systèmes en temps réel

TP01
PRISE EN MAIN DU LOGICIEL
CHEDDAR 2.1

I. Objectif

La simulation du fonctionnement des systèmes en temps réel, notamment de l'ordonnancement


mono ou multiprocesseurs a d'autant plus d'intérêt qu'elle permet de reconstituer fidèlement le comportement
du système. Plusieurs outils de vérification d’ordonnancement temps réel ont été développés afin
d’automatiser les différentes techniques d’analyse présentées dans la littérature. Nous pouvons citer :

Cheddar : développé à l’université de Brest,


MAST : développé à l’université de Cantabria,
Rapid RMA : développé par la société Tri pacific software.

Au court de ces TP qui vont suivre, on va s’intéresser par le logiciel Cheddar pour réaliser quelques
applications et faire des analyses de performances temps réel.

II. Présentation du logiciel Cheddar

Cheddar est un logiciel conçu dans un but pédagogique à l’Université de Bretagne Occidentale, par l’équipe
Lisyc. Il est développé en langages Ada95 et en GtkAda. Il devrait fonctionner sur toutes les plates-formes
supportées par GNAT (GNU ADA translator). Cheddar se propose d'évaluer l'applicabilité de la théorie de
l'ordonnancement temps réel. Il permet d’effectuer un test de faisabilité sur un jeu de tâches donné pour un
algorithme d’ordonnancement bien définie et dans le cas échéant de représenter graphiquement
l’ordonnancement des dites tâches, tout ceci pour les systèmes temps réels.

Cheddar comporte deux composants logiciels :

 Une interface qui permet à l'utilisateur d’enregistrer le jeu de tâches qu’il souhaite faire analyser et aussi
de choisir un algorithme d’ordonnancement, permettant de lancer la représentation graphique des
tâches.
 Une bibliothèque comportant les principaux résultats de la théorie d'ordonnancement et quelques outils
de files d'attente Comme RM, EDF, DM, LLF et POSIX 1003b.

Par : A. ADDA BENATTIA 1/4 2016-2017


III. Prise en main de l’environnement Cheddar

III.1. Analyse monoprocesseur.

a. Définition des paramètres d’un simple ordonnancement

Lancer le simulateur cheddar, une interface graphique apparaitra. Faire suivre les étapes ci-dessous
pour programmer le système étudié

 Aller dans Edit/Update processors et ajouter un processeur. Pour cela, lui donner un nom,
planificateur (sheduler policy) et préciser s’il est préemptif ou non.
« name » : Le nom du processeur pourrait être chaine alpha-numérique.
« scheduler » : définit l’algorithme d’ordonnancement utilisé par le processeur.
Cheddar offre la possibilité d’accéder à(06) algorithmes différente (cités ci-dessus).
« quantum » : valeur associée à l’ordonnanceur, dans le cas ou le processeur traite
plusieurs tâches de même ordre de priorité. Si quantum= « 0 » cela indique que y a
pas de saut pour le processeur.

 Ajouter une adresse mémoire dans :


Edit/Update adress spaces. (Simplement
donner un nom)
 Ajouter une ou des tâches à accomplir
dans : Edit/Update tasks
b. Simulation

 Pour lancer une simulation Cliquez sur ‘’scheduling simulation’’. Le résultat apparaît: c’est
le diagramme de Gantt illustrant une exécution pire cas «worst case ». Analyser le
diagramme.

 Cliquez sur le scheduling feasibility (calendrier de faisabilité). Déduire les temps de


réponse de chaque tâche.

Indication :
 chaque ligne rouge vertical indique que la tâche à été activée/terminée dans ce
moment.
 chaque rectangle noir indique que la tâche est exécutée dans ce moment.

c. Autres analyses d’ordonnancement

A partir du sous-menu ‘’ Tools/Scheduling ‘’ on peut accéder aux spécificités suivantes :

 Le sous-menu "Tools/Scheduling/Set priorities according to Rate Monotonic" fournit un


moyen pour changer les propriétés des taches s’attachant à l’algorithme RM: les priorités sont
alors changées suivant les périodes des taches.
 Le sous-menu "Tools/Scheduling/Set priorities according to Deadline Monotonic" fournit
un moyen pour changer les propriétés des taches s’attachant à l’algorithme DM: les priorités
sont alors changées suivant les dates limites des taches.
 Le sous-menu "Tools/Scheduling/Options" permet de régler la façon de simulation
d’ordonnancement

III.2. Analyse multiprocesseurs

Ce mode d’analyse est destiné pour effectuer des tests de faisabilité et l’ordonnaçabilté d’une suite de
tâche sur deux ou plusieurs microprocesseurs. Les étapes à suivre sont similaires à celles citées pour
l’analyse monoprocesseur.

III.3. Partage de ressources.

Cheddar comporte un autre mode d’analyse de type graphique. Ce mode est consacré au test de
précédence de différentes techniques de partage de ressources. (Objectif du TP 03)
IV. Travail demandé
 A quoi sert-il l’ordonnancement des taches ?

Partire1 :

 Soit l’ensemble des tâches données dans le tableau ci-dessous.

Tâches Date de réveil D C P


T1 0 120 20 120
T2 0 120 10 120
T3 0 40 5 40
T4 0 40 5 40
T5 0 10 2 10
T6 0 10 1 10
T7 0 10 1 10

 Suivant les étapes citées ci-dessus, et pour les intervalles de temps


t = [0,120] et t = [0,150], effectuer une analyse d'ordonnancement et de faisabilité avec
l’algorithme RM en premier lieu (préemptif et non préemtif) et une seconde fois à l'aide du DM :

Indication

Faire entrer les tâches (une après l’autre) en commençant par le nom de la tâche, capacité, période,
deadline, start time. Cliquez sur Add pour ajouter la tâche dans la file. Lorsque vous terminer
cliquez sur Close pour sortir du menu.
 Simuler l’ensemble des tâches et Analyser le diagramme obtenu.
 Quelles sont les paramètres à extraire du diagramme de Gantt ?
 Y-a-t-il une différence entre l’algorithme Rate Monotonic (RM) et Deadline Monotonic (DM) ?

Partire2 :

En utilisant les algorithmes RM, DM, EDF, (préemptif), Ordonnancer la série des tâches suivantes sur 60
unité de temps :

T1 (0, 10, 3, 10), T2 (0, 25, 5, 25), T3 (0, 30, 10, 30).

 Analyser le diagramme de Gantt en déduisant :


 Le nombre de préemption
 Le temps occupé par le processeur pour chaque tâche

Vous aimerez peut-être aussi