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

lucrari de specialitate, începând cu [MAT93], în care a fost numit anomalie de
mostenire.
S-au identificat, de asemenea, trei cazuri distincte în care utilitatea conceptului
de mostenire este mult diminuata (în unele cazuri particulare chiar anulata):
?? definirea unei noi subclase K' a clasei K necesita redefinirea operatiilor
acesteia (acelasi lucru este valabil si pentru descendentii clasei K');
?? modificarea unei operatii m a clasei K în cadrul ierarhiei de mostenire
implica modificarea, fara o motivatie functionala, a anumitor operatii atât
în clasa K cât si în descendentii sai;
?? definirea unei operatii noi poate forta alte operatii (inclusiv cele ce vor fi
definite în viitor în subclase) sa urmeze un protocol specific care nu era
necesar în cazul în care respectiva operatie nu ar fi existat. Pastrarearea
încapsularii claselor va fi, în consecinta, foarte dificila.
Principalele dezavantaje induse de anomaliile de mostenire sunt violarea
încapsularii si anularea într-o proportie ridicata a capacitatii mecanismului de
mostenire. În consecinta cantitatea de cod necesara pentru implementarea unei
subclase este mult mai mare decât în cazul secvential, iar modificarea operatiilor în
clasele parinte, în scopul maririi eficientei, nu are afect si asupra decendentilor
acestora, deoarece aceste operatii au fost rescrise. De asemenea, nu se pot realiza
modificari locale, acestea trebuind sa fie realizate la nivelul întregii ierarhii.
O observatie importanta este aceea ca aparitia anomaliilor de mostenire
depinde de primitivele de comunicare si sincronizare specifice limbajului. Rezulta de
aici ca problema anomaliilor de mostenire este generata de conflictele semantice
dintre descrierile sincronizarii si ale mostenirii specifice unui limbaj, si nu de modul
în care sunt implementate trasaturile limbajului.
3.2.1. Clasificarea Matsuoka-Yonezawa
Aceasta clasificare a fost realizata si prezentata în [MAT93] si ea a stat la baza
demonstrarii corectitudinii multor limbaje de programare orientate obiect concurente
(corectitudine privita prin prisma implementarii de mecanisme de initiere si
interactiune concurenta care sa împiedice aparitia anomaliilor de mostenire). Din
pacate, desi clasificarea Matsuoka-Yonezawa are meritul de a fi rodul unei analize
laborioase a conflictelor dintre mostenire si concurenta, ea are anumite neajunsuri
58