Documente Academic
Documente Profesional
Documente Cultură
Principiile :
modularizarii
abstractizarii
localizarii
uniformitatii
completitudinii
conformabilitatii
acoperirii
orice task trebuie sa elibereze propria sectiune critica dupa un interval finit de
timp
taskurile nu se pot bloca in interiorul sectiunii critice
Excludere mutuala cu semafoare :
Semaforul reprezinta un dublet form dintr-o variabila de tip intreg.
Exemplu : taskurile T1 si T2 se executa sincronic cu timp ; semaforul de
excludere mutuala este SEMEX.
Sincronizarea taskurilor:
Reprezinta frecventa de punere a unui task, in relatie cu un alt task cu timpul sau
cu un eveniment extern.
2 taskuri se considera sincronizate daca se pot stabili relatii predictibile intre
diferite momente ale desfasurarii lor.
Variabilele de tip eveniment sunt variabilele logice de tip special asupra carora
pot actiona 3 tipuri de primitive si anume : inscrie,sterge si asteapta.
E {adevarat,fals}
Semnificatia variabilei :
- inscrie(E) - E-adevarat
- sterge(E) - E-fals
- asteapta(E) - blocheaza taskul daca E-fals
- continua executia daca E-adevarat
Exemplu sincronizarea cu variabile de tip eveniment:
Executivul de timp real RTK (Real Time Kernel nucleu de timp real):
Un sistem are comportament in timp real daca reactia sa la schimbarile din proces
este in conformitate cu inertia procesului.
Conducerea in timp real presupune 2 aspecte :
-transmiterea de comenzi in proces la momentul oportun
-punerea la dispozitia utilizatorului de informatii privind procesul