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

mostenire în cadrul programarii orientate-obiect concurente. Din pacate, asa cum am
vazut, studiul realizat în aceasta lucrare conduce la concluzii nesatisfacatoare. Totusi,
anomaliile de rescriere fortata care înlocuiesc conceptul de anomalii de mostenire si
care au fost introduse în [ZEN97b] are un caracter mult mai general, chiar daca acest
lucru s-a realizat doar la nivel de denumire (singurele tipuri de anomalii de rescriere
date ca exemplu au fost cele trei amintite în [MAT93]).
Între clasele care descriu la un moment dat o anumita problema pot exista
patru tipuri de relatii. Un prim tip de relatie este aceea de mostenire, care permite
reutilizarea structurii si functionalitatii unei clase în definirea altei clase.
Exista limbaje de programare (ca, de exemplu, SINA) care nu au implementat
un mecanism pentru descrierea unei astfel de relatii. În aceste limbaje generalizarea
sau specializarea unei clase se realizeaza prin intermediul mecanismului de delegare.
Relatia de delegare dintre doua clase este tot o relatie de reutilizare si ea presupune
redirectarea potentiala a mesajelor receptionate de catre un obiect spre un asa-numit
obiect delegat. Obiectul delegat trebuie sa faca parte efectiv din constructia primului
obiect. Relatia de delegare este o relatie mult mai puternica decât mostenirea,
deoarece ea poate simula aceasta relatie si, în plus, poate modela o evolutie dinamica
a sistemelor (lucru pe care mostenirea, ca relatie statica dintre clase, nu îl poate
realiza).
O a treia relatie posibila între clasele unui sistem este relatia de agregare. Ea
implica existenta unei relatii de tip parte-întreg între instantele claselor aflate în
aceasta relatie.
Relatia de asociere este cea de-a patra relatie posibila în care se pot afla doua
clase ale unui sistem. Aceasta relatie mai poarta numele si de relatie de utilizare
deoarece, la un moment dat, un obiect unei clase se foloseste de serviciile oferite de
catre un obiect al clasei asociate.
Cele patru relatii descrise mai sus reprezinta tot atâtea cai de reutilizare a
claselor definite într-o anumita biblioteca. În cele ce urmeaza vom arata ca, într-un
context concurent, existenta uneia dintre aceste relatii poate determina în anumite
conditii redefiniri netriviale de operatii precum si violari grave ale încapsularii. Prin
urmare, au loc efectele considerate în [MAT93] în descrierea anomaliilor de
mostenire.
65