Rtk Semafor

Lucrarea de fata isi propune sa atinga urmatorul obiectiv:

- Proiectarea si implementarea unei aplicatii in timp real sub RTK pentru monitorizarea taskurilor.

2. Breviar teoretic

Un semafor reprezinta o variabila de tip intreg utilizata pentru a contoriza numarul de semnale de trezire salvate pentru a fi folosite in viitor. Conceptul a fost introdus in 1965. Un semafor putea sa aiba valoarea 0, daca nu fusese salvat nici un semnal de trezire, sau valoarea 1, daca unul sau mai multe semnale de trezire erau in asteptare. Au fost propusa folosirea a doua operatii, up si down (generalizari ale sleep si, respectiv, wakeup). Operatia down efectuata asupra unui semafor verifica daca valoarea acestuia este mai mare decat 0. Daca da, decrementeaza valoarea (foloseste unul dintre semnalele de trezire) si continua. Daca valoarea este 0, procesul este suspendat, fara a termina efectuarea operatiei down pentru moment. Verificarea valorii, modificarea acesteia si eventuala suspendare a procesului sunt efectuate ca o singura actiune atomica (atomic action), indivizibila. Din momentul in care o operatie atomica a inceput, se garanteaza ca nici un alt proces nu poate accesa semaforul pana cand operatia respectiva nu se termina sau nu se blocheaza. Aceasta atomicitate este absolut esentiala pentru rezolvarea problemelor de sincronizare si pentru evitarea conditiilor de cursa.

Operatia up incrementeaza valoarea semaforului asupra caruia este aplicata. Daca unul sau mai multe procese erau in asteptarea terminarii efectuarii unei operatii down pe acel semafor, unul dintre ele este ales de catre sistem si ii este permis sa-si termine operatia down. Astfel, dupa efectuarea unui up pe un semafor care avea procese ce asteptau la el, semaforul va avea in continuare

[1] - Paraschiv N., Ingineria aplicatiilor de timp real - Note de curs, 2008.

[2] - Tanenbaum A.S., Modern operating systems, second ed., Prentice Hall, 2001.