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

pentru o clasa. Conditiile care joaca rol de garzi de metode pot face apel doar la un
tip de proprietati, ceea ce conduce la izolarea codului de coordonare concurenta în
adevaratul sens al cuvântului.
Un mare avantaj al metodelor cu garzi consta în faptul ca operatiile si
conditiile lor pot fi mostenite sau rescrise separat (este respectat principiul separarii).
Totusi, si acest mecanism genereaza un anumit tip de anomalii de mostenire deoarece
în anumite cazuri, trebuie ca la rescrierea unei conditii sa se cunoasca implementarea
acesteia în clasa parinte, lucru care determina distrugerea modularitatii ierarhiei de
clase.
În varianta originala metodele cu garzi nu pot exprima interactiuni concurente
dependente de istoricul apelurilor de operatii. Exista însa extensii care permit
introducerea în garzile operatiilor a unor expresii de logica temporala [FER95].
Metodele cu garzi reprezinta unul dintre mecanismele cele mai populare si
elegante folosite la implementarea interactiunilor activitatilor concurente. De
asemenea, luând în considerare si extensiile amintite mai sus, acest mecanism
respecta toate principiile enuntate la începutul acestei sectiuni.
Multimi de acceptare. Una dintre problemele care apar în cadrul
mecanismului de abstractizare a comportamentului este aceea ca determinarea
urmatoarei stari este posibil sa se realizeze în urma unei analize destul de complexe.
Acest fapt poate implica necesitatea rescrierii nejustificate a unor operatii în cadrul
claselor derivate.
În aceste mecanisme multimile de acceptare ([TOM89]) sunt considerate ca
fiind concepte de prima-clasa, adica ele pot fi transmise ca parametru de operatie sau
pot fi returnate ca si rezultat al unor functii. Astfel, instructiunea become poate fi
utilizata în acest caz alaturi de un nume de operatie care returneaza o multime de
acceptare. Analiza complexa este efectuata în cadrul unei astfel de operatii. Pentru
clasele derivate modificarea comportamentului are ca efect doar modificarea acestor
operatii.
Implementarea clasei Coada folosind multimi de acceptare va fi realizata pe
baza starilor determinate la exemplul de folosire a abstractizarii comportamentului.
class Coada{
protected:
Element listaElemente[]; //tablou cu elementele cozii
46