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

Totusi, din punct de vedere conceptual exista o modalitate de a rezolva aceasta
problema. Astfel, daca limbajul de programare permite folosirea semafoarelor doar
pentru marcarea de sectiuni critice ce se refera la proprietati private, atunci codul de
coordonare a concurentei poate fi implementat cu respectarea principiului codului de
interactiune orientat pe activitatea apelata, dar evident numai relativ la apelatorii care
fac parte din celelalte clase din domeniul aplicatiei. Nici unul dintre limbajele de
programare orientate-obiect concurente cunoscute nu suporta însa o astfel de
restrictie.
Pe de alta parte semafoarele au o putere restrânsa de specificare a
interactiunilor între fire de executie concurente. Astfel, deoarece initializarea
variabilei unui semafor poate permite executia paralela a mai multor activitati în
interiorul unei sectiuni critice este posibila implementarea concurentei intra-obiect.
Semafoarele însa nu ofera suport pentru coordonarea concurentei dependenta de
istoric. Mai mult, este dificila implementarea unei interactiuni conditionale între mai
multe activitati deoarece conditia si evaluarea acesteia trebuie simulata explicit prin
intermediul operatiilor asupra variabilei semaforului. Prin urmare semafoarele nu
ofera un suport real pentru executia dependenta de stare.
De asemenea, semafoarele nu satisfac principiul izolarii codului de
interactiune. Exemplul care urmeaza, în care este implementata clasa Coada,
ilustreaza foarte clar importanta acestui principiu. Bineînteles, nerespectarea de catre
semafoare a principiului izolarii codului de interactiune atrage automat dupa sine si
nerespectarea principiului separarii acestuia.
class Coada{
. . .
//declararea tuturor proprietatilor si a operatiilor este identica
//cu cea din exemplul de implementare secventiala
. . .
//declararea de proprietati specifice sincronizarii
//cu semafoare
private:
semaphore pozGoale;
semaphore pozPline;
semaphore secCritica1;//pt. modificare elemIntroduse
semaphore secCritica2;//pt. modificare elemExtrase
}
Implementarea cozii declarate mai sus este realizata astfel încât sa fie respectat
principiul codului de interactiune orientat pe obiectul apelat în maniera amintita mai
2 sectiune critica = fragment de cod în care se realizeaza anumite actiuni asupra unei proprietati
partajate
28