Examen Gr 242 [MetDezvSoft/08-09] 1

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

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

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

Examen Gr 242:

MetDezvSoft

5-iun-2009, ora 9

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 “atom-ice”) 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 astfelde 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 permitetrecerea din toate starile unei superstari ın starea initiala a altei su-

perstari?

10. Ce diferenta este ıntre tipurile 1 si 3 de probleme paralele tratate cutehnica 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-urialocate dinamic.

5 puncte

Examen Gr 242 [MetDezvSoft/08-09] 2

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

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

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

Examen Gr 232:

MetDezvSoft

28-mai-2009, ora 9

P1 Descrieti MSC-uri tipice si un HMCS pentru ele care sa modeleze ac-

tivitatile unui dirijor care repeta cu orchestra pregatind un concert sim-fonic (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 dreptunghiuriin matrice cu sumele valorilor egale.

P2a Descrieti informal un algoritm paralel pentru problema T folosind pro-cese ce comunica prin mesaje, apoi dati o implementare ın pseudocodtip MPI. Discutati pe scurt eficienta versiunii paralele fata de cea

secventiala.

P2b Descrieti informal un algoritm paralel pentru problema T folosinf pro-cese cu memorie partajata (shared), apoi dati o implementare ın pseu-

docod tip PThreads. Discutati pe scurt eficienta versiunii paralele fatade 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

s5

s4s3s2

s1

p

p,rqp,q

q,rP3 (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.

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

10 puncte