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

Variabile de conditie. Variabilele de conditie reprezinta o extensie a
conceptului de monitor si ele au fost introduse de C. A. R. Hoare în 1974 [HOA74].
Prin aceasta extensie o activitate intrata într-un monitor poate fi blocata în interiorul
acestuia cu ajutorul unei variabile de conditie. Cât timp aceasta activitate este blocata
se poate da curs unui solicitari de apel de operatie care se afla în coada de asteptare a
monitorului. O variabila de conditie are doua operatii, wait si signal, care pot
determina blocarea sau deblocarea unei activitati. Problema care apare este data de
alegerea algortimului de decizie în cazul deblocarii a doua sau mai multe activitati în
acelasi timp (deoarece, asa cum am vazut, într-un monitor poate fi activa cel mult o
activitate). De asemenea, trebuie stabilit daca activitatea care a generat deblocarea îsi
va continua executia pâna la iesirea din monitor dupa care va fi reactivata una dintre
operatiile deblocate sau, dimpotriva, activitatea curenta va fi suspendata pâna când
vor parasi monitorul activitatile deblocate de acesta.
Câstigul evident al extinderii monitorului cu variabile de conditie este acela ca
pot fi modelate sincronizari conditionale între activitati concurente. Prin urmare pot fi
modelate interactiuni concurente în functie de starea monitorului la un moment dat.
class monitor Coada{
. . .
//declararea tuturor proprietati si a operatiilor este identica
//cu cea din exemplul de implementare secventiala
. . .
//declararea de proprietati specifice sincronizarii
//cu variabile de conditie
private:
condition Gol;//variabila de conditie pentru coada goala
condition Plin;//variabila de conditie pentru coada plina
}
void Coada::Adauga(Element elem){
if(elemIntroduse-elemExtrase==maxElem)
Plin.wait();
elemIntroduse++;
listaElemente[elemIntroduse % maxElem - 1]=elem
Gol.signal();
}
Element Coada::Extrage(){
if(elemIntroduse-elemExtrase==0)
Gol.wait();
elemExtrase++;
Element elemTmp=listaElemente[elemExtrase % maxElem - 1];
Plin.signal();
return elemTmp;
}
Implementarea unei cozi cu numar limitat de elemente folosind variabilele de
conditie sugereaza o asemanare dintre aceasta abordare de modelare a interactiunilor
concurente si abordarea folosind semafoare.
34