A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

(1)

HAL Id: inria-00074193

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

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.

A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut

To cite this version:

Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut. A Re- coverable Distributed Shared Memory Integrating Coherence and Recoverability. [Research Report]

RR-2481, INRIA. 1995. �inria-00074193�

(2)

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

A Recoverable Distributed Shared Memory Integrating Coherence and Recoverability

Anne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut

N˚ 2481

Janvier 1995

PROGRAMME 1

(3)

(4)

)*+,-.*, /0!#*1 '*1 23$4(

5"676$8:9<;>=@?AB81CD8E?GFH=@??I8KJ4L.M#AONQP8:?R"S2=@P.AQNONOABJ4L5"NT=@AO6UM18:VW=@X7RYL

S-Z7?GAT[GRAO6$8D;>\@?AO6]L^[_=@P8:NONT8"`X=@X7R

abdcIe_bgfhhi jlk mbgngoKprqsintqduYbdivwxfbgfGyzyQ{i|yzivt}E~xf_vBiv:i :c_Ki|ivt}KbYivifGuKiqvYvq{ihivEpvqsbdpz~Kuiv

abdcIBi|qK]4B3]

fwKwxc_bsq:ibsinoYi|bgngoKiE:jk fGEEpri|b]j|_Ik j|wxfe_iv

¡ t¢£¤K¥_¢¦$4fGbse_i|§QvdnfGyri2:p¨vqdbspr~KuYqdi©vYvqdih+vfbdii|bs+fGqsqdbªf_ntqspri3«¬cIbqdoYii|:intuKqdpzc_©cG«$wxfGbªfGyzyri|y

fGwYwKyrp¨n|fGqsprc_v®bsi¯°uYprbdpzKefo:uKeIi$ntc_hwYuKqdpzKewxcG±$i|b|²³c±i|ib|}tqsoKi|pzb4oKpreIowKbsc_~xf~KpryzprqBcG«´vprqsi«QfGpryzuKbdi

pvuYxf_n|n<i|wKqgf~Kyriµ}.ivBwxintpfyryz¶«¬cIb'yzc_Ke1qdpzhi'bsuKKKpzKe·fGwKwKyzpn|fqdpzc_xv<²¸O¹qdoKp¨vwxfGwxi|b}±i©fIK:bdivdv

qdoYpvwKbdcI~KyrihºfGxDwYbdc_wxcµvi©f+noKin»Ewxc_prEqdpzKehinoxfKpvBh¼bdi|yz:pzKe+c_·f½bdintci|bgf~Kyri-:p¨vqsbdpr~YuKqdi

vofGbdi½hi|h2c_bd+¾Q3E¿DÀª²@myzqdoKcIuKe_o©hcvBqbdin<cGibgfG~Yyri3°¿Ábdi¯uKpzbdi vwxintpÃÂÄnoxfGbª:±fbdi qdc+vBqdc_bsi

bdintci|bd-KfqgfE}Kc_uKb]vdngoKi|hiuvivvqªfGxKfbg+hi|hcIbdprivqdc-vBqdc_bsi~´cIqdontuKbdbsi|EqfG½bdintci|bd-KfqgfE²

¿"c_bsi|ci|b|}IqdoKih+fGfGe_ihi|EqÅc«4bdintci|bd Kfqgf3p¨vhi|bdeIi±prqso'qsoKih+fGxfe_i|h2i|:q4c«ntuKbsbdi|Eq7Kfqgf

~E3i:qsi|x:pzKeqsoKi3E¿ÆÇvÅn<c_oKi|bsi|xnti$wKbdcIqdcEntcIyO²7ÈoKp¨vfGwYwKbdcµf_ngoyrprh2prqgvxqdoKiofGbgE±fGbsi:i|i|yzc_wKh2i|:q

fG'qgf»iv7f_:IfGEqgfe_ic«¡qdoKi]Kfqgf3bsi|wKyzpn|fqdprcIwKbdcEp:i~Ef 3E¿Épz'cIbg:ibqdcyzprhpzqÅqsoKifhc_uY:q

cG«ÊqdbgfxvT«¬ibdbdiËwfGe_iv:uYbdprYeqdoKi ngoKing»:wxc_pz:qsprKeY²

c_uYb'bsintci|bgf~Kyri23E¿ c_ÌfGÍO:qsi|yafGbgfe_cIÎ±prqdoÍIÏ¶KcEEivt²¹O¹wxfGbsqdp¨ntuKyfb|}7prqÐvoKc±vw´ib«¬c_bs§

h+fxnti]:i|e_bªf_Kfqdpzc_"pz:qsbdcE:unti'~E'qsoKi«QfGuKyzqqsc_yribgfGntihingoxfKpvBh+vÅc_«QfpryruYbdi|§«¬bdi|ii|EintuKqsprcIxvt}

ntcIhwxfGbsi'qscfvBqgfGKfGbª#3E¿Ñc_"qsoKi vdfhifGbªnoYprqdintqduKbsi²

Ò"ÓÔ4ÕdÖ ×x£ØÅ I¦ pvqsbdpz~KuKqdi oxfbdi ¿"i|hc_bs}Î4fbde_i§Ovsn|fGyziÑp¨vqdbspr~KuYqdi Yvqsi|h+vt}WÙxfGuYyrqd§

È4c_yribgfGnti}KÚfIn»E±fbg+Ûbdbsc_b]in<cGibd}KÜ7oKing»Ew´cIprEqdpzKe

ÝßÞÐà

áOâBã|ä

à

á.åÅæzâBçéègê

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

(5)

"

G*Ë ,-'*ËÁË!$Ð*1 Á1G¹*DG

ÓE Ó¦2@ivvYvq{i|hiv:pvBqdbspr~Kuivi|Eqdixvpz~KyrivvcI:q]wxfGbsqdpn<uKyrpQ{i|bdi|h2i|qf_KfwKqYiv'{f-yOÆi$in<uKqdpzc_

@ÆÇfGwKwKyzpn|fqdpzc_xvwxfbgfGyzyQ{i|yzivintivdvBprqªfGEquKKipzhwxc_bdqªfGEqdiwKuYpvdvsfGxn<i:i2n|fyntuKyQ²@È4c_uYqdit«¬cIpvt}4pzyvcI:q}

i|ÎbªfGpvBc_W:uÎYc_h-~Kbdi+prh2w´cIbdqªfGEq@Æsi|yihi|EqgvEc_Eqpry¨v'vBc_Eq+ntc_h2w´cµvEiv<}.uYKi"«¬c_bsqdi#wKbsc_~xf~KpryzprqYi

:i-$i<«QfGpryzyfxnti ¯°uYpÅivBqprYxf_ntiwKqgf~Kyri w´cIuKbyrivfGwYwKyrp¨n|fGqsprc_v:iyzc_KeIuKi-:uKbYi|i²ÄfGv3n<ibgfwKwxc_bsq|}

KcIuxv3wKbsc_wxcvBc_xvuYDhÌin|fGKp¨vhil:i'wYbdpvBi-:iwxc_pz:q :i-bYin<uKwi|bªfGqdpzc_#wxc_uYbuKKi-hÌi|h2c_prbBiwxfbdqgf§

eiiEpvqsbdpz~Kui|i-{fofGuKqsiEpvwxcIKpr~KpzyrpzqKi²YiKc_h-~Kbdiuxviv7hÎi|h-c_pzbdivÅwfGbdqªfGei|iv:pvBqdbdpz~Kui|iv{foxfGuKqsi

wi|bªfGqsprc_ ²c_qdbsiwYbdc_wxcµvprqsprcI4}KfuntcI:qsbgfprbdiµ}_ivq$@ÆuKqdpzyrp¨vi|byzivhÎi|h-c_pzbdiv¡vqªfGxKfbg'wxcIuKbvBqdcEng»i|b]{f

yf3«¬cIpvyziv:c_Yi|ivntcIuKbgf:qsivi|qyziv:cIKi|iv:ibYintuKwibgfGqsprcI4²KiwKyzuxvt}EyfeIivqsprc_:iv:cIKi|iv

:ibYin<uKwi|bªfGqdpzc_ivq7i|EqdpQ{ibdi|hi:q4pz:qYi|e_bÆi|i {f nti|yryzi:iv$:c_Ki|ivn<c_uKbªfGEqdiv7wxfGb$uKKii|Eqdixvpzc_2:u

wxi|hi|Eqh+fqYi|bspri|yi|qi|wKbscGÂxqªfGEq-:i'y¨f½bsi|wKyrp¨n|fGqsprcI:iË:c_Ki|iv3pzKoi|bsi|Eqdi2fGuD«¬cIxntqdpzc_KYi|hi|Eq

:i©yf"hÌi|h2c_prbsi'wfGbdqªfGei|i#:p¨vqsbdpr~Yui|i}¡yrprh2prqdi-yf1¯uxfGEqdpzqKi©:i+wxfGeIiv'qsbgfGE«Ii|bYi|ivyrc_bªv'Ei"yf"wYbdpvBi

:u1wxc_prEq:ibYintuKwi|bgfqdprcI4²ÄfGxv ntibªfGwKwxcIbdq|}¡uKKihp¨vii| uKEbdi-:iYc_qdbsi'hÌi|hc_pÃbsiwxfGbsqgfei|i

:p¨vqdbspr~Kui|i#{f+oxfGuYqdi©:pvBwxc_Kpz~KpryzprqYi2vuYbuKKiËTEqdiy7afGbªfGeIc_În<c_hwxcvEi|i2:i+_Ï"3uKv3i|qÐ¯°uYi|y¯uKiv

bYivuKyzqgfGqªvÅwKbYi|yrpzhprxfprbsiv4:iwxi|b«¬cIbdh+fxntiv¡vcI:q7wKbYivi:qYivt²Ü7ivÅbYivuKyzqgfqgvhc_Eqdbsi|Eq4Kc_qªfGhhi:q4y¨f

$i|eIbgfIKfGqsprc_©:i]w´ib«¬c_bsh+fGntiuKi2{f3y¨f3hp¨vii|3uY:bsi:iv.hÌinfGKp¨vhiv¡:iqsc_yi|bgfxnti]fGuK'«QfuKqdiv

i|Ìntc_hwfGbgf:q-KcIqdbdi#wYbdc_wxcµvprqsprcI {fDuKKi#hÌihc_pzbdi-:pzbdqduYi|yryziwxfGbsqgfei|i1vBqgfGKfGbª vBuKbyf#hÌi|h2i

fGbªnoYprqdintqduKbsi²

×K¢ tÕg¥Ó¦-¿ i|hcIprbdi7wxfbdqªfGe ii:p¨vqsbdpr~Yui|i}vBKvBq|{i|hi$:p¨vqsbdpr~Yuii|Eqdi|xvBpr~Kyzi}tqsc_yi|bgfxntifGuY3«QfGuYqdiv<}

(6)

>

)*+"D1.*

p¨vqdbspr~KuYqdivofGbdilh2i|hc_bs¾O3°¿DÀÄvYvqdih+v´pzhwKyrih'i|EqxfvBoxfGbsi3hihc_bswKbdcIe_bgfhhpzKe7hcE:i|y

c_-qdcIw'c«¡f:p¨vqdbspr~KuYqdivBKvBqdi|h ±prqdoYc_uKq7oxfbg:±fGbdi]vuYwKwxc_bdq«¬cIbvBoxfGbsihi|hcIbd¾¬pO²iµ²_:p¨vqsbdpr~YuKqdi

hi|h2c_bd2h'uKyzqdp¨ntc_hwYuKqdi<bgv<}´Kiq±$c_bs»Kvc«±cIbd»Yvqgfqdpzc_xvgÀg²E¿ p¨v3fqdqsbgf_n<qdpri«¬bdcIhÑqdoKi-wKbsc_e_bªfGh§

hi|bÆvwxc_pz:qc«Epri|±}EvBprxntipzqvpzhwKyzpÂxivKfGqªfwxfbdqsprqdpzc_KYprKe-fxyrcfI½~xfyfxntprYeK}:±oYpngo+fGbsi3qB±$c

cG«ÊqdoKiqdcIuKe_oYivqwKbdcI~Kyrih+v.pzwxfGbªfGyzyri|y4h+fInoYprKiwKbdcIe_bªfGhhpzKeK²

Kic«4qsoKih+fGpz-f_:If:qªfGe_iv.cG«®:pvBqdbspr~KuKqsivYvqsi|h+vÅp¨vÅqdoYi|prb7vsn|fGy¨fG~Kpzyrpzqµ²_ÈoKi-fGbdiqso:uvÊibd

fGqsqdbªf_ntqspri«¬c_b7qsoKintc_h2wKuKqgfqdpzc_cG«¡wfGbgfyryzi|yKfwKwKyzpn|fqdprcIxvbdi¯uKpzbdprYe~xc_qdo2yrc_Ye3bsuKKKpzKei|EintuKqsprc_

qdpzhivÄfGxw´c±$i|b«¬uKyi:Eprbsc_Khi:qªvc«ÄntcIhwKuKqªfGqdpzc_4² i|i|bdqsoKi|yzivdv<}tfIv®qsoKiEuKh-~xi|b@c«Äntc_h2w´cIKi|Eqgv

pr©qdoKivi-vYvqsi|h+veIbdc±vt}@qsoKiwKbsc_~xf~KpryzprqB+qdoxfqf«QfGpzyruKbsicEn|n<uKbgvfyvBcprxn<bdifIviv<²@ÈoKp¨v~xi|oxf|Eprc_uYb

pv7uKxfIn|nti|wKqªfG~Kyzi}ivwxin<pfGyzyr±oKiyrcIKe_§¬bduKYKprKe-fwKwKyzpn|fqdprcIxvfbdiqdc ~xii|EintuKqsi@²Emv.bsivqªfGbsqdprYe

f'yzc_KeI§ébsuKKKpzKe©fGwKwKyzpn|fqdpzc_½«¬bsc_h prqgvprKpzqdpfy¡vqªfGqdih-uxvBq~´i-f|cIp:iÄ}´pzqp¨v:ivBprbgf~Kyri«¬c_bf23E¿

qdc1~xi+bdintci|bªfG~Kyzi+fG qdc1fyryzcG± fGÌfGwKwYyrpnfGqdpzc_¹qdc1bdivqgfbdq-prqªvi|:intuKqdpzc_D«¬bsc_h f1vqªfGqsi#vdf|i

~xit«¬c_bsi|oxfx@}x±oKi|©fÐ«QfpryzuKbdicEnntuKbgv<²xO½cIbg:ibqscwKbdivBi|bdi]qdoKicEn|fqdprcI"c«7:p¨vqsbdpr~YuKqdi+vBKvBqdi|h+v<}

qdoYiprhwYyri|h-i|EqgfGqsprcIcG«ÊvunoibdbdcIbbdin<cGibdh2inofGKp¨vh+v4h'uvq7~xiEc_Ki±prqsoKc_uYqvdfIntbdpÃÂÄntpzKeqsoKi

vYvqsi|h¼vsn|fGy¨fG~KpzyrprqB²

Úf_ng»:±fGbªËibdbdcIbbdin<cGibd-pvf±i|yzyr§¬»:Kc±'«QfuKyrqqsc_yzi|bgfxntiqdingoKKp¨¯°uYi@?@i|iBA>mx:i|bªvcI"DCEQ²

Oq$fcIpKvqsoKiYi|icG«¡bsivqªfGbsqdprYef+fGwYwKyrp¨n|fGqsprc_«¬bdcIh>prqªvÊpzKprqspfyxvqªfGqdipr2n|fIvicG«4«QfGpzyruKbsi~:uvprYe

fwKbdi|EprcIuxvprhËfGe_i]cG«7qsoKi vYvqdih0qdcbsivqªfGbdqqdoYi3i:in<uKqdpzc_4²Y¿"cvqbdintci|bgf~Kyri]3E¿fIvdvBuKhiqsoKi

wKbsivi|nti+cG« f1vqªfG~Kyzi#vqsc_bªfGe_i1Ei|:p¨ntiqscDi|vuKbsi½qsoKi#vBqgf~KpryzprqBDc«bdintci|bd·KfGqªf:²$ÈoKivBi#vqªfG~Kyzi

vqsc_bªfGe_iv'fbdi"uvuxfyryr1prh2wKyri|h-i|Eqdi"±pzqdoÍvwxin<pÂÄn'ofGbgE±fGbsi#:i:p¨ntivvBuxngo¹f_v-vqªfG~Kyzi½h2i|hc_bspriv

?ÚffGqsbdiFG1Hx1=;EO}xc_bhcIbdin<c_Ei|:qsprcIxfGy :i|Epntiv$vuxngo©f_v:p¨v»Yvt²xÈoKiÂxbªvq]vcIyruKqsprc_+p¨viI+n<pri|Eq

~KuKqqscc#i|:wxi|vpriµ}´ivBwxintpfyryz½«¬c_b yfbde_i2vdnfGyri2vYvqsi|h+v<}´±oKibdifIv3qdoYivBintc_¶cIKipvngoKifwD~KuYq

h+f|bgfwKp:yzyzprhpzq4qdoKivBKvBqdi|h vdn|fyfG~YpryrpzqB²_OqsoKpvÅwfGwxi|b|}±$iwKbdcIw´cµvif~xfIn»E±fbgi|bsbdcIb.bsintci|bs

prh2wKyri|h-i|EqgfqdpÃc_qdoxfq¡f|c_pYv@qdoKi7uxvBi.c«xvBwxintpÂ´nÊofGbgE±fGbsi}vqspryzy_i|xvBuKbdpzKeqdoYivBqgf~KpryzprqBc«Kbsintci|bs

Kfqgf~:uxvBprKeqdoKi7bsi|wKyrp¨n|fGqsprcIhingoxfGYpvhËvwYbdc:p¨:i~EfE¿0vYvqsi|h#²<¿"c_bsi|ci|b|}<qdoKp¨v®bsintci|bs

i|Eqdi|:prKeqsoKivBqgfGKfGbª#ntc_oKibdi|xn<iwKbdcIqdcEntcIyÅuvi~E+f'E¿²xÈoKiwxfGwxi|b]fGy¨vc-:ivdntbspr~xivfÂxbgvBq

prh2wKyri|h-i|EqgfqdpÃc_c«7qdoYiwKbsc_wxcvBi"bdin<cGibgfG~Yyri 3E¿ÁcI#fIÏYcE:i-O:qsi|y¡afGbªfGeIc_J?OEq1=;EO²ÄÈoKi

fGwYwKyrp¨n|fGqsprc_bsintc_EÂxe_uKbªfGqsprc_ }GpzwxfGbsqdp¨ntuKyfb4qdoKi7±f]qdcbdivBqgfGbsq4wKbdcEn<ivdvBivÅf|«¬qdi|b¡f«QfGpzyruKbsi}tp¨v@c_uKqªvp¨:i

qdoYivsntc_wxi cG«qdoKp¨vwxfGwxi|b²

ÈoKibdih+fGpzx:i|bcG«$qdoYiwxfGwxi|bpvc_bdeµfGKpLK|i#fIv]«¬cIyryzcG±v<²4ÈoKiKi:q]vin<qdprcI#wKbdivi|EqgvcIuKb~xf_vBi

3E¿ fG]«QfpryzuKbdih2cE:i|yO²intqsprcIM=qdoKiEivdntbspr~xivxqdoKi7prEqdie_bgfqdpzc_c«xbdin<cGibdKfqgfh+fxfGeIi|hi|Eq

prÎqsoKi1vqªfGxYfGbgHntc_oKibdi|xn<i"wKbsc_qdcEn<c_y fGxÎqdoYi#±f|¸qsc hËfG»i#f·3E¿ bsintci|bªfG~Kyzi²intqsprcIÎ

:i|eIbgfIKfGqsprc_pz:qsbdcE:unti~:]qdoKi7«QfGuKyzqÅqsc_yribgfGEq4hingoxfKpvBh+vt²gOqfGy¨vc]vqdu:priv@qsoKivsn|fGy¨fG~KpzyrpzqcG«qdoKp¨v

wKbsc_wxcvsfGyO²¡intqsprc_'wKbsivi|EqgvbdiyfGqsi½±$c_bs»KvfGx½ÂxfGyzyr}Ävin<qdprcI#Ï-ntc_ntyruxEiv±pzqdofvuKh2h+fGbs

cG«Êc_uKbwKbsc_wxcvsfGyQ²

(7)

+(¶& % "#

ÈoKi1vBKvBqdi|h ±i1ntcIxvp¨:i|bp¨vntc_h2w´cµvi¸c«-fvBi|qc«KcE:iv½n<c_KKintqdi¸~EÎfÎprEqdi|bªntc_YKintqsprc_

Ki|qB±$c_bd»Ä²EÛ7f_ngo½YcE:ipvn<c_hwxcvBi'c«cIKic_bh2c_bdiwKbscEntivdvBc_bªvfx'cG«Êfhi|h2c_bdhcEEuKyri²EOqsoKi

i|IfGyzuxfGqsprcI1vintqsprcI4}@qdoYpvvBKvBqdi|h pvf1TEqdiyafbgfe_c_·~KuKqf:©c_qdoYi|boxfbg:±fGbdi-wKy¨fGq«¬cIbdh ntc_uKy¨

~xii|:EpvsfGeIi@²

ÈoKpv vin<qdprcI¶ÂbgvqÐ:ivsntbdpz~´ivlqsoKi~xfIvi+E¿ fGx1ivwxintp¨fGyzyr"qsoKi+ntcIoKi|bsi|xntiwKbsc_qscEntc_y±oKp¨no

±pryzy@~xii:qsi|x:i2fGx+qdoKi|+yzpvqªvuKw+qdoKi fIvdvuYhwKqdpzc_xvc«7c_uYbvdngoKi|hi²

!#"%$&(')!#" * !)+-,.0/

O+f3E¿}EyrcEn|fy@hihc_bsprivfbdin<c_xvBp:i|bsifIvyfGbse_i n|fInoKivÊc«qsoKieIyrc_~fGy¡vofGbdi½fIK:bsivdvvBwxf_ntiµ²

afe_iv-fGbsi"bdiwKyrp¨n|fGqsiDc_Ì:i|h+fxpr¹qdoYi"yrcEnfGyhi|h2c_bd#c«wKbscEntivdvBc_bªv'bdi¯uKivBqdpzKe#qdoKih#}¡fGx

n|f~xi½yzcfI:iDi|pzqdoKibl«¬bsc_h :pvB»DcIb«¬bdcIhfKc_qsoKi|byrcEnfGyh2i|hc_bs²ÄT1qdoYpvwxfw´ib|}®«¬cIbqsoKi+vdf»i

vYvqsi|h ~EÎ:pzbdintqsc_bsprivvBqgfqdpnfGyryzÎ:p¨vqsbdpr~YuKqdiWfGh2c_Ke¹qdoYi#KcE:iv<²ÈoKp¨vËqsingoKKp¯uKifcIpKvqsoKi

ntcIoKi|bdixntiwKbsc_qscEntc_y¡uxvivf±bsprqdi§épz:IfGyzpKfqdivBqdbªfGqdie_²

wxfe_ipvf_nntivdvBi½qsoKbdcIuKe_o1f-±bdprqsicIw´ibgfGqsprcI4²@ÈoYih+fGxfe_i|bc«f'wxfGeIi»i|i|wxvf2:prbsintqdcIbdi:qsbd

«¬c_bqsoxfGqwfGe_i©ntcI:qªfGpzKprKe1n<c_oKi|bsi|xnti-prE«¬c_bdhËfGqdpzc_bsi|yfqdi1qdc#prq544prqgvc±Kib|}Åpzqgv vqgfqdi1¾*$+7 16

7"#9 % ;7

98D T ;dÀfxprqªv:;: ) ; <@±oKpngo2ntc_EqgfprxvqsoKiyrp¨vq7cG«qdoYiKcE:ivofEprYe

~E+f:i:p¨n|fGqsi'«¬uKxntqsprcID¾«¬c_bpzxvqªfGxnti fhcE:uKyzc~xi|qB±ii|+qdoKiwxfe_iÆÇvf_K:bsivdvfG½qdoYi3EuKh-~xi|b

cG«KcE:ivgÀg²=<ÎoKi|·fËwfGe_i-«QfGuKyzq3cEnntuKbgv<}¡fËbsi¯uKivq«¬cIb3qsoKi-wxfGeIipvvBi|Eq3qsc+qdoKi-h+fGfGe_ib3c«qsoKi

wxfe_i1±oKpngo «¬cIbd±fbgKv+qdoKi#bsi¯uKivq-qdc¹pzqgv'c±Ki|b²ÈoKi#h+fxfGeIi|bc«-fDwxfe_i1pvfyvBc pzWnofGbdeIi

cG«]wxi|b«¬cIbdhpzKe"qsoKi+Kintivdvdfbd1prEIfGyrp¨KfGqsprcIxv~xit«¬c_bsi"f"±bsprqsi+f_n|n<ivdvcI¸f#bdiwKyrp¨n|fGqsi¶wfGe_iµ²7ÈoKi

B

7"#C4KqdoKi yrcEn|fyÅh2i|hc_bscG«?#oxf_vf2ntc_wEcG«D>"qsoxfGq]n|f#c_Kyz½~xi bdifI@²®qsoKi|b]ntc_wKpzivcG«

B % 7G

98D< T E4®qsoKiyzcEn|fGyhi|hcIbd-cG«F?Dof_vfn<c_wE½c«$qdoKiwxfe_iqsoxfGqnfG"~xibsif_"cIb

±bsprqdqsi|4²cc_qsoKi|b$ntcIw:c«¡qdoKiwxfGeIii|EpvBqgvpr-qdoKi]vYvqsi|h fGG?½p¨vÊqsoKi 21 + cG«¡qsoKiwfGe_iµ²

ÈoKi( 7"#$fx % ;7

8D1T vqªfGqsivbdivBwxintqdpzi|yr-n<c_bdbsivwxcIx½qscqdoKi fGxIH -