Vous êtes sur la page 1sur 132

IntroductionauxsystmesTemps

Rel

M1
UEF5Systmesembarqus
20052006

Plan:
I. Introduction
II.McanismesFondamentaux
III.Matrisedutemps
IV.Tempsreletindustrie

I.Introduction
1.Qu'estcequeletempsrel?
2.Proprits
3.Exemplesd'applications
4.Limitedessystmesclassiquespourletemps
rel

I.1Qu'estcequeletempsrel?
Typesdesystmesinformatiques:
Systmestransformationnels(calculscientifique,gestionde
BD)
lesdonnessontdisponiblesaulancement

lesinstantsdeproductionsdesrsultatsnesontpas

contraints
Systmesinteractifs(systmestransactionnelsououtils
bureautiques)
lesrsultatsdpendentdedonnesproduitespar
l'environnement

lesinstantsdeproductionrespectentdesvaleurs
statistiques(souventpeucontraints)

I.1Qu'estcequeletempsrel?
Typesdesystmesinformatiques:
Systmestempsrelousystmesractifs:
Systmesembarqus
Systmesol'interventionhumaineestlimite
(voireabsente)
Rsultatsentirementconditionnspar
l'environnementconnect
Lesinstantsdeproductiondpendentdela
dynamiqueduprocd(environnement+
traitement)
Lesinstantsdeproductionsontfortement
contraints(surviedusystme)

I.1Qu'estcequeletempsrel?
Validitd'unprogrammeTR

Outrelacorrectionalgorithmiqueletempsintervientdansla
validitduprogramme:
letempsderactiondoittreadaptauxvnements
externes(crucialpourlessystmesembarqus)
Leprogrammedoitpouvoirfonctionnerencontinuen
maintenantsacapacittraiterlefluxdedonnes
d'entre

lestempsdecalculssontconnus(estims)etpeuvent
treutilissdansuneanalysederactivit
Validerunsystmetempsrelc'estdmontrerrigoureusementque
lesystmealecomportementspcifi

I.1Qu'estcequeletempsrel?
Dfinition(1):
Lecomportementd'unsystmeinformatiqueestqualifide
tempsrellorsqu'ilestassujettil'volutiond'un
procdquiluiestconnectetqu'ildoitpiloterousuivre
enragissanttousseschangementsd'tats.
GroupeCNRSsurlaproblmatiquetempsrel1988

I.1Qu'estcequeletempsrel?
Dfinition(2):
Unsystmetempsrelestdfinicommeunsystme
dontlecomportementdpend:
Del'exactitudedestraitementseffectues
Dutempsolesrsultatssontproduits
Unretard=lefaitderaterunechance=erreurdu
systme.

Exemple:tchepriodique

Exemple:tchepriodique

Exemple:tchepriodique

Exemple:tchepriodique

Tempsrelduretlche:

Sileretardd'untraitement=exception(traitement
spcifiqueencasd'erreur):onparled'chancedure,
etils'agitd'unedfaillance

Sileretardneprovoquepasd'exception:chance
lche

Unsystmedontaucunechancenedoittre
dpasse:Tempsreldur(hardrealtime)

Siundpassementoccasionnelnemetpasendanger
lesystme:tempsrellche,oumou(softrealtime)

Tempsrelcritique:

Terminologiequimetl'accentsurlesconsquences
d'unedfaillancedusystmeetconcernelasretde
fonctionnement

Lesystmeestcritiquesi:

Ilyadesconsquenceshumainesencasdedfaillance
(contrlearien,centralesnuclaires,etc...)
Lecotfinancierd'unedfaillancedusystmeestd'ordre
suprieurceluidusystme.(explorationspatiale,etc...)

Systmeetenvironnement:

Systme:ensembled'activitscorrespondant
unoplusieurstraitementseffectusensquenceou
enconcurrence.Lestraitementscommuniquent
ventuellemententreeux.

Lesystmeesteninteractionavecsonenvironnement

Modlisationsimple:[1n]processeurs+
priphriques(capteurs,actionneurs)

Lescapteurs:

collectedessignaux(vnements)mispar
l'environnement
Prlvementdel'tatfugitifdel'environnement(mesures)

Lesactionneurseffectuentlesractionsdusystme

Systmeetenvironnement:

Interactionsystmeenvironnement:

Adesmomentsdterminsparunerfrencedetemps
interneausystme:systmepilotsparletemps(time
drivensystem),programmepourexcuterles
actions/lecturesintervallesrguliersfixsparuntimer
(fonctionnementsquentiel)=systmessynchrones
Adesmomentsdterminsparl'environnementluimme:
ilattendlessollicitationsetragitcellesci:systme
pilotparlesvnements(eventdrivensystem)=systmes
asynchrones

Unsystmetempsrelestcomposd'unsystme
contrletd'unsystmecontrleur

I.2Proprits
Prvisibilit
Dterminisme
Fiablit

Prvisibilit

Conceptionafinquelesperformancessoientdfinies
danslepiredescas

Permetdedterminerl'avancesiunsystmeva
respectersescontraintestemporelles

Ncessiteunbonneconnaissancedesparamtreslis
auxcalculsdesactivits=dterminisme

Dterminisme

Enlevertouteincertitude(=conserverlaprvisibilit)

Surlecomportementdesactivitsindividuelles
Surlecomportementdesactivitsgroupesdansle
contexted'excution(+ordonnancement)

Sourcesdenondterminisme:

Chargedecalculs(variationsdesduresd'excutiondes
activits)
Entressorties(tempsderaction,duredes
communications)

Interruptions(tempsderactiondusystme)

Fautesetexceptionsmatriellesoulogicielles=Fiabilit

Fiabilit

Interventionhumainedirectedifficile(systtempsrel
embarqus)

Conceptiontolranteauxfautes,pourgarantirle
comportementdusystmeetdesescomposants
(prvisibilit=>dterminisme=>fiabilit)

Tempsderactioncruciaux:conceptiondesystme
ddis

Compromishardware/software

Capacits,propritsnatives(rapidit),fiabilitdu
hardware

Poidsdesdiffrentstraitementspourmenerbienune
tchedonne

Mmoire,cpu,com

Algo,complexit

Gestionduhardwarepourpermettrel'executiondes
traitements(noyautempsrel)

ordonnancement,gestiondelammoire,premption,etc...

I.3Exemples

Logicieldecontrled'unCombinGSM:

Embarqu

Gestiondesoprationsdelacouchephysique

Gestiondesprocdureslogiques

Localisation,mesuresdequalitdulienradio,

Gestiondelaconversation

mission,rception,mesuredesniveauxderception,etc...

Relaisentredeuxreseaux

IHM

Redaction,navigation,etc...

SystmedeVideoconfrencesurrseaulocal

Numrisationdusignalvideo

Squencede30images/s

Compression

Reseau

Accs,envoi,rception

RobotAutonome

Robottypemarsexplorer:

AllerdupointAaupointBsanstrebloqu

Navigation

vitementd'obstacle

Contrainteimportantescarilendcoulelasurvie
delamission:lerobotnedoitpasresterbloqu

chantillonnagedescapteursdeproximit

Vitessededplacement

Architecturedesubsomptionpourordonnancer
navigationetvitementd'obstacles

I.3Limitesdessystmesclassiques:

Ordonnancement:tempspartag
Gestiondesentressortiesetdesinterruptions
sousoptimales
Gestiondelammoirevirtuelletrssouple:
engendredesfluctuationsdestempsd'excution
desactivitsd'unsystme
Rsolutiontemporellepasassezfine

Plan:
I. Introduction
II.McanismesFondamentaux
III.Matrisedutemps
IV.SystmesTempsRel

II.McanismesFondamentaux

Idegnrale:revoirlesmcanismes
fondamentauxd'unOSclassiquepour
comprendrelesoriginesdelalatenced'un
systme.
Latence:

Dlaiglobaldeboutenboutentrelechangement
d'tatdansunenvironnentetlaraction
correspondanteensortiedusystme

II.McanismesFondamentaux

Ils'agitd'undlaicompositequicomprend:

Lesdlaisdescrutationdusystme

Lesdlaisdusl'os

Lesdlaisducalculapplicatif

Lesdlaisdetransmissiondumessage

II.McanismesFondamentaux

Ils'agitd'undlaicompositequicomprend:

Lesdlaisdescrutationdusystme

Lesdlaisdusl'os

Lesdlaisducalculapplicatif

Lesdlaisdetransmissiondumessage

II.McanismesFondamentaux

Ils'agitd'undlaicompositequicomprend:

Lesdlaisdescrutationdusystme

Lesdlaisdusl'os

Lesdlaisducalculapplicatif

Lesdlaisdetransmissiondumessage

Giguesurlalatence:

Dcritl'incertitudesurlalatence

Problmesd'accsauxressources

ordonnancement

II.McanismesFondamentaux

Exemple(1):systmelmentaire
Soitunsystmesimplequiexcuteun
programmeunique:

Acquisitiondesdonnes

Traitement(calcul)

Restitutiondesrsultats

II.McanismesFondamentaux

Exemple(1):systmelmentaire

II.McanismesFondamentaux

Exemple(1):phase1

II.McanismesFondamentaux

Exemple(1):phase2

II.McanismesFondamentaux

Exemple(1):phase3

II.McanismesFondamentaux

Exemple(1):systmelmentaire

Traitementsquentielsuffisant

Squencementrglparl'horloge

Pasdeconcurrenceentrelesphases

OSsimple

Seuleladimensiondesressources
matrielles/logiciellesestprendreencompte(faire
faceaupiredescas:simple)

II.McanismesFondamentaux

Exemple(2):systmepluscomplexe:

Unvnementsurvientn'importequelmoment:
instantd'apparitionnonmatris(traitementdjen
cours,...)

Ildoittreprisencomptedansundlaismaximum
donn

II.McanismesFondamentaux

Exemple(2):systmepluscomplexe:

Unvnementsurvientn'importequelmoment:
instantd'apparitionnonmatris(traitementdjen
cours,...)

Ildoittreprisencomptedansundlaismaximum
donn

Deuxgrandsmodlesd'interaction:

Scrutationcyclique(polling)

Interactionparinterruptions

II.McanismesFondamentaux

Scrutation:

Lesystmeprendl'initiatived'activerlafonctionqui
valireuneentreuninstantprogrammpour
vrifiersiunvnementaeulieu.Leplussouvent
cettescrutationserafaitepriodiquement.

II.McanismesFondamentaux

Scrutation:
Boucle infinie :
Tant que donnes non disponibles
Vrifier les capteurs
Lire les capteurs
Traiter les donnes
Dmarrer les ractions
Tant que action en cours
Vrifier les actionneurs

II.McanismesFondamentaux

Scrutation(2):

Avantages:

Latencedusystme=tempsdetraitementd'uneboucle

Casprochedusystmesimplesquentielvuprcdemment

Simpleprogrammer

Inconvnients

Alignementdelaboucledetraitementssurle
priphriquelepluslent
Programmedifficilemaintenir

II.McanismesFondamentaux

Interactionparinterruptions:

Unsignalhardwareassocil'arrived'unvnement
dclenchel'activationdelafonctionquivalirela
donned'entre.Lecoursnormaldel'executiondu
programmeestintrompu.

InitialementintroduitpourgrerlesE/Sd'un
processeur

Concepttendulanotiond'interruptioninterneou
exception(trap)logicielle

II.McanismesFondamentaux

Interactionparinterruptions:

II.McanismesFondamentaux

Interactionparinterruption:

1.Scrutation:
Boucle infinie :
tant que (tat = donnes diponibles)
vrifier tat des capteurs
lire les donnes mmorises
remettre zro tat des capteurs

II.McanismesFondamentaux

Interactionparinterruption:

2gestionnaired'interuption:
Lire et mmoriser la donne
positionner

(tat = donnes diponibles)

acquitter l'interrupion

II.McanismesFondamentaux

Interactionparinterruption:

Avantages:

Letraitementd'unvnementexternevatrepartagentre
untraitementimmdiateffectuparlegestionnaire
d'interruptionetparunegestiondiffre,confiune
tche:traitementmultitchepossible.

Inconvnients

Unegrandepartiedutempscpuestconsacrautrechose
quel'application
Programmedifficilemaintenir

II.McanismesFondamentaux

Ils'agitd'undlaicompositequicomprend:

Lesdlaisdescrutationdusystme

Lesdlaisdusl'os

Lesdlaisducalculapplicatif

Lesdlaisdetransmissiondumessage

II.McanismesFondamentaux

Servicesdebase:

Executiond'unprogrammeparleprocesseur
(ventuellementenconcurrence:ordonnancement)

Gestiondelammoire

Partagedesressources

Synchronisation,communication

Gestiondutemps,horloge

II.McanismesFondamentaux

Servicesdebase:

Executiond'unprogrammeparleprocesseur
(ventuellementenconcurrence:ordonnancement)

Gestiondelammoire

Partagedesressources

Synchronisation,communication

Gestiondutemps,horloge

II.McanismesFondamentaux

Lestches:

Programme:

Objetstatique:suited'instructionsagissantsurun
ensemblededonnes

Processus:

Objetdynamiquegrparl'OS:tcheouprocess

Espacesmmoiresspars
Communiquentpardescanauxspciaux
Crationcoteuseentemps
Mcanismesdeprotectiontrscoteux
Passaged'unprocessusl'autre:coteuxtransfertsdemmoire

II.McanismesFondamentaux

Processus:

Zoneprogramme

Zonededonnes

Zonedepile(donnestemporaires)

Ensembledesinformationscaratrisant
l'executiond'unprocessus:contexteduprocessus

Processuslourds(contexteimportant)

Processuslgers(contextepartag/propre)

II.McanismesFondamentaux

Gestionmultitcheetordonnancement:

Unprocessuspeutavoitplusieurstats:

Courant:tchelue,quipossdeleprocesseur

Prt:tcheligible,demandeleprocesseur

Enattente:tchebloqueenattented'unvnement

Transitiond'untatunautre:

Rveil:enattenteprt

Allocation:prtcourant

Premption:courantprt

Blocage:courantenattente

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

II.McanismesFondamentaux

Lapartiedel'OSquifaitvoluerlestatsdes
tchesetquialloueleprocesseurs'appelle
l'ordonnanceur(scheduler)
L'ordonnanceurestuneprocduredeservicede
l'OS
Ordonnanceur:

Premptif:leprocessuscourantpeuttredsalou
pardcisiondel'ordonnanceur(ex:interruptions)

Nonpremptif:latchecourantenepeurtre
interrompueparuneautretche

II.McanismesFondamentaux

Loisd'ordonnancement(systmesclassiques)

Premierarriv,premierservi(FIFO)

Premiertchedelafileestalloue

Unetcherveilleouprempte:findefile

II.McanismesFondamentaux

Loisd'ordonnancement(systmesclassiques)

Tourderle(tourniquet)

FIFO

Activationpriodiquedestches

Pasdenotionurgencevisavisdestraitement

Politiquegalitaire:partagedutemps

II.McanismesFondamentaux

Loisd'ordonnancement(systmesclassiques)

Parpriorit

Choixdanslalistedestchesenfonctiondelaprioritde
latche
Laprioritlaplushautel'emporte(allocation):pasde
partagedutemps
totalitaire

II.McanismesFondamentaux

Loisd'ordonnancement(systmesclassiques)

Unix:prioritsetpartagedutemps:

Traitementdestchesdeprioritlesplushaute

Tourniquetparmilestchesdemmepriorit

Traitementd'interruptionsaudtrimentdetchesdefortes
priorits

II.McanismesFondamentaux

Loisd'ordonnancement(systmesTR)

Limiterlepartagedutemps

Limiterlespremptions(trscoteux)

Utiliserlespriorits

Ordonnerlesprioritsapriorilorsdestestsde
faisabilit,enfonctiondessituations/chargesdu
systmepossibles

Grandeimportancedel'ordonancement/traitementdes
premptions

II.McanismesFondamentaux

Rappel:

Lesdlaisdescrutationdusystme

Lesdlaisdusl'os

Lesdlaisducalculapplicatif

Lesdlaisdetransmissiondumessage

II.McanismesFondamentaux

Gestiondesressources:

Problmed'accsconcurrentunemmeressource

Ex:Tches1et2

II.McanismesFondamentaux

Gestiondesressources:

Onappellesquenceatomiqueunesuited'oprations
excutesparunsystmequipermetdepasserd'un
tatcohrentunautretatcohrentsanspossibilit
d'interruptiondelasquence(ex:tches1et2)

Onappellesectioncritiqueunesquenced'oprations
qu'ilfauteffectuerdefaonatomique

Lessectionscritiquesoprantsurdesressources
communesdoiventtreexcutesenexclusion
mutuelle

II.McanismesFondamentaux

Pourassurerl'atomicitd'unsquence:

Masquagematriel:onassurequelasquencenesera
prempteenmasquanttouteslesinterruptionsetles
appelsausystmepouvantprovoquerunepremption

Masquagelogiciel:inhibitiondel'ordonnanceur
pendantledroulementdelasectioncritique.

Utilisationdesmaphoresd'exclusionmutuelle

II.McanismesFondamentaux

Smaphorebinaireoud'exclusionmutuelle:

Entitlogiqueassocieuneressource

DeuxprimitivesPetVpermettentdemanipulerle
smaphore.

Entred'unetcheensectioncritique:elleinvoqueleP

Findutraitementprotg:elleeffectueleV

II.McanismesFondamentaux

P:
Compteur=compteur1
Sicompteur<0
Mettrelatcheenfiled'attente(FIFO)
Sinonaccorderlaressource

Compteurestinitialis1

SiplusieurstachesrequiersleP(dj0)constitution
delafiled'attente

UnetchequiacquierslaressourcepasseleP

II.McanismesFondamentaux

V:
Compteur=compteur+1
Sicompteur<=0
sortirunetchedelafiled'attente(FIFO)

Lorsqu'unetcheeffectueleV,lechoixparmiles
tchesenattentepeuts'effectueraveclesmmes
critresquepourl'ordonnancement

Mcanismequipeuttretenduplusieurs
ressources:

Seulelavaleurd'initialisationducompteurchange

II.McanismesFondamentaux

LimitespourleTR:

Attentionauxblocages!

Unetchedefaibleprioritnepeutbloquerunetche
haute

Solutions:

Gestiondesattentesparpriorit

Fournirdesprimitivesdetypetestdedisponibilit

Associeruntempsd'attentemaximumauxprimitives
bloquantes

Plan:
I. Introduction
II.McanismesFondamentaux
III.Matrisedutemps
IV.SystmesTempsRel

III.Matrisedutemps

Ordonnancement

Testsdefaisabilit

Analysedel'interactionentreprocessus

Inclusiondeprocessusapriodiques

III.Matrisedutemps

Ordonnancement:dansquelordreexcuterles
tches?

SatisfairelescontraintesdetempsdestransactionsTR
enallouantdefaonefficacelesressourcecpu.

Diffrentescatgoriesd'algorithmes:

Offline:lesdcisionsd'ordonnancementsontprisesavant
l'excutiondusystme:algorithmestatique
Online:rvaluationenlignedel'ordonnancementen
fonctiondelamodificationdescritresdechoix(priseen
compted'vnementsnonprvus):algorithmedynamique

III.Matrisedutemps

4typesd'algorithmesd'ordonnancement:

Statiquespilotspartable:

Horsligne

L'applicationvatredcoupeensquenceslmentaires

quineserontjamaisinterrompues

Unesquenceestuneprocduredfinieparl'utilisateur,

C'estl'unitdebase

Unprocessusestunesuiteordonnedesquences

l'ordonnancementdesprocessusestrgitparuncalendrier

C'estunetablespcifiantlelistedesprocessusactiver

Applicationsystmatiqueparordonnancementcyclique

ABCABCABC

III.Matrisedutemps

4typesd'algorithmesd'ordonnancement:

Statiquespilotspartable:

Lesprocessussontindpendantslesunsdesautres

L'ordonnancementdesprocessusestrgiparunehorloge

Iln'existepasdepremption

Ledcoupageensquencesnoninterruptiblesassurelaprotection

Desdonnespartagesentrelesprocessus

Ilestaisdecertifierlecomportementdel'application

III.Matrisedutemps

4typesd'algorithmesd'ordonnancement:

Statiquesprmptifsbasssurlespriorits

Horsligne

Permetd'assignerlesprioritsauxtches

Unefoisencoursd'excution,lesystmeutiliseun
ordonnancementpremptif(analyseratemonotonic)base
surlanotiondeprioritfixeapriori.

III.Matrisedutemps

4typesd'algorithmesd'ordonnancement:

Dynamiqueavecplanificationl'excution

Analyseenligne
Choixdel'ordonnancementenfonctiondecritres
d'analyse:

HPF:HighestPriorityFirst
EDF:EarliestDeadlineFirst:chancelaplusproche
LLF:LeastLaxityFirst(margelapluscourte)EDF+notionde
duredetravail

Prisededcisionquandlesystmeestactif

Lescritrespeuventvarierdurantl'excution

III.Matrisedutemps

4typesd'algorithmesd'ordonnancement:

Dynamiqueavecnotiondumeilleureffort:

Enligne

Pasd'analyse

Lesystmefaitdesonmieux

III.Matrisedutemps

Lestches:

Priodiques

Sporadiques

Apriodiques

III.Matrisedutemps

Lestches:

Priodiques:doiventtreactivesintervalles
rguliers

Sporadiques:irrguliresmaisilexisteuntemps
minimalentredeuxactivations

Apriodiques:irrgulires

III.Matrisedutemps

Lestches:

Priodiques

Sporadiques

Apriodiques

Etaussi:

Tchesindpendantes

Tchesdpendantes

III.Matrisedutemps

Rappel:

C:cotd'unetche

D:chance(deadline),latchedoittreexcute
avantqueDsoitcoul

T:prioded'activationdelatche

Exemple:tchepriodique

III.Matrisedutemps

Ordonnancement

Testsdefaisabilit

Analysedel'interactionentreprocessus

Inclusiondeprocessusapriodiques

III.Matrisedutemps

Testdefaisabilit:Dterminers'ilexisteun
algorithmequisatisfaitlescontraintesdu
systme.
S'ilexisteunordonnancementd'unensemblede
tchesquirespectelescontraintesassociesces
tches,alorsl'ensembledestchesestditfaisable
Impliquelaconnaissanceducotdestchesdans
lepiredescas

III.Matrisedutemps

III.Matrisedutemps

Testdefaisabilit:AnalyseRateMonotonic(RM).
Mthoded'affectationhorslignedeprioritstatiquesune
ensembledetches.

OrdonancementoptimalsiHPFestutilis

Critres:

Tchespriodiquesl'tatPrtaudbutdechaquepriode

chance=FindePriode(D=T)

Lestchesnesesuspendentpasellesmmesencoursd'excution

Premtionpossible,tempsdePremptionngligeable

Tempsd'ordonancementngligeable

Tchesindpendantes,Cconnu

III.Matrisedutemps

Testdefaisabilit:AnalyseRateMonotonic(RM).
L'affectationdeprioritsefaitenfonctiondelafrquencedes
tches:

Pluslafrquenceestforte,pluslaprioritestleve

Prioritdelatchei:Pi=1/Ti

OrdonnancementavecHPF

III.Matrisedutemps

Testdefaisabilit:AnalyseRateMonotonic(RM).

Conditionsuffisante:

Mtrique:tauxd'utilisationduprocesseur=quantit
detempsdetraitementconsommparlestchespar
rapportautempstotal: U= duree / priode
n

i=1

III.Matrisedutemps

Testdefaisabilit:AnalyseRateMonotonic(RM).

Conditionsuffisante:

Mtrique:tauxd'utilisationduprocesseur=quantit
detempsdetraitementconsommparlestchespar
rapportautempstotal: U= duree / priode
n

i=1

Pourtoutetchei,avecCiconnu,etTi=Di,ona:
i

pour tout i,1in ,U i= C j /T ji21/i1


j=1

III.Matrisedutemps

Testdefaisabilit:AnalyseRateMonotonic(RM).

Conditionsuffisante:

Enparticulierpourntchesona:
pour tout i,1in ,U= C /T n2 1

Partiedegauche:tauxd'utilisationparlesntche

Partiedroite:tempscpuallouableaumax,en
fonctiondunombredetche,n

i=1

1/n

III.Matrisedutemps

III.Matrisedutemps

Thormedelazonecritique
Sitouteslestchesarriventinitialementdanslesystme
simultanmentetsiellesrespectentleurpremire
chance,alorstouteschancesserontrespecteparla
suitequellequesoitl'instantd'arrivdestches

pour tout i,1in ,min0tD C j /t .ceilt/Tj1


i

j=1

Avect:instantd'arrivedelatche

Prendencompteleretarimputableaudroulement
destchesdeplusfortepriorit

III.Matrisedutemps

Thormedelazonecritique

Plusgnralement:

Onconsidreuntempsdesimulationdonne.

Onrveilletouteslestchespriodiquesenmme
tempsl'instant0(piredescas)

SitouteslestchessontordonnancesparHPFsurle
tempsdesimulationsansqu'aucunechancesoit
manque,alorsletestestconsidrcommevalid

III.Matrisedutemps

Propritharmonique:

Casparticulierdetchesotouteslespriodessont
multiplesentreelles:
n

pour tout i,1in ,U= C i /T i1


i=1

III.Matrisedutemps

Testdefaisabilit:AnalyseDeadlineMonotonic(DM).

DrivedeRM

Conditionsuffisante:

L'echanceeststrinfrieurelapriode(Di<Ti)

Laprioritestfixeparordreinversedel'chance

pour tout i,1in ,U i= C j /D j i21/i1


j=1

Affectationstatiquedespriorits,onappliqueHPF

III.Matrisedutemps

Testdefaisabilit:AnalyseDynamique:EDF
Ordonnancementdynamique:variationdesprioritsdes
tcheslorsquelesystmeestenfonctionnement
Conditionsuffisante:

pour tout i,1in ,U i= C j /T j1


j=1

Priorit:tchequipossdel'chancelaplusproche

Encasd'egalit:latcheencoursresteenexecution

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:HPF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Exemple:EDF

III.Matrisedutemps

Testdefaisabilit:AnalyseDynamique:LLF
Ordonnancementdynamique:variationdesprioritsdes
tcheslorsquelesystmeestenfonctionnement
Conditionsuffisante:

pour tout i,1in ,U i= C j /T j1


j=1

Priorit:tchequipossdelamargelaplusfaible

Marge=echeancetempsdecalculrestant

III.Matrisedutemps

III.Matrisedutemps

III.Matrisedutemps

Interactionentreprocessus:

Danscertainscas,lestchespeuventtre
potentiellementdpendantes:casd'accsen
exclusionmutuelledesressourcescommunes

Pbdel'inversiondepriorit:

Unetchedeplusfaibleprioritbloqueunetche
plusimportante
Lesystmedoittemporairementinverserles
prioritspourviterlepremption(section
critique)
Coteuxetlourdgrer

III.Matrisedutemps

Solution:hritagedepriorit:

Lepossesseurdusmaphoreestlatchequiaeule
droitd'accderlaressourceenexclusionmutuelle

Hritagesimple:c'estlesmaphorequigreles
prioritsdanssafiled'attente

Latchequidtienslesmaphorehritedelapriorit
delatchequirclamelaressource

Limite1lenombred'inversiondepriorits

III.Matrisedutemps

Solution:hritagedepriorit(pourinfo):

Hritageparverrouleplushaut

Hritageparplafonddepriorit

III.Matrisedutemps

Inclusiondeprocessusapriodiques:

Unprocessuspriodiqueassimilunserveurest
intgrdanslesystme.

Ilcontrlelestchesapriodiques

Ceserveurpossde:

UneprioritPm(dfinir)
UncotCmdanslepiredescasdfinitenfonctiondu
profild'arrivedestchesapriodiques
UnepriodeTm

III.Matrisedutemps

Fonctionnementen2phases:

Scrutationdesvenementspriodiquesutiliser

Dclenchementdel'excutions'ilyaaumoinsun
vnementenattented'tretrait.Danscecas,la
capacitdetraitementCmestofferte.

Donneunprofilpriodiquedesvnement
apriodiques
PeuttreintgrdansRM,DM,etc...

III.Matrisedutemps

Rsum:analyseRM

Affectationdesprioritsstatique

Optimal:siunalgorihtmestatiquearriveaproduire
unordonnancement,alorsRMyarriveaussi

Peuttreaugmentpourprendreencompte:

Lessituationsdeblocage

Lestchesapriodiques

Simple

Nepasoublierdevrifierlecasharmonique

III.Matrisedutemps

Rsum:analyseDM

IdemRM

III.Matrisedutemps

Rsum:ordonnancementHPF

Simple

Bienadaptauxtchespriodiquesetapriodiques

Trsutilis

Indpendanceimprative

Sousoptimal

III.Matrisedutemps

Rsum:ordonnancementEDF

Simple

Optimisel'usagedesressource

Bienadaptauxtchespriodiquesetapriodiques

Indpendanceimprative

Comportementdlicatencasdesurcharge

CommenceapparatredanslesnouveuxOS

III.Matrisedutemps

Rsum:ordonnancementLLF

Prioritsdynamiques

MmehypothsesqueEDF

Optimalsur1cpu

Meileurqu'EDFenmultiprocesseur

Difficileimplanter:ncssitdemaintenirjourle
tempsdecalculconsommpourchaquetche

III.Matrisedutemps

Rsumgnral:

Faireletest:RMouDM

Testerlesdiffrentespolitiqued'ordonacement:

HPFvsEDFvsLLF

Concluresurlapolitiquelamoinscoteuse:

Laplussimple:lemoinsdecalculsdynamiques

Lemoinsdepremption