MASTER D'INFORMATIQUE NGUYEN Tuan Dung Responsable de stage : Denis CONAN …vry, 15 ao˚t 2005 PDG p AgreementP hase SynchronizationP hase EstimateExchangeP hase Chapitre 87 29 54 78 39 21 65 487 I nitializeEstimateP hase() EstimateExchangeP hase C heckAgreementP hase(C) agreed I nstallV iew(w, C) SendEstimate(P,Pf , Pd, Pp) msuspect p fp = ∅, dp = {r} , pp = {s} q fq = {s} , dq = ∅, pq = ∅ p fp = {s} , dp = {r} , pp = {s} q p q p q fq = {s} , dq = {r} , pq = {s} PDG p fp = ∅, dp = {r} , pp = {s} 34 I nitializeEstimateP has SendEstimate(∅, ∅, ∅, ∅) SendEstimate(P, Pf , Pd estimate.comp ← estimate.comp \ P estimate.f ail ← estimate.f ail ∪ Pf estimate.disc ← estimate.disc ∪ Pd estimate.part ← estimate.part ∪ Pp ∃r ∈ estimate.f ail : r ∈ estimate.disc estimate.f ail ← estimate.f ail \ {r} ∃r ∈ estimate.f ail : r ∈ estimate.f ail estimate.f ail ← estimate.f ail \ {r} msend( ESTIMATE, agreed, estimate , reachable \ {p}) msend( PROPOSE, (cview, agreed, estimate) , M in(estimate.comp)) 56 198 34 C heckAgreement(C) (∀q ∈ C[p].estimate : C[p].estimate = C[q].estimate) C[p].agreed[r] = C[q].agreed[r]) I nstallV iew(w, C) msend( VIEW, w, C , C[p].estimate.comp \ {p}) ∃q, r ∈ C[p].estimate.comp : q ∈ C[r].cview.comp ∧ C[q].cview.id = C[r].cview.id) view ← ((w, view.id), {r|r ∈ C[p].estimate ∧ C[r].cview.id = cview.id}) view ← ((w, ⊥), C[p].estimate) 27 vchg(view) cview ← (w, C[p].estimate) stable ← (view.comp = reachable) msuspect PDG PDG Fig PDG Ddp.java, DdpUser.java, Pdg.java, PdgUser.javaPDG msuspect dregi t y # helloserver Ctr-C Chapitre Annexe A Preuve ℄Preuvev p Preuve ℄ p Preuve pp Preuve view ℄ com p pp reachable = Π Preuve view p ℄ com reachable =Π ℄ f d p p \ (fp ∪ dp ∪ pp) ℄ fp \ (fp ∪ dp ∪ pp) ℄ ℄ Preuve Preuve Preuve ℄view.comp dp reachable = Π \ (fp ∪ dp ∪ pp) ℄ ... lien Défaillance PDN (a) HBDP PDN PDG PDG PDG p q r q s p p q s p Tab q PDG ℄ p q r s Chapitre Tab Système de communication de groupe Service de diffusion de messages Service de gestion de groupe. .. PrÈsentation gÈnÈrale msuspect mrecv AgreementP hase SynchronisationP hase EstimateExchangePhase I nitiateEstimateP hase I nitiateEs imateP hase SendE timate C heckAgreement 5.2.2I nstallVPrÈsentationiew... synchronized stable PDG Types demessage inta lled SYNCHRONIZE, Vp, Vq , P Vp SYMMETRY, V, P AgreementP hase p q p ESTIMATE, V, E AgreementP hase V PROPOSE, S E AgreementP hase S ctbl VIEW, w, C