Tehnici de implementare a concurentei în analiza si proiectarea ...

Aceasta asemanare nu este întâmplatoare (dupa cum nu este întâmplator nici
faptul ca operatiile care corespund variabilelor de conditie poarta acelasi nume ca si
operatiile corespunzatoare semafoarelor) dar nici benefica. Prin urmare, extinderea
monitorului în aceasta maniera este caracterizata de aceleasi dezavantaje ce
caracterizeaza si semafoarele. Astfel, deoarece codul corespunzator coordonarii
interactiunii concurente se implementeaza intercalat cu codul de implementare a
functionalitatii operatiilor nu mai sunt respectate principiile izolarii si separarii
codului de interactiune concurenta.
De asemenea, este evident mai dificil de demonstrat corectitudinea unei clase
astfel implementate. Trebuie remarcat si faptul ca, în cazul în care variabilele de
conditie sunt publice (deci sunt vizibile în afara monitoarelor în care au fost definite)
poate fi încalcat cu usurinta principiul care enunta faptul ca specificarea interactiunii
între obiecte concurente trebuie sa fie realizata exclusiv în cadrul entitatii apelate.
Asteptare conditionala. Conceptul de asteptare conditionala a fost introdus tot
în scopul extinderii monitoarelor pentru a putea fi modelate sincronizari conditionale
inter-activitati. Acest concept a fost introdus de catre Kessels în anul 1977 [KES77]
si este caracterizat de separarea sintactica în cadrul monitorului a conditiilor de
sincronizare:
condition is ;
În urma unei declaratii ca cea de mai sus se poate introduce într-una dintre
operatiile monitorului linia de cod wait() ce are ca efect întârzierea
executiei activitatii curente care a apelat operatia respectiva pâna în momentul
verificarii conditiei data de . Prin aceasta metoda se pot determina cu
usurinta care sunt portiunile de cod ce modeleaza sincronizarea concurenta. Din
nefericire si în acest caz riscul blocarii unei activitati sau al intrarii într-o situatie de
impas este la fel de crescut. De asemenea, nu poate fi determinata activitatea care va
fi executata în cazul în care sunt mai multe activitati blocate de aceeasi conditie iar
conditia este îndeplinita în momentul executiei unei alte activitati.
Implementarea unei cozi limitate folosind monitoare extinse cu variabile de
asteptare conditionala se poate realiza în maniera de mai jos:
class monitor Coada{
. . .
//declararea tuturor proprietatilor si a operatiilor este
//identica cu cea din exemplul de implementare secventiala
35