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

2. Specificarea si coordonarea concurentei în programarea
orientata-obiect concurenta
2.1. Introducere
În clipa de fata exista o diversitate de limbaje de programare orientate-obiect
concurente, numarul acestora fiind în continua crestere datorita cercetarilor tot mai
intense în acest domeniu. Majoritatea acestor limbaje au fost dezvoltate în scopuri de
cercetare, pentru a demonstra sau infirma anumite rezultate teoretice.
În cadrul acestui capitol am enuntat un set de patru principii de proiectare a
limbajelor de programare orientate-obiect concurente. Acestea sunt în marea lor
majoritate principii care stau la baza filozofiei de programare orientata-obiect pe de o
parte si a programarii concurente pe de alta parte. Desi unificarea acestor doua clase
de principii pare a fi una naturala, referindu-se la doua paradigme ortogonale ale
programarii, se va arata ca respectarea unora dintre ele poate aduce atingere
integritatii celorlalte. Determinarea acestor principii s-a facut într-o maniera
informala, având la baza cercetari realizate în acest domeniu în [BLO79], [PAP89],
[MAT90], [FRO92], [PAP92], [MAT93], [MEY93] si [PHI95].
Prezentul capitol contine de asemenea un studiu amanuntit a modalitatilor de
specificare si coordonare a activitatilor concurente în peste o suta de limbaje
orientate-obiect concurente. Acest studiu are la baza descrieri si analize de limbaje de
programare, biblioteci de clase concurente sau modele de obiecte concurente si are ca
scop principal evaluarea acestora în raport cu respectarea principiilor determinate.
Rezultatele evaluarilor sunt prezentate în finalul capitolului sub o forma tabelara si ele
12