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

specificarea si coordonarea concurentei. Aceste mecanisme acopera toate categoriile
de modele de obiecte concurente descrise.
Vom enunta în continuare un set de principii pe baza carora vom realiza o
evaluare a mecanismelor analizate. Aceste principii caracterizeaza un model obiect
general, cu o putere ridicata de exprimare a interactiunii si sincronizarii activitatilor
concurente si care vizeaza pastrarea integritatii conceptelor orientate-obiect
(mostenirea, încapsularea, modularitatea etc).
Modele obiect cu cea mai mare putere de exprimare a concurentei sunt cele
care permit executarea în paralel a doua sau mai multe operatii ale aceluiasi obiect.
Pastrarea integritatii proprietatilor obiectelor asupra carora actioneaza mai multe
operatii în mod concurent presupune utilizarea de mecanisme de limbaj de
sincronizare si planificare a executiei operatiilor. Planificarea operatiilor unui obiect
poate fi realizata în functie de starea obiectului la un moment dat sau de istoricul
executiilor operatiilor acestuia. Prin urmare un prim principiu care trebuie respectat
de catre un model de obiecte concurente este ca acesta sa contina un mecanism de
specificare si interactiune între obiecte care sa permita exprimarea: a) concurentei
intra-obiect, b) executiei dependente de stare si c) executiei dependente de istoric.
Vom numi acest principiu: Principiul expresibilitatii concurentei.
Conditiile pe baza carora se realizeaza sincronizarea operatiilor concurente ale
unui obiect poarta numele de constrângeri de sincronizare. Constrângerile de
sincronizare reprezinta expresii logice în care, în general, sunt implicate proprietatile
obiectului. Pentru a evita violarea încapsularii unui obiect concurent constrângerile
de sincronizare ale operatiilor sale trebuie sa poata fi specificate la nivelul acestuia si
sa fie transparente celorlalte obiecte din sistem. Aceasta conditie naturala impusa
unui model de obiecte concurente o vom referi în continuare ca Principiul codului de
sincronizare orientat pe obiectul apelat.
Ultimele doua principii pe care le vom lua în considerare se refera la
localizarea constrângerilor de sincronizare în definirea comportamentului obiectelor
concurente. Astfel, Principiul izolarii codului de sincronizare concurenta vizeaza
detasarea codului care implementeaza functionalitatea unei operatii de codul
corespunzator descrierii constrângerilor sincronizare. De asemenea, posibilitatea de a
mosteni separat codul care implementeaza functionalitatea unei operatii si codul care
19