CURS SD 2 Modele de calcul paralel i distribuit n cazul modelrii sistemelor ...

. orice model trebuie s includ mcar procesele specificarea modului n care aceste elemente comunic, o serie de presupuneri temporare relativ la ordinea de execuie precum i specificare condiiilor n care comunicaia, procesele sau orice alt component (eg.resursele) sunt considerate blocate. Handshake este modelul cu confirmare de primire. Muzeul Istoria Computerului Memoria social i limitele ei carte Din punct de vedere al comunicaiei ntre entitile implicate exist dou modele mari: Modelul cu memorie comun, care este folosit pentru schimb de mesaje i modelul cu transfer de mesaje n care diverse entiti complet separate interacioneaz. Exemplu de modelare sistem distribui ca un sistem de tranziie. Un sistem distribuit n lumea real poate fi modelat n mod continuu? Nu. Trebuie s facem modelare discret. Proiectanii folosesc modelarea sistemului pentru a putea verifica corectitudinea algoritmilor propui pentru rezolvarea diferitelor probleme. Modelul indiferent de tipul sistemului trebuie s fie simplu i concis. Un sistem distribuit este format din entiti(procese/procesoare/calculatoare) care comunic i care i modific starea fie ca urmare a producerii unui eveniment intern , fie a unei operaii de comunicaii(S/R). Orice eveniment produs la nivelul unei entiti se regsete la nivelul ntregului sistem iar modificarea strii unei entiti nseamn i modificare strii sistemului. n timp ce la nivelul entitilor se folosesc termenii de eveniment i stare, la nivelul sistemului distribuit se folosesc termenii de tranziie i configuraie. O configuraie a sistemului const din multitudinea tuturor strilor proceselor componente precum i colecia mesajelor n tranzit. O configuraie iniial este caracterizat prin aceea c toate procesele se afl n stri iniiale iar mulimea mesajelor este vid. Execuia sistemului se poate ncheia ntr-o configuraie terminal sau poate fi infinit. Evoluia n pai discrei a unui sistem distribuit sugereaz adoptarea ca model a unui sistem cu tranziie. Acesta este definit prin mulimea configuraiilor sistemului, mulimea configuraiilor din ... i o relaie de tranziie binar definit cu valori pe mulimea configuraiei. Execuia unui sistem cu tranziii este o secven maximal de configuraii, adic o secven care este fie infinit, fie c se ncheie cu o configuraie terminal. La un sistem cu tranziii, ordonarea evenimentelor se face pe baza relaiei de cauzalitate, nu a unui timp global care aa cum s-a precizat anterior nu poate fi folosit din punct de vedere practic. Lucrrile lui Lamport

Modele pentru organizarea prelucrrii n cazul calculului paralel i distribuit. Exist patru modele de organizare: -cache -ierarhic -form de procesoare -flux de date Sunt proiectate pentru calcul paralel i se folosesc i n SD. Modelului ierarhic i se mai spune i centralizat, resursele de prelucrare sunt organizate(fizic sau logic) ntr-o reea de prelucrare arborescent. Modelul cache se bazeaz pe prelucrri etapizate efectuate pe diverse elemente de calcul i pe combinarea rezultatelor pariale pe un alt element de calcul de regul mai puternic. n cazul modelului cu form de procesoare exist un ansamblu de elemente de prelucrare generice sau de servere cu funcii specifice ale cror faciliti sunt accesate de la staii de lucru care n general au resurse de calcul i de memorare reduse. n cazul mririi fluxului de date prelucrarea va fi organizat conform unui graf n care nodurile sunt elemente de calcul , iar arcele sunt conexiuni logice prin care circul mesajele. Strategii de realizare a controlului execuiei programului Dei majoritatea structurilor de calcul nu sunt foarte clar cuantificate i clasificate, n cadrul rezolvrii problemelor pentru care au fost create s-au dezvoltat o serie de tehnici de control a execuiei programului. Strategii de execuiei prin urmrirea fluxului de date n acest caz un program anume dirijeaz execuia, ci numai disponibilitatea spre execuie a unor date deci fluxul de date, deci practic o instruciune se execut numai cnd toi operanzii ei sunt disponibili. Strategia execuiei la cerere Este de tip reducionist i se bazeaz pe matematica funciilor i lambda calcul.Astfel programele pot fi considerate ca iruri sau arbori de expresii obinndu-se paralelism fr control explicit. Dac unprogram a fost introdus n sistem sau a fost activat ca urmare a cererii unui alt program mai mare se iniiaz reducerea expresii de calculat la operaiunile componente. Tipuri de aplicaii specifice sistemelor distribuite 2.....