An Indulgent Uniform Total Order Algorithm with Optimistic Delivery ...

z
Kàw$K`²ND~K{P~pKr²lGeM§Ç
Ö Y§gVrVU_tf^VU_TVÕbgVtfiq Ù(\kei>rVZt_ÕOiOZhU u€Ön×
Ò
`>Z]Y`rq‰Y¥ÕOrnt¿`>Zsq©Y[tfUf`>gVtfY‰Ô,Z]i-`>^nqR`>\ u
U_W>Y·ElkliOZ u€Ö Ym¦~Y¥ZhklY[q u Ã#`>Uft_rVZ]Yut§Y u Y¥q u iOZ × i0^nY¥t I 4n`¬\¸Uftft_rV\ u Z€` u Y¥^•U_T æUfÕ>rVZ]Y ‚
u
× U u „}U_\‰`>q Ö U_Y[WOY[^ g-„ Z]rVTVTnUfTVÕ}`>TL`>^n^VU u UfiOTa`¬t:ZhiOrVTV^ i>k × Y¥\h\€`>ÕOY@Y; Û
E{rVTVUXkliOZ
j iOTV^VU_TVÕØZhY¥t_U¿`>gVt_Y¸^VY¥t_U_W>Y¥Zh„ j Z]U × U u U_W>YÕOZhY¥Y Û
u
Y[T u I UXk!`&q¥iOZhZ]Y[q uj Z]iq¥Y[\]\U_T — Ö `>\£ÒÁV0[&XvSwt_t_„SÒÁV0[&XvSwt_Uf^VU u „ I U_ķ `Lq¥iOZhZ]Y[q uØj Z]i Û
j
iOTnt_„ UXk”X ß\ j ZhY[WUfiOrn\]t_„ gnZ]i-`>^nqR`>\ u g-„L\]i × Y j Zhi0q[Y¥\]\ œd•¾— o
^VY¥t_U_WOY[Z]\bX
T¼Y&;n` ×&j t_Y i>k,`•\]U ×Új t_YØU ×Új tfY × Y¥T u ` u U_iOT i¬k,ZhY¥t_U¿`>gVt_YØgnZ]i-`>^nqR`>\ u Uf\Õ>U_WOY[T
Ñ
UTO-opt-deliver
UTO-deliver
Uniformity
Consensus
Stable period
(check configuration)
Unstable
(processes are
suspected)
Total Order
(Perfect FD)
Suspect
Reconfigure
Regular Reliable
Broadcast
Unreliable
Failure
Detector
f %9gih4*1£ "j$g+(+*-%.1k,ljV*-m3k&%.0;mn.1h4*-+o
Ä)>
j Z]U × U u U_W>YTV^Ä` Ò i u `>t,Ó@Zh^VY¥ZØ`>t_ÕOiOZ]U u€ÖV×
j Z]U × U Û
q Ö `>TVÕOY I o
vwyx{z|~}£v€w |ƒ‚)}&„|)w†…¥ˆ‡}&‰Ši}&‹5Œ
lÄY§`>\]\hr × Y u€Ö YY&;0Uf\ u Y¥Tnq¥Y§i>k~`‚E{Z]Y[ÕOrVtf`>Z I
xp[&XvS`»4W©Xa[ gVZ]iO`>^VqR`¬\ uÚj Z]U × U u U_W>YTV^
u]Ö YLq¥iOZhZ]Y Û
q¥Y¥\h\ ÒÁ-W©x n »JV0t¥»§s&\ s]\*q©^§4 u€Ö Y[T¢Y[W>Y¥ZŒ„+q[iOZ]ZhY¥q u j Z]iq¥Y[\]\ÚUfT
— Y[WOY[T u ra`>t_t_„’ÒÁ
V0[&XvSwZ]U u „ I kliOZ `>T-„
× Y[\]\]`>ÕOY“X«4Y[W>Y¥ZŒ„*q¥i>Z]Z]Y[q uàj Z]iq¥Y¥\h\
UfT£ÜA@¬Þ.o
‡{—˜‹;wy—˜‹z˜‹ l£YJ`>tf\hiÂ`>\]\hr × Y u€Ö Y Y&;0U_\ u Y[TVq¥YJi>kØ` t n U¡s [&U¡s&WNs&klrVTnq u U_iOT4
–
Ö Ufq Ö \hiOt_W>Y¥\ u]Ö Y rVTnU_kliOZ × q[iOTV\hY¥TV\hrV\ j Z]i>gVtfY × Üh@>ÞNo Ò Ö Y j Z]iOgVt_Y × Uf\Ø^VY Û
ß
u i>k j Z]iq¥Y[\]\]Y[\¥šå4VYR`>q ÖLj Zhi j i>\]Y¥\©`>T U_TVU u U¿`>t#W¬`>tfrVY34a`>TV^ Ö `¬\
=aTVY¥^LiœWOY[Z`à\hY
u i ^VY[q¥Uf^nYàiOTJ`d=aTa`>t¦W¬`>t_rVYÕ>Z]Y¥Y × Y[T u ?§TVi u ß,i j Z]iq¥Y[\]\]Y[\
^VY¥q[Uf^VY‰^VU¥D)Y[Z]Y¥T u t_„:4$EN… I u Y[Z × UfTa` u UfiOTµ?eY[WOY[Zh„&q¥i>Z]Z]Y[q uj Zhi0q[Y¥\]\Y[W>Y¥T u rV`>tftX„à^VY Û
›