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

unor mecanisme de sincronizare de nivel scazut, specifice limbajelor de programare
procedurale cum ar fi semafoarele ([DIJ68]) sau regiunile critice conditionale
([HAN72], [HAN73]).
Abordarea omogena introduce un concept nou, si anume acela de obiect activ.
Un obiect activ este un obiect care poate controla si planifica executia propriilor
operatii. Astfel, obiectele detin fire de executie proprii care (în majoritatea modelelor
obiect omogene) sunt create implicit atunci când este receptionat un mesaj. Astfel de
obiecte pot sau nu sa fie protejate implicit de invocari concurente din exterior si
contin mecanisme specifice pentru protejarea explicita a starii interne (multimi de
activare [TOM89], abstractizarea comportamentului [PAP96], metode cu garzi
[FER95], etc).
Abordarea eterogena permite existenta în cadrul unui sistem a doua tipuri de
obiecte: active (având întelesul descris mai sus) si pasive. Obiectele pasive nu detin
fire de executie proprii, nu sunt protejate (implicit sau explicit) de apeluri concurente
din exterior, iar propriile operatii sunt executate în cadrul firelor de executie ale
obiectelor care le apeleaza.
În modelele obiect eterogene exista trei tipuri de abordari ale obiectelor pasive.
Un prim caz este acela în care în obiectele pasive nu poate exista mai mult de un fir de
executie la un moment de timp dat (astfel de obiecte sunt echivalente obiectelor
existente în cadrul limbajelor de programare orientate-obiect secventiale). Un al
doilea caz este acela al obiectelor pasive partajate, care permit executarea în interiorul
lor a mai multor fire de executie si care pot fi apelate de catre orice alt obiect din
sistem (activ sau pasiv). In fine, al treilea caz este cel al obiectelor pasive care
reprezinta o proprietate a unui obiect activ. În acest ultim caz obiectele pasive nu pot
fi apelate decât de catre obiectele active care le detin (si care vor realiza si protejarea
acestora).
Un alt element important care caracterizeaza modelele obiect pentru
concurenta implementate în diverse limbaje de programare este dat de gradul de
concurenta interna a obiectelor. Din acest punct de vedere exista modele cu obiecte
secventiale, cvasi-concurente si concurente [PAP92].
Modelele cu obiecte secventiale nu permit executia a mai mult de un fir de
executie în interiorul unui obiect. Mai mult, toate mesajele care sunt receptionate in
timpul executiei unei operatii vor fi luate în considerare doar dupa ce executia
17