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

Figura 3.4. Descrierea comportamentului obiectelor clasei BCoada
Blocarea si deblocarea cozii se realizeaza prin intermediul operatiilor
Blocare(), respectiv Deblocare() ale clasei nou create BCoada. Si acest caz a fost
implementat folosind mecanismele de sincronizare amintite. Astfel, pentru multimile
de acceptare este necesara adaugarea unei noi stari, ceea ce implica aparitia
anomaliilor de mostenire, dupa cum s-a vazut si la exemplul anterior. În cazul
metodelor cu garzi este necesara modificarea conditiilor din garzi pentru a fi luata în
considerare noua proprietate blocat, si deci este necesara redefinirea operatiilor
Adauga() si Extrage() fara a modifica deloc functionalitatea acestora.
Clasificarea realizata de Matsuoka si Yonezawa reprezinta o prima încercare
de determinare sistematica a cauzelor care conduc la aparitia anomaliilor de
mostenire. Din pacate aceasta clasificare nu are un fundament teoretic, ea bazându-se
strict pe testarea cazurilor în care multimea de stari abstracte a unei clase este
modificata în descendentii sai. Prin urmare, nu exista nici o garantie ca respectiva
clasificare sa fie completa si corecta, realizarea ei depinzând strict de "bunul-simt" si
experienta autorilor.
Mai mult, nu este surprins cazul în care se ajunge la o anomalie de mosternire
fara ca multimea starilor abstracte sa fie modificata în clasa fiu. Astfel, pentru
exemplul de mai sus si folosind anumite mecanisme de coordonare a interactiunilor
concurente particulare, construirea unei subclase a clasei Coada care sa contina o
operatie ce extrage ultimul element al cozii conduce la redefinirea nejustificata din
puct de vedere functional a tuturor operatiilor din superclasa (acest lucru poate fi
62