Академический Документы
Профессиональный Документы
Культура Документы
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 2/119
SOMMAIRE
1 Historique
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 3/119
Introduction
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 4/119
Introduction (2)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 5/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 6/119
En général
Observations
Actions
- page 7/119
Illustration
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 8/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 9/119
Fonctionnement
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 10/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 11/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 12/119
Caractéristiques (2)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 13/119
Commentaires
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 14/119
Sources du non-déterminisme
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 15/119
Remarques
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 16/119
La fiabilité (reliability)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 17/119
Systèmes embarqués
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 18/119
Exemples d’application
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 19/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 20/119
non déterministes
l’ordonnanceur vise l’équité
+ d’autres inadaptations
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
Services de l’OS :
Biblio. de pgms Gestion d’objets
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 22/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 23/119
Sources d’incertitude
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 24/119
Terminologie
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 25/119
- page 26/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 27/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
Tourniquet
FIN
T3(3)
FIN
T2(7)
FIN
T1(2
0 3 4 6 8 9 11 12 15 18 21 24 30
Quantum = 4 unites
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
T1 3 7 T1
T2 1 1 T2
T3 3 T3
4
T4
T4 2 3
priorite Ci
T2 −− T4 −− T1 −− T3
Ordonnancement Files priorites constantes
T4
T1
T2
T3
temps
1 4 11 15
0
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Priorites constantes
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 30/119
priorite elevee
arrivee
FILE 0 q0
ELECTION
FILE 1 q1
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 32/119
Remarques
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 33/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 34/119
P P
D
temps
r0 d0 r1 d1 r2
C
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 35/119
Commentaires
T (r0 , C, D, P) avec 0 ≤ C ≤ D ≤ P
r0 : date de réveil, C : durée max d’exécution,
D : délai critique, P : période
rk : date de réveil de la k eme requête de la tâche.
rk = r0 + k P, représentée par ↑
dk : échéance de la k eme requête de la tâche.
dk = rk + D, représentée par ↓
Rem : tâche à échéance sur requête quand
D = P, représentée par l
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 36/119
Remarques
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 37/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 38/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 39/119
ELUE
BLOQUEE PRETE
faute
PASSIVE
INEXISTANTE
- page 40/119
Exemples de tâches
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 41/119
préemptible : tâche élue qui peut être arrêtée et remise à l’état prêt,
pour allouer le processeur à une autre tâche
non préemptible : une fois élue, la tâche ne doit plus être interrompue
jusqu’à la fin de la requête (tâches atomiques, à exécution immédiate).
Ex : tâche qui s’exécute sous le contrôle d’une interruption
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 42/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 43/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 44/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 45/119
Définitions
Configuration de tâches : mise en jeu d’un ensemble de n tâches qui
s’exécutent
Départ simultané : même date de réveil (sinon départ échelonné)
Facteur d’utilisation du processeur pour n tâches périodiques : U =
Ci
∑ii =n
=1 Pi
Facteur de charge du processeur pour n tâches périodiques : CH =
C
∑ni=1 Dii
Laxité du processeur à l’instant t, LP (t ) = intervalle de temps à partir de
t pendant lequel le processeur peut rester inactif sans remettre en
cause le respect des échéances (LP (t ) ≥ 0, ∀ t). LP (t ) est égale au
minimum des laxités conditionnelles LCi (t ) des tâches i
LCi (t ) = Di - ∑j Cj (t ). Les tâches j sont celles qui sont déclenchées à
l’instant t et qui devancent i dans la séquence de planification.
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 46/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 47/119
- page 48/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 49/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 50/119
Centralisé - Distribué
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 51/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 52/119
Tests
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 53/119
Propriétés (2)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 54/119
Priorité fixe : Dans la liste d’attente : la clé (priorité) est fixe si on prend
un paramètre fixe comme clé (durée d’exécution, délai critique, période).
Priorité variable : si on prend comme clé un paramètre variable (date de
réveil, échéance, ...)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 55/119
RateMonotonic (RM)
InverseDeadline (ID) ou DeadlineMonotonic (DM)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 56/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 57/119
Rate Monotonic (ou RM) : priorité d’une tâche = f(sa période). La tâche
de plus petite période est la plus prioritaire. L’algorithme est optimal
dans la classe des algorithmes à priorité constante pour une
configuration de tâches à échéances sur requête. Dans ce cas, on
connaît une condition suffisante d’existence d’une borne minimale
pour l’acceptation d’une configuration de n tâches :
C 1
∑ni=1 Pii ≤ n(2 n − 1)
Cette borne = pire cas et tend vers ln 2 quand n très grand (c-à-d 69%).
Elle peut être dépassée (en moyenne elle est de 88%)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 58/119
- page 59/119
temps
0 4 5 7 9 20
temps
0 2 5 7 10 12 15 17 20
T3 (r3=0, C=2, P=10)
temps
0 2 4 10 12 14 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 60/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 61/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 62/119
0 2 5 7 20
temps
0 2 4 5 7 9 10 12 14 15 17 19 20
0 4 5 7 9 10 12 14 19 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 63/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 64/119
Exemple
la figure 10 montre l’exemple d’un ordonnancement “Earliest Deadline”
pour 3 tâches périodiques. T1 (r0 = 0, C = 3, D = 7, P = 20),
T2 (r0 = 0, C = 2, D = 4, P = 5), T3 (r0 = 0, C = 1, D = 8, P = 10).
à t=0 : au réveil des 3 tâches, T2 prioritaire, elle s’exécute pendant 2
unités.
A t=2, T2 termine. C’est T1 la + prioritaire. Elle s’exécute pendant 3
unités de temps.
A t=5, T1 se termine et T2 se réveille de nouveau (car période 5), mais
c’est T3 qui est cette fois la + prioritaire car son échéance est 8, elle
s’exécute pendant une unité.
Ici, on voit que les priorités des tâches varient dans le temps : par
exemple, à t=0, c’est T2 + prioritaire (que T1 et T3 ), mais à t=5, c’est T3
la plus prioritaire.
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 65/119
0 2 5 7 20
0 2 4 5 6 8 9 10 12 14 15 17 19 20
0 5 6 8 10 12 13 18 20
- page 66/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 67/119
Exemple
Les figures 11 et 12 montrent l’ordonnancement avec LL pour les 3
tâches de l’exemple sur ED, avec un calcul de laxité effectué aux seules
dates de réveil.
A t=0, les 3 tâches sont réveillées. Laxité dynamique de T1 =7-3=4.
Laxité de T2 =4-2=2. Laxité de T3 =8-1=7. C’est donc T2 (la + prioritaire)
qui s’exécute à t=0 (pour 2 unités).
A t=2, c’est T1 qui s’exécute (sa laxité [7-2-3] est plus petite que celle de
T3 [8-2-1] ).
A t=5, T2 se réveille de nouveau. Sa laxité dynamique (9-5-2 = 2ème
échéance - temps courant - durée exécution) est égale à 2 , celle de T3
(8-5-1) est de 2 également (retard ’toléré’ t.q l’échéance est toujours
respectée). On peut choisir T3 (cas a) ou t2 (cas b) pour être
ordonnancée et s’exécuter.
Rappel : L(t ) = D (t ) − C (t ) laxité nominale résiduelle, retard maximum
pour reprendre l’exécution d’une tâche si elle s’exécute seule (= aussi
D + r − t − C (t )).
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 68/119
temps
0 2 5 7 20
temps
0 2 4 5 6 8 9 10 12 14 15 17 19 20
temps
0 5 6 8 10 12 13 18 20
F IGURE: Ordonnancement “Least Laxity”. Cas (a) : c’est T3 qui est élue à t=5
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 69/119
temps
0 2 5 7 20
temps
0 2 4 5 7 9 10 12 14 15 17 19 20
temps
0 7 8 10 12 13 18 20
F IGURE: Ordonnancement “Least Laxity”. Cas (b) : c’est T2 qui est élue à t=5
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 70/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 71/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 72/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 73/119
temps
0 2 5 7 10 12 15 17 20
temps
0 2 4 10 12 14 20
Temps creux
temps
0 4 5 7 10 14 15 17 20
Taches apériodiques
temps
0 4 5 7 8 10 11 14 15 17 19
20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 74/119
Remarque
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 75/119
- page 76/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 77/119
temps
0 2 5 20
temps
0 2 10 12 14 20
temps
0 4 5 7 10 11 12 15 16 20
Tap3(r=4, c=2)
Tap4(r=10, c=1) Tap5(r=11, c=2)
capacité du serveur
2 temps
1
0 5 7 10 12 15 16 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 78/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 79/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 80/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 81/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 82/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 83/119
temps
0 2 4 6 7 20
temps
0 2 10 12 14 20
temps
0 4 6 10 11 12 15 16 20
Tap3(r=4, c=2)
Tap4(r=10, c=1) Tap5(r=11, c=2)
capacité du serveur
2 temps
1
0
0 6 9 10 12 15 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 84/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 85/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 86/119
Routine de garantie
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 87/119
Exemple
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 88/119
Exemple : déroulement
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 89/119
Déroulement (suite)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 90/119
temps
0 2 5 7 20
temps
0 2 4 5 6 8 9 10 12 14 15 17 19 20
T3 (r0=0, C=1, D=8, P=10)
temps
0 5 6 8 10 12 13 18 20
temps creux
8 10 13 15 17 20
taches aperiodiques
4 8 10 11 13 15 16 17 18 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 91/119
- page 92/119
2. suite
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 93/119
Ordonnancement conjoint
temps
0 2 5 7 20
temps
0 2 4 5 6 8 9 10 12 14 15 17 19 20
T3 (r0=0, C=1, D=8, P=10)
temps
0 5 6 8 10 12 13 18 20
taches aperiodiques
temps
4 8 10 13 14 18 20
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 94/119
Ordonnancement conjoint
temps
0 2 5 7 20
temps
0 2 4 5 6 8 9 10 12 14 15 16 18 19 20
T3 (r0=0, C=1, D=8, P=10)
temps
0 5 6 8 10 14 15 18 20
taches aperiodiques
temps
4 8 10 11 12 14 15 16 18 20
1
0
0
1 1
0
01
1 0
0
1 0
1 0
1
0
1
0
1 01
1
0
1
0
0
1
0
1 01
1 0
1
0
0
1 0
1 0
1
0
1
0
1 01
1
0
1 0
0
1
0
10
1
0
10
1
0
1
111
0000
1
0
10
1
0
10
1
0
10
1
Ta4(r=4, c=2, d=10) Ta5(r=10, c=1, d=18) Ta6(r=11, c=2, d=16)
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 95/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 96/119
T1, T2 : acquisition
T3, T4 : pré-traitement
T5 : extraction de caractéristiques
T6 : détection de contours
T7 : estimation de la hauteur
T8 : Reconnaissance finale
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 97/119
Graphe de précédence
tache
T1
pecedence
T2 T3
T4 T5
F IGURE: précédence
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 98/119
Commentaires
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 99/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 100/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
Tj
Ti
Tk
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 101/119
T1*
T3*
T5*
T2* T4*
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
tache Ci ri Pi r∗i
—————– ———- ———– ———— ————
T∗1 1 0 12 r∗1 =r1=0
—————– ———- ———– ———— ——————–
T∗2 2 5 14 r∗2 =r2=5
—————– ———- ———– ———— ——————–
T∗3 2 0 10 r∗3 =max(r3 ,r∗1 )=max(0,0)=0
—————– ———- ———– ———— ——————–
T∗4 1 0 8 r∗4 =max(r4 ,r∗1 ,r∗2 )=max(0,0,5)=5
—————– ———- ———– ———— ———————–
T∗5 3 0 16 r∗5 =max(r5 ,r∗3 ,r∗4 )=max(0,0,5)=5
—————– ———- ————— ——————- ——————–
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
tache Ci ri Pi P∗i
—————– ———- ———– ———— ————
T∗1 1 0 12 P∗1 =P1 -> 12
—————– ———- ———– ———— ——————–
T∗2 2 5 14 P∗2 =P2 -> 14
—————– ———- ———– ———— ——————–
T∗3 2 0 10 P∗ ∗
3 =(P3 =10) et > (P1 =12) -> 13
—————– ———- ———– ———— ——————–
T∗4 1 0 8 P∗ ∗ ∗
4 =(P4 =8) et > max(P1 =12,P2 =14) -> 15
—————– ———- ———– ———— ———————–
T∗5 3 0 16 P∗ ∗ ∗
5 =(P5 =16) et > max(P3 =13,P4 =15) -> 16
—————– ———- ————— ——————- ——————–
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 102/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 103/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
C∗
i = prec. r∗
i = prec. D∗i =
—————– ———- ———– ———— ————
Ci 0/ -> Ti ri Ti -> 0/ Di
—————– ———- ———– ———— ————
Ci Tj -> Ti max(ri , r∗j + Cj ) Ti -> Tj min(Di , D∗
j -Cj )
—————– ———- ———– ———— ————
Ci Tj -> Ti et Tk -> Ti max(ri , r∗ ∗
j + Cj , rk +Ck ) Ti -> Tj et Ti -> Tk min(Di , D∗ ∗
j -Cj , Dk -Ck )
—————– ———- ————— ——————- ————
Tj*
Tj *
Ti*
Ti
*
Tk * Tk*
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 104/119
T1*
T3*
T5*
T2* T4*
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
tache ∗
Ci =Ci ri Di ∗ ri
—————– ———- ———– ———— ————
T∗
1 1 0 12 r∗1 1 =0
=r
—————– ———- ———– ———— ——————–
T∗
2 2 5 14 r∗2 =r2 =5
—————– ———- ———– ———— ——————–
T∗
3 2 0 10 r∗
3 =max(r ,r∗ +C )=max(0,1)=1
3 1 1
—————– ———- ———– ———— ——————–
T∗
4 1 0 8 r∗ ∗ ∗
4 =max(r4 ,r1 +C1 ,r2 +C2 )=max(0,1,7)=7
—————– ———- ———– ———— ———————–
T∗
5 3 0 16 r∗
5 =max(r ,r∗ +C ,r∗ +C )=max(0,3,8)=8
5 3 3 4 4
—————– ———- ————— ——————- ——————–
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
tache ∗
Ci =Ci ri Di ∗
ri Di∗
—————– ———- ———– ———— ———— ————
T∗
1 1 0 12 =0 min(D1, D4*-C4, D3*-C3)= min(12,7,8) = 7
—————– ———- ———– ———— ——————– ——————–
T∗
2 2 5 14 =5 min(D2, D4*-C4) = min(14,7) = 7
—————– ———- ———– ———— ——————– ——————–
T∗
3 2 0 10 =1 min(D3, D5*-C5) = min(10, 13) = 10
—————– ———- ———– ———— ——————– ——————–
T∗
4 1 0 8 =7 min(D4, D5*-C5) = min(8,13) = 8
—————– ———- ———– ———— ———————– ——————–
T∗
5 3 0 16 =8 D5 = 16
—————– ———- ————— ——————- ——————– ——————–
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 105/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 106/119
Problèmes :
Evaluer le temps de réponse d’une tâche
Inversion de priorité : apparaît quand une tâche A est retardée par une
tâche moins prioritaire B (car A a demandé une ressource déjà détenue
par C, moins prioritaire que A et B)
Interblocage (la tâche A détient la ressource R1 et demande la ressource
R2. En même temps, la tâche B détient la ressource R2 et demande R1).
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
T1
temps
R1 R2 Interblocage !
T2 temps
=> une solution : les classes ordonnees (chaque tache demande les ressources dans l’ordre)
R2 R2 Liberation de Ri
R1,R2
Fin de T1
T1 temps
R1 R2 R1,R2
Fin de T2
T2 temps
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
On a : Pri(T1) > Pri (T2) > Pri(T3) > Pri(T4)
T1 temps
R1 R1
T2
temps
T3
temps
R1 R1
T4 temps
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 107/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
R1 R1
T1 temps
R2
R2
T2 temps
R1 R2
R1
R2
T3 temps
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 108/119
Situations de surcharge
Quelques éléments
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 109/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 110/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 111/119
Doit assurer le respect des échéances soit par le primaire, soit par le
secondaire.
Si le primaire et le secondaire sont exécutés => le résultat du primaire est utilisé.
L’ordonnancement consiste en la juxtaposition d’une séquence des primaires et
d’une séquence des secondaires et d’une régle de décision pour commuter de
l’une à l’autre.
Il existe 2 politiques : 1ère chance et 2ème chance
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 112/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 113/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 114/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 115/119
Quelques éléments
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 116/119
Protocoles
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 117/119
Types d’ordonancements
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 118/119
Ensemble des station = anneau logique. Le droit d’émettre est réservé à une
seule station : celle qui a le jeton. Quand une station a le jeton, elle émet des
trames pendant une durée fixée, puis transmet le jeton. Le bus à jeton peut
fonctionner avec ou sans priorités. Des paramètres sont utilisés : temps de
posssession du jeton, 3 compteurs de rotation du jeton, notamment.
Avec tous ces éléments, des protocoles spécifiques sont définis pour
ordonnancer les tâches et les messages dans un système distribué.
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg
Historique
Ordonnancement de tâches indépendantes
Ordonnancement de tâches dépendantes
Ordonnancement dans des situations de surcharge
Ordonnancement conjoint tâches et messages
- page 119/119
Université du Havre - UFR ST - LITIS - Équipe STI Systèmes temps réel et Ordonnancement - B. Sadeg