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

- principiul izolarii codului de sincronizare concurenta,
- principiul separarii codului de sincronizare concurenta.
Principiile de mai sus trebuie sa fie respectate de catre mecanismele de
coordonare a concurentei într-un context orientat-obiect astfel încât avantajele
caracteristice programarii concurente sau ale programarii orientate obiect sa nu se
reduca sau chiar anuleze. Principiile au fost determinate pe baza unor studii informale
privind programarea orientata-obiect si programarea concurenta. Am aratat însa ca
nici unul dintre limbajele de programare orientate-obiect concurente dezvoltate pâna
în prezent nu respecta toate aceste principii.
Sistemul formal prezentat în sectiunea anterioara este potrivit pentru
modelarea tuturor acestor principii. Mai mult, el are la baza respectarea primului
principiu enuntat, si anume acela al localizarii codului de gestiune a interactiunilor
între activitati concurente la nivelul obiectului activ apelat.
Executia dependenta de stare si cea dependenta de istoric au fost de asemenea
modelate prin intermediul definitiei 8. Aceasta introduce o notiune particulara de tip
prin modelarea comportamentului instantelor claselor concurente având la baza
sistemul de domenii si operatii semantice prezentat în figura 3.7. Definitia 8 sta la
baza extinderii unui formalism vizual de modelare a comportamentului obiectelor
active si care va fi prezentat în cadrul capitolului urmator.
Modelarea concurentei interne se realizeaza prin rafinarea multimii de mesaje
Key. Vom nota aceasta multime cu Keyintra si ea nu va contine doar o multime
simpla de signaturi de mesaje, ci pentru fiecare m ? Key, Keyintra va contine o
pereche ms - msf, unde ms reprezinta inceputul invocarii mesajului m, iar msf sfârsitul
acestei invocari. Pentru modelarea concurentei interne definitia anomaliei de
mostenire si taxonomia anomaliilor definite în sectiune precedenta pot fi usor
generalizate, prin introducerea de noi operatii semantice behintra, becintra, stateintra si
Statesintra (figura 3.9).
83