PROTOCOLO DE CHECKPOINTING - TCC - CAUAN KASPER

Prof 

Prof 

Prof a

n

{P 0 ...P n

−1

}

P 0 P 1 P 2

P 3

 j

ci P i

1

1

2

2 2

 

  

  



   

  

n  j

ei

j

P i

mx

x

P 0

e00 e10 e20

P 1

e10

e01 e11 e21

m1

e11

cik

k

P i

cik

eik

P 0 c00 c10 c20



k  ≤  k 

P 1

c01 c11 c21

I ik P i I ik

cik cik−1

I ik

cik c10

c11

c01

cik+1 I 01

c20

I 11

e

(e



e

e



e



(e  e )

e) β

eaα a  =  b

β

eb (eaα →  e b )

 =  α  + 1 β  =

γ 

ec

β

eaα

m γ 

γ 

eb

β

eaα →  e c ∧ ec →  e b

(caα →  c βb ) eaα

β

eb

caα

β

cb

β

β

eaα →  e b ⇔  c aα →  c b

c00 → c10 e10  →  e 21

m1 e21

e31

e31

e10  →  e 21 ∧ e21  → e10  →  e 31

{x0 , x1 , . . . , xn

n x

{e0x , e1x   , . . . , en 0

n−1

1

−1

−1

}

} C 

C 

e



e



(e ∈  C ) ∧ (e →  e )  ⇒  e ∈  C  C 

I 

C  e00 → e01 e01 → e11

m1

m2

I  e10 m3

I 

e11 → e02 e12

(Σ)

l

n

Σ =  { cl0 , . . . , cln

−1

0

−1

}

∀i, j : 0  ≤  i,  i, j < n : cili



lj

c j

c  c C 

(c10  c11  c12) Σ =  { c10 , c11, c12 } e c22 (c10  →  c 22 )

I  e

c10

[m1 , m2, . . . , mk ]

m1 , m2 , . . . , mk β

caα

cb

m1

caα

P a

mx (x < k)

mx+1 mx

mk

β

P b

cb

mx

mx+1 c00

[m1, m2 ] m1

c12

m2

mx

[m1 , m2 ]

mx+1 c00

c12

m2

m1

mx+1

(caα

β

cb )

(caα →  c βb )

[m1 , m2, m3 ] c12 c00

[m1 , m2 ] c10

c12

c12

[m3]

c12 c00

c10

c12

Σ = {c10 , c11 , c12} c11 P 0

P 2 c10

c12 P 1

Σ =  { c00 , c01 , c12}

c02 P 0 P 1

(Σ)

Σ =  { c10 , c11 , c12 } (c10

c12

c11

P i

m c11 m1

m2

[m3 , m2 ]

[m1 , m2 ]

[m1 , m2 ] c12

[m1 , m2 , m3 ]

c10

P 0

P 0

P 0

P 0

P 0

P 0

P 0