Hierarchical token based mutual exclusion algorithms

(1)

HAL Id: inria-00071411

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

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Hierarchical token based mutual exclusion algorithms

Marin Bertier, Luciana Arantes, Pierre Sens

To cite this version:

Marin Bertier, Luciana Arantes, Pierre Sens. Hierarchical token based mutual exclusion algorithms.

[Research Report] RR-5177, INRIA. 2004. �inria-00071411�

(2)

ISRN INRIA/RR--5177--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Hierarchical token based mutual exclusion algorithms

Marin Bertier — Luciana Arantes, Pierre Sens

N° 5177

Avril 2004

(3)

(4)

Unité de recherche INRIA Rocquencourt

,.-0/214365879/:;1479/;<2=>@?AB91C-03D-"E/2-03F:;7HG9>@<I=8J 1479/2/K7ML793G<I=

NOQPRTSTUWVYXZK[\SK]_^a`!S&bc[\da[ebfPRTSK[

g@h\i_jeS&bcXk$lnmco

Xc]qprp0i_h\btsaS h\S2u)OrSh)u)OrSwv0x@yaU;zHz{V|m~}hf~___V|_p]q_S2[

!KIr__ ^abf^Q]qS&`ru&^Q[\iHv[]{Q]_[\uTriau)iqtsa[ebfh\r^abfSKs[\dvQu)Orhfi_vrK]qb\i_v]_Hi_hfbfOrR[

vQSiqb\OQSu)OQ]_SvrHS v{OQHOrd{sa[b\hfr^rb\SKs*SKv}9hfi_vrRTSv9b)[ HSp0SSh\¡Cb\iq¡¢p0SShci_hWlWhfs{u&i_vr£Q_^a¡

h)]IbfiHvQ[)¤[¥b\iprhfiI}9saSt[fu]_]_rS¦[dvQu)Orhfi_vQ2]Ib\i_v[bf]_9vrv9b\i8]_uui_^rv9b@bfOrSWOrSKhf]_hfu)OQuK]qavrSbe§iHh\

bfi_p0i_i_Hd_NOr[tpQ]_pSKhcprhfi_p0iH[\SK[OQSKhf]_hfu)Oru]_FR¨^abf^Q]qS&`ru^Q[\i_v{]q_iHh\b\OrR[KNOrSK[\S¨]q_iHh\b\OQRT[

]_h\S¨S&`b\SKvQ[i_v[tiq¥b\OrS8©c]qRT¡ªNh\SKOrSC«[tb\iH_Sv]q_i_hfb\OrR*¬0h\S2sa^Qu&vrbfOrSTu&iH[b¦i_@]qb\SKvQu&d{]qvs*b\OrS

v^rRSKh¦i_@RTSK[f[\]__SK[tS&`ru)OQ]qvQ_SK[cSbe§SKSv{]_hcOri9[eb)[W®¯S¨prhfi_p0iH[\S b\OQh\SKS¨R]qv°S&`bfSvQ[\iHvQ[±eU2¤

OQSKhf]_hfu)Oru]_prh\i;`ad9¡¢Q]_[\SKs¯]qprpQh\i9]_u)O²¬¥C_¤ ]__Hh\SKH]IbfiHvMi_$hfSK³9^rS2[eb)[¬]qvQs´4µH¤Wbfi__SKvprh\SKSRTpabfiHv

d!ui9[SKhOriH[bf[K

®¯Sui_RTpQ]_h\S2sMbfOrS!p0Sh\ i_hfR]qvQuS%iqbfOrSK[\S]_Hi_hfbfOrR[ i_v]_vSR^r]Ib\S2s¶lWhfs¯bfSK[b\0SKsF¯®S

[b\^sad·b\OrSRTpQ]Hu¸bi_SK]Hu)O¹iqnb\OrSS&`b\SKvQ[\iHvQ[¬¦[OriI§vrbfOQ]Ibb\OrS¯u&i_RrvQ]IbfiHv¹iq b\OQSRºu]_v

Hh\S2]IbfdRTprh\iI}HS¦p0Sh\ i_hfR]qvQuSK[$iqb\OQS i_hfHvQ]_F]q_i_hfb\OrR*

»{¼9½¿¾fÀ¨Á IÂ_ S`apSKh\SRTSv9b2¬rR¨^abf^Q]qFS`ru&^Q[i_v~¬b\i_HSv²¬aOQSKhf]_hfu)Oru]_4¬Hh\s

Ã@ÄaÅ)ÆqÇ¸ÈCÅfÉ4Ç¸ÊËÈ4Ì¥Í9ÎÏÑÐ2ÒÇ¸ÈÓtÅfÉCÊËÔÕ;Ì@Í;Ì@ÖrÅ)È4ÊË×~Ø2Ù_ÚFÛÜÝ

Þ

Ï ÛÜ²ÏÑß

(5)

o¥«S`au^[i_vR¨^abf^rSSnS2[eb^rvriauWsaSnQ]_[\SnsaS¦C«]q_i_hfb\OrRT³H^QSWsaSn[\d9vu)Orh\iHvr[\]qb\i_v

sr[b\hfQ^rZ_tv°saS2[tsaZ&£0[tsr]qv[S2[Sv}h\iHvrvrSRTSKvHb)[$ i_h\b\SKR8SKv9bcsa[b\hfr^rZK[¨u&iHRTR8S SpQ]_h\¡I¡¢pQ]qh

iH^S2[¥ui_va£QH^rh)]Ib\i_v[@saStHh\S2¤DSK[bsaSt iH^rhfvrh$saSK[[dvQu)OQh\iHvr[f]IbfiHvQ[D[fu]q]qQSbfSvQ]_vHb$u&i_RTpabfS¦saS

]bfi_p0i_i__SDOrZh)]qh)u)Or³H^QS@sa^hfZK[\SK]q^~S@h)]qprp0i_h\b²prhfi_p0iH[\S¥saSK[]q_iHh\b\OrRTS2[²sF«S&`ru&^Q[\iHv R¨^abf^rSS

OQZKhf]_hfu)Or³9^rSK[KS2[]q_i_hfb\OrRTSK[[iHv9bsaS2[$S&`b\SKvQ[i_v[saSWC«]_Hi_hfbfOrRTScjeS&b\iHvsaS ©¦]qR8¡ªN~hfSOrSK4¬

hfZKsr^r[f]qv9b STuiab¨srS]]Ib\SKvQu&STSb¨sa^vri_Rrh\SsaSRTS2[\[f]qHSK[WZKu)OQ]_vr_Z2[WSv9b\hfSTS2[[b\S2[ sa[eb)]qv9bK

©ci_^Q[pQh\iHpi9[iHvQ[²bfh\iH[S`9bfSvQ[\i_vQ[prhfvQu&pQ]qSK[K±¥U2¤]qprpQh\iau)OrS$Q]_[\ZS[\^rhDsaSK[pQh\i;`ada[OrZKhf]_hfu)OQ³9^rSH¬

C_¤C«]__hfZH]qb\i_vsaSK[saSKR]qvQsaS2[¬aSb¨µ9¤$]8prhfZSKR8prb\i_vpQ]qhtsaS2[t[\bfSK[iuK]q^a`F

©ci_^Q[W];}_iHvQ[tu&iHRTpQ]qhfZ 4«S&`aZ2u&^abfiHvMsaSuSK[¦]q_i_hfb\OrRTSK[c[^rhW^rv°]qvQus²«S2[\[f]qZR¨^QZ8saS¨Hh\S_

©ci_^Q[$Zb\^Qsai_v[C«RTpQ]Hu¸bsaS u)OQ]_u^rvrS¦srSK[$S&`b\SKvQ[\iHvQ[¬RTi_v9bfhf]_vHb³9^rSnSK^rh$ui_Rrv]q[iHv!]qRTZi_hfS

ui_vQ[\saZh)]qrSRTSKvHbSK[p0Sh\ i_hfRT]_vQu&S2[saS 4«]q_iHh\b\OQR8SWi_hf_vQ]qC

Á 2 ¾ S&`ap0ZhfSKRTSv9bf]qb\i_v²¬S&`ru^Q[\i_vR¨^abf^rSSH¬IjeS&bfi_v²¬QOrSKhf]_hfu)OQ³9^rSH¬9Hh\S

(6)

% &

~¥&

']H[uu&]_[f[u]_@]q_iHh\b\OrR[ ]_h\S%ui_RTRTi_vrdM^Q[\SKsd¯sa[b\hfr^ab\S2s]qpQpru]qb\i_vQ[K(ciI§SK}_SKhK¬²§b\O

bfOrSSKR8SKh\HSvQuS iq@p0SSKh¡Cb\i_¡Cp0SSKht]qvQs°lWhfsMu&i_RTpr^rb\vrQ¬Qb\OrS2[S¨]_prpruK]IbfiHvQ[c[\prhfSK]_siI}HSht]]qhf_SKh

v^rRSKhtiqDvriasaS2[*)r^rh\b\OQShfR8iHh\SH¬rv°[^Qu)O*SKv9}h\iHvrRTSv9bf[t]qb\Svu&d!9]qpQ[tSbe§SKSv*OriH[bf[tv9b\SKhfui_va¡

vQSKu¸b)[]qhfS¦}HShfd%R8p0i_h\bf]_v9bKDNOrShfS& iHh\SH¬asa[b\hfr^ab\S2s*]q_i_hfb\OrR[[OQi_^rs!0S ]_sr]_pab\S2s%bfiTbf]__SWv9b\i

]Huui_^rv9b@bfOriH[\Scu)OQ]_hf]Hu¸b\SKh\[b\u[Km6§$S¡CvriI§vTS&`r]_R8pQS¦iq²[^u)O!]q_iHh\b\OrR[D[R¨^abf^Q]q0S&`ru&^Q[\iHv

]_Hi_hfbfOrR*¬§Oru)O*SKvQ[^Qh\S2[S`ru&^Q[}_S ]Huu&S2[\[bfi%]8[\OQ]_h\S2s%hfSK[\i_^rh)u&SH

]_vdM]q_iHh\b\OrR[WOQ];}HS80SSKvprh\iHpi9[S2s{bfi*[\i_}_S8bfOrSprhfi_rSR i_R^ab\^Q]_@S&`ru^Q[\i_vMv"sa[e¡

bfh\r^abfSKs{[\da[ebfSR[NOrSKduK]qv{Q]H[u]_d!0S¨sa}srSKs{v9b\ibe§$i_hfi_^rp[±,+- #$. 0/12 4o~]qR8¡

p0i_h\b43U5C¬HXuK]qh\b¡ªmtHhf];§]q]63Ë25¢¬ $]qhf}I]qOriq¡ªXi_^u]qhfi_73µ 5¢¬ ]_SI];§]8395 ¤]qvQs:;<0/1 n>=^rK^r¡

? ]_K]_R8@3Ëy25¢¬$Xc];d9RTiHvQsA3B25¢¬$©¦]qRT¡ªN~hfSOQS63z5¢¬$©cS[\Sva¡ ^rvQiC3D 5¢¬ OQ]qvr¬*=vrHOQ]qt]_vQs´o²^

3E25 ¤¸NOrS8£Qh)[eb Hh\iH^rpMi_$]q_iHh\b\OQRT[n]_h\S8Q]_[\SKsMi_vb\OrSTprhfvQu&prS8i_$ui_vQ[\SvQ[\^Q[W0S&be§$SSv¯Ori9[eb)[¬

CS_¬²]!Ori9[eb HS&bf[Wv9b\i*]uh\b\u]_[\SKu&b\i_vi_vrd°]IÑbfShnOQ];}vQ!hfSKu&SK}HSKsMpSKh\RT[\[\iHv{ hfi_R ]qDiqbfOrSh

OQiH[bf[KAFªv´b\OQSM[S2u&iHvr_hfi_^rp·iq]q_iHh\b\OQRT[K¬]"[da[b\SR8¡¢§srS{^rvr³H^QS*b\i_HSv´[![\OQ]qhfSKs·]qRTi_vQ

OQiH[bf[!]_vQs´bfOrSMp0iH[f[S2[\[\i_v¹iqbH}HSK[]Ori9[eb%bfOrS¯S&`ru&^Q[\}HS°h\_O9b%bfi¶SKvHbfShv9bfi"b\OrSu&hfb\u]q

[\SKu&b\i_v²ngShfRT[f[\iHva¡C]_[\SKs{]q_iHh\b\OQRT[c_SKvrSh)]qd{[\^HG¿Sh¦ h\iHR RTbfSKs¯[\uK]q]qrbed_IFªvui_v9b\h)]_[bK¬

bfi_HSva¡¢Q]_[\SKs]q_iHh\b\OQRT[O];}_S ]qv{];}_SKhf]__SWiI§ RTSK[f[\]__S u&i9[ebc]_vQs^Q[^]qdh\S2[^rbcv*iHH]qhfb\OrRTu

RTS2[\[f]qHSWui_RTprS&`abed i_4©¦¤\¤¥§b\O{hfS9]qh)sTb\iTbfOrS v^rR¨0Shi_Ori9[eb)[

NOrSR]Ijei_hfbed¶iq iH4©¦¤¤b\iH_Svr¡CQ]H[S2s´]q_i_hfb\OrR[%]_h\S*bfh\SKS&¡¢Q]_[\SKsF¬CS_¬c]"i__u]_b\hfSS

[b\hf^Qu&b\^rhfS{S&`aprhfSK[f[S2[Tb\OQSMsaJG0SKh\SKvHbb\iH_Sv´hfSK³9^rS2[eb)[%]qvQs·bfi_HSv¹prhfi_pQ]_H]qb\i_v·pQ]IbfOQ[!]qb]"_}_SKv

bfRTSH¶Xt];dRTi_vQsF«]q_iHh\b\OQRK3B 5i_hfH]_vrSK[b\OrS*Ori9[eb)[8v·][bf]qb\u!i_HuK]qb\hfSS*[ebfh\^Qu&b\^rhfS_NOQ[

bfh\SKS¦hfSR]_vQ[$^rvu)OQ]qvrHSKsF¬r^rb$bfOrS sah\S2u¸b\i_viqb)[S2sa_S2[u]qvu)OQ]qvQ_SnsadvQ]qRTu]qd%]_[b\OrSWbfi__SKv

pQh\iHpQ]q9]Ib\S2[ iHvQ[\SK³9^rSv9bfdH¬bfOrSsrhfSKu&b\i_vQ[¨iqb\OQS!SKsr_SK[8]q§];d[piHv9b¨bfi°bfOrS!p0iH[f[rS%bfi__SKv

OQi_saSh2©cS[\Sv¶]_vQs ^QvriL3D25S&`b\SKvQsaS2sb\Or[8]q_i_hfb\OrR d¯p]_[f[vr{bfOrS!bfi_HSvsah\S2u¸bfd¯b\i

bfOrS°hfSK³9^rS2[ebfvr"OQiH[b!v[ebfSK]_s´i_nb\Orhfi_^rHO´v9b\SKh\RTS2sa]qb\S°OQiH[bf[K.©¦]qR8¡ªN~hfSOrSK4«[%]_Hi_hfbfOrRM3z5

R]_v9bf]_v[]8srd9v]qRTuWi_HuK]q¿b\hfSSH¬r[^u)ObfOQ]IbbfOrS hfi9i_b$i_bfOrSnb\hfSS []q§];d[bfOrS ]H[ebOri9[ebbfOQ]Ib

§²_Sbb\OrS bfi_HSv*]qRTi_vr8bfOrS¨u&^Qh\hfSv9bh\S2³9^rSK[b\vrTi_vrS2[ OQ]qvrN=vrHOQ]q~]_vQs*o²^O3E95~RTprhfiI}_S2s

bfOr[c]q_iHh\b\OQR¬0]qRTvr%]qbchfSKsa^QuvQb\OrS¨v9^QR¨0Shci_DR8S2[\[f]qHSK[$bfi£QvQs*bfOrS]_[bchfSK³9^rSK[b\vrOri9[eb

vbfOrSiH_u]qb\hfSSH ^rSShP3U225t]q[iprh\iHpi9[S2s]qv¶S&`b\SKvQ[i_v¶b\i¯©c]qRT¡ªNh\SKOrSC«[8]q_iHh\b\OQR¬

v9b\hfiasa^Qu&vrbfOrSui_vQuSpab¦iq@prhfiHh\bed!v°bKcm b\iH_Sv{hfSK³9^rS2[eb¦[¦]_[f[iau&]IbfSKs*§b\OM]%prh\i_hfbed]qvs

bfOrS]q_iHh\b\OQR £Qhf[bt[\]qb\[e£SK[$b\OQS h\S2³H^QSK[bf[§b\O*Or_OrSKhprh\i_hfbed_

mcbfOri_^rHO]qDb\OQiH[\S i_4©¦¤\¤Wb\iH_Svr¡CQ]H[S2s]_Hi_hfbfOrR[ ]_u)OrS}HSTSbb\SKh¨p0Sh\ i_hfR]qvQuS8§b\O

hfSK[\p0SKu¸bcb\ibfOrS];}HSh)]q_SWv^rR¨0Sh¦iqDRTSK[f[\]__S2[S&`ru)OQ]_vr_S2sp0ShWu&hfbfuK]q[S2u¸b\i_v*SKvHbfh\d§OrSKvMu&iHR¡

p]qhfSKs bfi iqbfOrShDR^ab\^Q]_aS&`ru&^Q[\iHv8]_Hi_hfbfOrR[¬;bfOrSd8sainvriqb@ui_vQ[\srShD]Ib\SKvQu&dsaQG¿ShfSvu&SK[v8OriH[bf[

v9b\SKhfui_vrvrS2u¸b)[ ®¯STprh\iHpi9[S8sa[ebfh\râbfSKsMb\i_HSva¡¢Q]H[S2s*R¨âbf^Q]qDSàu^[i_v¯]q_i_hfb\OrR[K¬Q]H[S2s°iHv

©¦]qRT¡ªN~hfSOQSC«[]_Hi_hfbfOrR*¬r§Oru)Ob)]qHSK[vHbfi%]_uKu&i_^QvHbtvQS&be§$i_hfTb\i_p0i_i_Hd_¬Q[\p0SKu&]qd%b\OQS ]qb\Svu&d

9]qp*0S&be§$SSv{iau]_~]qvQs*hfSRTi_b\Su&^Q[b\SKhf[i_DRT]Hu)OrvrSK[K ^Qhc]q_iHh\b\OrR[hfSKsr^Qu&SnbfOrS¨v^rRSKhf[i_

v9b\SKh¡ªu&^Q[b\ShRTSK[f[f]q_S2[]qvQs_}_S]WOrHOrShDpQh\i_hfbednbfiniau]_aR¨^abf^Q]qQS&`ru&^Q[\iHv¨hfSK³9^rSK[bf[K~®¯SOQ];}HS

u)OQiH[\Sv8b\i¨]Hsr]qprb¥©c]qRT¡ªNh\SKOrSC«[]q_iHh\b\OrR S2u]q^[Stb¥^Q[\SK[]u)OQ]_vr_S2]qrSiH_u]qrb\hfSSc[b\hf^Qu¸bf^rhfS

bfi u&i_v9bfh\iHHR^ab\^Q]_aS&`ru&^Q[\iHv¨hfSK³9^rS2[eb)[NOr[Dsrd9v]qRTu$prhfi_p0Sh\bedniqb\OrS$b\hfSS[D[ebfh\iHvr_dnS&`apri_b\S2s

v*i_^rh[\i_^ab\i_vviHhfsrSh$b\iTbfi_Sh)]Ib\SWOr_OrSKh]qb\SKvQu&SK[K

(7)

F¢bT[§$i_h\b\O"hfSRTvsavQ°b\O]Ib[iHR8S]q^abfOri_h)[N3U_U 563U25OQ];}HS%prhfi_p0iH[\SKsR¨^rb\^Q]_S`au^[i_v¶]_¡

Hi_hfbfOrR[W§OrShfSvQisrSK[ ]qhfS_¬¿ iHh[iHRTShfSK]H[iHv²¬FH]qb\OrSKh\S2s°vHbfi*_hfi_^rpQ[K¨NOrSKd°Q]H[u]_d{prhfi_p0iH[\S

Odrhfs{]_prprhfiH]Hu)OrSK[§OrSKh\Sb\OrS8]q_i_hfb\OrR i_hcv9b\h)]I¡¢_hfi_^rp*hfSK³9^rS2[eb)[[WsaJG0SKh\SKv9bt h\iHR b\OrSv9b\SKh¡

Hh\iH^rpi_vrSH,(tiI§$S}_SKhK¬bfOrSdsaiTvriqbcui_vQ[\saShtsaJG¿ShfSvQuS v*vrSbe§iHh\%]IbfSvQud!0S&be§$SSKvOQiH[bf[]_[]

]Hu¸bfi_h i_hDHh\iH^rprvrnOriH[bf[K FªvP3UKµ 5C¬_b\OrSt]_^ab\OriHhf[pQh\iHpi9[S$b\i]Hsr]qprbbfOrStR^ab\^Q]_rS&`ru^Q[\i_v8R8S2u)OQ]I¡

vQ[\Rwiq¿] @= [da[b\SR bficbfOrS]qb\SKvQu&d OrSh)]qh)u)Od¦i_]qvv9bfSh)u&i_vQvrSKu&b\i_vi_0u&^Q[b\SKhf[KiHvHbfhf]_h\d¦b\i

iH^rh@prhfi_p0iH[f]qC¬;b\OQSh[\i_^ab\i_vT[@Q]H[S2siHv] u&Sv9bfhf]_S2s¨bfi_HSva¡¢Q]_[\SKsR¨^rb\^Q]_rS&`ru&^Q[\iHvTprh\i_b\iau&iH4

Fªv8b\OQSh\S2[eb@i_Qb\OQStpQ]qp0Sh2¬q§$Su&i_v[saSh@]WHSvrSKhf]_aR8iasaSKa§OrShfSSK]Hu)OOQiH[bO]_[D]niuK]qaRTSRTiHh\d

]_vQsuK]qv¨[\SvQs¨RTSK[f[\]__SK[²b\iW]qvdniqb\OQSh2i_RTR^rvru]IbfiHv Sbe§SKSvOriH[bf[[]_[f[\^rRTSKsnbfi¦0Sp0Sh\ SKu&bK

(ciH[bf[]_h\S sa}saS2s!v9b\i%u^Q[b\SKhf[K

®¯S sa[b\vrH^r[\O%iau]q¿Ori9[eb)[¥0Si_vQ_vrbfi¨bfOrSW[f]qRTSWu&^Q[ebfSh$ hfi_R h\SKRTiqb\SWOri9[eb)[¥0Si_vrHvQb\i

hfSRTi_b\S u&^Q[b\Sh)[K )Q^rh\b\OrSKh\RTi_hfS_¬9bfOrS §iHhfsQ[OQiH[bf[]qvsvQisrSK[]qhfSnv9bfSh)u)OQ]qvrHSK]_rSH

=S2u¸bfiHvsaSK[fu&hfS2[¦©¦]qR8¡ªN~hfSOrSK4«[n]q_iHh\b\OrR*6Fªv¯[S2u¸b\i_v¯µr¬F§$SpQh\S2[SKvHbni_^Qh¦OrSh)]qh)u)Oru]_

}HSh)[i_v[¥i_©c]_RT¡¢NhfSOrSK4«[]q_i_hfb\OrR*¬§Oru)ORTbb\OrSnprhfi_p]qH]qb\i_v%i_hfSK³9^rS2[eb)[0S&be§$SSKvu^[e¡

bfSh)[NOrSb\OrhfSSS`b\Sv[i_vQ[tb\i!©¦]qRT¡ªN~hfSOQSC«[t]_Hi_hfbfOrR bfOQ]IbW§S¨prh\iHpi9[SH¬rp0Sh¦u^[ebfShcpQh\i;`ad_¬

]__Hh\SKH]IbfiHv¯]_vQs"bfi_HSvprhfSSKRTpab\i_v²¬]qhfS]q[\iMsaSK[fu&hfS2svb\OQ[T[\SKu¸bfiHv² =SKu&b\i_v MprhfSK[\Sv9bf[

ui_RTpQ]_hf]qb\}_Sp0Sh\ i_hfRT]_vQu&S!S}I]q^Q]IbfiHviqcb\OrS2[S]q_i_hfb\OrR[K¬§OQS!bfOrS!]_[b[S2u¸b\i_v u&i_vu&^QsaSK[

iH^rh§$i_hf0

¨+¯ &()

©¦]qRT¡ªN~hfSOQSC«[]q_iHh\b\OQRw[D]cb\iH_Svr¡CQ]H[S2s¨]_Hi_hfbfOrR*¬I§Oru)O8R]qv9bf]qvQ[]WiH_u]_9sadvQ]_RTub\hfSS

[b\hf^Qu&b\^rhfSt[^u)ObfOQ]Ib¥b\OrShfiiqb@iq0b\OQSb\hfSS[¥]_§];da[~bfOrSt]_[b@vriasaSbfOQ]Ib@§_SbDb\OrSbfi_HSv]qRTi_vQ

bfOrSu&^Qh\hfSv9bh\S2³H^QSK[b\vrTvriasaSK[K

k¥]Hu)O*vriasaS[b\i_hfSK[bfOrSn i_iI§vr8}I]qhf]_rS2[±

NOrS8};]_h\]qQSH¬9§OQu)O*hfSprhfSK[\Sv9bf[bfOrS prhfi_Q]_rSWiI§vrSKhiq~bfOrSnb\iH_SKv²

NOrS }I]qhf]qrS_¬@§OQu)O·h\SKprhfSK[\Sv9bf[¨b\OrS*vriasaSb\O]Ib§hfSKu&SK}HS%bfOrSb\i_HSv §OrSv b\OrS

u&hfbfuK]q²[\SKu&b\i_v[hfSSK]H[S2s%d!)

NOrSWii_SK]_v"#%$&{}I]qhf]_rSH¬H§OQiH[\Sc}I]q^rSc[¥b\hf^rS¦²bfOrScprhfiau&S2[\[¥iI§vQ[@bfOrS¦b\i_HSv²¬9i_h¥]q[S

iqbfOrShf§[\S_

NOrSt0ii_SK]qv'()*'+,-.0/¨}I]qhf]_rS_¬q§Ori9[S}I]_^rSc[bfh\^QSt¿bfOrStprhfiau&SK[f[DhfSK³9^rS2[eb)[b\OrScb\i_HSv²¬

i_h]_[\Sniqb\OQShf§[\S_

NOrSsrSv9b\£QSh8iqn[¨hfSpQh\S2[SKvHbfSKsdb\OrS}I]qhf]_rS 1)¬@§OQS324567#8 9:'8;saSv9bf£QS2[]

^Qvr³9^rS vQisrS_¬r]qRTiHvr]qFvriasaSK[K¬b\OQ]qbtvQbf]_d!OriHsQ[$b\OrSnbfi__SKv²

)_^rhfSTUn[\^rRTR]qhfKSK[©¦]qR8¡ªN~hfSOrSK4«[]q_iHh\b\OrR*

mcv¶S&`r]_R8pQSiqc©c]_RT¡¢NhfSOrSK4«[¨]_Hi_hfbfOrRS`aSKu&^rb\i_v§b\O MvriasaS2[¨[[\OriI§v"v£QH^rhfSa

=ai_s¯vrS2[nh\SKprhfSK[\Sv9bvQ[K¬~§OQS%sr]_[\OrS2sMiHvrSK[nhfSprhfSK[\Sv9b< Wvra[K%NOrS%sr]qhf°vriasaS

HSSKpQ[@bfOrS¦b\i_HSv² Fªvrb\]qd°]H¤&¬am [b\OrS24=67#89?>@'8;n§OQu)O%OQi_sr[b\OrS¦b\iH_Sv~NOQSAi_

(8)

!"$#%

&'()+*'(,

-/.10325476

('

-

'85, 0:9

;+<

-

'&

0:=>6

'+?,@'+A"B

-

;A'

$C

;<

-

'&EDF(' 6G2 H/I"

,@;J"' -K0

,L&*'

;+<

-

'&

0:9

I"$MI

,@;J"' -K0325476

('

NI7OQP/I7M7RSUT

&'+)+*'+(, V-%.10

,L&*'

$C

;<

-

'&XWD 9 H/IY

Z%[/\

^]_`abab

\Yc

ba dee

\

1eL+f YghiajkYbae%l>mGe@n

ÝKÌeÐ;ÍpoVq

'()+*'(,arastiu É4Ç

;+<

-

'&

;+<

-

'&

0:9

v Å)ÊÉ²ÒÇ¸È²È4ÌweÌeÊx2ÊËÐ"yÓÌe×4×¢Åy¸Ìzo${

;+J"' - u

NIY$I!MIRSUT

&'+)+*'+(,

V-%.10324!6

('

$C -

'85,|WD 9 H/IY

ÝKÌeÐ;Ípo${

;+J"' - u

ÉCÇ

-

'85,

,@;J"' -K0325476

('

-

'85, 0}9

NI7~I"IRzNI7OQP/I7M7RSUT

s77

Z

sY

mGb^e

\

UiajkYbaeVm$ 7>]i`ababin

$C

;<

-

'&ED 9 H/IY

Z%[

Um$

c

n

$C

&'()*%'+(, V-%.

D,L&*' H/IY

Z%[/\

c

b_flQ5n

;+<

-

'&

0

sY

$C -

'85,D 9 H/IY

-

'85,

0

s%

I"$MI

Z

ÊËÈ×4É~È4ÌeÔÕ;Ìe×4É~ÉCÇÉ_;ÌÉ4Ç¸ÌeÐn×CÊËÐ"weÌÉ_;Ì>Å)×4ÉÚ²Ý_Ùn

Z Í2ÊËÈ4ÌwªÉ¦×CÌeÐ;ÍcÉ2ÌÉCÇ¸ÌeÐnÉ4Ç$É2ÌDÈ4ÌeÔÕ;Ìe×4É4ÊËÐ"yX;È4Ç!weÌe×C×

n

,@;J"' -K0325476

('

ÝKÌeÐ;Ío${

;J"' - u

ÉCÇ

s7

I"$MI

Z

ÛÇ¸ÐYÉCÌeÈÐ;ÊËÓtÅÐ;ÇÍ;Ì¸Ù;ÒÇËÇ~ÊËÐ"yÉ_;ÌDÈÌe×CÔÕ;Ìe×4É n

ÝKÌeÐ;ÍpoVq

'+)*%'+(,arsY7u ÉCÇ

;<

-

'&

;+<

-

'&

0

s7

NI7~I"IRz#5IY

Z

Ü²ÌweÌeÊx&ÌDÉ2Ì@É4Ç¸ÌeÐWÒÈ4Ç¸Ó¶Ð;ÇÍ;Ì> n

,@;J"' -0

,L&*'

)H^rh\STUH±©¦]qRT¡ªN~hfSOQSC«[]_Hi_hfbfOrR

(9)

]_¿vriasaS2[piHv9b)[¥bfi Fªv¯¤¸¬ ]H[a[¥ i_h$b\OQS¦bfi_HSv²¬r[\SvQsrvrT]h\S2³H^QSK[bbfi8bf[ ¦¤&¬Q]qvs

0SKui_RTSK[tb\OrSvrS§whfiiqb5 H¤¸cNOQSv²¬ ^Qp0sr]qb\S2[cbf[ ,t]qvQs Tb\i%p0i_v9bcb\i%

Fªv uK¤&¬ ]_[\a[ i_hcb\OrSb\iH_Sv~¬bfOrSvMb\OrSh\S2³9^rSK[b¦[t iHh\§]qh)saS2sb\i §Oru)O°^rp¿sr]IbfSK[¦b)[A,

bfi8I'i_b\O ]qvQs ^rp¿sr]IbfSbfOrShA ,%b\i8¬F[\vQuSbfOrS]Ib\b\SKhc[tbfOrS¨]_[b¦hfSK³9^rS2[ebfShci_Db\OrS

bfi_HSv" 0SKu&iHRTSK[bfOrShfi9i_btiqb\OrSb\hfSS2¤&®¹OQSvw§h\SKS2]_[\SWb\OrS¨uh\b\u]_~[\SKu¸bfiHv²¬rbfOrS bfi__SKv

§²S[\Sv9bb\i =,¤¸

C A

B

D

(c) C A

B

D

(a)

C A

B

D

(b)

)_^rhfSa±,=a]qRTprS S&`aS2u&^abfiHvi_©c]_RT¡¢NhfSOrSK4«[]q_iHh\b\OrR

&()+

=avQuS v9bfSh\¡¢u^Q[b\SKh]qb\Svu&SK[]qhfSnOr_OrSKhb\OQ]_vv9b\h)]I¡ªu&^Q[ebfShi_vQSK[K¬ab\OrSnbfOrhfSSnS&`b\SKvQ[\iHvQ[§Snprhfiq¡

p0iH[\SKs b\i¦©¦]qRT9Nh\SKOrSC«[]_Hi_hfbfOrR [Q]_[\SKs iHv b\OQSsaSK]ciqrRTb\vr¦b\OrS$prhfi_pQ]_H]IbfiHvniqrhfSK³9^rSK[bf[

0S&be§$SSKv*vriasaSK[i_saJG¿ShfSv9bcu&^Q[b\Sh)[K@N~i8b\OQ[SKvQsF¬§S ]qpQprd%b\OrS iHiI§vr¨bfOrhfSS S&`bfSvQ[\iHvQ[$b\i

©¦]qRT¡ªN~hfSOQSC«[]q_iHh\b\OQR±

)h)[eb2¬²§$Sv9b\hfisr^Qu&S8i_v¯SK]Hu)Ou&^Q[b\SKhK¬FS`auSpabfvQ!bfOrSTi_vrS8b\O]Ibnvrb\]qd°Ori_sr[¦b\OQSTb\i_HSv²¬

]"saSKsruK]Ib\S2s¶pQh\iau&S2[\[K¬uK]qS2s·prh\i;`adH¬@§Oru)O·[v¹u)OQ]qhf_Siqn[ebfi_hfvr¯bfOrS{]H[ebhfSK³9^rS2[ebTb\i

h\SKRTiqb\S*u&^Q[b\SKhf[KL'$S& iHh\S*]_[\vrM i_h]Mb\i_HSv §Oru)O b0SSK}_S2[0Si_vQMbfi¯]vriasaS*iq¦]

h\SKRTiqb\Su^Q[b\SKhK¬]*vriasaSt£Qh)[b [\Svsr[]h\S2³9^rSK[bnb\i{bf[ui_hfh\S2[p0i_vQsrvrprhfi;`ad_ F¢]_vriqbfOrSh

vriasaS%iqb\OrS¨[f]qRTS u&^Q[b\SKhtOQ]_[th\S2u&Sv9bfd!]H[HSKs! i_hbfOrS bfi__SKv]_vQsb\OrS¨prh\i;`ad%[t];§]qhfS¦i_

b2¬b\OrS¦prhfi;`d8hfSKsah\S2u¸b)[@bfOrSchfSK³9^rS2[ebb\iT];}Hi_savrnb\h)]qvQ[\RT[f[\iHvTb\ib\OrS¦h\SKR8i_b\SWu&^Q[ebfSh2 Fªv

]_u&bK¬FbfOrSpQh\i;`ad*i_p0Sh)]IbfSK[¦_S8]uK]_u)OrSiq¥hfSRTiqbfShfSK³9^rS2[eb)[ NOr[WOrSh)]qh)u)OruK]q]q_i_hfb\OrR

[tprh\S2[SKv9b\SKsv*[\SKu&b\i_v*µrU_

NOrS[\SKui_vQs¯S`9bfSvQ[\i_v]qR[¨]qb¨h\S2sa^Quvr*bfOrS!v^rRSKh¨i_v9b\SKh¡ªu&^Q[b\Sh¨R8S2[\[f]qHSK[nd]qq¡

_hfS9]Ib\vr8h\SKRTiqb\SnhfSK³9^rS2[eb)[D®¹OrSKv{]Th\S2³H^QSK[bO]_[$b\i0S hfSKsah\S2u¸bfSKs!b\i%]8prhfi_Q]_rSniI§vrSKhK¬

SKiHvr_vr¯b\i]¯hfSRTiqbfS{u&^Q[ebfSh2¬¥bfOrS{hfSK³9^rSK[b[TvQiqb![\Sv9bTb\i"b%r^ab![b\i_hfSKs v´]³9^rSK^rS_

NOr[t³9^rS^rS]Huu^rR¨^r]IbfSK[$bfOrShfS& iHh\SnhfSK³9^rSK[bf[ iHhth\SKRTiqb\S u^Q[b\SKhf[K F¢bt[t[ebfi_hfSKsvbfOrS ]H[eb

vriasaS8§Oru)O§Sv9b\SKhWb\OrSTu&hfbfuK]q[S2u¸bfiHvM§b\Orv°bfOrSu&^Q[ebfSh2n®STvQ]_R8S¨b\Or[nvriasaSb\OrS

J9$ Cc®¯S¨R¨^[ebchfSRTvQs*bfOQ]Ibn³H^QS^rvr%i_@h\S2³H^QSK[bf[OQ]H[t0SSKv°^Q[\SKs{diqb\OQSh¦©¦]qRT¡

N~hfSOQSC«[¡C]_[\SKs8]q_i_hfb\OrR[]_[Dv 3U225¢ (ciI§SK}_SKhK¬;vi_^rh@uK]_[\S_¬qb¥[@]qprpQSKs8i_vQd iHh@hfSRTiqbfS

u&^Q[b\ShhfSK³9^rS2[eb)[

)vQ]_d_¬H§Sp0Sh\ i_hfR ]niuK]qaprhfSSKRTpab\i_v8iq0b\OrSbfi_HSv8_}9vr ]WOr_OrSKhDprh\i_hfbednb\i hfSK³9^rSK[bf[

i_hfHv]Ib\vr hfi_R b\OrSiauK]qcu^Q[b\SKh!v6i_h)saSKhb\iS`apriHbu&^Q[ebfShiau]_bed_ ®¯SsaS£QvrSM]

(10)

b\OrhfSK[\OriHs!b\OQ]qbcsaS&£vrSK[$bfOrSsaSHh\SKS¦i_iau]_bed%]qvQs];}_iHsQ[$[bf]_h\}I]qb\i_v²®¹OrSKv!bfOrS v^rR¨0Sh

iqtiau]q$hfSK³9^rSK[b¨[¨0SiI§ b\Or[b\OrhfSK[\OriHsF¬bfOrS!hfSK³9^rS2[ebfvrMpQ]IbfO[RTiasa£SKs"v¶iHhfsaSKh b\i

[SKh\}HSniau]_Fh\S2³9^rSK[bf[£Qh)[eb2@NOrSK[\Sn]H[ebbe§$iTS&`b\SKvQ[i_v[]qhfS¦prhfSK[\Sv9bfSKsv{[\SKu¸bfiHvµQr

"! #$

®¯S RTiasa d©c]_RT¡¢Nh\SKOrSC«[$]_Hi_hfbfOrR prhfSK[\Sv9bfSKsv*[S2u¸bfiHv{8]H[$ i_iI§t[K±

NOrS&%;9(' *) t}I]qhf]_rS_¬F]_srsrSKs°iHvMS2]_u)O°vriasaS)¬¿srSv9b\£QSK[WbfOrSTu&^Q[ebfShWb\i§Oru)OMvriasaS

0Si_vQH[K

v·SK]Hu)O·u^Q[b\SKh Af¬$S&`ruSpabfvr¯bfOrS*i_vrSb\O]Ib%OQ]H[¨bfOrS@2456 #89:'8;9¬]vQisrS[TSSKu&b\S2s

]_RTi_vrA)«[vQisrSK[$b\iTOQ];}HS ]8[\p0SKu&£unvrb\]q2]Ib\i_vhfi_S_DNOr[vriasaS [uK]qS2s%bfOrS,+' -/.f

Fªvrb\]qd_¬Hb\OrS , }I]_h\]qrSiq0+' -/.p0i_vHb)[Dbfi b\OrS 24=67#89:>@'8 W]_[D§$S]H[b\OrSA

}I]_h\]qrSci_Fb\OrSnvriasaS2[@bfOQ]Ib0Si_vrb\i 24=67#89:'8 9«[$u&^Q[b\SKhK v%bfOrSWiqb\OQSh$OQ]qvQs²¬HbfOrS<

}I]_h\]qrSWiqb\OrS i_b\OrSKhvriasaSK[p0i_v9bf[$b\iTbfOrS,+' -/.@iqb\OrSKhhfSK[\pS2u¸bf}HSnu^[ebfSh2

)_^rhfS µ8[\^rRTR]qhfKSK[iH^rhOrSh)]qh)u)OruK]q0prhfi;`d9¡¢Q]_[\SKs%}_Sh)[\iHv!iqD©c]_RT¡¢NhfSOrSK4«[]q_i_hfb\OrR*

)_^rhfS4]H¤prhfSK[\Sv9bf[D]_v8S`r]qRTprS$i_¿]_vTvrb\]qu&i_vr£Q_^rh)]IbfiHv¨§b\O8be§$inu^[ebfSh)[¬ 21W]_vQs43_¬

§OQShfSWvQisrSK[ ¨¬%¬]qvQs SKiHvr8b\i%u^Q[b\SKh21r¬]qvQsvriasaS2[65{¬ 2 ]qvs7+83 0Si_vQbfi 43_+83

[Wb\OQS9+:-Mi_ 43_ Fªvrb\]qd_¬ O]_[WSKSvSSKu&b\S2sMbfi*OQ];}_Sb\OrSTbfi_HSv b\OrS!24=67#8 9?>@'8 I¤¸

®¯Su&iHvQ[\saSKh$b\OQ]qb [vb\OrSuh\b\u]_²[S2u¸b\i_v<;¥¤¸

Fªv{0 ¤&¬ ]_[\a[ i_htb\OrS bfi_HSv² ]qvQs 0Si_vrTbfib\OrS[f]qRTSu^Q[b\SKhK =vQu&S w[v*b\OrS

<;¬ w[Sbf[0iqbfObf[? ,T]qvs3¥}I]qhf]_rS¦bfi%

Fªvu2¤¸¬=5{¬¿§Oru)OMsaiSK[¦vriqbWSKiHvr%bfi%bfOrS[f]qRTS¨u^Q[b\SKh¦i_Db\OrSb\iH_SKv{Ori_saSh2¬¿]_[\[t i_h¦b\OrS

bfi_HSv²F¢b[\SvQsQ[cbfOrSv]h\S2³H^QSK[b¦bfibf[nprhfi;`ad>+83_¬F§Oru)OMhfSKsahfSKu¸b)[tbfOrSTh\S2³9^rSK[b¦bfi¨?+83T[Sbf[

bf[ bfi45°®¹OQSv*]qhfh\}vr]Ib ¨¬b\OrSWhfSK³9^rSK[b[ i_hf§$]_hfsrSKs8b\ib\OQS¦hfiiqbW¤§Oru)O[\RTprd

^Qp0sr]qb\S2[Db)[ ]qvQsW}I]qhf]_rS2[b\i<5{ 2 ]_[\a[b\OrSKv iHhDb\OQSb\i_HSv²NOrSprhfi;`ad,+83iauK]qd

hfSKsrhfSKu&bf[Wb\OQSh\S2³H^QSK[bWbfi@5 §Oru)O^rp¿sr]qb\SK[b)[< n]qvQs };]_h\]qQS2[cbfi@2!m$b bfOrS%Svs

i_DSK]_u)O°uh\b\u]_[\SKu&b\i_v{S&`aS2u&^abfiHv²¬rbfOrSbfi__SKv{§ i_iI§ b\OrSpQ]IbfO°p0i_vHbfSKs{d }I]qhf]_rS2[

NOQ[n[fu&Sv]qhfi[OriI§t[cb\OQST]Hsa}I]qv9bf]__Siq¥bfOrST]q_i_hfb\OrR [\vu&S2 hfSK³9^rS2[ebW§$]H[¦vQiqbW i_hf§$]_hfsaS2s*b\i

bfOrS hfSRTiqbfSnu^[ebfShBA_¬Q]H[bt§$i_^QsSnbfOrSu]H[Snvb\OrSni_hf_vQ]qF©c]_RT¡¢NhfSOrSK4«[]q_iHh\b\OrR*

DC EF 0G! BHIHKJ 0$LJ! HM:"! #$N

®¯SOQ];}HS$RTiasa£QSKsbfOrStprhfi;`adH¡¢Q]H[S2s]q_iHh\b\OrR iq0b\OrSprhfS}i_^Q[D[\SKu&b\i_vµrU$b\i hfSKsa^u&SS}HSvTRTi_hfS

bfOrSv^rR¨0ShDi_Qv9bfSh\¡¢u^Q[b\SKhR8S2[\[f]qHSK[K~NOr[RTprhfiI}_SKRTSv9b[Q]_[\SKsi_v8]qH_hfSH]qb\i_v i_RTSK[f[\]__S2[

]_vQsprh\SKSRTpabfiHvi_bfOrSnb\iH_Svd%iuK]qFvriasaS2[

v*SK]Hu)O!vriasaS<)¬a§$S]_srsrSKs!b\OrSn iHiI§vQ}I]qhf]qrSK[K±

NOrSPO RQS)7T)7}I]qhf]qrS_¬§Oru)O*[]³9^rSK^rSniqh\S2³H^QSK[bf[$[f[\^rSKs! h\iHR hfSRTiqbfS u&^Q[ebfSh)[

NOrSO + # + };]_h\]qQSH¬@§Oru)O hfSprhfSK[\Sv9b)[¨bfOrS*v^rR¨0Shi_¦iuK]qhfSK³9^rSK[bf[bfOQ]IbOQ];}HS

prhfSSRTpabfSKshfSK³9^rSK[bf[[f[^rS2s% hfi_R h\SKR8i_b\S u&^Q[b\SKhf[K

)_^rhfSK[ty8]qvsPBTsaS2[\uh\0S¦bfOrS]q_iHh\b\OQR

(11)

E]i

&;+8t

$ "$#%

;<

-

'&

0:=>6

'+?,@'+A"B

-

;A'

$ "$#%

&'()*%'+(,

V-%.>0}25476

('

-

'85, 0:9

C

=>6

'+?,@'+A"B

-

;A' h;?

4!66

*%(,@'&

H/I"

;<

-

'&

03=>6

'+?,@'+A"B

-

;A'

C

;+<

-

'&D (' 6G2 H/IY

,@;J"' -0

,L&*'

;+<

-

'&

0:9

IYGMI

,@;J"' -0325476

('

IYGMI

;<

-

'&

0

&;8t

,@;+J"' -K0325476

('

NI7OQP/I7M7RSzT

Z

`

\Yc

7aXn

NIY$I!MIRSzT

Z

`

\Yc

7aXn

NI7~IY$IRzNI7OQP/I7M7RSzT

sY!

Z

`

\Yc

7aXn

NI7~IY$IRz#5I"

Z

`

\Yc

7aXn

)_^rhfS µr±g@hfi;`d9¡¢Q]_[\SKs]q_iHh\b\OrR

(12)

C0

B

C1

(c)D and E ask for CS C0

C

B

(a) Initial configuration A holds the Token C1

A P1 E

D

C0 C1

(b) B asks for CS

A E

B D

C P1

C A P1 E

D

)H^rh\Sn± (cSKhf]_hfu)OQuK]q¿prhfi;`d9¡¢Q]_[\SKs!]q_i_hfb\OrR S`S2u&^abfiHv{[\uSvQ]_h\iH[

(13)

+>]i

&;+8t

$G$ "$#%

;+<

-

'&

0:=>6

'?,@'A"B

-

;A'

+X !^

$G$ "$#%

&')+*'(,

-/.10325476

('

-

'85, 039

q B

*'*' 0:9

$C =>6

'?,@'A"B

-

;A' ;?

4766

*/(,@'&

H/IY

;+<

-

'&

0:=>6

'?,@'+A"B

-

;+A!'

$C

;+<

-

'&^D (' 62

H/IY

,@;JY' - 0

,L&+*%'

;+<

-

'&

0:9

IYGMI

,@;JY' - 03254!6

('

IYGMI

;+<

-

'&

0

&;+8t

,@;J"' -03254!6

('

NIYO/P/IYM7RSzT

&')+*'(, -/.10

,L&*'

$C

;+<

-

'&WD 9 H/I"

Z%[/\

^]i`bab

\Yc

ba dee

\

eL+f Ygh_jk"bae%l>m$e@n

ÝKÌeÐ;Í oLq

'+)+*'(,arstiu É4Ç

;+<

-

'&

;+<

-

'&

0:9

q B

*'*' 039

v Å)ÊÉ²ÒÇ¸È²ÈÌweÌeÊxKÊËÐ"yÓÌe×C×¢Åy¸ÌoG{

;J"' - u

NI"I7MIRSzT

&')+*'(,

-/.10325476

('

$C -

'85, WD 9 H/I"

$C

-

'85, ;?

4766

*/(,@'&

H/IY

Z%[/\

UeL+f m

$

1b 5eeV

c

izeLn

-

B&'+'5, 0

C q B

*'*'WD

9

H/I"

;+<

-

'&

0

*'*' q B

*'*'

IYGMI

;+<

-

'&

0:-

'85,

ÝKÌeÐ;Í oG{

;J"' - rq B

*'*'!r -

B5&'+'5,iu É4Ç -

'85,

,@;J"' -03254!6

('

-

'85, 0:9

)_^rhfSya±DmtH_hfS9]Ib\i_v]qvQsprhfSSKR8prb\i_v*]q_i_hfb\OrR*±h\S2³9^rSK[bt]qvQsh\SKS2]_[\SWuh\b\u]_²[S2u¸bfiHv

(14)

E

NXI7~I"I%RUNXI7OQP/I7MYRzSzT

s7Y

Z

sY

mGbe

\

1iajkYbaeVm$ 71]i`bab_n

$C

;<

-

'&D 9 H/IY

Z%[

mG c

n

$C

&'()+*'(, -/.

D ,L&*' H/I"

Z%[Q\

U

c

b_fElXQ5n

$C

-

'85,D

9

H/IY

-

'85,

0

sY

$C

sY ;?

4766

*/(,@'&

H/IY

;+<

-

'&

0

sY

I"$MI

$C

sY ;?

4766

*/(,@'&

-

B5&''5, {

&'(

; 6A H/IY

-

B5&''5, 0 -

B5&'',

Z

ÄÇ!w\Å/;È4ÌeÌeÓ2É4ÊËÇ¸ÐnÇ)ÒaÉ_;ÌDÉCÇ¸ÌeÐnÆtÉ;ÌD×4ÌeÐ;Í;ÌeÈn

q B

*'*' 0 -

'85, q B

*'*%'

-

'85,

0

sY

;+<

-

'&

0

sY

ÝKÌeÐ;Ípo

*'*'!r q B

*'*'r -

B5&'+'5,iu

É4ÇÇ~Ð;ÌeÈ

q B

*'*' 0:9

I"$MI

Z

ß²Í;Í¦É_;Ì@×CÌeÐ;Í;ÌeÈ²ÉCÇÉ;ÌDÌeÐ;ÍWÇ)ÒQÜ

B Õ;ÌeÕ;Ìn

q B

*'*' 0 q B

*'*' s7

;+<

-

'&

0

sY

I"$MI

Z ÊËÈ4×É~È4ÌeÔÕ;Ìe×4É~ÉCÇ$É_;ÌDÉ4Ç¸ÌÐW×CÊËÐ"weÌÉ_;ÌEÅ)×4ÉÚ²Ý_Ù

n

,@;J"' -03254!6

('

Z

Í2ÊËÈ4ÌwªÉW×CÌeÐ;ÍcÉ;ÌÉ4Ç¸ÌeÐWÉ4Ç$É2Ì¥ÈÌeÔKÕ2Ì×ÉCÊËÐYy;È4Ç!weÌe×C×n

ÝKÌeÐ;Ío${

;J"' - r q B

*'*'!r -

B&'+'5,iu ÉCÇ

sY

I"$MI Z ÛÇ¸ÐYÉ4ÌeÈ4Ð2ÊËÓtÅ9Ð;ÇÍ;Ì¸ÙIÒÇËÇ~ÊËÐ"y¥É_;Ì@ÈÌ×4ÔKÕ2Ì×É

n

ÝKÌeÐ;ÍpoVq

')+*'(,arasY!u ÉCÇ

;+<

-

'&

$C

sY ;?

4766

*%(,@'&

H/IY

;+<

-

'&

0

sY

NXI7~I"I%RU#%5IY

q R

*'*'"r - R

5&''5,7

Z Ü~ÌweÌeÊx&ÌDÉ;ÌÉ4Ç¸ÌeÐWÒÈ4Ç¸Ó Ð;ÇKÍ2ÌE

n

,@;J"' -K0

,L&*'

q B

*'*' 0 q B

*%'*' q B

*'*%'

$C

J ;?

4766

*/(,@'&

H/I"

-

B5&'', 0 -

B5&'+'5,

$C

-

'85,D

9

H/IY

-

'85, 0

' 4 A

q B

*'*' 0 q B

*%'*'

' 4 A

I"$MI

$C -

'85, ;?

4766

*%(,@'&

H/IY

ÝKÌeÐ;Ío

*'*'!r q B

*'*'r -

B5&'+'5,iu

É4ÇÇ~Ð;ÌeÈ

q B

*'*' 0:9

NXI7~I"I%RP/IYP/I% r-

-

B5&'+'5, 03-

$C -

'85,D 9 H/IY

-

'85, 0

' 4 A

q B

*'*' 0 q B

*%'*'

' 4 A

I"$MI

$C -

'85, ;?

4766

*%(,@'&

H/IY

ÝKÌeÐ;Ío

*'*'!r q B

*'*'r -

B5&'+'5,iu

É4ÇÇ~Ð;ÌeÈ

q B

*'*' 0:9

(15)

<;@¤$ iHiI§t[$b\OrS 9«[tp]Ib\O*^rv9bfbchfSK]Hu)OrSK[$bf[ 4='6 4#9:''ÑbfOrSvriasaS i_bfOrS¨[f]qRTS u&^Q[ebfSh

§OQiH[\S3°}I]qhf]qrS%[8[\S&b8b\i a¬@CS_¬Db\OrS]_[bvriasaSiqtbfOrS*u&^Q[ebfShb\i¯OQ];}_Sh\S2³9^rSK[b\S2sb\OrS

uh\b\u]_²[S2u¸bfiHv¤¸

®¹OrSKv°]TvriasaS hfSKu&SK}HSK[]ThfSK³9^rSK[bK¬Qb¦[vQiqbc]"4='6 49 ''vriasaS%5 _¤&¬rbt i_hf§$]_hfsQ[

bfOrS$h\S2³H^QSK[b]qvs^rp¿sr]IbfSK[bf[ i_vrd Qb\OrS$h\S2³9^rSK[b[[f[\^rSKsn hfi_R bfOrS$iau]_au&^Q[ebfShvi_h)saSh

bfi{];}_i_s{hfSKsahfSKu¸bfiHv°bfihfSRTi_b\STu&^Q[ebfSh)[f¤&$F¢b\OrShfSKuS}_SKh¦[ ]345'6 4#9 ''¦vQisrS*5 _¤

§OQu)O°§]qbf[c i_h¦b\OQSb\iH_SKv¶'()*'+,-.0/ -)0;¤&¬F§S8sa[ebfvrH^r[O{be§$iuK]_[\SK[K± eU2¤¦NOrSh\S2u&S}_S2s

hfSK³9^rS2[ebW[¦bfOrS¨£hf[b¦iHvrS8[\vQu&S¨b\OrSTvriasaS§$]_b)[t iHh¦bfOrSb\i_HSv¶4S_< _¤&NOrSv²¬¿bfOrS ,

[8[Sb¨b\iMb\OrShfSK³9^rSK[b\SKh0SKu]_^Q[\S]IÑbfShb\OrSvriasaSi_ab)]qvQ[¨]_vQs"hfSSK]_[\SK[b\OrSu&hfbfuK]q[S2u¸bfiHv²¬Db

§FOQ];}_SWb\i[\SvQs!b\OQSnb\i_HSvb\i8b\OQS h\S2³H^QSK[b\Sh2DNOrS<[]q[\i^rp¿sr]qb\SKs 97 1b\OQS h\S2³H^QSK[b

uK]qRTSW h\iHR b\OrS iau]_²u&^Q[ebfSh24_¤$NOrS<¥[]qh\S2]_sad%[\S&b2 =vu&SWb\OrS hfSKuS}_SKh[]4='6 4#9 ''¸¬

bfOrSrbWvQS}b)]qrdpiHv9bf[tb\i!]ThfSRTi_b\SvriasaSH Fªv{b\Or[cuK]_[\S_¬b\OQS¨hfSK³9^rSK[b\SKht[tiuK]qC¬]_vQsb\OrS

v^rRSKhtiqDprhfSSKRTpab\i_vQ[t[0SiI§ b\OrS bfOrhfSK[\Ori_sF¬r§$Sp0Sh\ i_hfR ]TiuK]q²pQh\SKSRTpab\i_v*i_bfOrS bfi__SKv

d8[Sbb\vr< b\inbfOrSthfSK³9^rS2[ebfSh@]qvsRTSKR8iHh\vrWb\OQSti_s ,vTb\OQSSK_vrvrvr iq 9 )*)09

k]_u)Ob\RTS¨]TvriasaS 0SKu&iHRTSK[bfOrS vrS§45'6 4#9:'¸¬b\OQS 9 <)*)0n[¦[SKvHbbfib2NOrS 9 )0)*

[]q[\i8vQu^QsrSKsvbfOrSWb\i_HSvRTSK[f[\]__S_

)_^rhfSK[cz]qvsD[\OriI§ [\i_RTS [\]_RTprS2[iqb\OrS]_Hi_hfbfOrR*«[$S`S2u&^abfiHv²®Sui_vQ[\saShbfOrS[\]_RTS

ui_va£_^rh)]IbfiHvMprhfSK[\Sv9b\S2s¯v£QH^rhfS80 ¤ §OrShfS ]_[\a[ i_h bfOrSTb\iH_SKv²m bfOrhfsu&^Q[b\SKh a¬

§b\O"vQisrSK[T¬ ]_vQs +"+' ;¤ [vQu&^QsaS2svb\OrS£_^rhfS_ '+'4=8{i_prh\SKSRTpabfiHv"[

S2³9^Q]q¿bfir

Fªv´£QH^rhfS°zr]9¤¸¬b\OrS°vQisrS@5 ]H[HSKs¶ i_hbfOrS*b\iH_SKv² F¢b[\SvQsQ[]h\S2³H^QSK[bb\i"bf[prhfi;`ad +83_¬

§OQu)Oh\S2sah\S2u¸bf[bb\i ¨¬Q[SbbfvrTbf[iI§v ¨bfi v .b\OrS hfSK³9^rS2[eb[prhfi_pQ]_H]IbfSKsTbfiTb\OrS

45'6 4#9:''¤&¬H§Oru)O[RTprd^rp¿sr]IbfSK[Dbf[ $ b\OrS ,Wiq 6]qvs w]_h\Svri_b@^rp0sQ]Ib\S2sT[vQu&S

bfOrSWh\S2³H^QSK[b\Sh[]¨h\SKR8i_b\S¦vriasaS2¤&NOQSv²¬w0Si_vrHvQb\i8u&^Q[b\Sh ]_[\[ 6 iHh¥bfOrS¦b\i_HSv²DNOrS

hfSK³9^rS2[eb¦[c i_hf§$]_hfsrSKsb\i!b\OrS 4='6 4 9:''¨¤&@=vQuS !«[ [¦]_hfSK]Hsad[\S&bT 5!¤&¬¿b\OrS

hfSK³9^rS2[ebfSh ¤$[vQ[\Sh\b\SKsvbfOrS 9 )*)09

Fªv¶£Q_^rhfSz ¤&¬@vriasaS32 iq43*]_[\[ i_h¨b\OrSb\iH_Sv~NOrSprh\i;`ad +83 J !h\S2sahfSKu&bf[¨b\OrS

hfSK³9^rS2[eb¦b\i 5 b\OrS4='6 4 '¦iq ¤c§OQu)O°^Qp0sr]qb\S2[¦bf[A ¦]qvQs b\i 2m$b¦bfOrS[\]_RTS

bfRTSH¬ hfSKu&]qR[bfOrSb\i_HSv²NOrSh\S2³9^rSK[b[8h\S2sahfSKu&b\S2sb\i %L=vQu&S %«[ ,p0i_vHb)[b\i]

vQisrS%iqt]*hfSRTiqbfS!u&^Q[b\Sh]qvQs¯bfOrS%v^rR¨0ShiqiuK]q@pQh\SKSRTpab\i_v"[0SiI§ b\OrS!b\OrhfSK[\Ori_sF¬b\OrS

]_vQsnpQ]IbfOQ[¥]_h\Su)OQ]_vr_S2sF±²bfOrS D]qvs ,ni_ ]qhfS^rp0sQ]Ib\S2s8b\i¨srSK[\HvQ]IbfSKsb\OrS

iau]_~vriasaS 8¦NOrS8i_s*}I]q^rS¨i_ %«[ D5!¤c[¦]_srsaS2s°]Ib¦b\OrSSK_vrvrvr!i_ 9 <)*)0! bn[

vQiqb¦[\OriI§v*v°b\OrS £_^rhfS2¤& [bfOrSvrSK§ 4='6 4 9 ''¸¬¿h\S2u&SK}vrTb\OrSKv*b\OrS 9 <)*)0H$®¹OrSKv

hfSKuS}_S2[b\OrS 9 <)*)0H¬Hb$h\SKRTiI}_SK[Db\OrS¦OrSK]HsT};]_^QSciqFbn 5¤@]qvs[Sbf[b)[ bfib\OQ[}I]q^rS_

Fªv!£Q_^rhfS D]H¤&¬ hfSSK]_[\SK[Db\OrS¦b\iH_Sv~F¢b[SKvQsr[¥b$b\ib)[ DvQisrS8¤¸ h\SKS2]_[\SK[bfOrSv!b\OrS

<;¶]qvQs[\SvQsr[bfOrSWb\i_HSv!b\i8 .]_vQs [\S&bb\OQSh:@b\i a Fªv ¤&¬ SKvQsr[$b\OQSWS`aSKu&^rb\i_v!i_

bfOrS<;]qvQs[\SvQsQ[@bfOrStbfi__SKv§bfO%bfOrS 9 )0,)0bfibfOrSchfSRTiqbfStvriasaS 5{ F¢b$]q[\i¨[Sbf[¥b?

bfi!T8m$bnb\OrSTSvsMi_¥b)[ [S2u¸bfiHv²¬05 §[\Svs°bfOrS8b\i_HSvMb\i2 ]Huu&iHhfsrvr!b\ib)[ ¸8Fªv·u2¤¸¬

§OQSv3.SKvQsr[$S&`aSKu^ab\vrb\OrS =¿¬ab[\Svsr[b\OrS¦b\iH_Sv!b\i2 ]_vQsbfOrS 9 )0)*9®¹OrSvh\S2u&S}vQ

bfOrS RTSK[f[\]__SH¬ 2 ^rp¿sr]qb\SK[bf[tvrS&`bt}I]qhf]_rScbfi"T

(16)

D P1 E

C1

G ^P2 F ^C2

F C

B

A C0

G ^P2 F

C2

P1 E

D C1 A

C0

B C

(a) D then F ask for CS F

(b)E and C ask for CS

)H^rhfSza±Dmt_Hh\SKH]qb\i_v!]_vQsprh\SKSRTpabfiHv]_Hi_hfbfOrR S&`aSKu^ab\i_v~± FªvHbfSh\¡¢u^[ebfSh)[hfSK³9^rS2[eb)[

(17)

G ^P2 F ^C2

G ^P2 F C2

P1 E

D C1

C A

B C0

G ^P2 F ^C2

C A

B C0

P1 E

F A

C0

B C

D P1 E F C1

(a)A then B end CS

(b) C ends CS

(c) D and E end CS C1

D

)H^rh\S6DQ±mc_Hh\SKH]IbfiHv!]qvspQh\SKSRTpab\i_v*]q_iHh\b\OQR S&`aSKu^ab\i_v²±@Ni_HSv!b\h)]qvQ[\RT[f[i_v

(18)

I +¨$ ¦&n

NOQ[[\SKu¸bfiHv!prhfSK[\Sv9b)[@bfOrSnpSKh iHh\R]qvu&ScSK}I]q^Q]IbfiHv%iq[\S}HSh)]q0S&`ap0ShfRTSv9b)[§OQu)Ou&i_RTpQ]_h\Scb\OrS

S%u&SvQud%iqR¨^abf^Q]qFS`ru&^Q[i_v*]q_iHh\b\OQRT[K®Sui_RTpQ]qhfSWb\OrS[\`% i_iI§vrT]q_iHh\b\OrR[K±

- 4= 8b\i_HSva¡¢Q]H[S2s]q_iHh\b\OrR* Fªv b\OQ[u]H[\[\uK]q]q_iHh\b\OrR*¬¥]^rvr³9^rS*OriH[bK¬¥b\OrS

4='6 $ 9 ;/ ¬cR]qv]q_S2[]_Wbfi__SKv6hfSK³9^rSK[bf[]qvs6_h)]qv9bfvr¶R8S2[\[f]qHSK[K ®¹OrSv ]Ori9[eb

§$]_v9bf[bfi Sv9b\SKh¥vHbfinb\OrS<;¬_b[\SvQsr[]nh\S2³9^rSK[bDb\inbfOrS 4='6,$09! ;/ 9§OrSv] Ori9[eb@SKvQsr[

b\OrS <; bn_}_S2[c]_u)*b\OQSbfi_HSv{bfibfOrS4='6 $09 /&¬F§Oru)O i_hf§]qh)sr[tbnb\ib\OrSTvrS`9b

h\S2³9^rSK[b\vrTOriH[bK

' 8;6 +,W]q_i_hfb\OrR*¬¿§Oru)OMR8pQSKR8SKv9bf[¦b\OrS8p0ShfR8[f[i_va¡¢Q]H[S2s{XuK]qh\b¡ªmtHhf];§]q]]q_i_¡

h\b\OQR 325C8m vQisrS§[OQvrb\iSv9bfShnv9bfi!bfOrS <;6[\SvQsr[n]h\S2³9^rSK[b¦bfiSK}_SKh\d*iqbfOrShnvriasaS

]qvQsT§]qbf[ iHhDb\OQSh¥p0ShfR8[f[i_v²®¹OrSKv%]nvriasaSh\S2u&SK}HSK[D]nhfSK³9^rSK[bK¬Hb$[SKvQsr[Dbf[¥pSKh\RT[\[\iHv

b\ibfOrS¨hfSK³9^rS2[ebfvQvriasaS¨DSb\OrSKhcb¦[tvri_bch\S2³9^rSK[b\vr%bf[\Sb\OrS¨b\i_HSv{iHhc]qvri_b\OrSKhtvriasaSH«[

h\S2³9^rSK[bprh\S2u&S2saSK[bf[iI§v~

prhfSK[\Sv9b\S2s!v{[S2u¸b\i_v{a

+' -*]q_i_hfb\OrR*¬§Oru)ORTprSRTSv9bf[b\OrS]_Hi_hfbfOrR prhfSK[\Sv9b\S2s!v{[S2u¸b\i_v*µrU_

+' /;/ ' / --]q_iHh\b\OQR¬_§Oru)OTRTprSKRTSv9bf[bfOrSc]_Hi_hfbfOrR prhfSK[\Sv9b\S2s¨v[S2u¸bfiHv

µrËa¬a§Oru)O*prhfiI}9saS2[¥bfi_HSvprh\SKSRTpabfiHv]_vQs!RTS2[\[f]qHSW]___hfS9]IbfiHv!]qprpQh\i9]_u)OrS2[

+' ¿]q_iHh\b\OrR*¬K§Oru)Oje^[ebsr[f]qrSK[0bfOrS¥]___hfS9]IbfiHvtRTSKu)OQ]_vr[\R i_ +' ?/ / ',/;--

]q_iHh\b\OrR*

NiSKR¨^r]IbfS]*lWh\s°SKv}9hfi_vrRTSv9bW§bfOMR¨^QbfS}HSvrS&be§$i_hf]qb\Svu&SK[K¬F§SOQ];}_S^Q[S2sM][p0S&¡

u£0u$sr[b\hfQ^ab\S2sbfSK[b@pr]qb iHh\R*¬;b\O]Ib¥]qiI§t[~vIjeSKu&b\i_vTiq0vrS&be§$i_hf saS];da[®SS2[eb)]qr[\OT]¦}hbf^Q]q

srSK[\HvrSKs° i_hWb\S2[ebfvr*vrSbe§iHh\*prhfiqbfiau&i_[KF¢b[R¨^r]IbfSK[WQ]_vQsa§sb\O¯RTb)]IbfiHvQ[¬saS];da[¬FpQ]Hu)_Sb

iH[f[\SK[KPFªv"pQhf]Hu¸b\u&SH¬bv9b\SKhfuSpab)[pQ]Hu)_S&b)[¬[\SSKu¸bfSKsd]_srsahfSK[f[]_vQspiHhbiqtsaSK[b\vQ]qb\i_v]qvs

[\i_^QhfuS_¬q]qvs¨pQ]H[\[\SK[bfOrSRwbfOrhfi_^rHOiHvrSiHhDRTi_hfSiHajeSKu&bf[u]_SKs8³9^rS^rS2[D]qvQsprpS2[§Oru)O8[\R^r]Ib\S

bfOrSvrS&be§$i_hfnSG¿SKu&bf[K Fªv8i_^QhS`apSKh\RTSv9bK¬qS2]_u)OR8S2[\[f]qHS¥S`au)O]qvrHSKs0S&be§$SSKv¨be§$insaQG¿ShfSv9b@o~m¦©c[

p]_[f[S2[¥bfOrhfi_^rHO!bfOr[c[p0SKu£uWOri9[eb2

6G! BHI J<0:$ HB!=H 6 ! H

NOQS S&`apSKh\RTSv9bcsaS2[\uh\S2sv*bfOr[¦[S2u¸bfiHv§]_[p0Sh\ i_hfRTSKsi_v{]TvriHv{saSKsau]qb\S2su^[ebfShti_vQvrS

g $[@®¯S¨ui_vQ[\srSht]8OrS&bfShfi_HSvrSKi_^Q[$vrSbe§iHh\!ui_RTp0iH[\SKsiqbe§iTgSv9b\^rR F1FF*BH_ (t]_vQs*[`

gSKvHbf^QR F! l@(cWvr_S2s%d!]UK_ rbf[#"I[$kDbfOrShfvrS&b2@NOrS ]q_iHh\b\OrR[§SKh\SWR8pQSKR8SKv9b\SKsv

$9];}I]>=^rv²«[%$ ? U_9¤i_vbfi_piqD]8o~v^a`*a8HShfvrSC

(19)

g$[8]qhfS![\prhfSK]_s¯v°u^Q[b\SKhf[¨iq{Ori9[eb)[°NOQS%b\iHpiHiH_d[¨prh\SKRTv]qhfdMvriI§v"dSK}_SKh\d

[\da[ebfSR RTSKR¨0Sht]_[§$S~]H[$b\OrS vrb\]qFiI§vrSKhiq~bfOrSnb\iH_SKv²

)Qi_hbfOrSK[\S S&`ap0ShfRTSv9b)[¬r§$S vHbfh\iasa^u&S]saSK];diq/1/1 +n iHhtvHbfSh\¡¢u^[ebfShtu&iHRTR¨^rvru]qb\i_v²

k¥}_Shfd%v}_i_}_S2s![\bfSnprh\iasaû&SK[/18R¨âbf^Q]qFSàu^[i_vh\S2³9^rSK[bf[K

NOrS2[S hfSK³9^rS2[eb)[]qhfSnu)O]qh)]_u¸bfShfKSKsd°±

[b\OrSnbfRTSnb)]q_SKvd!]8vriasaSnbfiTS&`aSKu^ab\SnbfOrSu&hfbfuK]q²[\SKu&b\i_v²¬

[p0SKu£QS2[b\OrSRTSK]_vbfRTS0S&be§$SSvh\SKS2]_[\vQtb\OQStu&hfbfuK]qa[S2u¸bfiHv]qvs¨hfSK³9^rS2[ebfvrWbD]_H]_v²¬

[DbfOrStprhfSSKRTpab\i_v8b\OQh\S2[OriHs8iHvrd i_hB+ ]qvQs +' ?/ / ',/ --]_Hi_hfbfOrR[

NOrS p0Sh\ i_hfR]qvQuS¦RTS2]_[\^rh\S2[vu&^QsaST±

b\OrS M ¼ Á{¼ ¼ Â ¼ 2K 0¼ ¬sa}srSKs¹v6be§$i¶u]qb\SK_i_hfSK[{±"RTSK[f[f]q_S2[S&`¡

u)OQ]qvQ_SKs80S&be§$SSKvTbe§i Ori9[eb)[DvTb\OrSc[f]qRTStu^Q[b\SKh¦iau]_rRTSK[f[\]__S2[f¤]qvsTR8S2[\[f]qHSK[0S&be§$SSKv

be§iTOri9[eb)[iqDsaJG0SKh\SKvHbtu^Q[b\SKhf[ _i_Q]_FRTSK[f[\]__SK[)¤¸

Á K ¼M[b\OrSb\RTS% i_h8]qvOQiH[b¨Sbe§SKSv"bfOrSR8iHRTSv9b¨§OrSKvbThfSK³9^rSK[bf[b\OrS

u&hfbfuK]q²[\SKu&b\i_v*]qvQsb\OQS R8iHRTSv9b§OrSv*bt_S&bv9b\ibK

DC F "! H H

NOQSt]qR i_bfOrSK[\SS&`ap0ShfRTSv9b)[D[@b\i iHQ[SKh\}HSS}_iH^rb\i_v8iq¿b\OrScSKOQ];}iHhDiq¿SK]_u)O]_Hi_hfbfOrR §OrSKv

bfOrS8h\SK]qb\i_v°0S&be§$SSKv

]qvQs

}I]qhfS2[¦]_vQs

vQu&hfSK]H[S2[I)H^rh\S2[ E]qvQs¶UK[OriI§ bfOrS8i_ab)]qvrvQ

bfRTS%]H[ ]! ^QvQu¸bfiHv¯i_

¬ ]qvs

N)H^rhfS E*ui_RTpQ]qhfSK[¦i_^Qh,+ ?/ / ,/ -. ]q_i_hfb\OrR

§b\Ou]H[\[\u]q@]_Hi_hfbfOrR[T±> 3 ' 4¬ - 4=!;8{]qvs ' 8 6&+, ]q_i_hfb\OrR[K%®¹OrS

£_^rhfS{UK{ui_RTpQ]qhfSK[WbfOrS![f]qRTS%]q_iHh\b\OQR +' /;/ ',/ --¶§b\O"iH^rhiqbfOrSh8]q_iHh\b\OrR[T±

+':-°]qvQs@+'¸cNOrS¨£Q_^rhfS%UHU¨u&iHR8p]qhfSK[bfOrS¨v^rRSKhci_@R8S2[\[f]qHSK[cS&`ru)OQ]qvQ_SKs0S&be§$SSKv

OQiH[bf[%sa^Qh\vr¶]_v¹S&`apSKh\RTSv9b%§OrSKh\S

1 1 +M]_vQs·bf]_rSU°[^QR8R]_h\S2[Tb\OrS¯[\]_RTS

S`apSKh\RTSv9bK Ni¶hfSprhfSK[\Sv9b%v¹b\OQSM[\]_RTS{£Q_^Qh\S{bfOrSMv^rRSKh!i_R8S2[\[f]qHSK[S`ru)OQ]qvrHSKs·v¹b\OrS

Qh\i9]_sruK]_[bnS`apSKh\RTSv9bK¬b\OQ[v^rR¨0ShiqRTSK[f[\]__SK[[¨h\SKprh\S2[SKv9b9d]°[fu]_ST iH^rhbfRTSK[_hfSK]qb\SKh

bfOQ]qvb\OQS[\uK]qSWi_bfOrS iqbfOrSht]_Hi_hfbfOrR[

)Qi_h¥]_Q]_Hi_hfbfOrR[§OrSvTbfOrSh)]Ib\i

saSKuh\S2]_[\SK[bfOrSti_rbf]qvrvrWb\RTScsaSKuh\S2]_[\SK[bfi9i¬H[\RTprd

0SKuK]q^Q[\S%[bf]Ibf[b\u]_dM§OQSv"]qvOri9[ebhfSK³9^rS2[eb)[nb\OrS%b\i_HSv²¬~b\OrSKh\S%]_h\SSK[f[ hfSK³9^rS2[ebfvr*Ori9[eb)[]qvs

bfOrSd¯[eb)];d{S2[\[ b\R8Sv¯b\OrS <;%NOrST£Qh)[eb hfSR]qhfM]q0i_^rbWbfOrSK[\SS&`ap0ShfRTSKvHb)[n[ b\OQ]qb i_h SK]Hu)O

]_Hi_hfbfOrR §OQu)O^[S2[ b\OQS!prhfSSKR8prb\i_v²¬b\OQS!i_rbf]qvrvr{bfRTSsrSKu&hfSK]H[S2[ §OrSKvb\OrSprh\SKSRTpabfiHv

bfOrhfSK[\Ori_s!vQuh\S2]_[\SK[KD®S¨uK]qv*SK]H[d%S&`apr]qvb\Or[hfSK[\^rbtd!b\OrS ]Hu¸bbfOQ]Ibtiau]qu&i_RTR^rvru]IbfiHv

[$u)OrSK]_pSKh¥bfOQ]qv_i_Q]_u&iHRTR¨^rvru]qb\i_v²mc[[\OriI§v%v%£QH^rhfS¨U_UH¬_bfOrSWv9^QR¨0Sh$iq~iau]q0RTSK[f[\]__S2[

vQuh\S2]_[\SK[8§OrSv´bfOrS{v^rR¨0Sh!iqnprh\SKSRTpabfiHv·vQuh\S2]_[\SK[8§OrS*bfOrS°v^rR¨0Sh!iqn_i_Q]_$RTS2[\[f]qHS

srSKu&hfSK]H[S2[NOr[¥]q[\i S&`apr]qvQ[@§OdT]qrb\OQS¦]q_iHh\b\OQRT[@prh\S2[SKv9b\SKs8v£QH^rh\S¨UK ]qhfSRTi_hfStS %uSKvHb

bfOQ]qvb\OQSu&]_[f[u]_¿]_Hi_hfbfOrR[prhfSK[\Sv9b\S2s%v£_^rhfS6Er

NOrS +' /;/ ' / --*]_Hi_hfbfOrR [¥b\OrS¦RTiH[bS %uSKvHb]q_iHh\b\OrR prhfSK[\Sv9b\S2sTOrShfS_DNOrS

/;/ ',/ --R8S2u)OQ]qvQ[\R h\S2sa^QuSK[bfOrS8v9^QR¨0Shniq@RTSK[f[f]q_S2[tS`au)O]qvrHSKs*v°b\OQS4+'c]q_i_¡

hfb\OrR*8Fªvb\OQS8+':-]q_iHh\b\OQR¬¿bfOrS8]_u&bWbfOQ]Ib vrb\]qDvHbfSh\¡¢o]qv°hfSK³9^rS2[eb)[n]qhfSv9b\Sh)u&SKpab\S2s°d

bfOrS iuK]q²u^Q[b\SKhS2]_saSKh]qiI§t[$bfiTsrSKu&hfSK]H[S¦b\OQS v9^QR¨0Shiq_i_]q¿RTSK[f[\]__SK[K

(20)

3 5 7 9 11 13 15 17 19

0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3

1500 1000 500 500 500

500 500 500 1000 1500

T im e ( s )

NaimiTrehel PreemptAgg Centralized Broadcast

ε β (ms)

α (ms)

)_^Qh\S6Er± iHRTpQ]qhf[\i_v]q_iHh\b\OrR ±DiHabf]_vQvr8bfRTS

3 5 7 9 11 13 15 17

0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3 0 1 2 3

1500 1000 500 500 500

500 500 500 1000 1500

T im e ( s )

Proxy PreemptAgg Preempt

ε α ^(ms) β ^(ms)

)_^Qh\STUKQ± i_RTpQ]qhf[iHv!]q_iHh\b\OrR ±Di_ab)]qvrvQbfRTS

(21)

500 1500 0 15,157 14,41 14,999 14,401 12,846 17,983 16,276 500 1500 0 138 464 193 420 141

1 12,059 12,577 12,316 500 1500 1 346

2 11,159 12,355 12,009 500 1500 2 380

3 10,5 12,108 11,744 500 1500 3 421

500 1000 0 10,096 10,095 9,03 9,58 8,894 14,096 11,77 500 1000 0 206 339 212 330 285

1 8,297 8,717 8,414 500 1000 1 347

2 7,675 8,475 8,103 500 1000 2 379

3 7,205 8,382 7,878 500 1000 3 409

500 500 0 7,157 5,858 6,037 5,858 5,04 10,161 8,007 500 500 0 148 393 237 299 261

1 4,704 4,897 4,597 500 500 1 359

2 4,287 4,64 4,293 500 500 2 395

3 3,992 4,54 4,116 500 500 3 441

1000 500 0 5,246 5,657 4,694 5,134 4,57 9,725 7,746 1000 500 0 216 320 205 336 351

1 4,209 4,407 4,076 1000 500 1 384

2 4,225 4,25 4,044 1000 500 2 367

3 4,097 4,105 3,903 1000 500 3 406

1500 500 0 6,648 4,528 4,34 4,174 4,142 9,226 7,266 1500 500 0 125 468 269 322 278

1 4,119 4,09 4,145 1500 500 1 266

2 4,109 4,092 4,14 1500 500 2 261

3 4,114 4,091 4,146 1500 500 3 262

5,061 1,26525

0 100 200 300 400 500 600 700 800

N b m e s s a g e s

0 1 2 3 0 1 2 3

Proxy PreemptAggregation Preempt Broadcast

Global Local

Naimi-Trehel Centralized

720 2159

ε

NdpS

];}HSh)]qHS [bf]qvsr]qh)s pQ]qb\O pQ]IbfO iuK]q _i_Q]_

srS}]qb\i_v Svr_b\O SKvrqbfO

g@hfi;`ad yaDHy9D U_rUB aµHy QUK _µ9z 9E<E rDq

Br_µ9z U_U;D<B QU zIµQU BrU U;D9y U_Ëyqµ

g@hfSSKRTpabfmc_ U QzIq U_zqy9z QËy9B D_<B µ9y9E U9 aËy9B

QË9D9z aË9B<E QËyqµ D__ µ<EHy U2_ µrµq

µ µrEEH aËyHzqµ QBD Dq9 µ<EHy U2_ µrµq

yaDHy9D rEE<E azqy <D<B 9H U;E<B aU_U

g@hfSSKRTpab U QDE9z aHy_µ aBE zqµ BB U2q µrz B

QBqH aËyaUIz aBB zq az_z UK<E Qµ9z

µ QËyIH aDD_ aBH <BHµ DH z E BrU2

SKvHbfhf]_S2s U2rU;BQU U_EDQU UHU;E µHy_µ rµq

'$hfiH]_sQu]_[b Dr_9z U_rU2 z_q aU2yE rµ_µ

N]_rSU_±,=^rRTR]qhfd%iqS&`ap0ShfSKRTSv9b§bfO

]qvQs

SK³9^Q]_[b\i /1/1 +

(22)

vrS];}I]qv9bf]__S{i_b\OrS +' /;/ ',/ -- ]q_iHh\b\OrR [!bfOQ]Ib*_i_]qchfSK³9^rS2[eb)[]_h\Svriqb

bfhf]_vQ[\R8b\S2s°bfib\OrSOri9[eb §Oru)O¯OQ]_[nhfSK³9^rS2[ebfSKs{bfOrS%u&hfb\u]q@[\SKu&b\i_v²TNOrSKh\S i_hfS_¬~]H[¦i_vQ*]H[Wb\OrS

bfi_HSv¶O]_[Tvri_b]_h\hf}_SKs¶v´]u&^Q[b\Sh2¬¥vQi¯OQiH[bf[Tv bfOrS{u&^Q[b\ShvriI§ b\OQ]qb%]hfSRTi_b\S*OriH[bOQ]_[

hfSK³9^rS2[ebfSKsMb\OrSTbfi_HSv²iHvQ[S2³9^rSv9b\d_¬²b\OrSv^rRSKhiq '-. [nvQiqbRTb\SKsd

r^abd

§OrSKh\S:![b\OQS$v^rRSKhiqOQiH[bf[vb\OQStu&^Q[ebfSh2NOrSiau]qbed R8S2u)OQ]qvQ[\Rw[RTiHh\S$S&`apri_b\S2s

Q^abb\OrS]_Q[\SvQuSWi_[bf]_h\}I]IbfiHv[prhfSK[\Shf}_S2sF

&~

®¯S8OQ];}_S8prhfSK[\Sv9b\S2s{vb\OQ[WpQ]_pSKhn]vrSK§ ]qpQprh\i9]_u)O*bfiiHpab\RTKS8R^ab\^]qS&`ru&^Q[\iHvM]q_iHh\b\OQRT[

v°]%lnX4F# Sv}hfi_vQR8SKRTSv9bK$NOrSR]qv{srSK]T[b\i]_sr]_pabb\OrS]q_i_hfb\OrR ]_uui_h)savr8b\ivrSbe§iHh\

bfi_p0i_i_Hd v8i_h)saShbfinui_va£vrSR8i9[eb@ui_RTR¨^rvQuK]Ib\i_v[~bfinv9b\h)]I¡ªu&^Q[b\SKhK~NOQ[DRTprhfiI}_SRTSKvHb]qiI§t[

bfiTi_pabfRTSnb\OQS i_ab)]qvrvQbfRTS i_~b\OQSnb\i_HSv*]IbbfOrS S&`ap0SvQ[\Sniq]qh\vrS2[\[K

NOr[¦SKOQ];}iHhc[cpQ]_hbfu^r]qhfd[\OriI§v{§bfO°bfOrS?+'?/ / ',/ --"]q_iHh\b\OrR prhfSK[\Sv9b\S2s

v¶[\SKu&b\i_vµrËa¯mc[§S!OQ];}_S![\SSKv"v¶b\OrSpSKh iHh\R]_vQu&S%SK}I]q^Q]IbfiHvQ[¬bfOr[8]q_iHh\b\OQR ]_iI§t[nb\i

srSKu&hfSK]H[S[\_vr£u]_db\OrSi_ab)]qvrvQb\RTS§b\O°hfSK[\p0SKu¸b¦b\ibfOrS8iqb\OQSh¦]_Hi_hfbfOrR[prhfSK[\Sv9b\S2s*r^ab

[\p0SKu&]qd%§bfO > ' 4²iHh , - 4! 8]q_i_hfb\OrR[K

I$

3U5 o¥o]qRTpiHhb2¬\NRTS_¬u&iu)a[K¬Q]qvs!bfOrSiHhfsaSKh\vr8iqDS}HSv9bf[v°]Tsa[ebfh\r^abfSKs{[\d[b\SKR*¬ ', # /

#4)H799-8#16"-A?' *¬}_iH4raUH¬avriQza¬rprp²0y_y9DayBqQ¬ $_^Qd°UE9z9Dr

3 5l8FXu]_hbn]qvQsMmFmtHhf];§]q]r¬\mtvi_pabfR]q]q_iHh\b\OQR iHh¦R^ab\^Q]_S`ru&^Q[i_vMvMui_RTpr^abfSh

vQS&be§$i_hf[K¬ '?' S', # #4)H7 > 7 16"-?'{¬r}Hi_CQI¬0UEDQU_

3µ95 =F,) $]_h\}I]_Ori¯]qvQs·l8@Xi_û]qhfi_C¬ v¶Râb\^Q]_S&`ru&^Q[\iHv¶v·ui_RTprâbfShTvrSbe§iHh\a[K¬

',9#$#4)H7 > 7$#1@"-?' *¬Q}_i_CQ9BQ¬avriQQr¬aprp²²UK<B0Uaz¬0U;E<D_µr

35 ]_SI];§$]Q¬\m > ]_Hi_hfbfOrR iHhtR¨^rb\^Q]_²S&`ru&^Q[\iHv*v°saS2u&SKvHbfhf]_S2s[\da[ebfSR[K¬ ?'

-9-9-$9 ', # + )H: 2:#8¸¬r}Hi_CµQ¬rvriQa¬aprp²~U9y0U;y9Er¬ ];d°UEDHyr

3y 5@F¸ =^rK^r~]qvQs{Nn0? ]_[f]qRT4¬ mwsa[b\hfr^rb\SKs*R^ab\^]q~S`ru&^Q[i_v*]q_iHh\b\OQR¬ ?'-9-/

> 78 ',9# +=)H 2 :#$2' I¬r}_iH4rµQ¬avriQa¬aprp²Qµ__µqEr¬0U;E<DHya

3B956?TXt];dR8iHvQsF¬\m.b\hfSS&¡¢Q]H[S2s!]q_iHh\b\OQR i_hcsa[b\hfr^rb\SKsR^ab\^Q]_FS&`ru&^Q[\iHv²¬ ?' -9- /

<> 7$ ' 9# +=)H 2 :#$2' I¬r}Hi_Crza¬rvriFU_¬aprp²0BrU Qz_za¬UEDEQ

3Ëz25

q©c]qRT4¬

]_[\SKs%iHvp]Ib\Oh\SK}_SKhf[f]qC¬#"H )H #1%$49 ! '&. > T)H: ', # + )H>!_¬a}_i_Caµq¬9vQiQ¿U_¬

pQp²²U ¿UKµQ¬0U2Tmtprh2FU;E<EBr

v#$* ! #1I"-)(!( "+* 0 9 9 9G',9,1 8 ,&. > T)H:7' 9# +=)H! 2 :#$

-* '.&&' I¬r®]_[\Orvrqbfi_v²¬ ¦¬²U;E<ErUH¬9pQp²QµHyqaµB_Q¬Fªk@k¥k i_RTpr^abfSh =iau&S&bedH

(23)

3E95@F¸ OQ]qvQQ¬

=vr_OQ]_4¬H]qvQs

iHhsa[b\hfr^rb\SKs [\da[ebfSR[K¬v $ ; ! * 1 "-( * 7: > ', ,1 4 '$49 !

$ ;!q¬0mt^rFU;E<E_r¬prp~9E9y µHHr

3UK95@)$ ^rSKSh2¬ eg@hfi_hfbfKSKs·b\iH_SKva¡C]_[\SKs·R¨^abf^Q]qWS&`ru^Q[\i_v´ i_hsa[ebfh\r^abfSKs6[\da[ebfSR[¬ v

$ ; ! 1#(" * 7: $4 !J$ ; A # +72 )H#

! # +9 $49 !JI9

&8. $ ;!q¬ ]qh2FU;E<EDr¬prp~0z EQU rz9EHyr

3U_U5IF¸ OQ]qvr¬ *=vQ_OQ]_4¬$]qvQs ¥Nn¥o~^~¬ m Odrhfs·]qpQprh\i9]_u)O"bfiR¨^abf^Q]qtS`ru&^Q[i_v¶ i_h

sr[b\hfQ^ab\S2sM[\d[b\SKR*¬"v$* ! #18!7+(-" * 7 )79 * 0 99 9B', # + )H:

#1 9 *++ > -9',9,1 &¬U;EEHr¬prp²QDEa9E_Q

3U2 5nm¨H(ti_^[vr¿]qvs N~hfSOrSK4¬ ¦[b\hfr^ab\S2sR¨^rb\^Q]_S`au^[i_v%dT_hfi_^QpQ[DQ]H[S2si_vbfi_HSv%]qvs

p0ShfRT[f[\iHv²¬·v $ ; ! N#1$!7?' * *7: > 9S' 9,1 N F', # + )H:

2 #889 *++ > -¸¬ $_^rvQS¨q_QU_¬9prp²Br9Er

3UKµ95no¥ 'iH^r_S8l8¿mcv9b\i_vQ^M]_vQs =F0o]_u&iH^rh2¬

]qvr!]3I=

u&iHvQ[[b\Svu&dprh\i_b\iau&iH~OrSh)]qh)u)Od9¡

];§]qhfS_±n]qvSuSKv9b¨[dvQu)Orhfi_vQ2]Ib\i_v[\u)OrSKRTS_¬ v $* ! 1 !7 17+A &8. /

> )H--9 # P ' *) :¸¬Q___µQ¬prp²yrU;Bry_rU_

3U5no¥qXi¬¦^rRTR¨dvrSbK±]¦[\R8pQS]qprpQh\i9]_u)O bficbfOrSS}I]q^Q]IbfiHv¨i_QvrS&be§$i_hfnprhfiqb\iaui_[¬<?'

',9# +=)H9', # #?)H0 > 7O D¬r}_iH4Q9z¬avriFU_¬aprp²µrU QUH¬UEE9za

¨¨¨

K

Á Â q

Á

¾ ¼ ¼ "! 0Á #

%$ ¼ IaI_ 0Á &

µQU g¥h\i;`ad9¡C]_[\SKs!]_Hi_hfbfOrR n n W n n n n W n n n n W z

µQ mc_Hh\SKH]IbfiHv!]qvspQh\SKSRTpab\i_v*]q_iHh\b\OQRT[ n n W n n n n W z

#(' ¼ ¢Á ¶ ¼°¼) aÁ

+*

U k¥};]_^]Ib\i_v*S`p0ShfR8SKv9bui_va£_^rh)]IbfiHv n n n W n n n n W U;y

XtSK[\^rb)[t]qvs3¦[fu&^[\[\iHv6n n W n n n n W n n n n W UB

*(, Á Á .-

(24)

Unité de recherche INRIA Rocquencourt

Domaine de Voluceau - Rocquencourt - BP 105 - 78153 Le Chesnay Cedex (France)

Unité de recherche INRIA Futurs : Parc Club Orsay Université - ZAC des Vignes 4, rue Jacques Monod - 91893 ORSAY Cedex (France)

Unité de recherche INRIA Lorraine : LORIA, Technopôle de Nancy-Brabois - Campus scientifique 615, rue du Jardin Botanique - BP 101 - 54602 Villers-lès-Nancy Cedex (France)

Unité de recherche INRIA Rennes : IRISA, Campus universitaire de Beaulieu - 35042 Rennes Cedex (France) Unité de recherche INRIA Rhône-Alpes : 655, avenue de l’Europe - 38334 Montbonnot Saint-Ismier (France) Unité de recherche INRIA Sophia Antipolis : 2004, route des Lucioles - BP 93 - 06902 Sophia Antipolis Cedex (France)

Hierarchical token based mutual exclusion algorithms

HAL Id: inria-00071411

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

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Hierarchical token based mutual exclusion algorithms

Marin Bertier, Luciana Arantes, Pierre Sens

To cite this version:

Marin Bertier, Luciana Arantes, Pierre Sens. Hierarchical token based mutual exclusion algorithms.

[Research Report] RR-5177, INRIA. 2004. �inria-00071411�

ISRN INRIA/RR--5177--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 1

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Hierarchical token based mutual exclusion algorithms

Marin Bertier — Luciana Arantes, Pierre Sens

N° 5177

Avril 2004

Unité de recherche INRIA Rocquencourt

C A

B

D

(c) C A

B

D

(a)

C A

B

D

(b)

C0

B

C1

(c)D and E ask for CS C0

C

B

(a) Initial configuration A holds the Token C1

A P1 E

D

C0 C1

(b) B asks for CS

A E

B D

C P1

C A P1 E

D

D P1 E

C1

G P2 F C2

F C

B

A C0

G P2 F

C2

P1 E

D C1 A

C0

B C

(a) D then F ask for CS F

(b)E and C ask for CS

G P2 F C2

G P2 F C2

P1 E

D C1

C A

B C0

G P2 F C2

C A

B C0

P1 E

F A

C0

B C

D P1 E F C1

(a)A then B end CS

(b) C ends CS

(c) D and E end CS C1

D

G ^P2 F ^C2

G ^P2 F

G ^P2 F ^C2

G ^P2 F C2

G ^P2 F ^C2

ε α ^(ms) β ^(ms)