Gestion de groupe et détection de partition en environnement mobile

MASTER D'INFORMATIQUENGUYEN Tuan Dung Responsable de stage : Denis CONAN …vry, 15 ao˚t 2005... pAgreementP hase SynchronizationP haseEstimateExchangeP hase... ARMOR AVERSE MARGE... Syst

MASTER D'INFORMATIQUE

NGUYEN Tuan Dung

Responsable de stage : Denis CONAN

…vry, 15 ao˚t 2005

PDG

pAgreementP hase SynchronizationP haseEstimateExchangeP hase

Chapitre 1

1

ARMOR AVERSE MARGE

℄

Chapitre 2

p

q

℄

CD

HBDP PDN

PDG

PDG PDG

Chapitre 3

Tab.

Système de communication de groupe

Service de diffusion de messages

Service de gestion de groupe

℄

q

Θ

ΘV

p

Θ

q p

3.4.1

℄

℄

FD

1

Chapitre 4

G = (Π,Λ){p 1 , p 2 , , p n }

qq

T

∀t ∈ T

p q

DD

∃t0 ∈ T , ∀t ≥ t0, ∀p, q ∈ correct(FP ), q ∈/ partition(p) ⇒

Chapitre 5

CD DD PDG

PDG

5.2.1 PrÈsentation gÈnÈrale

msuspect mrecv

AgreementP hase

SynchronisationP hase EstimateExchangePhase

Primitives

p

sio

n

AgreementP hase

PDG

symset

4 5

0 1 2 3

64

0

1 32

4

5

6 87

29

0 1 2 3 54

6

78

39

0 21

3

4 65

0 ∃r ∈ estimate.f ail : r ∈ estimate.disc

1estimate.f ail ← estimate.f ail \ {r}

2 ∃r ∈ estimate.f ail : r ∈ estimate.f ail

3estimate.f ail ← estimate.f ail \ {r}

4 msend( ESTIMATE, agreed, estimate , reachable \ {p})

56 msend( PROPOSE, (cview, agreed, estimate) , M in(estimate.comp))

7 C heckAgreement(C)

(∀q ∈ C[p].estimate : C[p].estimate = C[q].estimate)

198 C[p].agreed[r] = C[q].agreed[r])

0 I nstallV iew(w, C)

1 msend( VIEW, w, C , C[p].estimate.comp \ {p})

2 ∃q, r ∈ C[p].estimate.comp : q ∈ C[r].cview.comp ∧ C[q].cview.id = C[r].cview.id)

34 view ← ((w, view.id), {r|r ∈ C[p].estimate ∧ C[r].cview.id = cview.id})

5 view ← ((w, ⊥), C[p].estimate)

6 vchg(view)

27 cview ← (w, C[p].estimate) stable ← (view.comp = reachable)

msuspectPDG

PDG

Ddp.java, DdpUser.java, Pdg.java, PdgUser.javaPDG

Chapitre 6

℄

reachable = Π \ (fp ∪ dp ∪ pp)