HAL Id: inria-00074011
https://hal.inria.fr/inria-00074011
Submitted on 24 May 2006
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.
An Efficient Causal Ordering Algorithm for Mobile Computing Environments
Ravi Prakash, Michel Raynal, Mukesh Singhal
To cite this version:
Ravi Prakash, Michel Raynal, Mukesh Singhal. An Efficient Causal Ordering Algorithm for Mobile Computing Environments. [Research Report] RR-2680, INRIA. 1995. �inria-00074011�
ISSN 0249-6399
a p p o r t
d e r e c h e r c h e
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
An Efficient Causal Ordering Algorithm for Mobile Computing Environments
Ravi Prakash , Michel Raynal , Mukesh Singhal
N˚ 2680
Octobre 1995
PROGRAMME 1
%3+5467! "#89: ;%<+5=&;
>7?A@CBED FG?IHJ?LK(MNPO;QBSR"MTVU*>W?VXCY;?IU.N(NZO;Q[H\TAK]M9^\B_Ya`LM;?bU.N]N(N
cEd]ebfbdgVh,hijlknm&do]pLqsr(i.otr(u\d(i.v=wCgVdgyxzx|{itx}i.v~CCgbvi.vLiLeb\ i"i.v"~Ld\i.vi.gVuL
i"r&vvr.{i"hi.v Iqvr(dqs\u i.v
cEd(eIi"r m3Lw
gVw\wCeId(r&Li3d(i.o]p\i"do]p\i7LbbbWk &otr]eb\d(iPjbb<kbZwCgVfIi.v
!".CVb¡ ¢gVuCv(gx;hi.v]v(gVfbiebdLi"dqs\fWqv d(i.£IuLqsd(i.2¤Sebd¢vi"¥bi"dgx*Iqvr(dqs\u\r(i.¦gVw\wLx§qo"gVrqsebCv"¨
©ª«ebdtLi"dr]ew\d(i.vi"d(¥bio"gVuCv(gyx¢ebdLi"dq}\f¬~*eILx}Iq}d]i.otrLi"w¬i"CLi"CotqsL¤®ebd]hPgVrqsebCi"r¯ i"i"
hi.v]v(gVfbi.v"~¯ qsr(p°d(i.vwCi.otr¦r(er(p\i«Li.vrqsCgVrq}eIw\d(e\oti.v(vt±|i.vt²t~lvp\ebuLx¬i«vi"Lr¯ qsr(pi.gbo]p
hi.v]v(gVfbib¨³´itx§qshZqsCgVrqs\fµebr]p\i"d¶bqsC\veV¤·otebLr(d(eVxq}L¤Sebd(h2gVrqseb¤Sd(ebhr(p\i7hi.v]v(gVfbi.v"~¸r(p\i
otebh,hu\Lqo"gVrq}eIµeV¥bi"d(p\i.gb\v o"gV¬ivªqsfbLq§¹ao"gVLrxsd(i.LuCoti.¨´©|¦r(pLqv wCgVwCi"d=¯¢i3w\d]i.vi"JrgV
gxsfbeIdqsr(p\hr(pCgArEuCvi.v!r(pLqvE¶L\eV¯ xsi.Lfbir(e3itº6o]qsi"Lrxsi"L¤Sebdotio"gVuCv(gxCeIdLi"dqs\f7eV¤hi.v(v(gAfbi.v"¨
» p\i¦w\d(ebw¬eJvi.¼gyx}fIebdqsr(p\h5LeLi.v\eIrd(i.£IuLq}d]i½gVL«w\dq}eIdP¶L\eV¯ xsi.LfbiµeV¤3r(p\i\i"r¯ ebd(¶eId
otebh,hu\Lqo"gVrq}eI¼r(ebw¬eVxsebfbb¨¾m3votebhw\u\rtgVrqseb9w\d(e\oti"i.\v"~¡q}rgbo"£IuLqsd(i.v,¶J\eV¯ xsi.LfbieV¤r(p\i
xsebfVqo"gx3otebhhZu\Lqo"gVrqseb¼r]ebwCeVxsebfI«gVC¿qvo"gVwCgVLxsi¦eV¤&pCgVCIx§qs\f¼LJCgAhZqo"gx§x}¼o]pCgV\fVqs\f
hZuLxsrqo"gbvrotebhhZu\Lqo"gVrqsebÀfbd(eIu\wCv"¨¼ÁÂqsr(pÂd(i"fJgVdÃr(e«otebh,hu\Lqo"gVrq}eI¼eV¥bi"d(p\i.gb\v~ r(p\i
gxsfbeIdqsr(p\hÄqvZebw\rqshPgyx¤®eIdr]p\i\d(eJgb\o"gbvroteIhhZu\LqÅo"gArqseb¼o"gbvib¨©|rtv7i"\i"d]fb«itºo]q}i"Cot
gVCxseV¯¼CgVCL¯ qLr(p2d(i.£IuLqsd(i"hi"Lr¢h2gV¶bi qsr¢vuLq}rtgVLxsi¤Sebd·h,ebLq§x}i3otebhw\u\rq}\fv\vr(i"h2v"¨!Ái
w\d(i.vi"Jr7gvr]dgVr(i"fbr]pCgVr&i"h,wLx}eV\v3r(p\igxsfbeIdqsr(p\hƤ®eIdlo"gVuCv]gx§x}¾ebdtLi"d(i.¦huLxsrqo"gbvrqs\fµeV¤
hi.v]v(gVfbi.v´qs¦hebLq§xsioteIhw\u\rqs\fi"L¥bqsd(eb\h,i"Jrv¨
ÇÉÈJÊ;ËÌZÍaVÎ!bà ¢gVuCv(gx;hi.v]v(gVfbi3ebdtLi"dqs\fC~CIqsd(i.otr3Li"wCi"CLi"Cotb~hebLq§xsiotebhw\u\rqs\fC¨
Ï®ÐZÑ
ÒÓÔ.Õ
Ñ
ÒEÖE×}ÓØ_Ù.Ú
ÛÜÝÞ.ßàVá(âaãátä Þ.åßSÝæEç]è.é7ê_è"âsáàAëìªíîÝèìÝïbðñ.Ý¢ò!ñíîá&ë"ß|ç]ßSÝ¢óè"íîôtÝæSõ_íîßötï\ãá(÷îåä·øå.õïJòEù¦úGûtüýþïJó*ëÿ·à
Û|ÛêêSë"ÿ´ïyã;ç]ä¢Þå.õ!é.ݬÝ(ç(å÷íîÝåbï Ýèè.ÝõEãÝé.Ý!Vï#"æ|ç]è.ìÝtà$
%&'(%)+*
ÛªÛ|ÛÜÝÞ.ßàVá(âaãátä Þ.åßSÝæEç]è.é7ê_è"âsáàAëìªíîÝèìÝïbðñ.Ý¢ò!ñíîá&ë"ß|ç]ßSÝ¢óè"íîôtÝæSõ_íîßötï\ãá(÷îåä·øå.õïJòEù¦úGûtüýþïJó*ëÿ·à
(, %
Unite´ de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71
Z¬=+5´Ä#=&; +5%12 "´
È ÈebdLeb\CgVCoti"h,i"JrPo"gAuCv(gxlg¿wCebu\d2\u\rPLi¦di.LuLqsd(iÉxgbvLCo(p\d(eILqÅvhiLi.v
it ¢i.otu\rqsebCv!d\i"wCgVd(rq}i.v!i"Zd\i"wCi"dotu\rtgVJrEvu\d!xsi.v!x§qs¥LdgqvebCv´Lihi.v(v(gAfbi.vxeIdLd(iLi&o"gVuCv(gyxzqsr\i
£IuLq*w\d\i.vªqLi6{gWxsi"u\dvi"hZqv(vq}eICv"¨
·i"r7gVd(rqo]xsi2it ¸gVhq}\i,u\w\d(ebr(e\oteVxsiP£IuLq¢gbv(vu\d]iu\r(itx·ebdtLeb\CgVCoti"hi"Lr7o"gVuCv(gx|¨¡ ·i
w\d(eIr(eoteAx}ib~¡¤SebC·iµvu\d,xg«vi"uLx}i¦u\rq§x§qÅv]gVrqseb LiÉxÅg´i"w¬i"C\gVCotiIqsd(i.otr(iµi"Lr(d(ii"hZqv(vq}eICv
Li¦hi.v(v(gVfIi.v"~Ei.vrwCgAd(rqotuLx§q{i"d(i"hi"LrPitºo"gbotib¨¦ebrq}¥´i2wCgVdZxsi.vgVw\wLx§qo"gVrqsebCvoteIhwCeJvLi"i.v
îgAfbi"Jrtv hebLq§xsi.v"~¸qzx!i.vrwCi"u¾otebu\r(i"uL µi"2qsL¤Sebd(hPgVrq}eI½Li7otebLr(deVxsib¨
( )
&;;%W2E! %<
mIqvr(dq}\u\r]i.µv\vr(i"h0qvotebhw¬eJvi.eA¤'gvi"reA¤'w\d(e\oti.v(veIdvoteb\\i.otr(i.Ér(ei.gbo]pebr(p\i"d=J
g2otebhhZu\Lqo"gVrqseb¦\i"r¯ ebd]¶a¨\» p\iWw\d(eoti.v]vebdvLe,\ebrpCg¥bigIo"oti.v(v r(ePgfVxsebCgx'o]xse\o(¶¾gVC
r(p\i"9Le¾\ebrZpCg¥bi6gAJ9vpCgVd(i.¿hi"heId(r(pCgVro"gVCi¦uCvi.r(e¦it ¸o]pCgV\fbi2qsL¤Sebd(hPgVrq}eI;¨
ÉqsLqgVr(u\dq+*.gVrqseb9eA¤otebhw\u\r]i"dv3gVCgbL¥VgVCoti"hi"Lrvqs9otebhhZu\Lqo"gVrqsebr]i.o(p\\eVxsebfI gAd(i
¬itq}\f¦d(i-,Ci.otr(i.6q}¾r(p\i<¤®eId(h eV¤¢gVÉqsCotd(i.gbvªqs\fLu\h¬i"d&eA¤·hebLq§xsiw\d]eoti.v(vq}\fu\Lqsrvqsg
Iqvr(dq}\u\r]i.½vvr]i"hµ¨
m hebLq§xsiµotebhw\u\rqs\fv\vr(i"h qÅv,gµIqvr(dqs\u\r(i.9vvr]i"h oteICvªqvrqs\f¾eV¤lgLu\hZCi"dZeV¤
heILqzxsiZgVC,¹\ i.Éw\d(e\oti.v(vªqs\fPu\Lqsrv¨C» p\i¹\ \i.2u\Lq}rtv"~\p\i"Cotit¤Sebd(r(pd(it¤Si"d(d(i.2r]egIv ¦ebLq§x}i
.bu\w\w¬ebd(r/.brgVrqsebCv¡±1032254²t~Go"gAotebhhZu\Lqo"gVr(i´¯ qsr(p7i.gIo(p3ebr]p\i"d;r(p\d(ebu\fIp7g ¹\ \i.3¯ qsd(itx§qs\i
\i"r¯ ebd(¶76Åj.8|¨\» p\i&fIi"ebfbdgVw\pLqo"gxEgVd(i.g3eA¤'r(p\ihebLq§xsioteIhw\u\rqs\fPv\vr(i"h qvIqs¥bqLi.ÉqsJr]e
d(i"fAq}eICv&o"gx§xsi.:9;·¯q}r]p½gV70322¿q}¦i.gbo]p½otitx§x|¨a» p\iWhebLq§xsiZu\Lq}rtv3±gyxÅved(it¤Si"d(d(i.2r(ePgIv
¦ebLq§xsi=<eLvrv/>50@?A4V²q}µgZotitx§x'o"gV2ebw¬i"µg3¯ qsd(itxsi.v(voteIhhZu\LqÅo"gArqsebµo(pCgA\\itx ¯q}r]pr(p\i
0322,q}Wr(p\i·otitx§x¸gAC7otebhhZu\Lqo"gVr(iE¯q}r]pgx§xJr(p\i´ebr(p\i"d;w\d]eoti.v(vebdv¬qs7r]p\i·vvr(i"hr(p\d(eIu\fbp
r(pLqvB0322·¨¬mxsr(i"d]CgVrqs¥bitxsb~;gV0@?o"gV¾¬ioteI\\i.otr(i.¦r(p\d(ebu\fbp¾gV½gIo"oti.v(vw¬eVqsJr3eA¤·r(p\i
¹\ \i.¯q}d]itxzqs\i\i"r¯ ebd(¶¿±|d(it¤Si"d(d(i.¾r(eµgIv3gC%'D E#FG%H6 ID8 ² ¤®ebd7oteIhhZu\LqÅo"gArqseb«w\u\d]wCeJvi.v¨
mJ0@? o"gVh,ey¥Iiebu\r7eA¤eI\iPotitx§x=gAC¾qsLr(e½gV\eIr(p\i"dotitx§x|¨!©|9vuCo(p9gµo"gIvir(p\iK0L2/2
eV¤Er(p\ieVxotitx§x'pCgbv´r(eZpCgVC2eV¥bi"d r(p\i3d]i.vwCebCvq}Lq§x§qsrqsi.v¤Sebd r(p\i=0@? îv otebhhZu\Lqo"gVrqseb¦r(e
r(p\iM0L2/2eV¤Er(p\i3\i"¯ otitx§x|¨;» pLqvw\d(e\oti.v(v´qv=d(it¤Si"d(d(i.2r(ePgIvN&GPOQ&¨
» p\i¾¯ qsd(itxsi.v(v¾otebhhZu\Lqo"gVrqsebo(pCgA\\itxÅv¦uCvi.ÂLÀr(p\iC0R?A4¾pCg¥bi¾g9vªqsfbLq§¹ao"gVJrx}
xseV¯ i"dCgACL¯ qLr(p9r(pCgVr(p\i2¯ qsd(itx§q}\i¾otebhhZu\Lqo"gVrqseb¿x§q}\¶\vZ¬i"r¯ i"i"9r(p\iK032254V¨ ¦e>
d(i"eV¥bi"d~JIq S;i"d(i"Jr r(itxsi"w¬eVqsJrv¢q}r]p\i&\i"r¯ ebd(¶ZhPgZw\d(eV¥bqLi=x§q}\¶\v eV¤EIqTS;i"d(i"Lr CgVCL¯ qLr(pCv
r(er]p\iU0@?A4b¨WV&vuCgx§x}b~r(p\iZCgVCL¯ qLr(peV¤¢vuCo]p¾x§qs\¶vlqÅv=xsi.v(v<r(pCgV¾r(p\iotebhhZu\Lqo"gVrqseb
CgVCL¯qÅLr]p«g¥ygq§xgVLxsiP¬i"r¯¢i"i"¾r(p\iX03224b¨W<i"Cotib~!otebJr]d(eVx!q}L¤Sebd(h2gVrqsebvi"Lr&¯ qsr(p¿r(p\i
hi.v]v(gVfbi.v vp\ebuLxÉCi3¶bi"w\rgbv vhPgyxzx*gbv´w¬eJv(vªqsLxsib¨a»pLqÅv¯ q§xzx!p\itx}wÉqshZqsLq}hqY*tqs\fr(p\i7oteIhX>
hZu\Lqo"gVrqseb Litxg\v2ey¥Ii"dr(p\ixseV¯8CgVCL¯ qLr(p o]pCgV\\itxv"¨ZEi"rµgV\ebr(p\i"d2hebrqs¥VgVrqsebÀ¤Sebd
itº6o]qsi"LrµotebhhZu\Lqo"gVrqsebÂw\d(ebr(e\oteVxvWqvr]p\ix§qshZqsr(i.Âi"\i"d(fb9vebu\doti¦eV¤[0@?A4b¨EÁÂqsd(itxsi.v(v
otebh,hu\Lqo"gVrq}eI;~Ji.vwCi.o]qgx§xshi.v(v(gVfIi&vi"C~\LdgqsCv´r(p\itqsd CgVr(r(i"dqsi.v"¨\» p\ix}eI\fbi"d r(p\i&h,i.v>
v(gAfbib~Cr]p\ifId(i.gVr(i"dr]p\ii"\i"d]fb½otebCvu\hw\rqseb;¨ ¦ebd(i"eV¥bi"d.~Lr(p\iWx§qshZqsr(i.¾hi"h,ebd(µg¥ygq§xgVLxsi
gVrWr(p\iX0R?A4,d(i.£IuLq}d]i.v7r]pCgVr3r(p\iP\gVrtgvr(d(uCotr(u\d]i.v3gbv(ve\o]qgVr(i.¾¯ qsr(p¿r(p\iPotebhhZu\Lqo"gVrqseb
w\d(eIr(eoteAxÅvCigIvotebCo]qvigIv wCeJv]vªqsLx}ib¨
m Iqvr(dqs\u\r(i.gVw\wLx§qo"gVrqsebit \i.otu\rqs\fZqsµg3h,ebLq§x}i7oteIhw\u\rqs\fi"L¥bqsd(eb\h,i"JrotebCvªqvrtv
eV¤EgoteAxzxsi.otrqseb¦eV¤;w\d(e\oti.v(vi.vvuCo]p2r(pCgVr eb\iebd·heId(i&w\d]eoti.v(vi.v·h2g.,Ci3d(u\\Lqs\feb2i.gbo]p
w\d(e\oti.v(vªqs\f2u\Lqsr.¨C» p\iWw\d(eoti.v]vi.votebhhZu\Lqo"gVr(i3¯q}r]pi.gbo(peIr(p\i"dr(p\d(eIu\fbp6gIvJCo]p\d(eb\eIuCv
hi.v]v(gVfbiZwCgbv(vq}\f¿±|hi.v(v]gVfbi7w\d]ebwCgVfJgVrq}eI½rq}h,i7qvl¹CLq}r]i\u\rgVd]Lq}r]dgVd(¬²¨C» p\i,it i.otu\rqseb
eV¤g2w\d(e\oti.v(v3otebCvªqvrv<eV¤·r(p\d(i"iZrLwCi.v3eA¤·i"¥bi"Jrtv\"M-]DMDGI~^"M-DXD _D-`V~;gVC
G%'abD_DG%"¨V©|Lr(i"d(CgyxCi"¥bi"JrtvEd(i"w\d(i.vi"Jr!xse\o"gx otebh,w\u\rgVrqsebCv´gVrEr(p\iw\d(e\oti.v(vi.v¨V©|2r(p\i
gVCvi"CotieA¤¡g,fVxsebCgx'o]xse\o(¶~;Li"r(i"d(hq}Lqs\fr(p\iWd(itxgVrqs¥biWebdLi"deV¤'e\o"otu\d(d(i"CotiZeV¤Ei"¥bi"Lrv=eb
Iq S;i"d(i"Lr&w\d(e\oti.v(vi.v¢qÅv=\ebb>Sr(dq}¥Iqgx|¨
<eV¯ i"¥bi"d.~gC9-]Ka7 Q 9%Ed(itxgVrqsebCvpLq}w;~Egxve¦d(it¤Si"d(d(i.¾r(eµgIvM9E#FGG9D`
o"gV9¬iµi.vrtgVLx§qÅvp\i.9Ci"r¯ i"i"¼vebh,ii"¥bi"Jrtv"¨!m&9i"¥bi"LrZeo"otu\d]dqs\f gVrg¦w\d(e\oti.v(vWqv2o"gVub>
v(gyxzxsµLi"w¬i"CLi"Jr3eb2i"¥bi"d(2w\d(i.oti.Iqs\f2i"¥bi"Jr=r(pCgVr pCgbv e\o"otu\d(d(i.¦gVr r(pCgVr w\d(e\oti.v(v"¨ ¢gAuCv(gx
Li"w¬i"CLi"Co]q}iVv¬i"r¯¢i"i"2i"¥bi"LrvEeI6Iq S;i"d(i"Lr¢w\d]eoti.v(vi.v¢gAd(ii.vrgALxzqvp\i.2Lhi.v]v(gVfbi&oteIhX>
hZu\Lqo"gVrqseb;¨/.buCo]p«Li"wCi"CLi"Co]qsi.v2o"gVCi2it \w\d(i.v(vi.¾uCvq}\f ;gAhwCebd]r îv N-##FDaC '
d(itxgVrq}eI 6sjbj-8|¨*»¯¢e¾i"¥bi"LrvWgVd(iv(gqr(eµ¬ihZu\r(uCgx§xs otebCotu\d]d(i"JrWq§¤3r(p\i"d(i,qÅvW\eo"gVuCv(gyx
Li"w¬i"CLi"Cot½¬i"r¯¢i"i"¦r(p\i"hµ¨C»pJuCv"~¸r(p\iMN-##bDa7 ' d(itxgVrqsebÉq}CLuCoti.v3gwCgVd(rqgx*eId >
Li"dqs\f2ebµi"¥Ii"Jrv´Cgbvi.ebr(p\itqsd3o"gVuCv(gx*Li"w¬i"CLi"Co]q}iVv"¨
·ebLr(d(eVx§x§qs\f7r(p\i it \i.otu\rqsebeV¤;g3IqÅvr(dqs\u\r(i.2gVw\wLx§qÅo"gArqseb6vuCo(pZr(pCgVr·gyxzxCr]p\i¢i"¥Ii"JrvEgAd(i
r(eIrgx§xs7ebdLi"d]i.3qv!it \wCi"Cvªqs¥bigVC<x}i.gI\v!r(elg=xseJv]vqsPotebCotu\d]d(i"Cot 6sjD8ª¨.mÃx}i.v]vEvi"¥bi"d(i´¤Sebd(h
eV¤ebdLi"dqs\fWeV¤ahi.v]v(gVfbi r(dgACvhZqv(vªqsebPgAC7d]i.oti"w\rqseb;~Jo"gx§xsi. 9bD-b~qv¡d(i.£buLqsd(i.
¤Sebdg¦¥ygVdqsi"reV¤3gVw\wLx§qÅo"gArqsebCvZx§qs¶bihPgACgVfbi"hi"Lr7eV¤d(i"wLx§qÅo"gAr(i.¼\gVrtg\~;ebCvi"d(¥ygVrq}eI«eV¤3g
Iqvr(dq}\u\r]i. vvr]i"hµ~!d(i.vebu\dotiµgyxzxse\o"gVrqseb;~´hZuLx}rq}h,i.IqÅg9vvr]i"hPv"~EgVCr(itxsi.otebL¤Si"d(i"Co]qs\f
6î¸~ ~;j.8|¨
cEd(ebr]eoteVxv¡r(eqshwLxsi"hi"Jro"gVuCv]gxaebdtLi"dqs\f7eV¤;hi.v(v]gVfbi.v!pCg¥bi¬i"i"Pw\d(i.vi"Jr(i.qs6J~LL~
j ~*j.L~!jPI8|¨» p\i.vi7w\d]ebr(e\oteVxvpCg.¥Ii3pLq}fIp«otebhhZu\Lqo"gVrqseb¾eV¥bi"d(p\i.gb\v¨\ebdi.gbo]pµeV¤·r]p\i.vi
w\d(eIr(eoteAxÅv´±ªit ¸oti"w\rH6îP8L¯pLqo(pWqv!Cgbvi.WebWhi.v(v(gAfbi¢Lu\wLx§qo"gVrqseb,k5gpLqsfbpotebhhZu\Lqo"gVrqseb
eV¥bi"d(p\i.gI9gVw\w\d(eJgbo]p²7r(p\ih,i.v(v(gVfbi2eV¥bi"d(p\i.gb¿qv2gVrWxsi.gbvr3±²qsJr]i"fbi"dv"~E¯=p\i"d(i qv
r(p\i,Ju\hZCi"d3eA¤¢w\d(e\oti.v(vi.vlq}¿r(p\iPv\vr(i"hµ¨W<=i"Cotib~;r(p\iZw\d(ebr]eoteVxvWgVd(iZ\ebr3v(o"gxgVLxsib¨E» p\i
v(o"gyxÅgALqzx§qsr7w\d(eILx}i"h°qv;i.vwCi.o]qgx§xs7qshw¬ebd(rgAJrqsZg hebLq§xsiotebhw\u\rqs\fi"J¥Iqsd(eb\hi"Lr'Lu\i´r(e
x§qshZqsrgVrqsebCv=eV¤'g¥Vgq§xÅgALx}iWCgVCL¯ qLr(p;~\h,i"hebd(gVC2i"\i"d(fIPvu\w\wLxsb~Cgbv Li.v(otdqs¬i.i.gVdx§qsi"d.¨
<i"Cotib~Lr(p\i"d(iqÅv g<\i"i.,¤®ebd·gAqshwLxsi"hi"LrgVrqseb2eV¤*o"gVuCv(gyxaebdLi"dq}\fZeV¤;hi.v]v(gVfbi.v¡r(pCgVr
pCgbvlxsey¯0otebhhZu\Lqo"gVrqseb;~!otebhw\u\rgVrq}eI«gVC¾hi"h,ebd(¾eV¥bi"d(p\i.gb\v"¨ .buCo]p9g2d(i.£buLqsd(i"h,i"Jr
dgyqÅvi.v&veIhi7w¬i"d(rqs\i"Jr3£Iu\i.vrqsebCv"¨¬ÁÀpCgVr qvr]p\i7hZqsLqshZu\h$gVhebu\LreV¤!qsL¤®ebd]hPgVrqseb¦r(pCgVr
i.gbo]p½vq}r]i3\i"i.\vr(e,hPgqsJrtgqs;~CgVCi.gIo(pµotebh,w\u\rgVrqsebhi.v]v(gVfbi3\i"i.\v=r(eo"gVd(d(,qsµebdtLi"d
r(e3i"L¤Sebdotio"gVuCv]gxeIdLi"dqs\f·ÁÀpCgVrqvEr(p\i it \r(dgq}L¤Sebd(h2gVrqsebZhPgqsLrgqs\i.WJWr(p\i it Jqvrqs\f
gxsfbeIdqsr(p\hPvX<eV¯ o"gV¾r(pLqvit r]dgeV¥bi"d]p\i.gb¬iitx§q}hq}CgAr(i.¯q}r]p\ebu\rloteIhw\d(ebhZqvªqs\f¦r(p\i
otebd]d(i.otr(\i.v(veV¤·r]p\igyx}fIebdqsr(p\h»pLqÅvwCgAwCi"d7gb\Ld(i.v]vi.vr(p\i.viWqv(vu\i.v3gVC¦w\d(i.vi"Jrv3gxseV¯
eV¥bi"d(p\i.gIgxsfbebdqsr(p\h0¤Sebd&o"gAuCv(gx*ebdtLi"dqs\feV¤Ehi.v(v(gVfIi.v"¨
» p\iPd]i.vr7eV¤r(p\i2wCgVw¬i"d7qvWebd(fLgVLq+*"i.«gbvl¤®eAxzxseV¯&v\/.bi.otrqseb9µoteIJrgyq}CvZg¦Li.v(otdqsw\rqseb
eV¤3r(p\iµv\vr(i"h heLitx3gVC9g¦¤Sebd(hPgx&Lit¹CLqsrqsebÀeV¤lo"gAuCv(gx&ebdtLi"dqs\fC¨H.bi.otrqsebÀ¾\dqsi-,C
Li.v(otdq}¬i.vw\d]i"¥bqsebuCvgyx}fIebdqsr(p\hPv¡¤Sebdo"gVuCv(gx;ebdLi"dq}\f¬¨G.bi.otrq}eI w\d]i.vi"Jrtv·r]p\i3hebrqs¥ygArqseb
¤Sebd3r(p\iw\d]ebwCeJvi.gxsfbebdqsr(p\hÄgVC¾r(p\iZCgbvqÅoqLi.g¬i"pLq}C¿qsr.¨;»p\iPgxsfbebdqsr(p\h qv3w\d(i.vi"b>
r(i. q}3.bi.otrqseb9gACÂqsrvotebd(d(i.otr]\i.v(v2qvw\d]ey¥Ii.9qsL.bi.otrq}eI\¨.bi.otrq}eILI«otebhwCgVd]i.v
r(p\i,wCi"d¤Sebd(hPgACotieV¤¢r]p\iw\d(ebw¬eJvi.¾gxsfbebdqsr(p\h ¯ qsr(pit Lqvrqs\f½gxsfbeIdqsr(p\hPv7gACIqv(otuCv(vi.v
qsrv<wCi"d¤Sebd(hPgACotiZ¤®eId3r(p\iZ\d(eJgb\o"gbvrqs\f½o"gbvigVC½q}rtv3vuLqsrgVLq§x§q}r¿¤®eId3hebLq§xsiPotebhw\u\rqs\f
i"L¥bqsd(eI\hi"Jrtv"¨!©| .bi.otrqseb ¸~*gV«gyx}fIebdqsr(p\h ¤®eIdo"gVuCv(gyx¢hZuLxsrqo"gbvrqs\f¾eV¤hi.v(v(gAfbi.vqs9g
heILqzxsiPoteIhw\u\rqs\fµi"L¥bqsd(eI\hi"Jrqvw\d(i.vi"Jr(i.¨ qsCgx§xsb~;r]p\ioteICo]x}uCvq}eICvgAd(i7w\d(i.vi"Jr(i.
qsC.bi.otrq}eI ¸¨
¬;+ / %7=
» p\igVw\wLx§qo"gVrqseb9u\CLi"dPoteICvªqLi"dgVrqseb¿qvoteIhwCeJvi.eV¤ w\d(e\oti.v(vi.v¨'»p\i.viw\d(e\oti.v(vi.v
oteVx§xsi.otrqs¥bitxs2it i.otu\r(ig3Iqvr(dq}\u\r]i.otebhw\u\rgArqseb;¨b» p\i"d(i it LqÅvrvEg=xsebfVqo"gxaotebhhZu\Lqo"gVrqseb
o]pCgV\\itx7Ci"r¯ i"i"¼i.gIo(pÀwCgqsd2eV¤7w\d(e\oti.v(vi.v"¨ m8w\d(e\oti.v(v2o"gVvi"CÀgh,i.v(v(gVfbi¦r(eitqsr(p\i"d
eb\iZw\d(e\oti.v(v=ebd&g,fbd(ebu\w¦eV¤Ew\d(eoti.v]vi.vW±|hZuLxsrqo"gbvr3otebhhZu\Lqo"gVrqseb½o"gAµCiWqshwLxsi"hi"Lr(i.
itqsr(p\i"d L7\d(eJgI\o"gbvrqs\f3r(p\ih,i.v(v(gVfbi r(e7gyxzxCr]p\iw\d(e\oti.v(vi.v!ebdEr(p\d]ebu\fbpZhZuLx}rq}wLxsi3w¬eVqsJr >Sr]e>
w¬eVqsJr7otebh,hu\Lqo"gVrq}eICvt²¨» p\iZfbd(ebu\w¦eV¤·w\d(e\oti.v(vi.v=r(eP¯=pLqÅo]pgw\d]eoti.v(v3vi"C\vhuLxsrqo"gbvr
hi.v]v(gVfbi.v´qv=\ebr=¹\ i.~Lq|¨ib¨Å~agZw\d]eoti.v(v*hPgvi"CeI\i7hZuLxsrqo"gbvrhi.v(v(gVfIi3r(ePgZfbd]ebu\w
eV¤w\d(e\oti.v(vi.v gVCWxgVr(i"d·gV\eIr(p\i"d·hZuLxsrqo"gbvrEhi.v]v(gVfbi r(e7g3Iq S;i"d(i"Lr·fbd(eIu\weA¤aw\d(e\oti.v(vi.v
¨JCgAhZqo3hZuLxsrqo"gbvrfbd(ebu\wCvgVd(i7gx§xseV¯ i.Ci.o"gAuCvigZw\d(e\oti.v(v&o"gA½LegZhZuLx}rqÅo"gIvr3r(e
gVL2fbd(ebu\weV¤Ew\d(e\oti.v(vi.v=¯ qsr(p\ebu\rpCg¥Iqs\fr(eZ¤Sebd(h0fbd(eIu\wCvB #$--_¨
» p\iµv\vr(i"h5LeLi.vZ\ebrpCg¥biµg¦fVxsebCgyx&w\pJ\vªqo"gxlo]xse\o(¶¼gACr(p\i2xseo"gx7o]xseo]¶\vZeV¤3r(p\i
otebCvrqsr(u\i"Jr=w\d(eoti.v]vi.vgVd(i3\eIr¢w¬i"d¤Si.otrxs6vLCo]p\d(ebLq+*"i.¨$<=i"Cotib~\r(p\i3eIdLi"d´q}¦¯pLqo(pr¯ e
i"¥bi"Lrv=eo"otu\d7gArr¯¢e2IqTS;i"d(i"Lrw\d(eoti.v]vi.v3o"gV\\ebrCiLi"r(i"d(hq}\i.¾veAx}itxs¦eb¾r(p\i7CgbvqÅv=eV¤
r(p\ixse\o"gx;rqshi3eV¤*e\o"otu\d(d(i"Cotib¨a<eV¯ i"¥bi"d.~Aq}L¤Sebd(h2gVrqsebgVCebu\r=r(p\i&eIdLi"d eV¤*e\o"otu\d(d(i"Coti3eV¤
i"¥bi"LrvWo"gVCi,fJgVr(p\i"d(i.¦Cgbvi.¾ebr(p\i2o"gVuCv(gx¢Li"w¬i"CLi"Co]q}i.v,Ci"r¯ i"i"r(p\i"h¦¨ .buCo(p«Li>
w¬i"CLi"Co]q}i.vo"gV2Ciit w\d]i.v(vi.,uCvªqs\fr]p\i=N]##FG-U '´d(itxgVrqseb¦±9²*¬i"r¯ i"i"2i"¥bi"Lrv"¨
» p\i N-##bDaK ]1=d(itxgVrqseb¬i"r¯ i"i"¦i"¥bi"Jrtv pCgbv ¬i"i"½Lit¹C\i.Éqs 6sjbj-8*gIv\
V~Iqz¤
gVC3gVd]i3i"¥bi"Jrtv´qsµr(p\i7v(gAhi3w\d(e\oti.v(vgVC
e\o"otu\d(d(i.ÉCit¤Sebd(iV¨
V~Vq§¤
qv r]p\i&i"¥bi"Lr eV¤*vi"CIqs\f6g<hi.v(v(gAfbi 0q}µg<w\d(e\oti.v(vgVC´qv r(p\ii"¥bi"Lr
eV¤·Litxzqs¥bi"d]eV¤'r]p\i7v(gVhi3hi.v]v(gVfbi3r(e2gV\ebr(p\i"d w\d(e\oti.v(v"¨
©S¤
3gVCV~\r(p\i"
W± q¨ib¨s~Zd]itxÅgArqseb2qvr(dtgVCvªqsrqs¥biV²¨
© ¤
&gAC
~br(p\i"
gVC=gVd(i3v(gqr]e7Ci7oteICotu\d(d(i"LrgACd(i"w\d]i.vi"Jr]i.Pgbv V¨
!E¥bi"Lrv
~"V~·gAC#¦hi"Lrqseb\i.ÀgV¬ey¥Ii o"gA ¬i¾itq}r]p\i"dµhi.v(v]gVfbiC2%$ '&¦~!hi.v(v(gAfbi
&$)(%*,+$)-9ebdqsJr]i"d(CgxCi"¥bi"Lrv!eV¤r(p\i w\d(eoti.v]vi.v"¨L ¢gVuCv]gxeIdLi"dqs\f7eV¤Ch,i.v(v(gVfbi.vEvwCi.o]q§¹Ci.v
r(p\i=d(itxgVrqs¥biebdLi"dEqs¯=pLqÅo]p2r¯ e3hi.v]v(gVfbi.vEo"gV2CiLitxzqs¥bi"d]i.2r(e3r(p\i&gVw\wLx§qo"gVrqsebw\d]eoti.v(v¨
.2È0/2143Å53sÍ17698 b D-;:"< %>=B"M-]^0? G0
N_%NH"M]%'GPO
%'AG!2%$ '&ɱ10 ² 2%$ @&ɱ10
² %ND&$A(B*C+D$)-W±10 ²%&$)(B*C+D$)-W±10 ²