1.

Scopurile i paradigmele de comunicare n perspectiva concurenei;

Scopurile IPC (Transfer de date, Partajare de date, Avizul evenimentelor, Controlul procesului)
Paradigme de comunicare (Memorie comuna, Transfer de mesaje, Invocare la distanta)
Transmisii bazate pe mesaje (send by copy/ send by reference, fixed size/variable size messages,
direct/indirect, symmetric/asymmetric, synchronous/asynchronous, automatic/explicit buffering).
Comunicare directa procesele comunica direct intre ele.
Comunicare indirecta mesajele sunt transmise si primite printr-un intermediar (mailbox, canal).
Sincronizare transmitere (Blocking send, Nonblocking send, Blocking receive, Nonblocking receive).
Buffering (Zero capacity, bounded capacity, unbounded, automatic buffering, explicit buffering).
Invocarea la distanta ascunde comunicatiile intre procese sub forma apelurilor obisnuite de procedure.
2. Mecanisme de comunicare (file mapping, sockets, pipes, message queue, rpc/rmi,
wcf, etc.): prezentare general;

Fiecare proces opereaz n propriul su spaiu de adrese virtuale, iar de evitarea interferenelor dintre
procese se ocup sistemul de operare. Implicit un proces nu poate comunica cu un alt proces numai
dac face uz de diverse mecanisme de comunicare gestionate de kernel(nucleul sistemului de operare).
Exist totui diverse situaii n care procesele trebuie s coopereze, s mpart resurse comune sau s i
sincronizeze aciunile. Exist mai multe metode de comunicare ntre procese:
fiiere este cel mai simplu mecanism de comunicare interproces. Un proces scrie ntr-un
fiier iar cellat proces citete din fiier.
semnale sunt utilizate pentru a semnala asincron evenimente ntre procese
pipes un pipe conecteaz ieirea standard a unui proces cu intrarea standard a altuia.
cozi de mesaje este o list legat de spaiul de adresare a kernel-ului
semafoare sunt contoare utilizate pentru a gestiona accesul la resursele utilizat n comun
de mai multe procese Cel mai des sunt folosite ca i mecanism de blocare a unei resurse
pentru a preveni accesul simultan a mai multor procese la o anumit resurs.
Sockets- permit realiazrea de conexiuni ntre procese locale sau n reea.
3. MPI (Message Passing Interface): caracteristici generale;

Modelul MPI defineste un calcul ca o colectie de procese secventiale ce coopereaza prin transfer de
mesaje.
Caracteristicile MPI :
Semantica interfetei este independenta de limbaj
Permite comunicatie eficienta punct-la-punct si punct-multipunct in medii eterogene
Contine rutine pentru definirea de topologii virtuale de grup.
Ofera simplitate si completitudine (orice algoritm paralel poate fi implementat folosind
biblioteca de functii MPI)
Este compozabil, deoarece permite interactiuni cu compilatoare, depanatoare
Interoperabilitate inter-limbaj
4. MPI (Message Passing Interface): tipuri de comunicare (sincron/blocant/nonblocant).
Operaii de baz;

Operaiile de baz pentru comunicarea punct la punct sunt send i receive. n MPI ele apar ca
extensii necesare ale operaiilor similare din alte biblioteci de comunicare prin mesaje.

Tipuri de comunicare :

5. RMI (Remote Method Invocation): arhitectura i caracteristicile generale;

Caracteristici :
Permite colaborarea obiectelor aflate n masini virtuale diferite.
Permite unei aplicatii sa apeleze metode ale unui obiect aflat n alt spatiu de
adrese.
Implementeaza solutii (la nivel distribuit) pentru (identificarea obiectelor externe
(remote), trimiterea parametrilor si primirea rezultatelor, tratarea exceptiilor,
gestiunea memoriei)
Portabilitate

Arhitectura RMI :
Separarea conceptelor de comportament si implementare

6. .Net Remoting: arhitectura i caracteristicile generale;

Arhitectura - Referina sau reprezentatul obiectului remote n domeniul aplicaiei client

este un obiect ce poarta numele de proxy transparent. Acest proxy permite apelul
metodelor s fie apelate la distan (asupra unui obiect aflat n spaiul altui domeniu).
De fiecare dat apelul ctre o metod va fi convertit ntr-un mesaj iar acest mesaj va
parcurge o serie de pai n funcie de necesitile aplicaiei. Va trece mai nti printr-un
pas de serializare n care formatorul convertete mesajul ntr-un format pentru transport

Caracteristici :
Remoting este procesul de programe sau componente care interacioneaz ntre
anumite limite (de exemplu, procese sau maini).
Infrastructura remoting este o abordare abstract pentru comunicarea
interprocese.
Tehnologia NET Remoting ofer fundamentul pentru aplicaii distribuite.
. NET Remoting nlocuiete DCOM.
7. Nivelele i mecanisme de specificare a concurenei n UML;

Nivele (Sistem, Obiect, Operatie).

Mecanisme (Sintactic, Semantic, Meta-semantic)

8. Specificarea concurenei n UML: diagramele de clas;

9. Specificarea concurenei n UML: diagramele structurii compuse;

10. Concurena i diagramele cazurilor de utilizare;

11. Specificarea concurenei n UML: diagramele de secven;

12. Specificarea concurenei n UML: diagramele de stare i activiti;

13. Aspecte critice ale modelrii concurenei utiliznd UML;

14. Deficiene n proiectarea concurenei. Anomalii de motenire.

n cazul unor sisteme informatice ce includ activiti concurente se acutizeaz efectele de dispersie a
funcionalitilor i a codului confuz. Sincronizarea i comunicarea inerent acestor sisteme face
elaborarea de software dificil implicnd dificulti de reutilizare din cauza unor conflicte dintre codul de
implementare a funcionalitilor de baz i a funcionalitilor de organizare a concurenei
(sincronizare, planificare, protecie, etc.). Se disting trei clase generice pentru anomalii n care conceptul
motenirii ca form de reutilizare este mult diminuat:
Anomalii determinate de istoric (history-sensitive anomaly l. eng.);
Anomalii de partiionare a strilor abstracte (partitioning of states l. eng.);
Anomalii de modificare a strilor abstracte (modification of acceptable states l. eng.).
Anomalia determinat de istoric ne poate oferi un exemplu clasic n care motenirea i pierde din
esena sa pentru reutilizare, cci n clasa derivat sunt introduse noi operaii care impune cerine noi de
sincronizare, ce pot fora redefinirea celorlalte operaii [4].
Pentru descrierea anomaliei de partiionare a strilor abstracte este nevoie s definim comportamentul unui
obiect BoundedBuffer prin trei stri abstracte posibile: empty, partial i full. Astfel dac starea obiectului
devine empty se inhib apelul metodei get(). n mod firesc, nu poate fi apelat metoda put(), dac starea
obiectului este full.
Anomalia de modificare a strilor abstracte este determinat de faptul c adugarea unei noi operaii poate
fora modificarea altor operaii, ce nu ar fi fost necesar, dac noua operaie nu ar fi.
Pentru investigarea fenomenului discutat ce apare la reutilizarea codului n contextul concurenei n
lucrarea [2] s-a recurs la formalizarea anomaliilor. Rezultatele analizei formale prezentate n lucrare a
surprins puin comunitatea tiinific. Uor se remarc urmtoarele enunuri care ies n eviden dintrun coninut mai larg al cercetrii:
Noiunea de tip al unei clase n mod firesc trebuie s cuprind i toate versiunile comportamentale
concurente ale aceleiai clase, meninndu-le separate, n scopul reutilizrii ulterioare (acest fapt este
oarecum aproape de cercetrile Barbarei Liskov referitoare subtipizrii comportamentale *8+);
Anomaliile de motenire sunt comune i altor paradigme dect programrii obiect-orientate: de exemplu
programrii orientate pe ageni (fundamentat pe modelul Actor *9,10,11+);
Anomalia fiind prezent n implementare, nu n mod obligatoriu, cauzeaz probleme practice (n mod cert
putem identifica anomalii i ntr-un context secvenial al programrii obiect-orientate);
Problema anomaliilor de motenire ntr-o form sau alta nc nu poate fi rezolvat, ci mai degrab
diminuate efectele nefaste induse de anomalii.

15. Procese arhitecturale i concurena.

Arhitectura este un proces n cazul n care rezultatul este satisfacia prilor interesate fa de cerinele
arhitecturale. n contextul arhitecturii software-ului, abstractizarea este unul dintre principiile de baz.
Surprinde prin ncapsularea proprietile eseniale ale unui sistem. Un sistem poate fi compus din mai
multe niveluri de abstractizare i multe faze de funcionare, fiecare cu arhitectura software proprie.
Arhitectura poate fi descris n cinci puncte principale de vedere: logic, proces, fizic, de dezvoltare i
scenarii;

16-19. Modele conceptuale pentru concurenta

O arhitectur concurent presupune definirea modelului comportamental specific problemei, iar pentru aceasta este
necesar de identificat semantica interaciunilor i de potrivit mecanismele pentru sincronizare/coordonare

20. Modele matematice in concurenta

Numeroase modele formale au fost studiate pe parcursul ultimilor 20-25 ani.
Semanticele formale definite de acestea pot fi clasificate conform urmtoarelor
dihotomii [1,2]:
Semantici intensionale i extensionale,
Semantici de ntreptrundere (interleaving eng.) i de adevrat
concuren (True concurrency eng.),
Semantci cu timp ramificat (branching time eng.) i cu timp liniar (linear time eng).
Specificnd sistemele ca maini, determinate de stri (i de posibile tranziii ntre ele),
obinem modele intensionale. Aceste modele descriu ce fac sistemele, astfel acestor
semantici li se mai spune operaionale. Modelele extensionale (zise i
comportamentale) se bazeaz pe denotaii, care se focuseaz pe observaii asupra
sistemului. Astfel modelele extensionale se pot descrie lejer n termeni de abloane
comportamentale. Concurena este implicit n modelele cu o adevrat concuren, iar
comportamentul este descris n termeni de dependene cauzale. n modelele
cu ntreptrundere concurena este redus la ntreptrunderea nedeterminist a
aciunilor. Ultima dihotomie separ modelele n modele care descriu concurena n
termeni de mulimi de execuii (pariale) posibile (modele cu timp liniar) i modele n
care se specific ramificrile nedeterministe de execuie (modele cu timp ramificat). [3]
Relaiile formale dintre modelele enunate au fost analizate de mai muli cercettori. Aici
se menioneaz lucrarea [4], n care translarea dintre modele este studiat n termeni ai
teorii categoriilor. Astfel variind caracteristicile eseniale ale dihotomilor sus-menionate
obinem opt modele, mai exact opt clase de modele, prezentate n Figura 1.

Figura 1 Modele matematice pentru concuren

Plasnd modelele din Figura 1 ntr-un spaiu tridimensional relativ celor trei dihotomii
obinem o reprezentare spaial a modelelor matematice pentru concuren Figura 2.
Aceasta ne poate permite facilitarea nelegerii modelelor i relaiilor dintre ele.

Figura 2 Reprezentarea spaial a modelelor matematice pentru concuren

21. abloane primare concurente: Single Threaded Execution, Guarded Suspension, Balking,
Scheduler, Read/Write Lock, Producer-Consumer, Two-Phase Termination.
Single thread execution[Grand98]
sinopsis
Unele date metode de acces sau alte resurse ntr-un mod care produce rezultate incorecte n cazul n
care exista apeluri simultane la o metod i ambele solicit acces la date sau alte resurse n acelai timp.
Single thread execution rezolv aceast problem prin prevenirea apeluri simultane a metodei de la
care rezult n execuii concurente ale metodei.
context
S presupunem c suntei scris software-ul pentru un sistem care monitorizeaz fluxul de trafic pe o
autostrad important.
Senzorii din drum monitoriza numrul de maini care trece pe minut n locaii strategice pe autostrada.
senzori trimite informaii ctre un calculator central care controleaz semne electronice situate n
apropierea noduri.
semne afia mesaje conductorilor auto, sftuindu-i de condiiile de trafic, astfel nct acestea s poat
selecta rutele alternative.
La locurile din drum n cazul n care senzorii msoar fluxul de maini, exist un senzor pentru fiecare
band de circulaie.
Senzorul de la fiecare culoar este conectat la un controller care totalizeaz numrul de maini care trec
acel loc n fiecare rutiere
minute.Regulatorul este ataat la un emitor care transmite total a fiecrui minut de la calculatorul
central.
Mai jos este o diagram de clas, care prezinta aceste relaii.

Guarded suspension
sinopsis
Suspenda executarea unui apel de metoda pana cand o condiie prealabil este ndeplinit.
Context .S presupunem c trebuie s creai o clas care implementeaz o structur de date Queue. O
coada este o premier n prima din structura de date. Obiectele sunt eliminate dintr-o coad, n aceeai
ordine n care sunt adugate.Clasa de jos diagram arat o clas coad.

Balking sheduler
sinopsis
n cazul n care una dintre metodele unui obiect se numete atunci cnd obiectul nu este ntr-o stare
corespunztoare pentru a executa acel metoda, au retur metoda, fr a face nimic.
S presupunem c suntei scris un program de a controla un spltor toalet electronic. Astfel de
dispozitive sunt destinate pentru utilizarea n bi publice. Ei au un senzor de lumina montat pe partea
din fa a spltor. Cnd senzorul de lumin detecteaz o cretere a nivelului de lumin, se presupune
c o persoan a prsit toalet i declaneaz o culoare. Electronic spltor de toalet au, de asemenea,
un buton de pe ele, care poate fi utilizat pentru a declana manual o culoare. Mai jos este o diagram
de clas artnd clase pentru a modela acest comportament.

Read/Write Lock
Permitei accesul concurent la citit un obiect, dar au nevoie de acces exclusiv pentru operaiunile de
scriere.
Citeste / Scrie model Lock organizeaz o clas, astfel nct apeluri simultane la metode care aduce i
stoca su Informaii exemplu, sunt coordonate de ctre o instan de o alta clasa.Diagrama de clase
urmtor prezint rolurile faptul c clasele juca n modelul de blocare citire / scriere.

Producer-Consumer
Coordoneaz producia i consumul asincron de informaii sau obiecte.

Two phase termination

Prevad pentru oprire ordonat a unui fir sau proces prin stabilirea unui latch.Firului sau
Procesul verific valoarea de blocare n puncte strategice din executarea acestuia.
Exist dou tehnici de baz pentru nchiderea un fir sau un proces. O modalitate este de a imediat
rezilia le.Alt mod este de a ntreba firul sau proces de a rezilia i apoi se ateapt ca aceasta s se
conformeze . Cererea de prima desfoar oricare necesar de curare i apoi de ncheiere.
Diagrama de clase urmtor prezint o clasa care s-ar putea folosi pentru a coordona nchiderea unui
proces:

22. Principiile AOP aplicate la implementarea codului de sincronizare.

a) Enchevtrement du code (code tangling)

L'enchevtrement du code est provoqu quand un module est implment pour traiter
plusieurs proccupations en mme temps. Un dveloppeur a souvent affaire, pendant qu'il
dveloppe un module, des proccupations telles que la logique mtier, la gestion
transactionnelle de la persistance, le logging, la scurit, etc... (Figure). Cela conduit la
prsence simultane d'lments issus de chaque proccupation et il en rsulte en un
enchevtrement du code.

b) parpillement du code (code scattering)

L'parpillement du code survient quand une proccupation est implmente dans plusieurs
modules. Les proccupations transversales sont, par dfinition, disperses travers plusieurs
modules. Par exemple, dans un systme utilisant une base de donnes, le logging est une
proccupation implmente dans tous les modules qui accdent la base (Figure).

Mthodologie de l'AOP

Etapes de
dveloppement dans une mthodologie AOP
Dcomposition aspectuelle : Les besoins sont ici dcomposs pour identifier les proccupations
fonctionnelles et transversales. Par exemple, un dveloppeur pourra identifier les
proccupations suivantes : logique mtier, logging, cache, gestion transactionnelle de la
persistance, authentification, etc. Ensuite, il pourra dcider que seule la logique mtier est une
proccupation fonctionnelle. Toutes les autres proccupations sont des proccupations
transversales au systme et qui vont tre utilises par plusieurs modules.
Implmentation des proccupations : Chaque proccupation est implmente
indpendamment des autres. Comme pour l'exemple du paragraphe prcdent, le dveloppeur
aura implmenter la logique mtier, le logging, le cache, la gestion transactionnelle de la
persistance, l'authentification, etc.
Recomposition aspectuelle : Des rgles de recompositions sont spcifies en crant des units
appeles aspects. Le processus de recomposition, aussi connu sous le nom de tissage ou
d'intgration, utilise ces informations pour composer le systme final. Comme pour l'exemple
prcdent, le dveloppeur peut crer une rgle qui s'assure que chaque opration effectue par
la logique mtier doit d'abord tre mise en journal (logge).

23. Clasificarea lui Flynn. Extinderea clasificrii Flynn.

Cea mai cunoscut clasificare a arhitecturilor de calcul este cea propus de Flynn (profesor la Stanford
University) n 1966. Aceast clasificare nu examineaz structura explicit a sistemelor ci urmrete fluxul
de date i de instruciuni prin acestea. Prin flux de instruciuni se nelege secvena de instruciuni
executat de o main sau unitate de execuie; iar prin flux de date se nelege secvena de date apelate
de fluxul de instruciuni.
Dup Flynn arhitecturile de calcul se mpart n urmtoarele patru categorii:
cu un flux de instruciuni i un flux de date (SISD);
cu un flux de instruciuni i mai multe fluxuri de date (SIMD);
cu mai multe fluxuri de instruciuni i un flux de date (MISD);
cu mai multe fluxuri de instruciuni i mai multe fluxuri de date (MIMD).

Extinderea clasificrii lui Flynn

O dat cu evoluia arhitecturilor de calcul clasificarea lui Flynn a ajuns nesatisfctoare deoarece
majoritatea arhitecturilor paralele se ncadreaz n cea de-a patra categorie, cea a arhitecturilor MIMD,
i doar cteva n categoria arhitecturilor SIMD. Astfel c ar fi necesar o mprire mai fin cel puin a
arhitecturilor MIMD i SIMD.
Arhitecturile din categoria SIMD se mai pot mpri n:
sisteme ale cror procesoare opereaz asupra unui singur bit la un moment dat (bit-sliced);

sisteme ce sunt orientate pe cuvinte de bii (word-sliced).

Sistemele de calcul MIMD pot fi n continuare clasificate n funcie de:
modul de comunicare dintre elementele de procesare;
tipul reelei de interconectare;
structura memoriei;
localizarea fizic a elementelor de procesare.
24. Clasificarea Shore.

Se bazeaz pe modul de organizare a calculatorului, n prile sale componente(CPU, ALU, memorie de

comenzi, memorie de date). Exist urmtoarele tipuri de maini:
Maina I este o arhitectur convenional von Neumann, n care procesorul citete din memorie toi
biii unui cuvnt i i prelucreaz n paralel;
Maina II este similar mainii I, cu deosebirea c procesorul citete din memorie i execut numai
trane de bii;
Maina III este o combinaie a mainilor I i II, n care procesorul poate citi din memorie i executa,
att un cuvnt ntreg, ct i trane de bii;
Maina IV este o arhitectur format din mai multe maini de tipul I, care lucreaz n paralel, fr s
poat comunica ntre ele, sub comanda unui singur flux de instruciuni;
Maina V este similar mainii IV, dar procesoarele pot comunica ntre ele;
Maina VI este similar mainii V, dar comand este distribuit i la memorie (exemplu: procesoarele
asociative);

25. Notaia structural Hockney i Jesshope.

C-Computer, E-procesor(ALU) -B-procesor in numere intregi F-procesor in virgula mobile, P-procesor

de orice tip, I-dispozitiv de control.

51 Arhitectura sistolica a firelor:

Arhitectura sistolica a filtrelor FIRPentru ca schema din Fig. 20
sa devina sistolica, ar trebui ca intercalat cu elementele deprocesare sa existe
elemente de interziere (de memorie)

52.Algoritmul Canon de multiplicare paralel a

matricilor.