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

. . .
//declararea de proprietati specifice sincronizarii
//prin asteptare conditionala
private:
//conditia ce este respectata cand coada nu e goala
condition nuGol is not (elemIntroduse-elemExtrase==0);
//conditia ce este respectata cand coada e nu plina
condition nuPlin is not (elemIntroduse-elemExtrase==maxElem);
}
void Coada::Adauga(Element elem){
wait(nuPlin);
elemIntroduse++;
listaElemente[elemIntroduse % maxElem - 1]=elem
}
Element Coada::Extrage(){
wait(nuGol);
elemExtrase++;
Element elemTmp=listaElemente[elemExtrase % maxElem - 1];
return elemTmp;
}
În cadrul acestei implementari am tinut cont de faptul ca mecanismul de
monitor este bazat pe principiul "o singura activitate executata la un moment de timp
dat". În cazul în care se doreste modelarea unui paralelism intra-obiect este necesara
includerea variabilelor care compun în sectiuni critice, în caz contrar
valoarea de adevar rezultata în urma evaluarii conditiei din nemaifiind
certa. Introducerea unor astfel de sectiuni critice conduce la aparitia unor dezavantaje
asemanatoare cu cele care au fost semnalate la semafoare si variabile de conditie.
Principiul codului de interactiune orientat pe obiectul apelat este respectat de
acest mecanism doar în cazul evident în care identificatorii ce reprezinta conditiile
împreuna cu toate variabilele care compun conditiile respective sunt proprietati
private ale obiectului.
Nu poate fi modelata interactiunea concurenta dependenta de istoric. De
asemenea prezenta codului ce descrie interactiunea concurenta în cadrul codului care
descrie functionalitatea operatiei determina nerespectarea principiilor izolarii si
separarii codului de sincronizare.
b) Mecanisme de interactiune concurenta cu control mixt
Coada de asteptare. Anumite limbaje de programare orientate-obiect
concurente permit programatorilor sa defineasca instante ale unei clase mai speciale,
numita Coada_de_asteptare. Aceste instante pot fi atasate operatiilor unei clase si ele
au ca efect scoaterea, respectiv introducerea dinamica a operatiilor respective în
36