From <>W to Omega: a Simple Bounded Quiescent Reliable broadcast-based Transformation

(1)

HAL Id: inria-00000663

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

Submitted on 14 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, 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.

From W to Omega: a Simple Bounded Quiescent Reliable broadcast-based Transformation

Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers

To cite this version:

Achour Mostefaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers. From W to Omega: a Simple Bounded Quiescent Reliable broadcast-based Transformation. [Research Report] PI 1759, 2005, pp.9.

�inria-00000663�

(2)

I ^R

I ^S

A

I^N STIT^U

T^D E R

E^C HERC^H

E EN IN^F OR^M

AT^IQ UEE^T

SY^ST ÈME^S

ALÉA^TO^IRES

P U B L I C A T I O N I N T E R N E

N

^o

I R I S A

CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE

ISSN 1166-8687

1759

!" #!%$&"'

()*+,- ,(&+.$& /012) ++34( 5

A. MOSTEFAUI S. RAJSBAUM M. RAYNAL C. TRAVERS

(3)

(4)

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'!% (")*$+,

-/.+0214357698;:=<>;? @A.+B:DC3FE:'<GH?'? 0I.+BJ:LK&M:DN;?4?'? OP.+QR7:TS469RF3U?'?4?4?

VLWTX;YZ

[\][

X^_

\]\$`baDc

^d

a

YeX

f

`bgbhic

^djY

c_ aPcia

Y

[keab[la$mbnjo*pUq%rts _ju

[\$gbke[lvUwUwxplryqz dU{

[ X

|~}jb*9 "

c

XYe

[ ^ h

dUXeX]_*d

cih`bke[L[

Y [

^Y_

k

XY=djY

[a

X

`bke[

YDd*Y

[ u [k

W^

k

dUX

[zbk _L^

[

XeX

cX [ u [a

Y ` d

hih

W

X ` X

z'[

^Y

[Fg W]d$^_

keke[

^Y

zbk _L^

[

XeXxd

aD[

u

[a Y ` d

hih W$Ye

[ke[c XA^_

kek[

^Y

zbk _L^

[

XeXYeDdjY

cX ab[

u

[k X ` X

z'[

^Y

[c XY

[ ^ h dUXeX

_*d

cihi`bk["b[

Y [

^Ye_

k

XYDd*Y

[a

X

`bke[

YDd*Y

[ u [a

Y ` d

hh Wd

hh Y

[%zbk _L^

[

XX

[

XY

k`

X;YY

[

Xd

\][

^_

keke[

^Y

zbk _L^

[

XX

+

cX z d

z=[k

zbke[

X

[a

YeX%YA_d

h

{9_

kec Ye

\

X,YDd*Y"Y

k d a X;_

ke\

d a Wd

cihi`bk[~b[

Y [

^Ye_

k

_U

"

cia Ye_dPd

cihi`bk[~b[

Y [

^Ye_

k

_UYe

[ ^ h d9XX

,

dUX

[

_ a d

a¡`baDL[kh

W

ca

{

ke[hic

d

gbhi[gbk _9d

^dUX;YldU^

chic YW9Y

[ X [ d h {9_

kec Ye

\

X"d

ke[~¢x`bc[

X^

[a Y$d

a=£`

X

[\][

XXed*{

[

b_9X

[

X

c¤[Jc X g _

`ba=L[2¥h _U{9¦

¥§&¨$gbc YeXd

aD(vh _9{9¦

¥§&¨

k[

X

z'[

^Y

cu [h

WU

[k[§Hc XYe

[JaT`b\g=[k _U

zbk _T^

[

XeX

[ X

¨©

[a

[

^_

a X ciL[k

Y

[ d

DLc Y c_ a d h

^_9X;Y_U

ci\]zbh[\][a

Y

cia {]Y

[,`DaDL[keh

W

cia

{

k[hc

d

gDh[lgbk _9d

^d9XYFUYe

[

WJX;Y

cihih

^_

\z

d

ke[

d7uU_

k d gbh

W

c Y

[ªTc X;Y

cia {Jd

h

{U_

kc Y

\ X

«bk _ \ d

\][

Yeb_

_ h _U{9W

z _ cia

Y_*+u

ci[

%

cY c XA_

k

Ye

a

_*Y

c^ cia

{YeDdjYY

[`

X [ _*d

ke[hic

d

gbhi[

gbk _9d

^d9XY

¥c¬[9

=d

\ _

L`bh d k d

zbzbk _9d9^

¨ d hh

_jX

L[

X c{

abcia {X

ci\]zbhi[

d

aD[®

^

ci[a YY

k d a X_

k\

d*Y

c_ a X

¯°x±4²³$´ jµ¶9 ·

XW

a

^

k _ a _ ` X~XWLXY

[\

¸

c

X;Y

kecgb`

Y

[

d h {U_

kec Y

\

¹+u

[a Y` d

hhi[

d

b[k

« d

cih`Dk[L[

Y [

^Y_

k « d

`bh Y;º

Y_

h[k d a ^ [

L»&d7W

[k d g

X;Y

k

dU^Y

c_ a f k _L^

[

XX^

k

dUXb¼

[hc

d

gDh[lgbk _9d

^d9XY

½¿¾À

ÁÂÄÃÅ

À

ÁÆÇ¿Â¬È¬ÉÊ

Ë¶ÌÍ&ÌÎÏÐ*Ñ¶ÒFÓÔÕ;ÖØ×¬ÓÙÚÕÛ7Õ+ÍÕ;ÒFÒ7Õ×ÜÐjÝÞßàFá7×Û7Õ+â4Õ;Þá7ãäÓäÕáxÐ*åæçèéÍÕ;ÒFÒ7Õ×Ý4ÕÛ7Õëê9Ð*ìjÖ¬ÞÒ7íÕ+îï;ðñòóôFõó7õeöeîL÷¿øó

ËëË ÌùÒ7×ØÙØÓÙ¬áÙ¬úÛ7Õû%ÞeÙØÕßJÚÞeÙ¬Óäí;Þ×Ð7Ñü&ÏûÐFýAþ7ìÿþjçèæFÜ;çFÐUûlÕëêÓäíúóîöîeò7ô7î 4÷iòî4÷

ËëËëËÌÍ&ÌÎÏÐ*Ñ¶ÒFÓÔÕ;ÖØ×¬ÓÙÚÕÛ7Õ+ÍÕ;ÒFÒ7Õ×ÜÐjÝÞßàFá7×Û7Õ+â4Õ;Þá7ãäÓäÕáxÐ*åæçèéÍÕ;ÒFÒ7Õ×Ý4ÕÛ7Õëê9Ð*ìjÖ¬ÞÒ7íÕÐjóîîôFõó7õeöeîL÷¿øó

ËëËëËëË ÌÍ&ÌÎÏÐ*Ñ¶ÒFÓÔÕ;ÖØ×¬ÓÙÚÕÛ7Õ+ÍÕ;ÒFÒ7Õ×ÜÐjÝÞßàFá7×Û7Õ+â4Õ;Þá7ãäÓäÕáxÐ*åæçèéÍÕ;ÒFÒ7Õ×Ý4ÕÛ7Õëê9Ð*ìjÖ¬ÞÒ7íÕÐóî óöeôFõó7õeöeîL÷¿øó

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

(5)

°

[k

d

zDz _ k Y

zbk[ X [a

Y

[A`ba]zbk _*Ye_L^_

hi[

X

ci\]zbhi[¢9`Dc

^_

a

XY

k`Dc

Y

`ba[

Y [

^Y

[`bk+L[

d

` Y [ X

L[h dl^

h

dUXeX

[\][

{xd

Z

d z d kY

cikL[%aci\z _ k Y

[%¢x`b[h&[ Y [

^Y

[`bkL[

d

` Y [ X

b[%h d]^

h

dUXeX

[

"

´ °¡

VTWLXYZ

[\][

X

k[z d k Yc

XldUXW

a

^

k _ ab[

X

_ h[k

d a ^ [ d

`Lª

d

` Y [ X

k d9X;

L[~zbk _L^

[

XX

`

X¶¸

c4`

X c_

a

d

gbhi[

¸ [ Y [

^Y

[`bkb[

d

` Y [ Xb»

[ d

L[k

b¼

[FL`

^Y

c_ a

(6)

c X$_

ab[

_*Y

[\

_9X;Y"

`baD

d

\][a Yed

hzbk

_

gbhi[\ cia

d

`bh Y;º¬Y_

h[k d a Y

bc X;Y

kecgD`

Y

[F

^_

\zD`

Y

cia {

[

d9^

zbk _L^

[

XeX

zbk _ z

_9X

[

Xd$ujd

h`b[

bd

aD[

u

[k W a _ a

º¬d

`Dh YW

zbk _L^

[

XX

\$`

X;Y

L[

^

cib[

dujd

hi`b[¥

Y

[ke\cia d*Y

c_ a=¨

X `

^~YeDdjY

a

_YA_

Lc'[k[a

Y

ujd

hi`b[

Xd

ke["L[

^

cib[¡¥

dU{

ke[[\[a Y ¨ d

a=

Y

[$b[

^

c¿L[F

u7d

h`D["c Xd

zbk _ z

_9X

[

ujd

hi`b[J¥

u7d

hc¿Lc YW

¨

¸ [ X

zDc Y [

Y

[ X ci\]zbhic

^ c YW

_*

c

YeX

b[ Dabc Y c_ a d

aDPc YX

` X[ dUX

gD`bch¿Lcia

{

gbh

_L^~Y_~X_

hu [%Lc

X;Y

kecgb`

Y

[

dU{

ke[[\[a

Y

zDk

_

gbh[\

XD^_

a X [a

X ` X^d

aba _*Y

g'[

X_

hu [cia

d9X;W

a

^

k _ a _ ` XXWTX;Y

[\

[k[l[

u

[a d]X

cia

{

hi[lzbk _T^

[

XeX^d

a ^ k

d9X;

[

! "#$%#$d

zDzbk

_xdU^&'

c

X_

ab[

_U+Y

[[

_ k YX

L[

u

[h

_

z=[F

Y_^

cik

^

`b\

u

[a YYe

cX c\]z

_9XeX

cigbcihc YW

k[

X

`bh Y

· d

cih`bke[b[

Y [

^Ye_

k

^d

ag=[

X

[[a d9Xd

Lc XY

kcigb`

Y

[

_ k d9^

hi["\

d

L[`bz _UdJX

[

Yl_*

\ _

L`bhi[

X

[

d9^dUXeX;_L^

c

djY

[

c Y d

zbk _L^

[

XeX

[,\

_

L`bhi[

d*Y;Yed9^

[

Y_

zDk _L^

[

XX)(

zDk _ju

c¿L[

X*(

c

Y

ca

_

k\

d*Y

c_ a~ke[h

djY

[

Ye_"d

cihi`bk[

X

«

d

cih`bke[b[

Y [

^Ye_

k X

d

ke[Lc

u

c¿L[cia Ye_+%

,

g

d9X

[F

_ a Ye

[z d k Y c^

`bh d k

YW

z'[

_U

cia

_

ke\

djY

c_ a Y

[ W zbk

_ju

cib[

_ a

d

cihi`bk[

X ab[

^d

ac¿L[a Y c

W

Y_

\ d ca

^Dd

k

dU^Y

[kc XY

c

^X_*&Ye

[

d

cihi`bk[%L[

Y [

^Y_

k d zDzbk

_xdU^-

º · Xd$d

cihi`bk[%L[

Y [

^Y_

k ^ h dUXeX

cX

L[Dab[g WJdX

[

Y_U

/.

#0

%#

zbk

_

z'[k

Y

ci[

Xbd"d

chi`bke[lb[

Y [

^Ye_

k ºg d9X

[Fzbk _*Ye_T^_

h4ke[hic[

X

_

aDh W¡_

a

Ye

[zbk

_

z=[k

Y

c[

XYDd*Y

b[ Dab[

Ye

[

d

cih`bke[L[

Y [

^Y_

k ke[

{xd

kLh[

XX_*Y

[

d7W Y

[

Wd

ke[ci\]zbhi[\][a

Y

[Fcia

d

{ cu

[a X;WLX;Y

[\P,

c X1

#32

+54

6

4

bc\][a Xc_ a

_UY

[

d

cihi`bk[L[

Y [

^Y_

k d zbzDk

_xdU^d7uU_

k X zbk

_UY_L^_

h&L[

X c{ a

\ _

L`bh

d

kec YWJd

aD

Y k d a X z _ k Yd

gbcihic YW

º87

cu [a

d

Lc XY

kcigb`

Y

[

^_

\]zb`

Y

cia

{

zbk

_

gbhi[\:9

YeDdjY$^d

aba _UY

g=[

X_

hu [Fcia

Ye

[zbke[

X

[a

^ [ _*

zDk _L^

[

XXd

chi`bke[

XY

[

d

cihi`bk[,L[

Y [

^Y_

k d zbzbk

_9dU^~d

hh _jX

cia u [

XY

c

{xdjY

cia {$d

aD

X;Yed*Y

cia {Y

[,\]cabci\

d h dUXeX

`b\]z Y c_ a

XY=djYd

hih _j X_

hu ca

{ 9 p

cX c XY

[

%;=<6#

".>

#0?

Lc\][a X c_ a

_U&Y

[

d

cih`bke[%L[

Y [

^Y_

k d zbzbk

_9d9^

[

^_

a X cib[k

Y

[ ^ k dUXPd

cih`bke[%\

_

L[h

cX

zbk _L^

[

XeX

c

X1%%#

cia

d

k`DaPc

cY _ [ X a _UY^

k

dUX

ca YeDdjY

ke`ba-@

_*Ye

[k

cX

[c

Y cX

#3?

_ a X cib[keca

{~YDd*Yd

chi`bke[\

_

L[h

4Y

cX z d z=[k

_L^

` X [ X_

a

Ye

[ ^ h d9XX

[

X_*+d

chi`bke[b[

Y [

^Ye_

k X

L[a _*Y

[

% d

aDP

v

'$

A [ ^ h dUXeX %

cia

^

hi`DL[

Xd

hih Y

[

d

chi`bke[%L[

Y [

^Ye_

k

XYDd*YXd*Y

cX

=[

XY

[

_

hih _j

cia

{

zbk

_

z=[k

Y

c[

X

ºCBEDGF5HJI KL1M/NDOPDQRDSTSG¹u

[a Y ` d

hih W [ u

[k

W

zDk _L^

[

XXAYeDdjY^

k

dUX

[ X cX z'[ke\

d

ab[a Y h

WJX

` X z=[

^Y

[g WX;_

\[

^_

kke[

^Y

zbk _L^

[

XeX

¥a _*Y

c^ [

YDd*YYA_]^

k

dUX

[FJzbk _L^

[

XX

[

X^d

ag'[

X ` X

z'[

^Y

[Fg WY_

Lc'[k[a Y^_

kek[

^Y

zbk _T^

[

XeX

[ X

¨

º1U5VWD"QGOXF5NZYDWF5H[FIGIX5\]FI ^5"¹u

[a Y ` d

hih WY

[k[c X"d^_

kek[

^Y

zbk _L^

[

XeX,YDd*Y

cX a _*Y$X

` X z'[

^Y

[F/g W d a

W^_

kke[

^Y

zbk _L^

[

XeX

A [ ^ h d9XX

ca

^

hi`DL[

X,d

hih Y

[

d

cih`Dk[L[

Y [

^Ye_

k

XYeDdjYlXd*Y

cX

=[

XY

[

_

hih _j

cia

{EU5VRDQWOXF5N6NDWF_"D"\`SabcM

zbk

_

z'[k YWd

¹+u

[a Y ` d

hh WUÿd

hih Y

[

^_

kek[

^Y

zbk _L^

[

XeX

[

XY

k`

X;Y,Y

[

Xed

\][]zbk _L^

[

XeX

¥cØ[U

&d

ke[zbk _ju

c¿L[

c Ye/Ye

[

Xd

\][hi[

d

L[k¨

YDd*Y

c

Xd]^_

kke[

^Y

zDk _L^

[

XX

[

^_

a X cib[k

Y

[

^_

a X [a

X ` X

zbk

_

gbhi[\

UY

[ ^ h d9XX %

c

X

`baD

d

\][a Yed

hDg'[

^d

` X [c

YADdUX

g'[[a X;D_j

a

Ye_%Y

[

[ d

[

X;Y+Y=djYd

hih _jXAX;_

hu cia

{ cY

cia d9X;W

a

^

k _ a _ ` X

Lc X;Y

kecigb`

Y

[F

XWLXY

[\

X

[ke[

d \ de_

kec YW_*

zDk _L^

[

XX

[

XAd

ke[

^_

kke[

^Y

v

_$d*Y;Yed

ca Y

c

X{U_9d

h Dd a=Lk

dD5fd

L¤ch dU^_9X+d

aD~

_

`b[

{$Dd7u

[ca Y k _

L`

^

[

Ye

[ ^ h dUXeX

dUXAd

a~cia

Y

[k\][bc d*Y

[

X;Y

[z

cia Y

[ckAzbk _x_Uxd

aD

Xb_j

a

YDd*Y " d

a=~

d

ke[[¢x`bc u7d

h[a

Y

¥c¬[9

Ld

a

Wd

cihi`bk[L[

Y [

^Ye_

k

_*ÿ_

ab[

_*ÿY

[ X [ ^ h dUXeX

[

X+^d

a

g'[

Yk d a X;_

ke\][~cia Y_~dd

cihi`bk[%L[

Y [

^Y_

k

_*Y

[

_UY

[k

^ h dUXeX

¨

[ Y k d a X_

k\

d*Y

c_ a k _

\

Ye_ %

c

XY

kc u cd h

+d

zbk _L^

[

XXX

` X z=[

^YeXd

hih Y

[%zDk _L^

[

XX

[ X gD`

Y c YX^

`bkke[a

Y

hi[

d

b[kF

[ Y k d a X_

k\

d*Y

c_ a k _ \ %

Y_

zbke[

X

[a

Y

[Fcia v

¬d

ci\[F

d*Y

zbk _ju

cia {d

\ciabci\

d

hic YW

ke[

X

`bh Y

c

X%^_

\]zbhic

^djY

[F

d

a=caD[®

^

ci[a Y ¥

Y

[zbkec

^ [ Y_

g'[z

d

c¿cia Y

[

^_

a Y [ª

Y,_*{

[ab[k

d

hc YWP

[ah _T_"

cia {~_

k d

\ciabci\

d

hic YW

ke[

X

`bh

Y

¨l

_

`Dk a

_j

h[F

{ [

ÿY

[ _ abh

W_*Ye

[k%z

d

z=[k"L[

Xe^

kecigbca {Y

k d a X;_

ke\

d*Y

c_ a X

k _ \

" Y_

c

XghA

[ke[

`£zbke[

X

[a YX

Y_~Y

k d a X_

k\

djY

c_ a X

[ Dk XY

k[F¢9`Dcke[

X [ d9^

\][

XeXdU{

[

Ye_^d

kk Wd

a d kk

d7WJ_UA^_

`ba

Y

[k X'X_

\][

_*+Ye

[\

{ k _j

cia

{

ciaDL[ =abc

Y

[h

W

i

_

k[

_ju

[k

cY cX a _UY

¢x`bci[

Xe^

[a Y ¥d

Lc XY

kcigb`

Y

[

d h {9_

kec Ye

\ c

XJj

%#

c

ciaJ[

u

[k

W

k`ba

9Ye

[lzbk _T^

[

XeX

[ X

[ u [a

Y ` d

hih WX;Y_

z X [aDbca

{

\][

XeXed*{

[ X

¨1këa Y

[ X [

^_

aD

Y k d a X;_

ke\

djY

c_ a[

d9^

\][

XeXed*{

[

^d

kkeci[

X,dPX

[¢x`b[a

^

[aT`b\$g'[k

zbhi`

X%dX

[

Y%_*

zbk _L^

[

XX

c¿L[a YcY

ci[

X @ dUXY

c

X,Y

k d a X_

k\

djY

c_ ac

X

¢9`Dc[

X^

[a YÿYe

[ X [F¢x`b[a

^

[]ax`D\$g'[k X,X;Y_

z X cia

^

ke[

d9X

cia

{

d

a=

^_

a X [¢x`b[a

Y h W9TY

[ X ci¤[

_*

[

d9^

\][

XeXed*{

[,ke[\

d

cia

X

Dabc

Y

[%cia d a W

ke`ba£¥c¬[9

[ u

[acia

d

aPca =abc

Y

["ke`ba=¨

[zbk[

X

[a Y z d

z'[kzbke[

X

[a YeXdY

k d a X_

k\

d*Y

c_ a ¥d aD

d

ac\]zbk _ju

[\][a Y ¨ k _ \

" Ye_

_

k

dUXW

a

^

k _ a _ ` X

\][

XeXdU{

[ ºz d9XX

cia {XWLXY

[\

X

[¢x`bcizbz'[

c Yed

ke[hic

d

gbhi[lgbk _xd

^dUX;Y^_

\]\$`Dabc

^djY

c_

aJzbkec\]c Ycu

[9+

[ Y k d a X;_

ke\

djY

c_ a

Y=djY

cX cia

^

ke[bcgbh WX

ci\zDh[

cX

¢x`bci[

Xe^

[a Yd

aD]ke[¢x`bcik[

X [ dU^

\][

XeXed*{

[

Ye_"^d

kk W$_

abh W_

ab[zDk _L^

[

XX

ciL[a Y c

YW

lk Y+_

hih _jX

Y=djY

h

_9{x¦

¥§&¨¥

[k[§c XYe

[

Y_UYed

haT`b\$g'[k _U

zbk _T^

[

XeX

[ X

¨c Xld

g _

`baD

_

ac YeX

\][

XeXed*{

[ X ci¤[¥\][

dUX

`bk[Fciagbc YeX

¨

k

YeX

ci\]zbk _ju

[

u

[k X c_ a d

hh _jX

Lc Xe^d

kLcia {~_

g

X;_

h[

Y

[\[

XXed*{

[

XDYe

`

Xd

hh _j

cia {Y

[

Xed7u

ca {J_*

\][

XeXed*{

[ X [aDLcia

{d

aD

zbk _L^

[

XeX

ca {lY

c\][

9

c

YYe

[z _9XeX

cgbcihic YWY_$^_

a u [k

{

[¢9`Dc

^

[k Ye_%Y

[[

u

[a Y ` d h

^_

\]\

_

ahi[

d

b[kF¶

_$djYYed

cia Ye

c

X{U_xd

h

[

d9^

zDk _L^

[

XX

` X [ X+d

a d

bbc Y c_ a d

hbh _L^d

hLca Y [ {

[k\

d*Y

kecª

b_9X

[[a

Y

keci[

X+X;Y_

zcia

^

ke[

d9X

cia {%djùY

[k X_

\][

Y

ci\][Umi

_

k[

_ju

[k

n

Ì'Òo*Üpæq