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

Astfel, adaugarea de noi operatii în cadrul unei clase nu va conduce în mod necesar la
crearea de subtipuri ale tipului initial. Mecanismele fara conservare a
comportamentului sunt mult mai expresive decât cele cu conservare a
comportamentului, si sunt capabile sa trateze mai multe anomalii de mostenire. În
literatura însa sunt foarte putine propuneri de astfel de mecanisme, deoarece ele
implica o multime de probleme cum ar fi negarantarea relatiei de subtipizare sau
necesitatea unor studii în directia tehnicilor de analiza statica si a tehnicilor de
optimizare în vederea eficientizarii programelor.
O alta posibila solutie de reducere a anomaliilor are la baza tot respectarea
principiului separarii codului de interactiune concurenta si consta în construirea de
biblioteci de politici generice de sincronizare si concurenta. Astfel, în locul mostenirii
partii de specificare si coordonare a concurentei dintr-o superclasa, o subclasa va avea
posibilitatea instantierii unei politici particulare. Aceasta abordare poate fi utila în
special în cazul specificarii concurentei interne, unde exista un numar relativ restrâns
de politici utilizate (cum ar fi cititori/scriitor, prioritatea cititorilor etc).
6.2.2. Modelarea si simularea aplicatiilor orientate-obiect concurente
Hartile de stari scalabile reprezinta un formalism ce permite modelarea
comportamentului obiectelor concurente ce corespund modelelor obiect care
utilizeaza mecanisme de sincronizare orientate pe încapsulare. Astfel, receptionarea
unui mesaj care nu poate fi tratat la un moment dat nu implica ignorarea acestuia, el
fiind stocat într-o coada în vederea tratarii sale ulterioare. Exista însa cazuri
particulare de mesaje care necesita o planificare speciala, planificare ce cade în
sarcina gestionarului de mesaje. Prin urmare, una dintre posibilele extensii ale
hartilor de stari scalabile consta în capacitatea de modelare a planificarii mesajelor.
De asemenea, mostenirea hartilor de stari scalabile reprezinta un alt subiect
viitor de studiu. Automatizarea acestui proces, impunerea unor restrictii de
modificare a hartilor de stari mostenite precum si propagarea modificarilor hartilor de
stari ale sub-claselor în descendentii acestora pot conduce la controlarea si/sau
eliminarea conflictelor între mecanismul de mostenire si cel de sincronizare
concurenta.
153