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

sincronizari conditionale, si deci nu poate fi realizata o sincronizare inter-activitati
dependenta de starea monitorului (mai exact, starea obiectului reprezentat printr-un
monitor) la un moment dat. "Greutatea" acestui dezavantaj poate fi masurata prin
prisma unui exemplu ce va fi dat în cele ce urmeaza si care implementeaza o clasa
Coada folosind monitorul ca mecanism de interactiune intre activitatile concurente.
class monitor Coada{
protected:
Element listaElemente[]; //tablou cu elementele cozii
int maxElem; //nr. maxim de elemente din coada
int elemIntroduse; //nr. elementelor introduse în coada
int elemExtrase; //nr. elementelor extrase din coada
public:
Coada(){…};
~Coada(){…};
void Adauga(Element elem) {…};
Element Extrage(){…};
BOOL EGoala(return elemIntroduse-elemExtrase==0;);
BOOL EPlina(return elemIntroduse-elemExtrase==maxElem;)
}
Daca monitorul permitea modelarea sincronizarii conditionale atunci, în
momentul în care un obiect de tip Coada ar fi fost în starea plin (adica au fost
introduse în coada cu maxElemente mai multe elemente decât au fost extrase) si ar fi
receptionat un mesaj Adauga(), mesajul respectiv ar fi fost pus într-o coada de
asteptare urmând ca, dupa extragerea a cel putin unui element, mesajul sa fie acceptat.
Din pacate monitorul nu poseda nici o modalitate de specificare a activarii sau
inactivarii unei operatii pe baza unei conditii. Pozitionarea mesajelor într-o coada de
asteptare se realizeaza strict pentru respectarea excluderii mutuale.
Astfel, pentru a se tine cont de starea unui obiect, trebuiesc definite în clasa
Coada doua metode care sa poata fi folosite la inspectarea acestei stari - EGoala(),
respectiv EPlina(). Cele doua metode vor fi folosite de catre obiectele care doresc
introducerea sau extragerea de elemente dintr-un obiect de tip Coada. Acest lucru
însa implica nerespectarea principiului implementarii codului de interactiune în cadrul
obiectului apelat.
Un alt dezavantaj major al monitoarelor este acela ca în cazul unei utilizari
neglijente ele pot conduce cu usurinta, asemanator semafoarelor, la situatii de impas.
Aceasta problema este cunoscuta în literatura de specialitate si sub denumirea de
problema apelului monitoarelor încastrate (nested monitors call).
33