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

sus (adica semafoarele marcheaza sectiuni critice caracteristice unor proprietati
private ale clasei). Semafoarele pozGoale si pozPline coordoneaza adaugarea,
respectiv extragerea de elemente din coada (în functie de starea în care se afla
aceasta), iar secCritica1 si secCritica2 au rolul de a evita efectuarea de modificari
concurente asupra proprietatilor private elemIntroduse, respectiv elemExtrase precum
si realizarea în paralel a introducerii si extragerii efective de elemente. Prin urmare
exemplul surprinde atât implementarea excluderii mutuale cât si a sincronizarii
conditionale.
Coada::Coada():
pozGoale(100),
pozPline(0),
secCritica1(1),
secCritica2(1)
{
//pentru simplitate nu am definit constructor explicit
maxElem=100;
listaElemente=new [maxElem] Element;
elemIntroduse=elemExtrase=0;
}
Coada::~Coada(){
... //destructor identic cu cel din versiunea secventiala
}
void Coada::Adauga(Element elem){
pozGoale.P();
secCritica1.P();
elemIntroduse++;
listaElemente[elemIntroduse % maxElem - 1]=elem
secCritica1.V();
pozPline.V();
}
Element Coada::Extrage(){
pozPline.P();
secCritica2.P();
elemExtrase++;
Element elemTmp=listaElemente[elemExtrase % maxElem - 1];
secCritica2.V();
pozGoale.V();
return elemTmp;
}
Asa cum se poate observa din implementarea de mai sus, operatiile asupra
semafoarelor (care delimiteaza sectiunea critica) sunt efectuate în interiorul corpului
operatiilor clasei. Prin urmare, codul care descrie interactiunea concurenta nu este
separat de codul care implementeaza functionalitatea operatiilor, lucru care poate
determina aparitia asa-numitelor anomalii de mostenire în cazul reutilizarii.
La rândul lor, mecanismele mutex (derivat pe baza termenului de excludere
mutuala) si lock sunt cazuri particulare de semafoare care permit unei singure
activitati sa intre în sectiunea critica la un moment dat. Concluziile trase relativ la
29