Modelarea sistemelor distribuite

Trimisa la data: 2009-07-10
Materia: Informatica
Pagini: 94
Comentarii: 0 (comenteaza)
Autor: Raul_L
Lucrare de licenta despre Modelarea sistemelor distribuite
Tokenul este transmis procesului monitor Mi doar cand color[i] este rosu. Cand este receptionat tokenul, Mi asteapta receptionarea noii stari candidat de la Pi si atunci verifica daca se incalca restrictiile de consistenta cu acest nou candidat. Aceasta activitate se repeta pana cand starea candidata nu precede cauzal orice alta stare a taieturii candidat. Mai departe, Mi examineaza token-ul sa vada daca celelalte stari incalca concurenta. Daca es gaseste un j astfel incat (j, G[j]) are loc inainte de (i, G[i]) atunci seteaza color[j] la rosu. In final, daca toate starile din G sunt verzi, adica G este consistent, atunci Mi detecteaza WCP.

Un algoritm centralizat pentru predicate conjunctive generalizate
In algoritmii prezentati mai devreme pentru eficientizarea detectiei predicatelor globale, aceste au fost specificate ca formule booleene de predicate canale. Multe proprietati din sisteme distribuite utilizeaza si starile de canal. Ne propunem sa prezentam un algoritm eficient de detectie a unei formule booleene de predicate locale si de predicate de canal. Un predicat canal este o functie booleana de stari ale canalului. O stare de canal este definita ca o multime diferita de evenimente transmise si evenimente receptionate ale respectivului canal.

Comanda prin: SMS / CARD

Comanda aceasta lucrare cu doar 10 Euro + TVA.

Completeaza-ti corect adresa de e-mail. Pe aceasta vei primi link-ul de descarcare a lucrarii de licenta dupa ce plata a fost confirmata!

Utilizatorul plătitor de venituri împuterniceşte pe Administratorul Site-ului să calculeze, să reţină şi să vireze la bugetul de stat, în numele şi pe seama sa, taxele, impozitele şi contribuţiile sociale datorate în legătură cu veniturile din proprietate intelectuală realizate de utilizatorul cedent, în conformitate cu dispoziţiile legale în materie în vigoare.

Lucrare de licenta despre Modelarea sistemelor distribuite

Cuprins

Introducere................................................4

Capitolul I. Conceptul de timp...................................5
1.1. Introducere ......................................5
1.2. Modelarea sistemelor distribuite.................................5

Capitolul II. Excluderea mutuala....................................21
2.1. Problematica......................................21
2.2. Algoritmul lui Lamport.....................................22
2.3. Algoritmul lui Ricart si Agrawala.................................26
2.4. Algoritmul centralizat........................................28

Capitolul III. Stare globala.......................................29
3.1. Taieturi consistente...................................29
3.2. Instatanee globale ale proceselor.............................31
3.3. Instantanee globale ale proceselor si canalele........................................32

Capitolul IV. Predicate globale...................................33
4.1. Problematica.....................................33
4.2. Predicate liniare..........................................34

Capitolul V. Predicate globale conjunctive........................36
5.1. Predicate conjunctive slabe................................36
5.2. Algoritm centralizat pentru WCP bazat pe vectori ceas........................................38
5.3. Algoritm centralizat pentru WCP bazat pe dependenta directa...............................41
5.4 Algoritm distribuit pentru WCP bazat pe
vectori ceas.......................................44
5.5. Un algoritm centralizat pentru predicate conjunctive generalizate........................................44
5.6. Un ceas vector bogat si algoritmul de detectie GCP distribuit............................................51

Capitolul VI. Predicate globale relationale..........................56
6.1 Predicate relationale cu doua variabile intregi..................................56
6.2 Predicate relationale cu N variabile booleene.......................................60
6.3 Predicate pentru sume maginite.................................64

Capitolul VII. Predicate globale.....................................65
7.1 Secvente globale.......................................65
7.2 Logica predicatelor globale..................................65
7.3 Predicate conjunctive tari........................................66

Capitolul VIII. Predicate ale fluxului de control......................69
8.1 Introducere..........................................69
8.1 Logica LRDAG...........................................69
8.3 Exemple ......................................70
8.4 Algoritmul descentralizat pentru detectie........................71

Capitolul IX. Relatii de ordine...................................73
9.1 Relatii de ordine intre mesaje.....................................73
9.2 Ordinea FIFO a mesajelor.....................................73
9.3 Odinea cauzala a mesajelor..........................................................75
9.5 Ordonarea sincrona a mesajelor...................................................76

Capitolul X. Calculul............................................81
10.1. Functii globale...........................................81
10.2 Calculari repetate............................................83

Concluzii.......................................................90

Bibliografie...........................................91

Nota:Textul de mai sus reprezinta un extras din lucrarea de licenta "Modelarea sistemelor distribuite". Prin descarcarea prezentei lucrarii stiintifice, orice utilizator al site-ului www.referat.ro declara si garanteaza ca este de acord cu utilizarile permise ale acesteia, in conformitate cu prevederile legale ablicabile in domeniul proprietatii intelectuale si in domeniul educatiei din legislatia in vigoare.

Comentarii

*Nu exista comentarii

Home | Termeni si conditii | Politica de confidentialitate | Cookies | Help (F.A.Q.) | Contact | Publicitate
Toate imaginile, textele sau alte materiale prezentate pe site sunt proprietatea referat.ro fiind interzisa reproducerea integrala sau partiala a continutului acestui site pe alte siteuri sau in orice alta forma fara acordul scris al referat.ro. Va rugam sa consultati Termenii si conditiile de utilizare a site-ului. Informati-va despre Politica de confidentialitate. Daca aveti intrebari sau sugestii care pot ajuta la dezvoltarea site-ului va rugam sa ne scrieti la adresa webmaster@referat.ro.