Int'l Conf. Foundations of Computer Science | FCS'16 |
3
SELFISH STABILIZATION OF SHORTEST PATH
TREE FOR TWO- COLORED GRAPHS
A. Anurag Dasgupta, and B. Anindya Bhattacharya
0DWKHPDWLFVDQG&RPSXWHU6FLHQFH9DOGRVWD6WDWH8QLYHUVLW\9DOGRVWD*$86$
'HSDUWPHQWRI&RPSXWHU 6FLHQFH DQG(QJLQHHULQJ8QLYHUVLW\RI&DOLIRUQLD6DQ'LHJR/D-ROOD&$86$
Abstract - In modern day stabilizing distributed systems, each
process/node or each administrative domain may have sel¿sh
motives to optimize its payoff. While maximizing/minimizing
own payoffs, the nodes or the domains do not require to give
up their stabilization property. Optimizing individual pay offs
without sacri¿cing the stabilization property is a relatively
new trend and this characteristic of the system is termed as
sel¿sh stabilization
The focus of this paper is to investigate the problem of finding
a stable shortest path tree for two-colored graphs, where the
colors represent different types of processes or domains. In a
shortest path tree, for every node, its path along the tree has
the minimum possible distance of any path to the root. In this
paper we study the impact of selfishness on stabilization,
provide examples to demonstrate the effects of different types
of schedulers, and explore how the stabilization time is
affected by parameter changes.
Keywords: *UDSK WKHRU\ VWDELOL]DWLRQ GLVWULEXWHG V\VWHPV
VKRUWHVWSDWKWUHHDOJRULWKPVIDXOWWROHUDQFH
1
Introduction
6WDELOL]DWLRQ LV DQ LPSRUWDQW PRGHO RI IDXOWWROHUDQFH IRU
GLVWULEXWHG FRPSXWDWLRQ 7KH DSSHDO RI D VWDELOL]LQJ V\VWHP
OLHVLQLWVUREXVWQHVVDQGDELOLW\WRUHFRYHUIURPDQ\WUDQVLHQW
IDXOW$VWDELOL]LQJGLVWULEXWHGV\VWHPKDVD VXEVHWRIGHVLUDEOH
VWDWHVWRZKLFKWKHV\VWHPFRQYHUJHV7KHVHDUH FDOOHGWKHVHW
RIOHJDOVWDWHV$VWDWHQRWEHORQJLQJWRWKHVHWRIOHJDOVWDWHVLV
FDOOHGDQLOOHJDOVWDWH$V\VWHPLVVWDELOL]LQJLIDQGRQO\LILW
VDWLVILHV WZR SURSHUWLHV D VWDUWLQJ IURP DQ\ VWDWH LW LV
JXDUDQWHHG WKDW WKH V\VWHP ZLOO HYHQWXDOO\ UHDFK D OHJDO VWDWH
FRQYHUJHQFHDQGEJLYHQWKDWWKHV\VWHPLVLQDOHJDOVWDWH
LWLVJXDUDQWHHGWRVWD\LQDOHJDOVWDWHSURYLGHGWKDWQRIDXOW
KDSSHQVFORVXUH>@7KHDERYHWZRSURSHUWLHVJXDUDQWHHWKDW
DVWDELOL]LQJV\VWHPZLOOHYHQWXDOO\UHFRYHUIURPDQ\ WUDQVLHQW
IDXOWVWKDWWDNHWKHV\VWHPWRVRPHDUELWUDU\FRQILJXUDWLRQ DQG
WKLV UHFRYHU\ SURFHGXUH GRHV QRW UHTXLUH DQ\ PDQXDO
LQWHUYHQWLRQ)RUWKHDERYHUHDVRQVVWDELOL]LQJV\VWHPVGRQRW
QHHG LQLWLDOL]DWLRQ DQG WKH\ FDQ EH VSRQWDQHRXVO\ GHSOR\HG
%HFDXVH D VWDELOL]LQJ DOJRULWKP GRHV QRW UHTXLUH FRUUHFW
LQLWLDOL]DWLRQ DQG FDQ UHFRYHU IURP DQ\ WUDQVLHQW IDLOXUHV RI
DUELWUDU\ W\SHV RFFXUULQJ DW DQ\ WLPH VWDELOL]DWLRQ LV DQ
LQWHUHVWLQJ DQG DFWLYH UHVHDUFK ILHOG DQG LW LV XVHG LQ D ODUJH
QXPEHU RI DSSOLFDWLRQV LQFOXGLQJ VHQVRU QHWZRUNV SHHUWR
SHHU QHWZRUNV PRELOH FRPSXWLQJ WRSRORJ\ XSGDWH FORFN
V\QFKURQL]DWLRQDQGPDQ\RWKHUV
6HOILVKVWDELOL]DWLRQFRPELQHVWKHFRQFHSWRI JDPHWKHRU\DQG
VWDELOL]DWLRQ WRJHWKHU 7KHUH DUH VRPH VWURQJ VLPLODULWLHV
EHWZHHQ VHOILVK VWDELOL]DWLRQ DQG JDPH WKHRU\ EXW WKHUH DUH
VLJQLILFDQW GLIIHUHQFHV WRR 7KH SOD\HUV LQ JDPHV DUH
DQDORJRXV WR SURFHVVHV LQ D VWDELOL]LQJ V\VWHP DQG WKH
HTXLOLEULXPLQJDPHVLVFRPSDUDEOHWRWKHVWDEOHFRQILJXUDWLRQ
RI VWDELOL]LQJ V\VWHPV LQ DV PXFK DV ERWK VDWLVI\ WKH
FRQYHUJHQFH DQG FORVXUH SURSHUWLHV +RZHYHU JDPHV XVXDOO\
VWDUWIURPSUHGHILQHGLQLWLDOFRQILJXUDWLRQV DQGPRVWO\LJQRUH
IDXOW\ PRYHV RU WUDQVLHQW VWDWH FRUUXSWLRQV ZKLFK DUH QRW
QHFHVVDULO\WUXHIRUVWDELOL]LQJV\VWHPV >@
,Q WUDGLWLRQDO VWDELOL]LQJ GLVWULEXWHG V\VWHPV >@ ZH DVVXPH
WKDW DOO SURFHVVHV UXQ VRPH SUHGHILQHG SURJUDPV RU
DOJRULWKPV 7KHVH DOJRULWKPV DUH PDQGDWHG E\ DQ H[WHUQDO
DJHQF\ DQG PRVW RIWHQ WKH DJHQF\ LV WKH RZQHU RU WKH
DGPLQLVWUDWRU RI WKH HQWLUH GLVWULEXWHG V\VWHP 7KH PRGHO LV
ZLGHO\UHFRJQL]HGE\ WKHVWDELOL]DWLRQFRPPXQLW\ 7KLVZRUNV
ILQH ZKHQ SURFHVVHV FRRSHUDWH ZLWK RQH DQRWKHU DQG VKDUH D
SXUHO\ JOREDO JRDO %XW LQ PRGHUQ WLPHV LQ WKH ,QWHUQHW LW LV
SRVVLEOHIRUWKHSURFHVVHVWRKDYHVRPHSULYDWHJRDOVEHVLGHV
WKH FRPPRQ JOREDO JRDO ,W LV TXLWH UHDOLVWLF DQG IDLUO\
FRPPRQ WKHVH GD\V WR KDYH D GLVWULEXWHG V\VWHP VSDQQLQJ
RYHUPXOWLSOHDGPLQLVWUDWLYHGRPDLQV DQGWKHUHIRUHSURFHVVHV
KDYLQJLQGLYLGXDOJRDOVDUHQRWDUDUHRFFXUUHQFH2Q,QWHUQHW
VFDOH GLVWULEXWHG V\VWHPV HDFK SURFHVV RU HDFK GRPDLQ PD\
KDYH VHOILVK PRWLYHV WR RSWLPL]H LWV RZQ SD\RII EHVLGHV WKH
JOREDOJRDO 6RWKH VSLULWRIFRPSHWLWLRQLQVXFKFDVHVGRHV QRW
FRQIOLFW ZLWK WKH JHQHUDO VSLULW RI FRRSHUDWLRQ 2SWLPL]LQJ
LQGLYLGXDO SD\Rơ V ZLWKRXW VDFUL¿FLQJ WKH VWDELOL]DWLRQ
SURSHUW\RIWKHV\VWHPLVWHUPHGDVsel¿sh stabilization >@
7KH IRFXV RI WKLV SDSHU LV WR ILQGLQJ D VHOILVKVWDELOL]LQJ
VKRUWHVWSDWKWUHHDOJRULWKPIRUWZRFRORUHGJUDSKVZKHUHWKH
FRORUV UHSUHVHQWGLIIHUHQWW\SHVRISURFHVVHVRUGRPDLQV ,QD
VKRUWHVW SDWK WUHH IRU HYHU\ QRGH LWV SDWK DORQJ WKH WUHH KDV
WKHPLQLPXPSRVVLEOHGLVWDQFHRIDQ\SDWKWRWKHURRW,QWKH
VXEVHTXHQW VHFWLRQV ZH VWXG\ WKH LPSDFW RI VHOILVKQHVV RQ
VWDELOL]DWLRQ SURYLGH H[DPSOHV WR GHPRQVWUDWH WKH HIIHFWV RI
GLIIHUHQWW\SHVRIVFKHGXOHUVDQGH[SORUHKRZWKHVWDELOL]DWLRQ
WLPH LV DIIHFWHG E\ FKDQJHV WR D JLYHQ JUDSK
V SDUDPHWHU
ISBN: 1-60132-434-0, CSREA Press ©
4
Int'l Conf. Foundations of Computer Science | FCS'16 |
FKDQJHV:H DOVRSUHVHQWH[DPSOHVWRVKRZKRZFRPSHWLWLRQ
EOHQGV ZLWK FRRSHUDWLRQ LQ D VWDELOL]LQJ HQYLURQPHQW DQG
SURYLGHVRPHH[SHULPHQWDOUHVXOWV
2
2.1
(d) LV , 6R GLIIHUHQW WUHHV \LHOG GLIIHUHQW FRVWV IRU
GLIIHUHQWFRORUV>@
Background
Model and Notation
$VVXPH DJUDSKG = (V, E)/HWV = {1, 2, …, n} GHQRWH WKH
VHWRIQRGHVRUSURFHVVHVDQGE EHWKHVHWRIHGJHVFRQQHFWLQJ
SDLUV RI QRGHV /HW WKHUH DUH p GLIIHUHQW VXEVHWV RU FRORUV RI
QRGHV ,QRXUFDVHp EXWLQJHQHUDOp FRXOGEHDQ\YDOXH
JUHDWHU WKDQ )RU HDFK VXEVHW ZH GHILQH D VHSDUDWH FRVW
IXQFWLRQWRPDSWKHVHWRIHGJHVWRWKHVHWRISRVLWLYHLQWHJHUV
)ROORZLQJRXUVHOILVKVWDELOL]DWLRQDOJRULWKPVWDUWLQJIURPDQ\
UDQGRPLQLWLDOFRQILJXUDWLRQWKHGLIIHUHQW VXEVHWVRUFRORUV RI
QRGHV ZLOO FRRSHUDWH ZLWK RQH DQRWKHU WR IRUP D URRWHG
shortest path tree DQG VLPXOWDQHRXVO\ FRPSHWH DJDLQVW HDFK
RWKHUWRPLQLPL]HWKHLUGLVWDQFH ZLWKWKHURRWQRGH
:H ZLOO DVVXPH WKH VKDUHG PHPRU\ PRGHO IRU WKH
FRPPXQLFDWLRQ DPRQJ WKH QRGHV $FFRUGLQJ WR WKLV PRGHO
HDFK SURFHVV FDQ UHDG WKH VWDWHV RI LWV GLVWDQFH QHLJKERUV
DQGXSGDWHLWVRZQVWDWHLIUHTXLUHG,QHDFK LQGLYLGXDO VWHSD
SURFHVVFKHFNV DJXDUGHGDFWLRQ g ĺ AZKHUHg LVD%RROHDQ
YDULDEOH 7KH YDOXH RI g LV D IXQFWLRQ RI WKH SURFHVV¶V RZQ
VWDWHDQGWKHVWDWHVRILWVLPPHGLDWHQHLJKERUV,I g LVWUXHWKH
SURFHVV H[HFXWHV DFWLRQ A WR SHUIRUP DQ XSGDWH RI LWV RZQ
VWDWH ,I g LV IDOVH QR DFWLRQ LV WDNHQ 7KH JOREDO VWDWH RU
FRQILJXUDWLRQ RI WKH V\VWHP FRQVLVWV RI WKH ORFDO VWDWHV RI DOO
WKH SURFHVVHV 8QOHVV VWDWHG RWKHUZLVH D VHULDO
VFKHGXOHUGDHPRQVFKHGXOHVWKHDFWLRQE\UDQGRPO\FKRRVLQJ
DSURFHVVZLWKDQHQDEOHGJXDUGWRH[HFXWHLWVDFWLRQ
/HW XV FRQYHUW G LQWR D PXOWLZHLJKWHG JUDSK E\ GH¿QLQJ D
FRVW IXQFWLRQ w RI E ĺ Np ZKHUH N LV WKH VHW RI SRVLWLYH
LQWHJHUV )RU HYHU\ i ‫[ א‬1. . . p] WKH IXQFWLRQ wi : E ĺ N
GHQRWHVWKHFRVWRIXVLQJHGJHe WKHGLVWDQFH YDOXH6WDUWLQJ
IURPDQ\ DUELWUDU\ LQLWLDOFRQ¿JXUDWLRQWKHp GLơ HUHQWFRORUV
RIQRGHVFRRSHUDWHZLWKRQHDQRWKHUWRIRUPDURRWHGVSDQQLQJ
WUHH DQG DW WKH VDPH WLPH FRPSHWH DJDLQVW HDFK RWKHU WR
PLQLPL]HWKHLUGLVWDQFHYDOXHWRWKHURRW
$OO QRGHV LQ WKH JUDSK KDYH D FRPPRQ JOREDO JRDO LQ WKLV
SUREOHP VWDUWLQJIURPDQ DUELWUDU\ LQLWLDO FRQ¿JXUDWLRQ HDFK
QRGH FROODERUDWH ZLWK RQH DQRWKHU WR IRUP D URRWHG shortest
path tree%XWLQDGGLWLRQWRWKHFRPPRQJRDOWKHVXEVHWVRU
FRORUVKDYHWKHLUSULYDWHJRDOV7KHSULYDWHJRDORIHDFKQRGH
LV WR RSWLPL]H LQ WKLV FDVH LW LV D PLQLPL]DWLRQ SUREOHP LWV
GLVWDQFHYDOXHZLWKRXWYLRODWLQJWKHVSDQQLQJWUHHFRQVWUDLQWV
)LJVKRZV DQH[DPSOHRIDWZRFRORUHGJUDSK (a) LQZKLFK
WKUHH VSDQQLQJ WUHHV FRXOG EH REWDLQHG DW VRPH SRLQW RI D
FRPSXWDWLRQ QRQH RI WKHVH QHFHVVDULO\ GHQRWHV WKH WHUPLQDO
FRQILJXUDWLRQ 7KH URRW LV GHQRWHG E\ r DQG ZH FKRVH JUH\
FRORU WRLQGLFDWH WKHURRW )RUH[DPSOHWKHFRVWRIWUHH(b) LV
, ZKLOHWKHFRVWRIWUHH(c) LV, 9) DQGWKHFRVWRIWUHH
Fig. 1: 'LIIHUHQWVSDQQLQJWUHHVRIWKHJUDSKLQSDUWDQRWH
WKDWQRWDOOWUHHVDUHWHUPLQDOFRQILJXUDWLRQV
2.2
Related Work
2XUZRUNLVGLUHFWO\UHODWHGWRWKHSDSHUE\&RKHQHWDO>@ LQ
ZKLFK WKH DXWKRUV GHVFULEHG D VHOILVK VWDELOL]DWLRQ DOJRULWKP
IRUWKH minimum spanning tree SUREOHP 7KHDOJRULWKPIRUWKH
minimum spanning tree DQG WKH shortest path tree LV
HVVHQWLDOO\ WKH VDPH ,Q DQRWKHU SDSHU 'DVJXSWD HW DO >@
GHVFULEHG D SUREDELOLVWLF IDXOWFRQWDLQPHQW DOJRULWKP WKDW
VWDELOL]HV D V\VWHP IURP PLQRU IDLOXUHV ZLWK D VWDELOL]DWLRQ
WLPH LQGHSHQGHQW RI WKH QHWZRUN VL]H ,Q >@ WKH DXWKRU
GHVFULEHG D VHOILVK VWDELOL]DWLRQ DOJRULWKP IRU WKH maximum
flow tree SUREOHP &REE HW DO >@ SURSRVHG D VWDELOL]LQJ
VROXWLRQ WR WKH VWDEOH SDWK SUREOHP 0DYURQLFRODV >@ XVHG D
JDPH WKHRUHWLF SUHVHQWDWLRQ WR PRGHO VHFXULW\ LQ ZLUHOHVV
VHQVRU QHWZRUNV ZKHUH WKH QHWZRUN VHFXULW\ LV YLHZHG DV D
JDPHEHWZHHQWKH DWWDFNHUVDQGWKHGHIHQGHUV7KHODVWRQHLV
RQO\WDQJHQWLDOO\UHODWHG WR RXU ZRUN ,W LQYROYHVWKHVSLULW RI
FRPSHWLWLRQ DQG FRRSHUDWLRQ VLPXOWDQHRXVO\ DV LQ RXU FDVH
EXW VWDELOL]DWLRQLVQRWDQLVVXH
3
Algorithm
,QDFFRUGDQFHZLWKWKHVKDUHGPHPRU\PRGHO HDFKQRGHi FDQ
UHDG WKH VWDWHV RI N(i) WKH VHW RI LWV QHLJKERUV H[FOXGLQJ i
ISBN: 1-60132-434-0, CSREA Press ©
Int'l Conf. Foundations of Computer Science | FCS'16 |
LWVHOI (DFK QRGH i LV DOVR DZDUH RI WKH FRVW RI HDFK RI LWV
DGMDFHQWHGJHVe = (i, j) : j ‫ א‬N(i)7KHFRVWRIDQHGJHe LVD
GLVWDQFH YHFWRU w(e) = (w1(e),w2(e),w3(e), . . . ,wp(e)) ZKHUH
wk(e) GHQRWHVWKHFRVWRIWKHHGJHe IRUDQRGHRIFRORUk 1 • k
• p $OVR i PDLQWDLQV WZR YDULDEOHV ʌ(i) DQG d(i). 7KH
YDULDEOH ʌ(i) GHQRWHVWKHSDUHQWQRGHRIi LQWKHshortest path
tree%\GHILQLWLRQWKHURRWGRHVQRWKDYHDQ\SDUHQW6R ʌ(r)
LVQRQH[LVWHQW(YHU\RWKHUQRGHSLFNVDQHLJKERULQJQRGHDV
LWV SDUHQW IROORZLQJ WKH VWDELOL]DWLRQ DOJRULWKP 7KH YDULDEOH
d(i) GHQRWHV WKH YHFWRU d(i) (d1(i), d2(i), d3(i), . . . , dp(i))
ZKHUH dk(i) GHQRWHV WKH GLVWDQFH IRU D QRGH RI WKH kWK FRORU
IURPQRGHi WRWKHURRW
5
Observation1. 6WDELOL]DWLRQPD\QRWEHIHDVLEOHLIDWWKHVDPH
WLPHPRUHWKDQRQHSURFHVVPDNHPRYHVLH LIDGLVWULEXWHG
V\QFKURQRXV VFKHGXOHU LV XVHG LW FDQ SOD\ WKH UROH RI DQ
DGYHUVDU\DQGWKHFRQILJXUDWLRQVFDQUHSHDWLQILQLWHO\ )LJ 7KH VWDELOL]DWLRQ DOJRULWKP IRU kFRORUHG JUDSK LV GHVFULEHG
EHORZ >@ Conditions
/HYHO2.LŁGL GʌLȦLʌL
3DUHQW2.LL‫א‬9N ŁGNʌLȦNLʌL PLQ^GNMȦNLMM
‫ א‬1L`
Actions
)L[/HYHOLŁGL GʌLȦLʌL
)L[3DUHQWLL‫א‬9N ŁVHOHFWʌLGNʌLȦNLʌL PLQ^GNM
ȦNLMM‫ א‬1L`
7KHSURSRVHGDOJRULWKPKDVDWZRJXDUGHGDFWLRQV7KHURRWU
LVH[HPSWIURP DQ\DFWLRQ7KHRWKHUQRGHVXSGDWH WKHLUODEHOV
WR PDNH WKHP FRQVLVWHQW ZLWK WKHLU SDUHQW¶V ODEHOV 7KLV LV LQ
RUGHU WR ORFDOO\ PLQLPL]H WKH FRVW RI WKH PHWULFIRU WKH QRGH
FRORU7KHODEHODGMXVWPHQWDFWLRQLVWDNHQSULRUWRWKH SDUHQW
DGMXVWPHQWDFWLRQ
7KH DFWLRQV IRU QRGH i  r DUH GHVFULEHG LQ WKH IROORZLQJ
DOJRULWKP
Program for process i
Fig. 2: ([DPSOH H[HFXWLRQ ZLWK D GLVWULEXWHG V\QFKURQRXV
VFKHGXOHU &RQILJXUDWLRQ D DQG F DUH WKH VDPH VR WKH
V\VWHP FDQ DOWHUQDWH EHWZHHQ WKH WZR FRQILJXUDWLRQV YLD E
DQGPD\QHYHU VWDELOL]H
Observation2. 0RUH WKDQ RQH HTXLOLEULXP DUH SRVVLEOH ZLWK
WKHVDPHVHWWLQJIRUVSHFLILFJUDSKV)LJ
&RQVLGHU WKH JUDSK LQ )LJ %RWK FRQILJXUDWLRQV DUH VWDEOH
EXW WKH\ \LHOG GLIIHUHQW VKRUWHVW SDWK WUHHV RQH LV WKH EHVW
FKRLFH IURPWKHEODFNQRGHV¶SHUVSHFWLYH WKHRWKHUEHLQJWKH
EHVWIURPZKLWHQRGHV¶SRLQWRIYLHZ
^)L[OHYHO`
¤/HYHO2.Lĺ)L[/HYHOL
ʲ
^)L[ SDUHQW`
/HYHO2.L ¤3DUHQW2.Lĺ)L[3DUHQWL
4
Observations
:HPDNHDFRXSOHRI FUXFLDOREVHUYDWLRQVZKHQWKHDOJRULWKP
LV DSSOLHG ZLWK GLIIHUHQW W\SHV RI VFKHGXOHUVGDHPRQV. 7KH
REVHUYDWLRQVDUHOLVWHGEHORZZLWKVXLWDEOHH[DPSOHV >@
ISBN: 1-60132-434-0, CSREA Press ©
6
Int'l Conf. Foundations of Computer Science | FCS'16 |
color0 nodes%
Fig. 3: ([DPSOHVRIPXOWLSOHHTXLOLEULD LQDJUDSK
5
color1nodes%
Stabilization Time (ns)
0.30102
0.310594
0.282257
0.283535
0.286158
0.286584
0.282772
0.285366
0.347891
Table 1 6WDELOL]DWLRQ WLPH YDULDWLRQ IRU QRGHV ZLWK
UHVSHFW WR SHUFHQWDJH RI FRORU FKDQJH ,QLWLDOO\ WKHUH ZHUH
color0 QRGHV DQG color1 QRGHV :H JUDGXDOO\
LQFUHDVHGWKHcolor0 SHUFHQWDJHXSWR
Experimental Results
7KH DOJRULWKP ZDV LPSOHPHQWHG XVLQJ D FHQWUDO VFKHGXOHURQ
JUDSKV RI WZR FRORUV LH IRU p = :H H[SHULPHQWHG KRZ
VWDELOL]DWLRQ WLPHJHWV DIIHFWHG E\FKDQJHVWR D JLYHQJUDSK
V
FRORUFRPSRVLWLRQVDQGHGJHDUUDQJHPHQWV ,QFDVHRIPXOWLSOH
HTXLOLEULD DQ\ RQH RI WKH VROXWLRQV ZRXOG OHDG WR D VWDEOH
FRQILJXUDWLRQDQGKHQFHLWLVDQDFFHSWDEOHVROXWLRQ
7KH ILUVW VHW RI H[SHULPHQWV ZDV GRQH E\ YDU\LQJ D JLYHQ
JUDSK
V FRORU FRPSRVLWLRQ :H GLG WKH H[SHULPHQWV ZLWK WZR
FRORUV QDPHO\ color0 DQG color1. 7KLV FDQ EH WKRXJKW RI DV
XVLQJ ZKLWH QRGHV DQG EODFN QRGHV DV LQ RXU SUHYLRXV
H[DPSOHV :H VWDUWHG RXW ZLWK color0 QRGHV DQG color1 QRGHVRQDJUDSKRIQRGHV :HJUDGXDOO\LQFUHDVHG
WKH color0 SHUFHQWDJH XS WR WKH color1 SHUFHQWDJH
GHFUHDVHGDFFRUGLQJO\ 7KHVWDELOL]DWLRQWLPHVZHUH PHDVXUHG
LQ QDQRVHFRQGV 7KH H[SHULPHQW UHVXOWV DUH OLVWHG LQ 7DEOH DQG)LJ
)URP WKH UHVXOWV ZH REVHUYHG WKDW WKH VWDELOL]DWLRQ WLPH
UHDFKHV WKH PD[LPXP YDOXH QHDU WKH PDUN RI color0
QRGHV 7KH VWDELOL]DWLRQ WLPH RQ DYHUDJH LV WKH VDPH IRU WKH
UDQJHRIUDQJHRI color0 QRGHV 7KLVLVLQWXLWLYHDV
VWDELOL]DWLRQLVH[SHFWHGWRWDNHPRUHWLPHZKHQWKHV\VWHPLV
WLOWHG WRZDUGV RQH W\SH RI FRORU RI color0 RU RI
color1 7KH WUHQG LQVWDELOL]DWLRQ WLPHYDULDWLRQZLWKUHVSHFW
WRFRORUSHUFHQWDJHYDULDWLRQLVQRWOLQHDU WRZDUGVWKHH[WUHPH
HQGV DOWKRXJK LW LV VRPHZKDW OLQHDU ZKHQ WKH JUDSK FRQVLVWV
RIFRQVLGHUDEOHSHUFHQWDJHVRIERWKFRORUV
Fig. 46WDELOL]DWLRQWLPHYDULDWLRQIRUQRGHVZLWKUHVSHFW
WRFKDQJHVIRUSHUFHQWDJHcolor0 QRGHVDQGcolor1 QRGHV
7KH VHFRQG VHWRIH[SHULPHQWVZDVGRQH E\YDU\LQJWKHHGJH
DUUDQJHPHQWV RQ D JUDSK RI QRGHV 7KH WRWDO QXPEHU RI
QRGHV LVNHSWLQWDFWEXWXQOLNH WKHILUVWH[SHULPHQW WKLVWLPH
WKHUH ZHUH HTXDO QXPEHU RI color0 DQG color1 QRGHV
&RPSOHWH JUDSKV DUH FRQVLGHUHG WR KDYH FRQQHFWLYLW\
:H LQLWLDOO\ VWDUWHG ZLWK FRQQHFWLYLW\ 7KHQ WKH QXPEHU
RI HGJHV IRU ERWK FRORUV ZDV HYHQO\ LQFUHDVHG WR FRQQHFWLYLW\7KHH[SHULPHQWUHVXOWVDUHOLVWHGLQ7DEOHDQG
)LJ
7KH VWDELOL]DWLRQ WLPH VWHDGLO\ LQFUHDVHV DV ZH LQFUHPHQW WKH
FRQQHFWLYLW\SHUFHQWDJHV7KLVLVH[SHFWHGEHFDXVH LQFUHDVLQJ
FRQQHFWLYLW\PHDQV WKHGHJUHHRIDQRGH LVDOVRLQFUHDVHG$V
WKHGHJUHHLQFUHDVHV DQRGHKDVWRJRWKURXJKDOLVWRIDOOLWV
QHLJKERUV EHIRUH LW FDQ GHWHUPLQH LWV SDUHQW QRGH ,Q RWKHU
ZRUGV WKHVWDELOL]DWLRQWLPHFRPSXWDWLRQEHFRPHVPRUHWLPH
FRQVXPLQJ
ISBN: 1-60132-434-0, CSREA Press ©
Int'l Conf. Foundations of Computer Science | FCS'16 |
Number of nodes
100
500
1000
1500
2000
7
Stabilization Time (ns)
0.021436
0.324317
1.216871
2.872554
7.256624
Table 2: 6WDELOL]DWLRQ WLPH YDULDWLRQ ZLWK UHVSHFW WR FRQQHFWLYLW\
YDULDWLRQ7KHQXPEHURIHGJHVDUHLQFUHDVHGWRFKDQJHFRQQHFWLYLW\
OHYHOIURPWR
% of connectivity
Stabilization Time (ns)
0.290089
0.293069
0.301307
0.314228
0.335802
0.34899
Table 3 6WDELOL]DWLRQ WLPH YDULDWLRQ ZLWK UHVSHFW WR WRWDO
QXPEHURIQRGHV7KHH[SHULPHQWZDVGRQHE\LQFUHDVLQJWKH
WRWDOQXPEHURIQRGHVEXWNHHSLQJHTXDOQXPEHURIcolor0 DQG
color1 QRGHVLQWKHJUDSK
Fig. 5: 7KHJUDSKIRUVWDELOL]DWLRQWLPHYDULDWLRQZLWKUHVSHFW
WR FRQQHFWLYLW\ YDULDWLRQ 7KH QXPEHU RI HGJHVDUH LQFUHDVHG
WRFKDQJHFRQQHFWLYLW\OHYHOIURPWR
,QWKHWKLUGVHWRIH[SHULPHQWVZHYDULHG WKHWRWDOQXPEHURI
QRGHV EXW NHSW HTXDO QXPEHU RI color0 DQG color1 QRGHV LQ
WKHJUDSK7KHH[SHULPHQWUHVXOWVDUH SURYLGHGLQ7DEOHDQG
)LJ
Fig. 6: 6WDELOL]DWLRQ WLPH YDULDWLRQ ZLWK UHVSHFW WR WRWDO
QXPEHU RI QRGHV 7KH VWDELOL]DWLRQ WLPHVWHDGLO\LQFUHDVHVDV
WKHWRWDOQXPEHURIQRGHVZDVLQFUHDVHG
6
7KH VWDELOL]DWLRQ WLPHVWHDGLO\LQFUHDVHV XSWR D FHUWDLQ SRLQW
DVZHLQFUHPHQWWKHWRWDOQXPEHURIQRGHV7KLVPDNHVVHQVH
DVLQFUHDVLQJWKHQXPEHURIQRGHPHDQVH[SHULPHQWLQJZLWKD
ODUJHU JUDSK 7KHQ DIWHU D FHUWDLQ SRLQW ZH REVHUYH D VXGGHQ
JURZWK LQ VWDELOL]DWLRQ WLPH 7KH µNQHH¶ LQ WKH JUDSK LV
FRQVLVWHQW ZLWK WKH H[SRQHQWLDO QDWXUH RI PDQ\ JUDSK
DOJRULWKPV $V ZH LQFUHDVHG WKH WRWDO QXPEHU RI QRGHV
EH\RQG D WKUHVKROG YDOXH ZKHQ WKH DOJRULWKP KDV WR JR
WKURXJK D ODUJHU VHW RI QHLJKERUV EHIRUH LW FDQ GHWHUPLQH D
SDUHQW QRGH WKHUH LV D VXGGHQ LQFUHDVH LQ WKH VWDELOL]DWLRQ
WLPH
Conclusions
,QWKHIXWXUHZHZRXOGOLNHWRFRQGXFWH[SHULPHQWVIRUKLJKHU
YDOXHV RI p DV WKHUH LV QR UHVWULFWLRQ WR OLPLW WKH QXPEHU RI
FRORUV RI WKH JUDSK WR LPSOHPHQWLQJ PRUH FRORUV ZRXOG
SURYLGH PRUH LQVLJKW RQ KRZ FKDQJLQJ D JUDSK
V SURSHUWLHV
DIIHFW WKH DOJRULWKP¶V UXQ WLPH ,W LV DOVR WR EH VHHQ KRZ
GLIIHUHQWWRSRORJLHVFDQDIIHFWWKHVWDELOL]DWLRQWLPH ,WZLOOEH
LQWHUHVWLQJWRVHH LIDQ\JUDSKWKHRUHWLFVWUXFWXUHVFDQSURYLGH
RYHUDOOLPSURYHGVWDELOL]DWLRQWLPH
7
References
>@ $ $URUD 0* *RXGD &ORVXUH DQG FRQYHUJHQFH $
IRXQGDWLRQRIIDXOWWROHUDQWFRPSXWLQJSoftware Engineering,
19
ISBN: 1-60132-434-0, CSREA Press ©
8
Int'l Conf. Foundations of Computer Science | FCS'16 |
>@ - < +DOSHP &RPSXWHU 6FLHQFH DQG *DPH 7KHRU\ $
%ULHI6XUYH\CoRRabs/cs, >@ (: 'LMNVWUD 6HOIVWDELOL]LQJ V\VWHPV LQ VSLWH RI
GLVWULEXWHGFRQWUROCommun. ACM, 17
>@ $ 'DVJXSWD 6 *KRVK 6 7L[HXLO 6HOILVK
6WDELOL]DWLRQ666'DOODV7;
>@ - &RKHQ $ 'DVJXSWD 6 *KRVK 6 7L[HXLO $Q
([HUFLVHLQ6HOILVKVWDELOL]DWLRQACM TAAS, 3
>@ $'DVJXSWD6 *KRVK; ;LDR)DXOW&RQWDLQPHQWLQ
:HDNO\6WDELOL]LQJ 6\VWHPV Theor. Comput. Sci., 412
>@ $ 'DVJXSWD 6HOILVK VWDELOL]DWLRQ RI PD[LPXP IORZ WUHH
IRU WZR FRORUHG JUDSKV The Pennsylvania Association of
Computer and Information Science Educators, &DOLIRUQLD3$
>@ - $ &REE 0 * *RXGD 5 0XVXQDUL $ VWDELOL]LQJ
VROXWLRQ WR WKH VWDEOH SDWK SUREOHP Self-Stabilizing Systems
6DQ)UDQFLVFR&$
>@00DYURQLFRODV9*3DSDGRSRXORX$3KLOLSSRX3
* 6SLUDNLV$JUDSKWKHRUHWLFQHWZRUNVHFXULW\JDPHWINE
+RQJ.RQJ6$5RI&KLQD
>@$'DVJXSWD([WHQVLRQVDQGUHILQHPHQWVRIVWDELOL]DWLRQ
PhD thesis'HSDUWPHQWRI&RPSXWHU6FLHQFH7KH8QLYHUVLW\
RI,RZD,RZD&LW\,$
ISBN: 1-60132-434-0, CSREA Press ©