HAL Id: inria-00000861
https://hal.inria.fr/inria-00000861
Submitted on 28 Nov 2005
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, estdestiné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.
A Leader Election Protocol for Eventually Synchronous Shared Memory Systems
Rachid Guerraoui, Michel Raynal
To cite this version:
Rachid Guerraoui, Michel Raynal. A Leader Election Protocol for Eventually Synchronous Shared
Memory Systems. [Research Report] PI 1765, 2005, pp.10. �inria-00000861�
I R
I S
A
IN STITU
T D E R
EC HERCH
E EN INF ORM
ATIQ UEET
SYST ÈMES
ALÉATOIRES
P U B L I C A T I O N I N T E R N E
N
oI R I S A
CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE
ISSN 1166-8687
1765
"!
# !$%&'$ #(# %' ) ) ! # ! # ) #
RACHID GUERRAOUI MICHEL RAYNAL
INSTITUT DERECHERCHE EN INFORMATIQUE ETSYSTÈMESALÉATOIRES
Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr
!" # %$ # $&!('!! !) # '!
) *+$ # $,)-.*/)
0,13254.6879;:<>=?=?13@A:.6CB DE68254<GFH0,1JI-K1LFCBAB
MONJPRQ#S
TUVT PWX
UVUY[Z]\
W#^
Z
Q_P
`
Y]a[bc\
W^Q
\X Z&\cZ
Q
Td_Z[TeZf[g5h5i>jkml X5n
TUa[d_TeoGpGp>jkqg#pr
^Gs
T P
tuv#wx5y[zw>{ |~}
\bcTVr[d XQ_XJWX
b
PQ } ^5Q
T#bcT W%Q"^
ZT
n
TZ Q Y ^ b
WX
UVU
X
ZbcT
^G
T#de\cZ
^GPN
Z W } X Z X Y P UT
PP_^s
T r
^GP_P
\cZ sPRNOP
Q
T#U P } ^n
TaLT#TZr[d X r
X>P
T
-Q_XX
Y]d"JZ X5
bcT
Os
T Z XP
Y W } r[d
XGQXOWX
b } ^>P
a3TTZr[d X r
XP
T
X
d Q } T P } ^ dT
UVT#U X d N
WX
UVUY[Z[\
W^Q
\X ZU
XO
Tb
} \P r ^
r3TdHr[d_T
P
TZ Q_P^
bT
^>
TdTbT W%Q
\X Zr[d
XQXOWX
b P Y[\
QT
!QX,Q } T P } ^
d_T
UVTU X d N U
XO
T#b8
Z
^G[
\Q \X Z Q_X
\
QP"
T P \s Z P
\UVr[bc\
W \ QCNG-Q }
Tr]d X r
XP
T r[d
XQ_XJWX
b } ^>PHQCX
Z
XGQ
T
X
d Q } N r]d
X
rLT#d
Q
\cT P
Z ^ UVTb
NG
\
QOX
T P
Z
XGQ
Y P T Q
\UT#d P#O^
Z \ PX
r Q
\U
^ b \Q }
d_T
P
rLT W%QQXQ}
TeZJY[Ua3Td X
r[d XOW
T
P_P
T
PQ } ^5Q } ^n
T
QX
d\
Q T
X
d_T
n
Td Q } T P } ^
d_T
UVTU X d
NA^P
\Z
s
bTer[d XOW
T
P_P } ^GPQ_XV[X
\
Q
Z ^ UVTb
NGJQ }
TbT
^G
Td Q } ^5Q
\P T n T#Z
Q Y ^
bcb
N
TbT WQ
T
]
U X Z s;Q }
T!U
^ Z N r X>P_P
\ca[bT&Y P T
PXGP
Y W } ^ bcT
^G
T#dr[d XQ_XOWX
b
X
Z]T\
PV-^
UVr X d
Q#P ` ^ OX>P
r]d XGQXOWX
b8
` ^5 OX>P
\P
^ Z
^>PRN
Z W } d X Z X Y P¡WX
Z P TZ
P Y P^
b
sGX
d\
Q } U Q } ^Q
d_Tb\cT PX
Z ^ Z!Y[Z
Td_b
N
\Z s T n
TZ Q Y ^
b¢bT
^G
Td
^ a PCQ
d
^>W%Q
\X Z-
P
dT
W
TZ Q b
N>
P T n
T#d
^ b n
Td P\X Z
P(XG ` ^5 OX>P } ^n
Ta3TTZ
T P\s
Z]T
X
d
^GPN
Z W } d X Z X Y P(P } ^
d_T
UT#U X d
NPRNOPRQ
TU
Pe£Q } T P } ^
d_T
UVT#U X d N
a3T\Z s"^
Z ^ a PRQ
d
^GWQ
\X Z X¢^
r } NOP
\
W#^
bb NP } ^
dT
UVT#U X d
NX
d
^eP
T
QX¢WX
UVU XO
\
QCN
\P
P.Q } ^5Q(W^
ZVaLTd_T
^>^
Z
d_\
QRQ
T#Z
a
NQ }
Tr[d XOW
T
P_P
T
P_JQ }
Tr[d X r
X>P
T bcT
^G
T#dr[d XQXOWX
bAU
^
GT P ` ^5 OX>P
T¤AT WQ
\n T\Z
Q } T P T PNJPRQ
T#U P
¥¦§A¨©ª x5«¬v>{ PRN
Z W } d X Z X Y PPRNOPRQ
TU
X
UVU XO
\
QCN!
\P
X
Z P TZ
P Y P#A®¯W
\TZ WNGA®n
TZ Q Y ^ b
PN
Z W } d X Z NGL°L^
Y[b Q
QX
bcT#d
^ Z W T
O
T
^>
Td
P
Td
n \W T ` ^ JXPOM } ^
dT
UVT#U X d
NPRNOPRQ
TU
]MQ_X
d
^s
T ^ dT
^
Z[T QCX
dA
±³²´
µ¶·#¸
´
µ¹.º³¶»¼½
¾.¿.ÀÂÁ8Ã8ÄÀÂÅÆ#ÃÇCÈHÉLÄÊ%Ë%ÄÌÍÍÀÂÎËÏOÌÅÐ5ÑLÉ3Ò[Ï3ÐÏJÌÆÁÌÎÎ?ÇÐÓÔ-ÀÃÕCÇCÄÖ×ÌÎÈ>Ð5ØÙÚRÛ5ÜCÝ[Þ³ßàáØ%ØÙâà5ÜRã%á_äåæJÞ8ÚRÛ
¾ç¾.èé-èÓ#ê(Ðë¬Î?ÀìÇRÄ8ÁÀÃ#íÇÈÇ é ÇRÎ?ÎÇCÁ(î%Ð5ïÌÍð?ÆÁÈÇñAÇRÌÆÖÂÀÂÇCÆÐò%ó%ôõö é ÇRÎ?ÎÇCÁïAÇCÈÇç÷>ÐÒ5ÄÌÎøCÇ%Ð5ØÙùúÙæã?ÜCØÜ_û_ÙOÞ³å%Ø
Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes
¦ v
¦ {
Td
^
r[r X d Q
r[dT P TZ
Q
TY]Zr[d XQ_XJWX
bT
¢
TbT WQ
\X Z
¢
Y[ZbcT
^G
T#d
[^
Z P Y]Z
PRNOPRQ#S
T#UVT S^
UT#U
X
\cd_T"r
^ d Q^s
TT
\ZTbY WQ_^
a]bcT#UT#Z QPN
Z W } d X Z[T>
ª w#vez ¦ vV{
MJNOPCQ#S
TUVT P^GPN
Z W } d X Z[T
P#
X bTd
^ Z W T ^ Y ^ Y Q T
PO
d
^>P
}
Tr]d XOW
T
PP
Y
P#G
T
^G
T#d\cZTbY W%Q^
a[bT
T#U
X
\cd_T
r ^ d Q^s
TTG
U X Z sQ }
TU
^ Z N!
\c¤3T#dT#Z Q U
XQ
\
n5^5Q
\X Z
PQ } ^5QeW^
Z
\cd_T WQHPNOPCQ
TU
T P \s
Z[T#d P¡Q_X
r[d X5n
\ T"r[d
XJW
T
P_P
T
P
\Q } ^ bcT
^G
T#d
P
Td n \W T
T
WX
Z P \ Td
}
T#dT
X
Z[b NX
Z[T XG(Q}
TU
Z ^
UVTb NG.-^
UVr X d
Q#P ` ^5 OX>P
r[d XQ_XJWX
bcg
} \P
r[d XQ_XJWX
b
} X>P
T
d PCQn
Td P \X Z
^>P
T n T#b
X
rLT
X
d
^GPN
Z W } d X Z X Y P UVT
P_P_^s
T r
^GP_P
\Z sPNOPCQ
TU P_^
\cU
P^5QWX
Z
PRQ
d_Y W%Q
\cZ s^
d_Tr[b\
W#^5Q
T
PRQ_^5Q
TU
^>W }
\cZ]T X Z
QX
r
X } \W } X
Z[T W^
Za3Ta]Y[\cb
} \s } bN ^n5^
\cb
^
a[bT
\ PRQ
d_\ca]Y Q T P
Td
n \W T P op
M
\cZ
W
T\
Q_P
d
PRQ
n
T#d P\X Z
]P
T n Td
^
br
^
r3Td P }
^n
TT
r[b
^
\Z[T
&Q
}
T"a
^>P
\
WP
`
^5 OX>P
d_Tb\cT PX
Z TG
s j
g?j
g
3X
d }
^n
T
X
d_U
^
bcb
N
r[d X5n
T
\
Q_PWX
d_dT W%Q
Z]T P_P
TG
s
`
^5 OX>P
\Ur]bcT#UT#Z Q_^5Q
\X Z PW#^
Z&aLT
X
Y[Z
\cZoGo
WX
UVr
X
Z[TZ
Q^5QQ } T
WX
d_T
XG ` ^5 OX>P
\P \ QP
Y[Z
Td_b
N
\Z s! _MJN
Z
XO ^ b sGX
d\
Q }
U#"
Q } ^5Q
\
P"^WX
Z P TZ
P Y P^
b
s>X
d_\
Q }
U!
$ PY ^
bcb NG }
TZ Q } T
X
d
% ` ^5 OXP
"\
P Y P T
\Z Q }
Tb\
Q
Td
^5Q
Y[d_T
Q } T ^ Y Q } X d P
dT
Td Q_XQ} \
PWX
Z P T#Z
P Y PWX
Ur
X
Z]TZ Q | T
\bcb
[XQ } T P_^
UVTe\cZ
Q } \P r ^
r3Td?
X
Z
XQ
T
X
d Q} NV
T
^Q
Y[d_T PW } ^ d
^GW%Q
Td_\'&#T
P ` ^5 OX>P
( } T d
PRQ
T
^Q
Y[d_Tb\cT
P
\cZ \ Q_P
UVT Q } XOOX
b
XGs
\
W#^
b T WX
Ur X>P
\Q \X
Z } T ` ^ OX>PVWX Z P
T#Z P Y
P^
b
sGX
d\
Q} U W#^
Z a3T
P
T#TZ
^GP,^P
\UVr[bT ^>[
\Q \X Z)"
XGQCXP
Y[aO r[d XQ_XJWX
b
P¡X
Z[T
P
Y[aO r[d XGQXOWX
b
^G]
dT PP
\Z s Q } T
P^
T
QCN
r[d
X
rLT#d QCN
XWX
Z P TZ
P Y P&^P
\Z
s
bcT n5^
bY[T\
PV
T W \ T
¢(^
Z
Q } ^5Qn5^
bY[T } ^GP
a3TTZ r[d
X r X>P
T a N^
r[d XJW
T
P_P_Q } T XGQ }
T#d
P
Y[a[ r[d XQ_XOWX
b
^>[
d_T P_P
\Z s \
QP
bc\
n
T#Z[T P_P^
bcb Q }
TZ
X
ZO
^
Y[b QCN
r[d XJW
T
P_P
T
P¡
T W \ T
( } T P T WX
Z Z XGQ
T
X
d Q } N,
T
^Q
Y[d_Tb\cT
P
\Z
Q } T T P\s Z
XQ } T P
Y[aO r[d XGQXOWX
b Q } ^5Qe^G[
d_T P_P
T
PWX
Z P TZ
P Y PP^
T
QCN
}
^5QP
Y[aO r[d XQXOWX
b\
P a
^GP
T
X
Z Z[T
P
\ T
^>P^
Z Z[T
Q T W }
Z[\+*Y[T
P
-,
^GP
\
W^
bb NG
\
QW^
Z aLT
P
TT#Z
^>P
a[Y[\b
\cZ
s
^ X
Z[T P }
XQ&PCQ_X
d
^s
T X a/.CT
WQQ
}
^Q#
\
^GW#W
T
P_P
T WX Z W
Y[d_d_TZ Q bN
UV\
s } Q Z XGQ&PRQX
d_T
^ Z NQ
}
\cZ sL^
Z \
"^GW#W
T
P_P
T
P
T0*>Y]TZ Q \^
bb NPRQX
dT PQ
} T d PRQ
Tr X>P
\Q T
&n5^
bY[T
^ Z
>TTr P \
QX
dT
n
Td?
} T P T WX
Z
&P
Y]aO r]d XGQXOWX
b¢Y
PT a N `
^5 OX>P
\
PQX
T#Z
P
Y]dT Q }
^5Q^Vn5^
bY[T\
P T n
TZ Q Y ^
bb N,
Tr X>P
\Q T
\cZ Q } T X
Z]T
P } XGQ
PRQX
d
^s
T X a/.CT
WQ
(
} \P \P
d_T
^
bc\1&T
a N^>PP
Y[UV\Z
sQ } ^Q
r[d XOW
T
P_P
T
PW^
Z!a3TTbT WQ
T
!^>P
bcT
^G
T#d P#[^
Z
^
bcb X5
\cZ sX
Z[b NQ} T
bT
^G
Td PQ_XVWX
UVr3T Q T
Q_X
T#r XP
\
Q^n5^
bcY[Te\Z Q } T X
Z[T P } XQPRQX
d
^s
T X a/.CT
WQ
X
TZ
P
Y[d_T
Q
Td_UV\cZ
^5Q
\X Z ` ^5 OX>P^GP_P Y[UVT
P
Q } ^5QQ}
TY[Z
T#db
N
\cZ
s
bT
^>
Td
P
Td n \W
TT
n
TZ Q Y ^
bb
N
TbT W%QP^P
\Z
s
bcT WX
dd_T WQ
r]d XOW
T
PPHQ_X
aLT WX
UVT Q }
TbcT
^G
T#d
Q }
T#dT#a
N
^
bb X5
\cZ s^!n5^
bY[T Q_X
aLT,T
n
T#Z QY ^
bcb N
T#r XP
\Q T
\cZ Q } T X
Z]T
P } XGQX
a/.CT W%Q
\ Z X r[d
XOW
T
PPP
Y
WW
TT
[P
\Z
Tr X>P
\Q
\cZ s;^
n5^
bY[T¡aLT
X
d_T
.
}
T#Z
>^>PPRXJX
Z
^>P^n5^
bcY[T } ^>P
aLT#TZ
T#r XP
\QT
¢5Q } T ` ^5 OX>P
r[d XQ_XJWX
b
W^
ZT
^GP
\cb N"
\dT W%QQ }
Tr[d XJW
T
P_P
T P
QXQ
Td_U\Z
^Q
T
£Q} T N&^
bb
T W \ T Q } T
T#r XP
\Q T
&n^
bcY]T
MJXL ` ^5 OX>P^>PP
Y[UVT PQ }
TT \
PCQ
TZ W T
X^
Z~Y[Z
T#db
N
\cZ s T n
TZ Q Y ^
bbT
^>
Td
P
T#d n \W T
a[Y Q&[X
T P Z XQ
r]d X5n
\ T Q } T
WX
dd_T P r X Z
\Z s&P
Y[a[ r[d XQ_XOWX
b
} ^5Q
\
Pe } N \Q \ PP_^
\
Q } ^5Q ` ^ JXP
\
P^%2'35467398;:<54=>356@?5AB=>39B)=;CD=EF8GAHIA?5A2
KJ Q }
T#d
bT
^G
Td a
^>P
T
WX
Z P T#Z
P Y P
r[d XQ_XOWX
b
PW#^
Z;a3T
X
Y[Z
\cZLgM
g?j
o>he
} \P
UVT
^ Z
PQ } ^QQ } T P
Tr[d XQ_XOWX
b
PX
d_&\cZ
^ Z
^GPN
Z W } d X Z X Y P¡PRNOPRQ
T#U
^ Y s
UVTZ Q T
&
\Q } ^N2'35467398O=93>8;P0QR?G3^ b PXW^
bcbT
S2'354763>8A8T47?9213X
d
2'35467398VU94QW2XC/8T3Y6739HI35?9HIA8
\Z
Q }
Tbc\
Q
T#d
^Q
Y[d_TZi
7
o0
°[X
bcb X5
\cZ
s
Âh0
Q } \ PP
Td n \W
T\
P Y P Y ^
bcb N
TZ XGQ
T
\[
Q } ^GP a3TT#Z
P } X5
Z Q } ^5QV[ W#^
r Q Y[dT
PQ} T
UV\cZ]\cU
^ b
^>PP
Y[UVr Q \X Z
P¬X
Z ^
\cbY[d_T
P-Q } ^Q.Q }
Tr[d XOW
T
P_P
T P } ^n
T
Q_X
a3Tr]d X5n
\ T
\Q }
\Z X d
T#d
^>PRN
Z W } d X Z X Y P¬WX
Z P T#Z
PY P
W^
Za3T PX
bn T Âh
\Z[\cU
^
b1"UVT
^ Z
PQ} ^QQ }
Tr]d
X
rLT#d
Q
\cT P
T Z]\cZ
s\[^
d_Tea XGQ}
Z[T W T
P_P^
d
N^
Z
&P
Y
¯W
\cT#Z Q
|~}
\bcT
Q } T T P \s Z X^
bcT
^G
T#dR a
^GP
T r]d
XGQXOWX
b
^GP_P
Y[UVT PX
Z[b N^]
a]b
^>W
a X
"r[d X5n
\
\Z s,^
bT
^G
Td
P
Td n \W T
3Q} T
T P \s Z XG-P
Y W } ^P
Td n \W
Td_T*Y[\dT
PQ } ^5Q(Q }
THY[Z
T#db
N
\cZ s^GPN
Z W } d X Z X Y PPNJPRQ
T#U X Z
Q_X
r
XG } \W } \Q \P
\UVr[bcT#UVTZ Q T
P_^5Q
\
P
T
P.^G[
\Q \X Z ^ b
^GP_P
Y]Ur
Q \X Z P } T ^GW%Q.Q } ^5Q
Z
XH^>[
\Q \X Z ^ b
^>PP
Y[UVr Q \X Z
P-X
Y]b
a3T¡dT0*Y[\cd_T
"X
Y[b
WX
Z Q d
^>
\
WQ
Q }
T\cUVr X>P_P
\a[\bc\
QCNQ_XVPX
bn T WX
Z P TZ
P Y P
\Z
^
r[Y]dT
^GPN
Z W } d X Z X Y PPRNOPRQ
TU^g>g;
`_ aZbcedfbhgjifg)/lkmonp rqsbcpDpteuvbmw0ixptpD Tuyp7zp/bcq{p
} T T P \s Z XG
r[d XQXOWX
bP a[Y]\cb
\Z s#[
\cZ
^GPN
Z W } d X Z X Y P UVT
P_P^Gs
T r
^>PP
\Z s"PRNOPRQ
T#U P } ^>P
d_T
W
T\
n T
^
b
XQ¡X¬^QRQ
TZ Q \X
Z
,
^GP
\
W#^
bb N>QCX^
r]r[d X^GW
} T P }
^n
TeaLT#TZ!\Z n T
PRQ
\
s>^Q
T |
Ta[d_\cT>|
N
r[d_T
P
TZ Q¡Q
}
TU!
}Z~ ¦
w0 ¦ x ¨ uy[v
¦ « y/.x
ª
y[z
~ } T d
PCQ^
r[r[d
X>^>W } 5Q } ^5Q
T
W#^
bb
HQW#3>8;:<54=>3565
dT#bc\T PX
Z Q } T
^G]
\Q \X Z XAQ
\UV\cZ
s
^GP_P
Y[UVr
Q\X Z P g?p,
^GP
\
W#^
bb N>¢Q } \
P^
r[r[d
X>^>W } ^GP_P
Y[UVT
PeQ } ^5QQ }
Td_T
^
d_Ta
X
Y[Z
[P"X
Z r[d XJW
T
P_PP
r3TT
[P"^
Z UVT
P_P^Gs
T
Q d ^ Z PC
T#d
Tb
^NOP
a]Y QQ } T P
Ta
X
Y]Z
[P"^
dTVZ XGQ
Z X5
Z ^ Z } X b
X
Z[b N^5£Q
Td PX
UVT
Z[\
Q
Ta]Y
Q
Y[Z[JZ X5
Z Q
\UVTG,
} T
r[d XQ_XJWX
bP
\UVr[bTUVTZ
Q
\Z s^
Z,T
n
TZ Q Y ^
bAbcT
^G
T#d
^GW
\b\
QCN
\Z
P Y W } ^
Y s UVT#Z
Q T "
^GPN
Z W } d X Z X Y PPNOPCQ
TU P¡^
d_Ta
^GP
T
X
Z
Q
\UVT X Y
Q_P
TG
s o
hO
oOg;
V
} T N Y P T P Y WW
T
P_P
\n T ^ r[r]d
X
\U
^Q
\X Z PQX
T n TZ
Q Y ^
bb
N
r[d X5n
\ TT
^>W }
r[d XOW
T
PP
\Q } ^ Z
É è ÎvîT 5%ó
