Cauzalitate si timp

Trimis la data: 2015-04-14 Materia: Diverse Nivel: Facultate Pagini: 16 Nota: / 10 Downloads: 0
Autor: Anca_N Dimensiune: 78kb Voturi: Tipul fisierelor: doc Acorda si tu o nota acestui referat: 1 2 3 4 5 6 7 8 9 10
vezi mai multe detalii vezi mai putine detalii
Raporteaza o eroare
In sistemele distribuite asincrone nu se dispune de o modalitate de masurare a timpului real. Pentru a cunoaste ordinea relativa in care au loc evenimentele se studiaza relatiile de cauzalitate dintre ele.
Vom considera in continuare sisteme distribuite asincrone de tip MP. Evenimentele vor fi numai de calcul (daca nu se specifica altceva).i�ss Fiecare procesor pi pastreaza o variabila locala intreaga LTi numita ceas logic, initial 0.Fiecare eveniment de calcul este extins cu o noua operatie care atribuie lui LTi max (valoarea curenta a lui LTi, valoarea maxima a unui timestamp primit in acel eveniment)+1.
Fiecare mesaj trimis intr un eveniment, este stampilat cu valoarea noua a lui LTi.

Teorema 3: Daca VC este o functie care asociaza fiecarui eveniment al unei executii oarecare un vector din Rk a.i. concurenta sa fie capturata, atunci ki��n.Dem.: Consideram un sistem distribuit cu topologia un graf complet si i�A executie in care fiecare procesor pi trimite secvential mesaje la toate celelalte, cu exceptia lui pi-1 in ordinea: pi+1, pi+2,..., pn-1, p0,..., pi-2. Dupa ce toate mesajele au fost primite, fiecare pi primeste secvential mesajele transmise lui in ordine descrescatoare a indicelui transmitatorului, incepand cu pi-1: pi 1, pi 2, ..., p0,pn 1, ..., pi+2 (pi nu primeste mesaj de la pi+1).

Pentru fiecare procesor pi notam cu ai primul eveniment de trimitere si cu bi ulimul eveniment de primire.Cum in un procesor trimite toate mesajele sale inainte de a primi unul rezulta ca relatia de cauzalitate este simpla si nu include relatii derivate de tranzitivitate. Cum nu i�€ mesaj de la pi+1 la pi si lipsa tranzitivitatii in patternul de trimitere descris de , obtinem (*)i�ai 0 n-1, aibi.
Pe de alta parte, i�apji, primul eveniment de trimitere al lui pi+1 influenteaza cauzal un anumit mesaj de primire al lui pj. Rezulta
(**)i�ai,j 0j.

(Pentru j=i+1, ai+1 si bj=bi+1 apar la acelasi procesor, deci ai+1bj.
Pentru ji+1, cum ji, pi+1 trimite un mesaj lui pj in executie; ai+1 este sau acest eveniment sau se intampla inaintea trimiterii mesajului de la pi+1 lui pj. Primirea de la pi+1 este sau egal cu bj sau se intampla inaintea lui bj.)Fixam i n-1. Din (*) ai+bi. Cum VC captureaza concurenta rezultaca VC(ai+1) si VC(bi) sunt incomparabile. Deci, i�€ o componenta r a.i. VC[r](bi)

  • pag. 1
  • pag. 2
  • pag. 3
  • pag. 4
  • pag. 5
  • pag. 6
  • pag. 7
  • pag. 8
  • pag. 9
  • pag. 10

Nota explicativa
Referatele si lucrarile oferite de Referate.ro au scop educativ si orientativ pentru cercetare academica.

Iti recomandam ca referatele pe care le downloadezi de pe site sa le utilizezi doar ca sursa de inspiratie sau ca resurse educationale pentru conceperea unui referat nou, propriu si original.

Referat.ro te invata cum sa faci o lucrare de nota 10!
Filmele zilei
Linkuri utile
Programeaza-te online la salonul favorit Descarca gratuit aplicatiile pentru iOS si Android Filmulete haioase Filme, poante si cele mai tari faze Jocuri Cele mai tari jocuri de pe net Referate scoala Resurse, lucrari, referate materiale pentru lucrari de nota 10 Bacalaureat 2018 Vezi subiectele examenului de Bacalaureat din 2018 Evaluare Nationala 2018 Ultimele informatii despre evaluare nationala
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.
Confidentialitatea ta este importanta pentru noi

Referat.ro utilizeaza fisiere de tip cookie pentru a personaliza si imbunatati experienta ta pe Website-ul nostru. Te informam ca ne-am actualizat politica de confidentialitate pentru a integra cele mai recente modificari privind protectia persoanelor fizice in ceea ce priveste prelucrarea datelor cu caracter personal. Inainte de a continua navigarea pe Website-ul nostru te rugam sa aloci timpul necesar pentru a citi si intelege continutul Politicii de Cookie. Prin continuarea navigarii pe Website-ul nostru confirmi acceptarea utilizarii fisierelor de tip cookie conform Politicii de Cookie. Nu uita totusi ca poti modifica in orice moment setarile acestor fisiere cookie urmarind instructiunile din Politica de Cookie.


Am inteles