An Efficient and Scalable Approach for Implementing Fault Tolerant DSM Architectures

(1)

HAL Id: inria-00073588

https://hal.inria.fr/inria-00073588

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

An Eﬀicient and Scalable Approach for Implementing Fault Tolerant DSM Architectures

Christine Morin, Anne-Marie Kermarrec, Michel Banâtre

To cite this version:

Christine Morin, Anne-Marie Kermarrec, Michel Banâtre. An Eﬀicient and Scalable Approach for Implementing Fault Tolerant DSM Architectures. [Research Report] RR-3103, INRIA. 1997. �inria- 00073588�

(2)

ISSN 0249-6399

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

An Efficient and Scalable Approach for Implementing Fault Tolerant DSM

Architectures

Christine Morin, Anne-Marie Kermarrec, Michel Banˆatre

N ˚ 3103

F´evrier 1997

TH `EME 1

(3)

(4)

3 45*67 !8:9;< !=$ 50>04!?

@A0BCEDFGCIH0JLKNMOB1CIH!PRQ!STHUH0J(VKXWYB1CIJ[ZJ\BG]7WYB1BGJ_^R`aQ=KNCI^aA0J_bc8WYH.dWeFfB1JRg

hi!j

kmlkonqpsrLtkmuvkmwyx{zLka|uv}Ouv|

j

kmlkmu

~\

ka|

{y

r"wR,

y

| k km

i k i

kOnaptka

k

nmypwRykmu

>a (¡\¢,£y ¤¥

uv|

§¦

x,|vk

i w k

©¨

kml

y

}«ª¬>®(¯°#w

i

|vkmf|x

kmu"w

kwR|v|

wyf|

yk|

kfzOkf±

ax,|vk i i

Uk

²Iy

l[wy,fk³w

w

´

k wR,

awR|

§

,uaµ

¨ w

kTx{

y²

w w

ykYx,l

¦ k

y²

l

±

,km|ua¶³|

i

kmuvkw

i

|vkmf|x

kmu

i

wmyk i (·

kayk

w i i

y¦

w

¦³

|¸}

y²²

w

x

kyµ¹ºk

ukw

|

| |

k wR|vk[

O

k ²w

x kmu

»|

·

wyuuvkmu

y²

¬¼®m¯½w

i

|vkmf|x

kmua¾¿Àwy

i

koÁ8

}

¨

kml

y

}LÂ

i

|vkmf|x

kmuªÄÃ0Å%¯"Æ%°Çwy

¥

uv|

§¦

x,|vk

oÈ8§

|x³w

i w k

©¨

kml

y

}ºªÄ®fÉ%¯8°Çuv}Ou5±

|vkml[uaµ hi

ko

uvk

u

x{|

§

u ¦ wyuvk

¦ wyÊ

· w

k

y

km

yk

}wy

,u

u|u

y²

wykfzO|vkm,u §

L|

| i

k8kfz

uv|

,

i k

km³fkË

|

uÀ|

lÌwy,wRyk

wR|wx,uvk

¦

}Ì

fkmuu

y

u

²Ey

| i k

l³x,|wR|

§

ºwy

»

km

yk

}

wR|wO¶Íx,uvk

Î²Ey²

wyx

|8|

k wy,fkyµ

hi

k lÌ

kmlkme|w\±

|

y²

| i k

|

%

©wÃ0Å%¯"Æ«w

i

|vkmf|x

k i

wyu

¦

kakm7ka\w

x,wR|vk

¦

}©u

lTx

wR|

§

!µ h"i

k

|

i

wyuw

u

¦

kakm

lÌ

kmlkme|vk

©

©w[®fÉ>¯Ïuv}Ouv|vkml

7w{ka|

·Çy

Ê

y²%·Çy

ÊOuv|wR|

§

,umµ

ÐÇ

| i u lTx

wR|

kmux

|uwy

lkmwyux

kmlkme|uu i (·

| i wR|

x u

x{|

ukfÑo

kme|Twy

uaw

w

¦³

kyµ

ÒÔÓÕ0Ö×Ø ¡\Ù>y¤ ¥

uv|

§¦

x{|vk

i w k

«¨

kml

y

}y¶>³wyx

| h

k wy³fky¶¿

i k

km,fk

~.

|

¶

Ð

wyÊ

· w

7Ú.y

r"km

yk

}y¶ÍOaw

w

¦

|Û}y¶

~ k

²Ey

lÌwy³fkyµ

Ü§ÝTÞ

ßÛàÄámâ

Þ

ßã=ä§àÄåçæaè

é0ê\ëì0íîÄïð_îÄëòñçë5óaôÄëvõö÷ó8ôÄê\ö÷ñ=ðRø1ðyëÛî>ö÷ñ=ðRøîçôÄöùøúùúüû8ýÿþ\ó\õ_ëvõaû"ôÄê\ë³éîÄë5ñçë5øî ¸êòíGóaôçî¸øòô%ómþyëòî

!#í1îÄö÷ó#">ö÷îÄö÷ñÄø ýî

$

ø#ï"%5ñ & þ ó\ú

'

RøóRøôçîÄë(">ö÷îÄö÷ñÄø ýî

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : (33) 02 99 84 71 00 – Télécopie : (33) 02 99 84 71 71

(5)

4! .? #!=$ vU>!4!?/+ .+- q ! #UU#2 .#U0

U q!0?*4'&m40?

Ó Ó ¤

kmuTw

i

|vkmf|x

kmu

j

w7lXtkml

§

k[³w

|wR>tkak

tka³w

|

kou

e|wR|v|

wm}wye|vkmu

x

kfz.tkmax{|

§

wR,

awR|

,uw

w

j

k kmu

j

w i

wyx{|vkL0k

²Iy

lÌwy,fkyµ¿

l

uYtkakmu

x³N

wy

l

¦,

k

t

k tkmlkme|ua¶.fkmuTw

i

|vkmf|x

kmu

|Tfka0km

wye|x,{k[

y¦

w

¦³´

|etk k kt²w

wy,fk

| j kmutk

katkakyµ

x,uT

u

,uTx,

|

k ka

uwye|Tux

T

k ka|

x w

1 j

k ky¶

x | ±

tk k

Ì

kmu

tk ²w ´

wy,fkmu

kmux

u

wy,u

kmxOzX

wyuuvkmu

w i

|vkmf|x

kmu

j

wÎltkml

§

k©w

±

|wR>tkak

tka³w

|

k7¾

kmu! #"%$'&)(+*-,/.$102435,76839 1";:=<>$? @<BA%39$1C»ªÄ¿Á

¨

ÂË°8ka|

kmuuv}Ouv|

j

kmlkmu

j

w

lXtkml

§

k

|x{k

k³w

|wR>tkakÔª

¨ÔÈ~

°1µ%Ow

,fka,|

§

ka

uvkux

ËD

kfzO

§

|wR|

§

kmuËaw\±

wyf|etk

1

uv|

FE

x{kmu

kmuow

i

|vkmf|x

kmuL

,u

t

k tkakmu E x

0k

lÌka|

k»uv|

Êyk

©

kmu

,

,tkakmu

k

tkmax,Çtk

wR|

§

!¶,fk

kmu

kmu|wyx

tkakmuÀkmoawyu

k

ka|

x w

j

k

ky¶YkmlXtkml

§

k

ykwyuux

wye|Àx,

ka|w

¦

uuvkmlÌkm|ka|.x³{k

kmuv|wyx

wR|

§

wR

k k#

e|u

k tkmax{Àtk

wR|

[|

x{|.kmXtka

|wy|

k

tkayk

,0kmlkm|

kl[wR|etk

1

k uvÇtkm

HGIE

x{k

J

x,|vkmxOzUµ

w[u

x{|

§

7

uetkakkmuv|

²E

tkakTux

x³

|

k k tkmax,Çtk wR|

§

w

j

k k#ka|Ç

,u

uv|vk#kmox,{k#kfzO|vkm,u §

x

|

k kq

±

i tk

km,fk"

x

>tk k j w w

²E

u kmu

{

,Çtkakmu.x,|

uYtkakmuw

.

kmu

fkmuukmx

u¼ka|

kmu

{

,Çtkakmu

k

tkmax,Çtk

wR|

§

!µ ÷

l³wyf|

k

D

x{|

´

uwR|

§

xo

|

k

wy³uÇx³{kqw

i

|vkmf|x

k¿"Á

¨ Â w

t

ka|YtkºtkaRw

xÇtk³w

u

lx

wR|

§

!µ

k8

|

kw«tkaw

kmlkme|tka|etkTl

ukmKx,

kËwyx©uvk

x,{k

lXtkml

§

k©

§

|x{k

k[³w

|wR>tkak»ux

x,

tkmuvkmwyx

kLu|wR|

§

,u

kL|

w(\w ´

µ

kmu

tkmux

|wR|u

k

u lx

wR|

§

ka|

kmu.lkmux

kmul

e|

kme|

E

x{k"

|

kqu

x{|

§

!¶

x,|

k k ²w |

HJ

ka|

kq>tkmÇtk

LE

x{ky¶

kmu|

j

w w

²E

u#kfÑoawyfkka|kfzY|vkm³u §¦³

kyµ

M:Ø (

Ö

£ON

Ó ¤

lXtkml

§

k[w

|wR%tkak

tkaw

|

ky¶>|

t

k

wy,fkLwyxOz

²

wyx,|vkmua¶%

|

k k[

i tkf±

j ¦³ ²Ey

(6)

),U! Ì4>0

¥

u|

§¦

x{|vk

i w k

7¨

kml

y

}Nª¬¼®m¯8°#w

i

|vkmf|x

kmuqw

kTwR|v|

wyf|

yk

²Ey

| i

kkfzYkmax{|

y²

i i

0k

²Iy

lÌwy,fk³w

w

k wR,

´

awR|

§

,uu

,fk#|

i

ka}

k#|

i

k"u

lÌ

k#u i w k

lkml

y

}

w

,

l

[wuaw

w

¦³

k ·

wm}yµÀOx,

i w i

|vkmf|x

kmu

k }

o|

i

kqwyx{|

l[wR|

ql

wR|

§

Ìwy

ka

awR|

§

y²

wR|wou

| i

wR||

i k

wR|w u

§

aw

| | i

k

fkmuu

y

u"x³u

{

|

²Iy

l³x,|w\±

|

!¶

y

k |

kfzOkmax{|vk³w

w

´

k wR,

awR|

,uqwR|l[w\z

lTx,l uv0kak

µOaw

w

¦³

ku i w k

lÌkml

y

}Îw

i

|vkmf|x

kmuwy

u

y²

| · w kf±

¦

wyuvk

¬>®m¯

l

kmlkm|vk

Î

Nlx

|

l³x{|vk

u

y

,ka|

·Çy

ÊYu

y²·Çy

ÊOuv|wR|

§

,u©ª%Å°Ëw

kkfz{wyl

kmu

y²

ux,

i w i

|vkmf|x

kmuaµ hi

kmuvkLw

i ±

|vkmf|x

kmu

l

kmlkme|w

i k

km³fkË

|

l[wy,wRykË|

i

kËlx

|

k

kmu

y²

w wR|w

³

k km|Ë

O

klkml

y

kmumµ

¥

x{k|

| i k §Ë

w

ykYx,l

¦ k

y²

l

{kme|ua¶Íwy

º

kmu

|vkw

u

HG

awye|

³

kmwyuvk i w

1{·

w k k

w

¦³

|Û}y¶|

i

kmuvk8w

i

|vkmf|x

kmuÀlÌw(}ÌkfzOUk

1

km,fk i w

1

±

· w k ²w

x kmuaµ

hi

x³ua¶,|

k wR|

{[

O

k ²w

x kmu

¦

km

lkmukmuukm|

w

>§²

ux,

i w i

|vkmf|x

kmu

w k|

kfzOkmax{|vk

§

,R±

x,,

{7wR,

´

awR|

§

,u

· i

uvkkfzOkmax{|

§

| lk

u

§

,yk

| i

wy | i k

w i

|vkmf|x

k ¨

kmwy

h

lk

Ð

ka|

·

kakm©,w

x

kmuqªç¯,°1µ

Ð

wyÊ

· w

1Ú.y

rkm

yk

}»ª=°

n"!

uq³w

|

y²

w ² wyx

|"|

k wy³fkTuv|

wR|vkay}

· i i

kmuv|

y

kmu8wo

ka

§

x,u

,u

uv|vkme|8uv}Yu|vkml

u|wR|vkw

²

|vk

w ²w

x k

aax

k µ h wy

i

kayk|

i

u#

w

¶wÌ

,u

u|vkm|"u}Yuv|vkml uv|wR|vky¶l[w

k

x,

y²

wuvka|

y²=

km

yk

}

wR|wO¶

i

wyu|

¦

k"0k

Y,

aw

}uw(yk

L

ou|w

¦³

kqu|

y

wRykyµÂ uv|w

¦

k

u|

y

wRykÎkm,ux

kmuo|

i

wR|ºª5n(°

wR|w

uo

|Lw

|vk

k ª $#3 04( $1(I 5$º

Uk

|¸},°Ìwy

kmlÌw

,u

wyafkmuu §¦³

kXª9! ? 5$5C?C5:##:*-:B<B,X

0k

|¸},°

kmuv

|vkw

²w

x ky¶wy

| i

wR|»ª$°

wR|w

u[x{

wR|vk

wR|

l

aw

}

7

kmuvkm,fk

y²²

w

x

kmuª9 <240 :B @:=<B,»

0k

|Û}{°1µ%uvkakml[uË|

©¦

k|

i

kÌl

y

k

wR|v|

wyf|

yku

x{|

§

²Iy

,

{

²

wyx

|q|

k wy,fk

Ô¬>®m¯w

i

|vkmf|x

kmu8u

,fk |

l

|u

| i k i w

1{·

w k

uv|

lÌ³w

k |

wR,

wy

i

kmu

¦

wyuvk

Luv|wR|

i w

1{·

w k ka

awR|

§

!µ'&5

e|

wyuv|

·"

| i wyf|

yk

ka

awR|

§

Îu

i

kmlkmua¶

|Ëw

§_·

u8|

i

kÌx,uvk

y²

w

| i k

fkmuu

y

u

²Ey

lÌ³x{|wR|

§

!µ

&ò»|

i

u³wR0k

¶ ·

k

uvkw

§(·

yk

i

kmw

wy

uaw

w

¦³

kTk

yË

km

yk

}»wR³

wy

i

¦

wyuvk

[

(|

|

k wR|

{|

wy,u

kme|wy

u

,

k"0k

lÌwy,km|Ç

Y

k ²w

x kmu

Ì|

i

k

wyuu

y²

¬>®m¯ w i

|vkmf|x

kmu.kfzOkml

G k

¦

}[¿Àwy

i

k8ÁË

} ¨

kml

y

}ÌÂ

i

|vkmf|x

kmuqªÄÃ0Å=¯qÆ%°¼wy

i w k

TÈ

|x,w

Y¨

kml

y

}ªÄ®fÉ>¯°%w

i

|vkmf|x

kmumµ>¹ºk

i

wmyku

lÌ

}ËkfzO|vkm

k | i

k#uv|wy

w

i k km,fk

|

y²

wÔ¬¼®m¯µ hi

kokfzY|vkm

k i k

km,fk

|

ªÃ)°

u

kmu

{k

|

l[wy,wRyk

¦0

| i

wR|w wyafkmuuvk

Ï¦

}

fkmuu

y

u

²Iy

lÌ³x{|wR|

§

wy

| i

wR|

k E x §

k

²EyT

km

yk

}yµ Á8x

wR,

wy

iXi

wyu

§

|u

y²

w

\wye|wRykmuaµ«

§

uv|a¶

¦0

| i

|¸}Y0kmu

y²q

wR|wÔw

k

u|

y

k

|

i

k

O

kÇu|wy

w

lkml

y1

kmu¼u

uv0km

HG

i w

{·

w k#{kak

u>|

Ë¦

k kayk

§

0k

µ

&5l

kmlkm|

{|

i

k

|

%

woÃ0Å%¯"Æ

} k E x §

kmu#u

i

|"l

Y,G

awR|

§

,uÀ|

kfz

u|

{

awy

i

ko

e|

k ¶ ¦ x,|

{k

· ²

x,³f|

§

,w

|Û}Ô{kak

u|

¦

kÌw

,

k µoÂ

| i k u

HG

awye|

w

\wye|wRyk

y²

x u

i

kmlk

u|

i

wR|a¶

,k

i

wy

¶

||wRÊykmu

¦

km{k G |

y²

| i k ka

awR|

§

i k

kme||

| i

k©¬>®(¯

¦

}Nx³u

{

wR|w»w

kmw

}

ka

´

awR|vk

|

w(

| i kL{kak

|

kmwR|vk

w

³,

|

§

,w

¼

km

yk

}

wR|wOµÁ8N|

i k | i k i

wy

¶

wR|w7lÌw(}

¦

kÌx³uvk

x,e|

| i wyu

¦

kakm