Examen Gr 242 [MetDezvSoft/08-09]

Examen Gr 242:
MetDezvSoft
5-iun-2009, ora 9

Email/Gr/Nume+prenume [Cu litere MARI]

................................................
................................................

T1 Dati raspunsuri scurte (1-2 fraze) la urmatoarele ntrebari:

1. Ce reprezinta decorarile ? si ! folosite pentru variabile n Z?
2. Ce este un sistem de pavare (tiling system)?
3. Cum se noteaza multiplicitatea unei relatii de associere n UML?
4. Explicati de ce trebuiesc folosite sectiuni critice (ori instructiuni atomice) cand se folosesc thread-uri.
5. La ce foloseste tag-ul din comunicarea send-recv din MPI? Explicati
cum functioneaza comunicarea colectiva si daca sunt necesare astfel
de tag-uri acolo.
6. Prezentati exemple care arata ca cele trei clase de formule LTL, CTL,
si CTL sunt distincte.
7. Cum se gestioneaza accesul la sectiunile critice n PThreads?
8. Ce legatura exista ntre limbajele context-senzitive si limbajele de
griduri recunoscute?
9. Cum se specifica n formalismul statechart-urilor ca o actiune permite
trecerea din toate starile unei superstari n starea initiala a altei superstari?
10. Ce diferenta este ntre tipurile 1 si 3 de probleme paralele tratate cu
tehnica de pipeline?
fiecare, 1.5 puncte
T2 Prezentati pe scurt (1-2 pagini) limbajul de programare interactiva AGAPIA.
Includeti si o scurta comparatie cu MPI.
5 puncte
T3 Explicati n detaliu programul paralel n MPI-pseudocod din Slide-urile
6.36-37 folosit n curs pentru a calcula multimile Mandelbrot cu job-uri
alocate dinamic.
5 puncte

Examen Gr 242 [MetDezvSoft/08-09]

Examen Gr 232:
MetDezvSoft
28-mai-2009, ora 9

Email/Gr/Nume+prenume [Cu litere MARI]

................................................
................................................

P1 Descrieti MSC-uri tipice si un HMCS pentru ele care sa modeleze activitatile unui dirijor care repeta cu orchestra pregatind un concert simfonic (introduceti suficiente detalii in scenarii).
5 puncte
P2 (la alegere: P2a, b, ori c) Se da problema:
T Data o matrice m n cu numere ntregi, determinati perechile de
puncte ((i1, j1), (k1, l1)) si ((i2, j2), (k2, l2)) care determina dreptunghiuri
in matrice cu sumele valorilor egale.
P2a Descrieti informal un algoritm paralel pentru problema T folosind procese ce comunica prin mesaje, apoi dati o implementare n pseudocod
tip MPI. Discutati pe scurt eficienta versiunii paralele fata de cea
secventiala.
P2b Descrieti informal un algoritm paralel pentru problema T folosinf procese cu memorie partajata (shared), apoi dati o implementare n pseudocod tip PThreads. Discutati pe scurt eficienta versiunii paralele fata
de cea secventiala.
P3c Descrieti informal un algorithm de rezolvare a problemei T printr-un
program interactiv, structurile de date spatiale si temporale folosite,
si o implementare n pseudocod tip AGAPIA.
10 puncte
P3 (la alegere: P3a ori P3b)
P3a Fie data formula CTL
= e [ r u eg ((p ax p) ax r ax ax r ) ]
Aplicati procedura de model checking
spre a gasi starile din sistemul de tranzitii
alaturat n care este adevarata.

q,r

s1
s2

s4

s3

p,q

s5

p,r

P3b Scrieti un program while ori schema logica care sa verifice daca un
numar dat este suma a 3 cuburi perfecte, folosind logica Floyd/Hoare,
aratati ca este partial corect.
10 puncte