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

Din diagrama prezentata în figura 2.4 deducem ca un obiect al clasei Coada se
poate afla într-una din urmatoarele stari: Gol, Plin sau Partial. Implementarea clasei
Coada realizata pe baza acestei diagrame defineste aceste trei stari în cadrul sectiunii
behavior si modifica starea obiectelor folosind instructiunea become asupra
identificatorului starii tinta. Constructorii si destructorul se considera ca facând parte
din interfata obiectului indiferent de stare.
class 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();
//definirea starilor clasei
behavior:
Plin = {Extrage};
Gol = {Adauga};
Partial = {Extrage, Adauga};
}
Coada::Coada(){
//pentru simplitate nu am definit constructor explicit
maxElem=100;
listaElemente=new [maxElem] Element;
elemIntroduse=elemExtrase=0;
become Gol;
}
void Coada::Adauga(Element elem){
elemIntroduse++;
listaElemente[elemIntroduse % maxElem - 1]=elem;
if (elemIntroduse - elemExtrase == maxElem)
become Plin;
else
become Partial;
}
Element Coada::Extrage(){
elemExtrase++;
Element elem=listaElemente[elemExtrase % maxElem - 1];
if (elemIntroduse - elemExtrase == 0)
become Gol;
else
become Partial;
return elem;
}
Codul de coordonare a interactiunilor concurente este într-un anumit fel mai
izolat. Totusi ramân instructiunile become care sunt executate în cadrul codului ce
descrie functionalitatea unei clase. Prin urmare nici în acest caz nu sunt respectate
principiile izolarii si separarii codului de interactiune.
Evident mecanismele bazate pe abstractizari de comportament respecta
principiul codului de interactiune orientat pe apelat. Mai mult, datorita conceptului de
41