• Aucun résultat trouvé

Synchronization Minimization in a SPMD Execution Model

N/A
N/A
Protected

Academic year: 2021

Partager "Synchronization Minimization in a SPMD Execution Model"

Copied!
18
0
0

Texte intégral

(1)

HAL Id: inria-00074288

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

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.

Synchronization Minimization in a SPMD Execution Model

François Bodin, Lionel Kervella, Mike O’ Boyle

To cite this version:

François Bodin, Lionel Kervella, Mike O’ Boyle. Synchronization Minimization in a SPMD Execution Model. [Research Report] RR-2387, INRIA. 1994. �inria-00074288�

(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

Synchronization Minimization in a SPMD Execution Model

F. Bodin and L. Kervella and M. O’ Boyle

N˚ 2387

Septembre 1994

PROGRAMME 1

(3)
(4)

)*',+

-/.10/2436587:9;73&<.=>@?AB>@CDCE99;73GF".HJI0/2LK4CD>

M1NPORQSNUTVWV)X,Y[Z]\^NU_P`;acbdX_ebdf;NPXghiTNjTkckElXkcXgm@niTogdXgp@Xqp@OSr;rsXXtgm;N;sXgdXuTf@vXb^gdw@gdblXV)XgpxaygPbdNPaynLfzsXg

M1NPO{jXb|\M}

~^Th;hORNPbzp@X€NdX_P`;XNj_P`;Xr,‚@ƒR„R…S†Z]}xXh;bdXtVn;NdX)Yu‡R‡oˆZ‰ƒSŠ,hiToQRXg

‹ŒŽtu‘i’S“•”`;acg/hiThXNh;NPXgdXtr–bPgTor—TkcQSORNdacbP`;V™˜8OSNqgPw@ri_P`;NdOSr;acšTbPayOSr›h;kœTS_jXV)Xtr–b/`;Xržf;gdacr;Q

TŸ};M ¡¢Xjv;X_jf;bPacORr£V)O;p@Xk¤m6`;XNPXgdw@ri_P`;NPORr;acšTobdacORr;gTNPXXr@˜8OSNU_jXpžOSr;kcw¥`;Xr£bd`;XtNdXXjv;acgdbdg)T

_jNPORgPg¤¦¤h;NdO;_jXgPgdOSN§pxXhiXtrip@Xri_eXR¨Ÿ©¤r›bd`Layg€hiThXN/Xacr@ªRXgPbdacQ–TobdXWb¤OgU_P`;Xup@f;kcacr;QJbPX_P`;r;aœ«Sf;XgumkcO@ORh

niTogdXp¥Torip¥p;TobUTWniTgPXpBm6niOSbd`ŸO˜`;aœ_P`Jf;gPXTor¬};M­ ¡"V)O;p@XtkE¨/®gPayrLQgj_P`;Xp@f;kcacr;Qacr@˜DORNdVTbPayOSr

˜8NPORV™h;NPXª@acORf;g^gdbUToQRXgacrbP`;Xq_jOSV)h;ackœTbPayOSrh;NdO;_jXtgdgm6hORbdXtr–bPaœTk¯_eNdORgPg¤¦¤h;NdO;_jXtgdgdOSN°pxXhiXtrip@Xri_eXg°ToNdX

p@XtbdXNPV)acr;XpB¨ž±acªRXr¥bP`;X)VWayrLayV/f;V™r@f;VnXN,Oo˜_jNPORgdg²¦EhLNdO;_jXgPgdORNp;TbjTJpxXhiXtrip@Xri_eXgbd`iTobqVf;gPb

nXgUTobdacg¤³iXupBm4TrORh;bPayVWacšTbPayOSr)bPX_P`;r;aœ«Sf;XniTgPXpORrJTVTuv;acVTok´_ef;b,TkcQROSNdacbd`;Vµacgf;gPXpŸgdOTgbdO

VWayrLayVWa¶šXbP`;Xr@f;VniXtNOo˜¯gdw@ri_P`;NPORr;acšTobdacORrhORacr@bdgr;XtXp@XpbPOqgjTbPayg²˜8w)bP`;XVŸ¨4”`;acgTokyQSORNPaybP`;V"`iTg

nXXrgPfi__jXtgdg¤˜Df;kckywWacV)h;kcXVWXr@bdXp€acrTrWXjv;hiXtNdacV)Xr@bjTkB_jORVWh;ackyXtN¨6©¤r;acbdaœTkXjv;hiXtNdacV)Xr@bjTkBp;TbjT,gP`;O

bP`;acgbdX_P`;r;aœ«Sf;X,bPOniXªSXNdwXj·BX_jbPayªSXRm;OSf;bdhXN²˜8ORNPV)acr;Q/Xjv;aygPbdacr;Q/V)XbP`;O;p@g¨

¸W¹@ºB»d¼,½R¾1“J}xw–r_d`LNdORrLayšuTbdacOSr4m;};M ¡/mSQRkcORnTkiTSp@NdXgPggdhiTS_jXRm@hiToNUTokykcXkkcO@ORh;gum–_jOSr@bdNdOSk4TrippLTbUT

hiToNUTokykcXkcacgdV٬

¿œÀÁ

ÂEäÄÅ

Á

ŽƯÇcäȤÉ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

(5)

*P'^%'()!" #

¹x¹G“ |XNUThLhiOSNdbh;N;sXgdXr@bPXf;r&TkcQROSNdacbd`LV)X/hiOSf;NkcX)h;kœTR_eXV)Xr@bp@XgWgdw@ri_P`;NdOSr;acgUTobdacORr;g

p;Tor;gfLrh;NdOSQRNjTV)VWXhTNUTokckElXtkyXgdsXevzsXu_jf;bUTor@b gPXkcORrkcX,V)O;pBlXtkyX};M ¡8f;rgdXf;k1h;NPORQSNUTVWV)XhORf;N

h;kcf;gPacXf;NdgORbdgp@X,p@OSr;rsXXg¨ !TokcQRORNPacbd`;VWXzTSp@V)Xbp@Xtf@vbPX_P`;r;aœ«Sf;Xgp@X^hiTNjTkcksXkcaygjTbPayOSr"kcXhTNUTok¦

kusXkcacgdVWX˜8OSri_jbdacOSr;r;XkDniOSfi_jkcXhiTNjTkckElXkcXTacr;gPa4«RfLX kcXhiToNUTkck¤lXkcacgdVWXhiTNp@acgdbPNdacn;f;bPayOSrp@X,p@ORr;rsXXg¨

\¥hTNdbPacN¯p@XkœTN;sXhiTNPbdacbdacOSrpxXg_Tkœ_jf;kcg6gdf;N6kyXtg4h;NPOx_eXgdgPXf;NdgumRkcXg1psXhXrip;Tori_jXg­Xr@bdNdX­h;NdO;_jXgPgdXfLN¤¦

gPORr@b psXtbdXNPV)acrsXXgu¨4®rŸTkcQROSNdacbd`;VWXgPayVWackToa¶NPX°lT)_eXkcf;ap@X,k#ORn;bPXr@bdacORrp@X,kœT%$j_jORf;hLf;NdX/VT vxacV)TokyX&

XgPbfLbdackcayg;sXhiOSf;NpsXtbdXNPV)acr;XNkcXr;OSVn;NdX­V)acr;acVqfLrpxXhORacr@bdgp@XgPw@ri_P`;NdOSr;acgUTbPacORr/rzsX_sXgPgUToayNPXg¨|Xb

TokyQSORNPaybP`;V)XTŸsXb;sXVWayg1Xr('f;ª@NdX,TfgPXacrp)f;rh;NPORbPORb¤w@hiX^XbkyXtgh;NPXV)a¤lXNPXgXjv;hzsXNdacXr_jXgVWORr@bdNPXr@b

k#dsX*_TS_jacb;sX,p@Xr;ORbPNdX,V&sXbd`LOxpxXR¨

+G½ t»U’-,.¹Ÿ“›}@w@ri_P`;NPORr;acgUTobdacORr6m–};M­ ¡/m@XgdhiTS_jXqp)TSp@NdXgPgUToQRX,QSkyOSniTk¤mnORf_jkcXghiTNjTkckElXkcXgm@hTNUTokckElXe¦

kcacgdVWXhiToNp@acgdbdNPacn;f;bdacOSrp@f_Tok_ef;k4XbpxXg p@OSr;rsXXtg¨

(6)

. / q W*Ÿ(

\ hiOSh;f;kœTN^V)XbP`;O;p)Oo˜Xjv;h;kcORacbdacr;QhiToNUTokykcXkcacgdVŸmRhTNdbPaœ_jf;kœTNPkywWORrp@acgdbPNdacn;f;bPXpV)XVWORNdw/VTS_P`;acr;Xgm

acgbd`LX gPacr;QRkcXhLNdORQSNUToVVf;kcbdach;kcXp;TbjT;m;};M ¡10yYuƒ*2dm@Xjv;X_jf;bPayOSrV)O;p@Xk`;XNPX,bd`;X,ToNdNUTuw)pLTbUT/Trp

kcO@ORh;gTNPXp@acgPbdNdacn;fLbdXpžTR_jNPORgdg/bd`LX)h;NPOx_eXgdgPORNdgWgdOŸbd`iTobqXuTR_P`›h;NPO;_jXgdgPORNORN43–g/f;hORr›TgdXhTNUTobdX

gPX_jbdacOSr›O˜bd`LX)TNdNjTuwJacrŸhiTNjTkckcXk¤¨65TR_P`¥h;NPOx_eXgdgXjv;X_ef;bdXgbP`;XgUToV)X/h;NdOSQRNjTV nLf;b,ORhXNjTbdXtgqOSr

p@a·BXNdXtr–bp;TbjT/`;aœ_P`§ToNdXacrip@XhXripxXr@bhORNdbPacORr;gOo˜ŽTrToNdNUTuw@¨

\&};M­ ¡£V)O;p@Xtk–`Tg1ORr;kcwORrLX˜8ORN43Tob1bd`;XnXQRacr;rLayrLQ Trp,OSr;X4{jORacrqTob1bd`;XXrp,Oo˜ T^h;NPORQRNjTVG¦

n;fLbzTokykLgdw@ri_P`;NdOSr;acšTbPacORr)hORacr@bdg­`iTuªRXbPOqnXXjv;h;kcaœ_jacbdkcwq_tTbdXtNdXp˜8OSN¨S”`;XOSh;bdacVTok;_jORVWh;ackyXtN¯hLkTS_jXj¦

VWXr@bOo˜4gdw@ri_P`;NdOSr;acšTbPacORrhiOSacr–bPg`TgbdO/niX,TRpLp@NdXgPgdXp˜8ORNX*_jacXr@bXjv;X_jfLbdacORr4¨Lgdw@ri_P`;NPORr;acšTobdacORr;g

gP`;ORf;kœp ORr;kcw¥nX)Xr@˜DORNU_eXpž`;Xr£bd`;XtNdXXjv;acgdbdg)TŸ_jNPORgdg²¦EhLNdO;_jXgPgdORNp@XthiXrp@Xri_jXŸn;f;bp@XbPXNdVWacr;acr;Q

bP`;acg NPX«Sf;acNdXg€hiTNPbdacbdacORrLayrLQ)TripgU_P`;Xpxf;kcayrLQacr@˜DORNdVTbPayOSr/˜8NdOSV™h;NdXtª–acOSf;ggdbUToQRXg€ayrbd`;X_jORVWh;ackœTu¦

bPayOSrJhLNdO;_jXgPg¨6”¯NjTRp@acbPayOSriTkckcw@mRgP`iTNPXpŸV)XVWORNPwhiTNjTkckcXk_jORVWh;ackyXtNdg`iTuªSXqf;gPXp¥T/˜DORN738P{jORacrV)O;p@Xk

bPOXevxhLkyOSacbh;NPORQRNjTV™hiToNUTokykcXkcacgdVŸ¨95­TR_P`JhTNUTokckyXtkŽ¡;: acV)h;kcacXpWT˜DORN73ToripXTS_d`<5 =^¡ ¡;:T^{jORacr4m

nORbP`Oo˜¯`;aœ_P`XtNdXXjv;hiXtr;gdacªRX€ORhXNUTobdacORr;gu¨;\^r–wNPXVToacr;acr;Q,gdw@ri_P`;NPORr;acšTobdacORrTg`iTrp@kcXpWn–w)T

ªRToNdacXb¤w)Oo˜¯VWXbd`;O;p@gacri_jkcfip@acr;Q/niToNdNdacXNPg>0ˆ–Š*2d¨?

\^kcbd`;OSf;QR`bP`;XNdX^`iTgnXXr)Vf_d`NPXgdXuTNU_P`acr@bdO,bP`;XVWayrLayVacšTobdaORr,Oo˜´OªSXNd`;XuTRp@ggPfi_P`Tg_jORV¦

Vf;rLa_tTbdacOSrJTripkcO–TSpacVniTokTori_jX,`LXr¥f;gdacr;QTor›};M ¡"VWO;p@Xk0ˆ@2dmBkcacbdbPkyX/ORN73`iTgqTSp;p@NPXgdgPXp

bP`;X)acgdgPf;X)Oo˜gdw@ri_P`;NPORr;acšTobdacORr¥OªSXNd`;XuTRpB¨ OSgdbq}LM ¡™_jOSV)h;ackcXNdgf;gPX)niToNdNPayXtNqgPw–r_d`LNdORrLayšuTbdacOSr

`;aœ_P`¥ORrŸgdOSV)X,VTR_P`;acr;Xgumgdfi_P`›TgbP`;XBA};~¦Y/aygªSXNdwXevxhXr;gPacªRX0ƒS…*2²¨6C[OXªSXNm XªRXr¥a˜gdw@r@¦

_P`;NPORr;acšTobdacORrŸbdO@O+3šXtNdObPayVWXRm;acb,_TorJacri_jNPXTgPXbd`;Xaœp@kcX,bPacV)X,Oo˜h;NdO;_jXtgdgdOSNdgTripbd`LXNdXj˜DORNdXXtªRXr

OSrVTS_d`LayrLXgacbd`˜ETogdb^gdw@ri_P`;NdOSr;acšTbPacORrgPfi_P`¬Togbd`LX°|NjTuw”„S¡ NdXp@f_jacr;Q)bP`;X°ToV)OSf;r@bOo˜gdw@r@¦

_P`;NPORr;acšTobdacORr¥acg/ayVWhiOSNdbjTr@b¨©¤rip@XtXpBm1niToNdNdacXN/NdXtV)OªRTk6˜8OSN,gdacr;QSkcXTRpLp@NdXgPg°_eORV)hLf;bdacr;Q`iTogqnXXr

_jOSr;gdaœp@XtNdXpacV)hORNdbjTr@bXrLORf;QS`n@wOSbd`;XNPgbPObd`;XXjv;bdXtr–b^bd`iTobh;NUToQRVTg`iTuªSXniXXtr§TSp;p@Xp§bdO/bd`;X

h;NPORQSNUTVWV)acr;QkœTr;QSfiTQSXbPOqbPXkck4bd`LX_eORV)hLaykcXN`;XrniToNdNPayXtNdg ToNdXf;r;rLX_jXgPgUTNPwD0„RŠ*2dm60FE*2d¨

©¤ržbd`;acg,hThXNXTNPX_jOSri_jXNPr;Xp£acbd`žNdXpxfi_jacr;QŸgdw@ri_P`;NdOSr;acšTbPacORr›acr¥gPayrLQRkcXTSp;p@NdXtgdggdhTR_jX

_jOSV)h;fLbdXNPgf;gdacr;Q,Torq};M ¡ V)O;p@XtkRO˜4_jOSV)h;f;bjTbPayOSr4¨@G¥XTNPXacr@bdXtNdXgPbdXph;NdacVToNdackcwacrqp@acgPbdNdacn;fLbdXp

VWXV)OSNdw,_jORVWh;f;bPXNdggPfi_P`Togbd`;X|~\IH&”„S¡qmS Xa3ROq|}–¦²ƒ,Torip/bd`LXJA }L~¦YRmSn;f;bbP`;XbPX_P`;r;aœ«Sf;Xg

p@XtgU_jNPaynXpacrWbd`;acghiThXN_jOSf;kœp/niX,ThLh;kcayXup/bdO/bdNUTSp@acbdacORrTkgd`iToNdXpWV)XtV)ORNPwVf;kcbdach;NdO;_jXtgdgdOSNdggdfi_P`

Togbd`;Xq}xX«Sf;Xr@bLKTkœTr_jXRm@a˜ŽT};M­ ¡:VWOxpxXkiXNPX,f;gdXupB¨

M N4M OQPSRUT VXWZYT&[J\]7\_^PS[a`W

¡^acgdbPNdacn;f;bPXp,VWXV)OSNdw^VTR_P`;acr;XtgBaybP`°T[gdacr;QSkyXTRp;p@NPXgdg­gdhiTS_jXgd`iToNdX_P`iToNUTR_ebdXNPaygPbdaœ_jg1˜DNdORV:VWXgdgjTQSX

hiTogdgPayrLQ,VTS_d`LayrLXg¯Torip/bdNjTRp@acbdacOSriTkSgd`iToNdXpV)XVWORNdw^VTS_d`LayrLXg¨bLNdORV"T_jORVWh;ackyXtNg4hORacr@b1O˜Bª–acX,m

VWXV)OSNdw¥acgXacbd`;XtNkcO;_TokORNWr;ORrx¦EkcO;_Tk^bdO›T h;NdO;_jXgPgdOSNJTripžkcO;_Tkcacb¤w›XevxhLkyOSacbUTbPacORr›acgWXgdgPXr@bdaœTk¤¨

C[OXªSXN,_jORVWVf;r;aœ_TobdacOracgr;OSbn@w)VWXgdgjTQRX€hiTgPgdacr;Q)nLf;bmn@w)NPXTRp@acr;QTrip§Ndacbdacr;QbPOT/gdacr;QSkcX

TSp;p@NdXtgdggdhiTS_jX _jOSV)VWORrbdO,Tkck;hLNdO;_jXgPgdORNPg¨@”`;acgb¤w@hXO˜BVTS_d`LayrLX`;ORkœp@g­bd`;Xh;NPORVWaygPXO˜BhORbdXtr–bPaœTk

gj_TkœTnLaykcacb¤wacbd`;OSf;bbd`;Xqpxa*_ef;kcb¤wO˜¯kcO&kcXªSXkBV)XtgdgUToQRXhiTogdgdacr;Q¨

c4de+f g7h*ijhkkhlmnFo+p jqelrf4s@titu*o+svwnxg7szyFyxu{g4soJ|f s}@hnxtf4t |uwglf7s@jqnFo+p jqe+fvDs@j6jqe+fIij~slj6hkf7f7g€+jnxhowso+t

yxf4jjqnFo+pIje+fvDi‚nFownxtyxfyxu ƒe+foao+h@jnFo}@hyx}*f7tInFoa‚+slrszyFyxfyf4f4g€+jqnxho„7…Shƒf7}@fl†@s‡i~u@o+g~elhonxˆ7s*jnxho nxiijqnFyFylf7‰*€nFlrf4t

s@jŠje+f‹kŒhl~mJso+tI~hnFoJ‚hnFoŽj~i4„

Š

o‘’“@”•

(7)

 §XV)OSNdwq_jOSr;gdacgPbdXri_ewayrVWXgdgjTQSXj¦EhTgdgPacr;Q,acV)h;kcXVXtr–bjTbPayOSr;g4acgXtr;gdf;NPXpn@w/ORr;kcw/gdXrp@acr;QqTrp

NPX_jXacª@acr;Qf;hbdOp;TbPXqªRTokcf;XgmL`;XNPXgdw@ri_P`;NdOSr;acšTbPacORrO;__jfLNdg,`;XtrJ_jORVWVf;r;aœ_Tobdacr;Qi¨S”`;acgVTuw

Xjv;h;kœToayrŸbd`LX)kœTR_43Oo˜[TobdbdXtr–bPacORrŸQRacªRXrŸbdOgdw@ri_P`;NdOSr;acšTbPacORr¥NdXtV)OªRTk6`;Xr¥f;gPacr;QJTr¥};M ¡VWO¦

p@XtkE¨@©¤rgPayrLQRkcX TSp;p@NdXtgdggPhiTR_eX_eORV)hLf;bdacr;Qm`;OXªRXNumi_jOSr;gdacgPbdXri_ewacgXr;gPf;NdXp§n–wgPw@ri_P`;NdOSr;acšTbPayOSr4¨

51rLgdf;NPayrLQbP`iTbTNPaybPX8NPXTRpgdXu«RfLXri_jXacg _eORNdNPX_jbPkywŸXjv;X_jfLbdXp¥_TornX°p@OSr;X/ayrb¤O)Tuw@g¨;©D˜bd`;X

NPXTRp@XtNzTorip/NdacbdXtNh;NdO;_jXtgdgdXtg8ORN­bd`;NPXTRp@gTNPXgU_P`;Xpxf;kcXpbPO,b¤O,p@a·BXNdXtr–b­h;NdO;_jXgPgdOSNdgbd`LXracr;gdXN²¦

bPayrLQT/gdw@ri_P`;NPORr;acšTobdacORrniXb¤XXrŸbd`LXqb¤OXr;gPf;NdXg€bd`iTobbd`LX,NdacbdX€bUT3SXgh;kœTR_jX€niXj˜DORNdX€bd`;X/NdXTSpB¨

©D˜UmS`;OXªRXtNmSbd`;X^gUTVWXh;NdO;_jXtgdg8bP`;NdXuTRp NPaybPXgTrip/NPXTRp@gbd`LX p;TobUTbP`;Xrr;ORNPVTok–ªSORrB=[Xf;VTor;r

Xjv;X_ef;bdacORr¥gPX«Sf;Xri_eX)ackck4Xr;gPf;NdXbP`iTbbP`;X°_eORNdNPX_jbqpLTbUTWacg TS__jXgPgdXp ¨4”`;acgacgh;NdXj˜DXNUTon;kcX°Tog acb^ayg

TkcXgdg/Xjv;hiXtr;gdacªRXOShiXNjTbPayOSr4¨1®gdacr;QŸ_jORVWh;ackyX/bdacVWX>3@r;OkcXp@QSXacb,acgqhORgPgdacn;kcX)bPOJp@XbPXNdVWayrLXa¶˜ T

p@XthiXrp@Xri_jX)_tTrniX€gdORkcXkcwgjTbdacg²³iXpn@wgdXu«RfLXri_jacr;Q¨

”OŸªRTNdaœTor–bPgqOSr—p@acgPbdNdacn;fLbdXpžV)XtV)ORNPwgdacr;QSkcXTRpLp@NdXgPg_Tor£niXW˜8OSf;rip"J,(r *@)_7', ',

'@ *gdfi_P`£Tg/bd`;X|NUTuwŸ”„R¡/m1 Xa3ROŸ|}S¦²ƒ§ORN ', )X(-‘ '* ( @gdf_d`£Tg/bd`;X"A};~¦

YORN Aa:\;=™gdw@gPbdXV 0FE2d¨1©¤r$,(r *@)_7',X( ',< '@ *VTR_P`;acr;Xtg°p;TobUTžTkckcOx_tTbdacOSr›acg)gPbUTbPaœ_

DORN)a˜°pxw–rTV)aœ_m1_jOSV)h;ackcXN)_jOSr–bPNdOSkykcXp )Trp£acg)niTogdXp£OSr&bd`LX¬TogdgdfLV)h;bPayOSr›bP`iTbWNdf;r@bdacVWX§pLTbUT

TokykcO;_TobdacORracgXjv;hiXtr;gdacªRXTrpgd`;OSf;kœpnXqTuªROSapxXpWf;r;kcXgdgbP`;XNdX/acg T_jkcXToNQ@TacrayrŸp@ORacr;QgPOi¨;”`Layg

acgrLORbbPNdf;X€ayrbP`;X°_tTgdX€O˜X ', )-Š '* ( @^gdw@gdbPXV)g^`;XNdX/bd`LXNdX/acggdw@gdbPXV gPf;h;hORNdb[˜8ORN

p@w@riToV)aœ_NdXe¦²TokykcO;_TobdacORrTbbd`;X^Xjv;hiXrLgdX,Oo˜4ayr_jNdXTogdXp§gdw@gdbPXV•_jOSV)h;kcXjv;acb¤w,ORN_jOSgdb¨56v;h;kcORacbUTobdacORr

Oo˜kcOx_tTkcacb¤wTrpX*_jacXr@bgdw@ri_P`;NPORr;acšTobdacORracg_jNdacbdaœ_Tok1bdO)QSO@Oxp§hiXN²˜8ORNPVTori_jX,OSrJbP`;XgdX/VTS_P`;acr;Xg¨

 f_d`ORN43q`Tg1niXtXrp@OSr;XORr/kcO;_Tkcacb¤w 0yYu…*2{0ˆ2dmun;f;bkcacbdbPkcXNPX_jXr@bOSN73,`iTog1˜8O;_jf;gPgdXpORr/NdXpxfi_jacr;Q

gPw–r_d`LNdORrLayšuTbdacOSrOªSXNd`LXTRpB¨

M N IV^]^]7T [a]7[ I["!$#w`&%JP'!"(")4]7[

¡TbjTŸhiTNPbdacbdacOSr;acr;QJacgWQRXr;XtNUTkckcw›fLgdXpž˜DORN,* @*)_',+ ', '* @WVTS_d`LayrLXg EToripžayrp@XXp

VWXgdgjTQRXhiTogdgPayrLQqVTR_P`;acr;XgTorip/˜8OSNdVWgbd`;XniTogdacg˜8OSNbP`;XkTor;QRfTQRX^Xjv;bdXrLgdacORr;gbPOBb;OSNdbPNUTrWgdfi_P`

Tog>CM bmSbLORNPbdNjTr›¡ 0cY„*2Trip,acXr;rTb;OSNdbPNUTr 0.-*2d¨B”`;acgV)XbP`;O;pJ_Tor¬TokcgdOniXfLgdXp ORrŸgd`iToNdXp

ª@acNdbPfiTkV)XVWORNPw VTR_P`;acr;Xgw0ƒR†*2d¨@}@bUTobdaœ_p;TobUTkœTuwROSf;bmSTkcacQRr;VWXr@b¯Trp/hiTNPbdacbdacORrLayrLQ acr@˜DORNdVTbPayOSrayg

f;gPXpbPO)p@XbdXtNdV)acr;XbP`;XgdORfLNU_jXqToripWgdacr3WO˜ŽpxXhiXtrip@Xri_eXgqTrp)bP`@f;gNdXpxfi_jX/gdw@ri_P`;NdOSr;acšTbPacORr4¨

O@ORhŸniTgPXp¥gj_d`LXp@f;kcacr;Qacg˜8NPX«Sf;Xr@bdkcwŸf;gdXup¥`;Xržf;gdacr;QX( ', zr)-& '* ( @/VTS_d`LayrLXg

ToripŸacg,gdacV)ackœTNbPObd`LXgU_P`;Xp@fLkyacr;QbdX_P`;r;aœ«Sf;Xg/f;gPXpŸ˜8OSNbdNUTSp@acbdacORrTk1gd`iToNdXp V)XVWORNPw)VTS_P`;acr;Xg¨

C[OXªSXNnX_TfLgdXO˜bd`;XWayVWhiTR_eb,O˜r;OSr@¦¤kyO;_TokVWXV)OSNdwNdXe˜8XNdXtri_jXgumzpLTbUTV)OªSXV)Xtr–b^Vf;gdb€niX

_jOSr;gdaœp@XtNdXp `;XrŸhiTNPbdacbdacORrLayrLQ)bd`LXqkcO@ORh;gu¨ BO@OShgU_P`;Xpxf;kcayrLQacr@˜DORNdVTbPayOSr)acgf;gdXupŸbdOp@XbPXNdVWayrLX

bP`;X,gdOSf;NU_eXqTripWgPayr3O˜p@XhXrip@Xtri_jXgqTorip)ToQ–ToayrWNdXpxfi_jX/gdw@ri_P`;NdOSr;acšTbPacORr4¨

”`LX)TkcQROSNdacbd`;V QRacªRXtrJacr¥bd`Layg€hiThXN,acgqToh;h;kcaœ_Tn;kcXbPO§Tokckgdacr;QSkyX)TSp;p@NPXgdg/VTS_d`LayrLXgf;gdacr;QJT

};M­ ¡&`LXbd`;XtNkcO@ORh/ORNpLTbUTniTgPXp/gU_P`;Xpxf;kcayrLQ,V)XbP`;O;p@g1ORNT€_jORVn;acriTobdacORrOo˜´bP`;Xb¤O/TNdXfLgdXp

˜8OSNThiTNPbdaœ_jf;kœToN¯hLNdORQSNUToVJ¨”`LXr;Xjv;bgdXu_jbdacORrVWORbPayªRTobdXg6bd`;XhThXNTrpqp@XtgU_jNPaynXgb¤OgU_P`;Xp@fLkyacr;Q

VWXbd`;O;p@g_eORV)VWORr;kcw,fLgdXpORrp@acgdbPNdacn;f;bPXpVWXV)OSNdw/VTR_P`;acr;Xtg0/;T/gdfLNdªRXtwOo˜NdXkœTbPXpORN43)acg TokygPO

QSayªSXr4¨}@X_jbPayOSrJ„)pxXgU_jNPacniXg€bd`;XqTokcQRORNPacbd`;VµbdO)p@XtbdXNPV)acr;Xq_jNPORgPg¤¦¤h;NdO;_jXgPgdOSN°p@XthiXrp@Xri_jXtg°ToripWbd`;X

h;kœTS_jXV)Xtr–bO˜1niTNPNdacXNPgbdO_jOªSXNbd`;XtVJ¨@}@X_jbPayOSrˆ°p@XtgU_jNPaynXg,TRpLp@acbdacORriTokiOSh;bdacVWayšuTbdacOSrqbPX_P`;r;aœ«Sf;Xg

bPO)NdXup@fi_jXgPw–r_d`LNdORrLayšuTbdacOSrOªRXNP`;XTSpacrbd`;X/h;NPXgdXr_jX)Oo˜ŽgPX«Sf;Xr@bdaœTok¯kcO@ORhLg¨i}xX_jbdacOSr+-ªRTkcaœp;TbPXg

1 hlSts@j~sIvwnxpls@jqnxho

243Š5246

(8)

Xjv;hXNdacVWXr@bdg1bdOackckyfLgdbdNjTbPXbP`;acgŽTokcQRORNPacbd`;VŸmjayVWh;kcXVXr@bdXupacr/ORf;N1_jORVWh;ackcXNmt`;aœ_d`/acg1bd`;Xr€˜8OSkykcOXp

n@wTorORf;bPkyacr;X^O˜6˜8f;bdfLNdX,ORN43)TripT/gdfLV)VToNdw,Oo˜¯bP`;X,hiTohiXNu¨

”1Oh;NdOª@aœp@XVWORbdacªRTobdacOr^˜8ORN1bd`Layg­hiThXNm@_jOSr;gdaœp@XN­bd`;X^h;NdOSQRNUToV:˜8NjTQSV)Xr@b4acr€³iQRfLNdX,YR¨o”`;acg¯acghTNdb

Oo˜ŽT€ˆ -RŠ€kcacr;XgwbS:~1”~\;=£h;NPORQRNjTVacVWh;kcXV)Xr@bPayrLQbd`LX gP`iTkckcO£zTobdXNXu«RfTbdacOSr;gL0ƒoˆ2²m60cYu†*2²¨S©D˜ŽT

˜8OSN738d{eORacrqacVWh;kcXV)Xr@bjTbdacOSr XNPX fLgdXpBm@bP`;X ToV)OSf;r@b¯Oo˜4gdw@ri_P`;NPORr;acšTobdacORrORf;kœpp@XthiXrp)OSr`;aœ_P`

hiToNdbPgO˜ bP`;X)hLNdORQSNUToV XtNdXhiTNjTkckcXkcacšXpB¨6\gPgdf;VWayrLQbd`iTobqXuTR_P`›kcO@ORhžr;Xgdbacg/hiTNjTkckcXkcacšXp¥Trp

gPw–r_d`LNdORrLayšuTbdacOSrJacgn@wTuwO˜nTNdNPacXNdgumBbd`;XtNdXackck4nX°Tob kcXTogdbYEniTNPNdacXNPg,r;XXpxXpBmBOSr;XqnXj˜8OSNdX

Torip)T ˜8bdXNXTS_d`WkcO–OShr;XgPb¨@”`;acgaygTgdgPf;V)acr;QbP`iTbbd`;X^ORf;bPXNkcO@ORh;gToNdX^hiTNjTkckcXkcayštXp/acrXTR_P`_tTgdXS¨

©D˜Bbd`;Xacr;rLXN1kyO@OSh;g1XNPXhiTNjTkckcXkcacšXpBmubd`LXr–fLVniXN1Oo˜igdw@ri_P`;NPORr;acšTobdacORr/OSf;kœp,acri_eNdXTogdXbdO EYŠ;¨

©D˜¯Tor};M­ ¡:VWOxpxXk;XNdXf;gPXpBm;`La_P`Wh;kœTR_jXpgdw@ri_P`;NPORr;acšTobdacORrORrLkyw/`;XNPXbd`;XNPX,Tgayr@bPXN¤¦

h;NPO;_jXgdgPORNp@XthiXrp@Xri_jXSm;bd`LXVT v;ayV/f;VGr@f;VniXtN¯Oo˜4niTNPNdacXNPgr;XXpxXpWayg­ORr;XR¨_Kwf;gPacr;QXjviTR_jbTNPNUTuw

p;TobUT iOGacr@˜8OSNdVTobdacORr6macb_TrnX,gP`;Orbd`iTobbd`LXNdX,acgr;OOSf;bdhLf;b p@XthiXrp@Xri_jXhLNdXgPXr@bTogXTR_P`

NPaybPX,acgbPO)Tp@a·´XtNdXr@bhTNdbOo˜ŽTorTNPNUTuw@¨

”`LX)ORrLkyw¥p@XhXripxXri_jXgToNdX O pxXhiXtrip@Xri_eXgORr•nXb¤XXr&}BY)Torip›}L‡;m1};ƒJTorip¥};‡Lm¯};„

ToripJ} YŠ;mTrip§gdbUTobdXVWXr@b }@ˆTripŸ}BYuŠ;¨;”`LXgdX/˜8OSf;N pxXhiXtrip@Xri_eXg°_tTrŸniX/gUTobdacg¤³iXupn@wh;kœTR_jacr;Q)T

niToNdNPayXtNniXtb¤XXtr)bd`LXkœTgPbŽTogdgPayQSr;V)Xtr–b6bdO£acrqgPbUTobdXVWXr@b}@ˆ,Trip€bd`LX³iNPgdbTogdgdacQSr;V)Xr@b6bdO

¤};‡ €`;aœ_P`›_jOªRXNPgqOSN $U_ef;bdg &XTR_P`£p@XhXrip@Xr_jXR¨‘C[OXtªRXN/a˜zkcO@ORh;g€ORNqp;TobUTToNdX)Toh;h;NdOSh;NdaœTobdXkcw

TokyacQSr;Xpbd`;XgPORf;Nj_jXToripgPacr3@g,O˜bd`;XtgdX)p@XhXripxXri_jXgWackyk1nXacbd`;acrŸbd`;XgjTV)X€h;NdO;_jXgPgdOSNmTrp

gPw–r_d`LNdORrLayšuTbdacOSr¥aykcknXf;r;rLX_jXgPgUTNPw–¨1”`@f;g€n–wŸf;gPayrLQJTR__ef;NUTobdXToNdNjTuwJp;TbjT(iO ayrx˜8ORNPVTbPacORr4m

TorJ};M ¡ V)O;p@Xk4ToripWgU_P`;Xpxf;kcayrLQ)acr@˜8OSNdVTobdacORr6mbd`;X€r–fLVniXNOo˜gdw@ri_P`;NdOSr;acšTbPacORrhiOSacr–bPg _TorniX

NPXp@fi_jXupbPOšXNdO¨

”1Op@XbPXNdVWayrLXbd`;X­h;NdO;_jXgPgdOSN 8g_jOSr–bjTacr;acr;Qbd`;XgdOSf;NU_eXTripgdacr3Oo˜ip@XhXrip@Xr_jXacbBayg6r;X_jXtgdgUToNdw

bPOJ3@r;OŸ`;O¥OSN73Trip,pLTbUTToNdXgj_P`;Xp@f;kcXp/bPObd`;XtVJ¨”`LX1˜8ORkckcOacr;QgPf;n,gdXu_jbdacORrLg¯nLNdacXiw,p@Xgj_jNdacnX

b¤OgU_P`;Xpxf;kcayrLQV)XbP`;O;p@gzToripW`;O&bP`;Xwacr if;Xr_jX,gdw@ri_P`;NPORr;acšTobdacORrh;kœTS_jXV)Xtr–bu¨

­½B½4’1¹;¾ , ©¤r)bd`LaygThLh;NdO@TR_P`4mSbd`;X^˜8O;_jf;gacgOSr)bP`;Xgj_d`LXp@f;kcacr;Q/O˜¯gPbUTobdXVWXr@bacr;gPbUTr_jXg

bPO hLNdO;_jXgPgdORNPg¨G&acbP`;acr,kcO–OSh;gmobd`;acg6˜8ORNPV:O˜BgU_P`;Xpxf;kcayrLQ VTh;g6kcO–OShqacbPXNUTobdacORr;g1bPO hLNdO;_jXgPgdORNPgzTorip€ayg

TXkck3@r;OrTh;hLNdO–TS_P`ayrhTNUTokckyXtkyacšacr;Q[˜8ORN1gP`iTNPXpVWXV)OSNdwVTR_P`;acr;Xgw0ƒR‡*26CO£kcO–OShqacbPXNUTobdacORr;g

ToNdX,VTh;hXpWacgkToNdQSXkcw)p@X_jaœp@Xpn@w)h;NPXª@acORf;g^gdbUToQRXg /;XacbP`;XNn@wTfLbdORVTbPa_hTNUTokckyXtkyacšTobdacORrWORNn@w

f;gPXN pxayNPX_jbPayªSXg¨G¥X_jORr;gPaœp@XNbP`iTbXuTR_P`kyO@OSh)acgXacbd`;XtNVToN73SXp)TogX( -q-Œ'*-ORNr;OSb

^‘;‘ ,,D¹ , ,D½B½ŽToNdXgU_P`;Xup@f;kcXp£gPfi_P`›bd`TbXTS_d`žh;NdO;_jXtgdgdOSN)Xjv;X_ef;bdXgTŸp@acgdbPayr_jbqgPXbO˜acbdXj¦

NjTbdacOSr;g¨\g^hiTNjTkckcXk4kcO@ORhLg`iTuªSX,r;O_eNdORgPgaybPXNUTobdacORrŸp@XhXrip@Xr_jXgm1bP`;Xrgj_P`;Xp@f;kcacr;Qp@acgdbPacri_jbgPXb

Oo˜ŽacbPXNUTobdacORr;g^bdOXTS_P`h;NdO;_jXtgdgdOSNayVWh;kcacXgbP`iTbbP`;XNPXqackckBr;Oacr@bdXN²¦Eh;NPO;_jXgdgPORNqpxXhiXtrip@Xri_eX /B`;Xr_jX

bP`;XNdX€aygr;O/r;XXp˜8ORNgdw@ri_P`;NPORr;acšTobdacORr4¨@”`Layg­˜ETS_jbacgXkck3@r;OrTrip˜8OSNdVWgbd`;XniTogdacgO˜¯hTNUTokckyXe¦

kcacšTbPacORracrbd`;X[˜8ORN438d{jOSayrVWO;p@Xk¤¨u”`;XaybPXNUTobdacORrLgO˜4bP`;XNdXVTacr;acr;QkcO@ORhLgzToNdXXtaybP`;XNXjv;X_jf;bPXpn@w

XªSXNdwh;NPO;_jXgdgPORNORNn@w{jfLgdbORrLXpxXhiXtrip@acr;Q)OSr`;Xbd`LXNXr_jkcORgdXupkcO–OSh;gTNdX€hiTNjTkckcXk{0ˆ@Š*2²¨

W‘;u‘!4’1¹;¾ ," ©¤rJ_jORr@bPNUTgPb,bdOWkcO–OShgU_P`;Xup@f;kcacr;QimBp;TobUTgj_P`;Xp@f;kcacr;QWayg,_jOSri_jXNPr;XpŸacbd`bd`;X

VTh;h;acr;Q€O˜ŽToNdNjTuwXkcXV)Xr@bPgbPOh;NdO;_jXgPgdOSNdg¨”`;X,p;TobUT€hiTNPbdacbdacOSrTrpVToh;h;acr;Q,Oo˜¯gPfi_P`XtkyXtV)Xr@bdg

Š

o‘’“@”•

(9)

!" $#$!%&!'

'

'

(

)* +, !$ ! -# %&'

'

.* / $!0 1$#%& '

'

234 /, $ $ 5$#$!%&!'

6

7* 8** 9 :$; $#%&!'

'

'

<

=* 8** /> $!0* $#%& '

'

?* 8*13 +@ !A3 :$#!%&!'

'

B*C8*13 /@ $!13 $#%&!'

D* &%$ :E*F17HGI3 3 JGK

'

'

E* &%$ +,E*F176GI3 L1* $MGK

'

b6acQRfLNdXY ";}@`TkckcO 5¯vxbPNUTS_jb

243Š5246

(10)

acg pxXbdXNPV)acr;XpWn@wh;NdXtª–acOSf;ggPbUTQSXgacrbd`LXq_jORVWh;ackœTbdacOSrh;NdO;_jXgPg¨B\^Q–ToayrbP`;acg_TrnX,XacbP`;XN,p@ORrLX

n@w_jORVWh;ackcXNVWXbd`LOxpxg 0ƒS†21ORNn@wp@acNdX_jbPacªRXg 0cY„*2d¨@\kck1TNdNjTuw@g TNPXqTgPgdf;VWXpbPOniXp@acgdbPNdacn;f;bPXpORN

hiToNdbPaybPacORr;XpTR_jNPORgdg^bd`;X€h;NdO;_jXgPgdOSNdg,`;ackcXgU_TokœTNdgTNPXqTgPgdf;VWXpbdOnX,NPXh;kcaœ_TbPXpB¨\kck¯ToNdNjTuw–gToNdX

TokyacQSr;XpbPO)T_jORVWV)OSr°ToNdNUTuw DORNbPXV)h;kœTobdX+0.-*2`La_P`acgbd`;XtrhTNdbPacbdacORr;Xup)OªSXNbd`LX hLNdO;_jXgPgdORNPg¨

\^r@w¥QRacªRXržXkcXV)Xtr–b/O˜b¤OŸORN/V)OSNdX)ToNdNUTuw@gacg/gU_P`;Xp@fLkyXup£bdOŸbd`;XgjTV)XWh;NdO;_jXtgdgdOSNma˜bd`;Xtw

ToNdX)TkcacQRrLXpacrbd`Tb,p@acV)XrLgdacORr4¨L”`@f;gXkcXV)Xr@bT E„Lmˆ–Š [ackyk1TkcTuw–g^niX/gU_P`;Xup@f;kcXp¥bPO)bP`;XgUToV)X

h;NPO;_jXgdgPORNqTogn)¤„;mˆ–Š m;_¤„;mˆ–Š ¨c¨;Xbj_ma¶˜bP`;Xw`iTuªRX€bd`;X,gjTVWXTokcayQSr;V)Xtr–bu¨9bLORN˜Df;NdbP`;XN pxaygj_jf;gPgdacORr

Oo˜ŽTkcacQRrLV)Xr@b1gdXX 0cY‡*2dm0ƒ+Ez2d¨9A^r;OkcXp@QSXO˜4bd`LXpLTbUT€hiToNdbdacbPayOSrh;NdOª@aœp@XgTR_t_jf;NUTobdX,acr@˜DORNdVTbPayOSrqTg

bPObd`;XkcO;_TbPayOSr)Oo˜ŽbP`;XgdOSf;NU_jX/TripWgdacr3Oo˜Tqp@XthiXrp@Xri_jXS¨4®gPayrLQbd`;X $dOrLXN¤¦d_jORVWh;f;bPXgV)O;p@Xk&

0„R‡*21acV)h;kcacXgbP`iTbTokykNdacbPXTS__jXgPgdXg€bdO)TrTNPNUTuwToNdXbdOkcO;_Tok4p;TbjT;¨

‘N4M TwT‘PSV\ (a\ Š^& IV^]^]7T [a]7[

\^kybP`;ORfLQR`&bP`;XgdXŸhiToNdbdacbPayOSr8gj_P`;Xp@f;kcacr;Q¥bPX_P`;r;aœ«Sf;Xg_jORVWXW˜8NdOSV b¤O—«Sf;acbdXŸp@acgdbdacri_eb)bdNjTRp@acbPayOSr;gm

bP`;Xw¥TNdXgPbdNPORr;QSkywNdXkœTbPXp˜8NPORV TWgPw–r_d`LNdORrLayšuTbdacOSrJhORacr@bO˜ª–acX,¨ŠKOSbd`ŸgU_P`;XVWXgq_Tor¥NdXVWOªRX

gPw–r_d`LNdORrLayšuTbdacOSr)a˜4bd`;X^gdOSf;NU_jX,ToripgPayr3O˜¯T,p@XthiXrp@Xri_jXTNPXgj_d`LXp@f;kcXpWbdO€bd`;XgUToV)Xh;NPO;_jXgdgPORNu¨

O–OShhiTNPbdacbdacORrLayrLQ98gj_P`;Xp@f;kcacr;QqpxXbdXNPV)acr;Xgbd`LX,kcOx_tTkaybPXNUTobdacORrWgdhiTS_jX˜8NPORV`La_P`p;TbjTqTS__jXgPgdXg

_TornX°p@XtbdXNPV)acr;XpB¨¡TbUT/hTNdbPacbdacORr;acr;Q8gj_d`LXp@f;kcacr;QimSacrJ_jOSr–bPNUTogdbmBp@XtbdXNPV)acr;Xg^bd`;X,kcO;_Tok¯p;TobUT/bdO

nX,TR__jXtgdgdXup)`La_P`WayVWh;kcacXg1bd`;X^kyO;_Tok;acbdXNjTbPayOSr)gPhiTR_jXS¨@”¯O€aykckcf;gPbdNUTobdXbP`;X p@a·BXNdXtri_jXg_jORr;gPaœp@XNbd`;X

b¤Oh;NdOSQRNjTV)g­ayrW³iQSf;NdXtg ƒ;¨

=2; 31=2

=.

J

)* 3M

'

=2; 3=2

1=.

M

)* 3=2/=2

'

! " $#"

b6acQRf;NPXƒ " ET BO@ORhM1TNjTkckcXkcaygPVJm 8n ©¤rip@Xev§M1TNjTkckcXkcaygPV

”`LX³iNPgdb)hLNdORQSNUToV _tTr£niXXjv;X_ef;bdXp ayržhiTNjTkckcXka˜ TkcO@ORhžniTgPXpžgU_P`;XVWXXNPXf;gdXp mn;f;b

Vf;gPb,nX)Xjv;X_jfLbdXp£gPX«Sf;Xr@bdaœTokykcwŸa˜ Tp;TbjTniTogdXpžTh;h;NPO–TS_d`žacg,f;gdXupB¨1”`;X_eORr@ªRXNPgdXacgqbPNdf;X˜8ORN

bP`;XqgPX_jOSripŸh;NdOSQRNjTVJ¨G aybP`bd`LXqkcO@ORhniTogdXpŸTh;hLNdO–TS_P`4mXTR_P`Ÿh;NdO;_jXgPgdOSN,Xjv;X_jf;bPXgqTWp@acgdbdacri_eb gPXb

Oo˜zkcO@ORhŸacbdXNjTbdacOSr;g 3@r;Or¥Tgbd`;XkcO;_Tok¯acbPXNUTobdacORrŸgdhiTS_jX/_jOªRXtNdacr;QXTR_P`¥gPbUTbPXV)Xtr–bacbd`Layrbd`;X

kcO@ORh¥nO;p@w–¨1|ORrLgdaœp@XN/bd`;X_TogdXWaybP`›ˆhLNdO;_jXgPgdORN &%'¢ˆ.,Torip¥acr¥hiToNdbPa_ef;kœTN,`iTobqO;__ef;NdgOSr

h;NPO;_jXgdgPORN,ƒ;¨@©¤rnORbP`hLNdORQSNUToV)gm@bP`;XkcOx_tTkBacbdXNjTbPayOSrgdhiTS_jXg TogdgPOx_eaTobdXp§aybP`}BY Torip};ƒTNPXbd`;X

gjTV)XS¨bLORNh;NdO;_jXtgdgdOSNqƒ;mLbd`;XacbPXNUTobdacORrgPhiTR_eX,˜8OSN }BY/TripŸ};ƒayg)( "BYu†+*,*„RƒL¨@©¤rJbP`;X,³Ndgdbh;NPORQSNUTVŸm

bP`;XNdXacg1r;O^ayr@bPXN¤¦¤h;NdO;_jXtgdgdOSNzpxXhiXtrip@Xri_eX Tg1bP`;XNdXacg6r;O,_jNdOSgdg¤¦¤acbdXNjTbPayOSr°pxXhiXtrip@Xri_eXR¨b;OSN4XjviToV)h;kcX

`;Xtr(-'„Sƒ;m/. E„S„ ^ackyk6niXNPacbdbdXtr¥n–wh;NdO;_jXgPgdOSN°ƒWTripNdXTSpŸn@wh;NdO;_jXtgdgdOSN°ƒL¨©¤rJbP`;XgdX_eORrip

XjviToV)h;kcXRmtbd`;XNPXacg1T_jNPORgdg²¦EacbPXNUTobdacORrqpLTbUT^p@XhXrip@Xtri_jXgTrip`;Xri_jXgPw@ri_P`;NdOSr;acšTbPayOSr4¨©¤r€hiTNPbdaœ_jf;kœTN

h;NPO;_jXgdgPORNqƒ/ackck4NPacbdX0. UYu†+*,*„Rƒ n;fLbNdXuTRpXkcXVWXr@bdg)1E„Sƒ+*,*ˆ–† Ž`;aœ_d`ŸTNdX€NdacbdbPXrJn@wWh;NdO;_jXgPgdOSN

„L¨@©¤r§_eORr@bdNjTgdbacbP`)bd`LXpLTbUT/nTgdXupToh;h;NPO–TR_P`4m;_ekTogdgPa_tTk4p;TobUT/p@XhXrip@Xr_jX)p@XbPXNdVWayrLXg`;XbP`;XN

Š

o‘’“@”•

(11)

gPw–r_d`LNdORrLayšuTbdacOSr,acgBr;XXp@XupB¨u”w@h;aœ_Tokykcwacrbd`;X­gdX_jOSrip,_TogdXRmu`;OXªSXNmta¶˜;r;OhTNUTokckyXtkyacgPV—acg1TuªRTackœTn;kcXRm

OSr;kcw,ORr;Xh;NPOx_eXgdgackyk@Xjv;X_ef;bdX^bd`;XkcO–OSh4muNdXpxfi_jacr;Q,bP`;XTVWORf;r@bBO˜Bgdw@ri_P`;NPORr;acšTobdacORr/n;f;b1acri_jfLNdNdacr;Q

p;TobUT/VWOªRXVWXr@b¨

©¤r@bPXN¤¦¤h;NdO;_jXtgdgdOSNp@XthiXrp@Xri_jXaykckO;__jf;N/acr›bd`LX³iNPgdbXjviTVWh;kcXRmBa˜ p;TobUTgj_d`LXp@f;kcacr;QŸayg€f;gdXp m

Tob bP`;X/niOSNUp@XNXkcXVWXr@bdg^O˜h;NPO;_jXgdgPORNu¨B\Q@TacrJ_jOSr;gdaœp@XNbP`;X°_tTgdX/acbd`ˆWh;NdO;_jXtgdgdOSN ,% ':ˆ Trp

acr¥hiToNdbdaœ_jfLkToN`iTb,O;__ef;Ndg/ORr¥h;NPO;_jXgdgPORNƒ;¨B\^NdNjTuwJXkcXVWXr@bdg)Yu†;¨c¨„Rƒ/Oo˜[ToNdNUTuw@g0.ŸTrp 1/ackck1niX

gj_d`LXp@f;kcXpbPObd`;acgh;NdO;_jXtgdgdOSN¨”`;XacbdXNjTbPayOSrgdhiTS_jX,TgdgPO;_jaœTbdXupacbd`} Yacg ( "LYE+*,*„;YToripWaybP`};ƒ

( "4Yu†+*,*„Rƒ/bdOXrLgdf;NPXbd`;X/Or;XN²¦²_jOSV)h;fLbdX8okyO;_Tok¦ENPaybPX,NdfLkyXS¨ 5ŽkyXtV)Xr@b 1 E„Rƒ ^aykck6NdXTSp . E„S„ ^n;f;b

bP`;acgacgTkckcO;_TbPXp,OSrqhLNdO;_jXgPgdORN„L¨+bLf;NdbP`;XNdVWORNPX . E„S„ 6Vf;gPb¯nXNdacbPbdXrWniXj˜DORNdXacb1acgNdXuTRp/n@w01¤„Rƒ

ToripŸ`;Xri_eXbP`;XNPX)acgqTrŸacr@bdXNPh;NdO;_jXgPgdOSN)p@XhXrip@Xr_jXNdXu«RfLayNPacr;Qgdw@ri_P`;NPORr;acšTobdacORr6¨B©¤r¥bd`;XWgdX_eORrip

_TogdX,TNPNUTuwXkcXVWXr@bdgY†L¨y¨„SƒOo˜ .Torip 1[aykckgdbPaykckniX^gU_P`;Xpxf;kcXpbdO/h;NPOx_eXgdgPORN ƒLmRnLf;bbd`;X^acbdXNjTbdacOSr

gPhiTR_jXtgTgPgdO;_jaœTbPXpžacbd`›XuTR_P`£gdbUTobdXVWXr@b)TNPX«Sf;acbdXp@a·BXNdXr@bu¨”`;XacbdXNjTbPayOSr›gPhiTR_jXTogdgdO;_jaœTobdXp

acbd`)} YacggPbdackck ( ";YE+*,*„;Y­n;f;baybP`)};ƒ (!"R„Rƒ *&*ˆ@†bdO€Xr;gdfLNdXbd`;X^Or;XN²¦²_jOSV)h;fLbdX8okyO;_Tok¦ENPaybPXNPf;kcXR¨

51kcXVWXr@bdgO˜ 1jY† *&*„Sƒ 6ackykTR__jXtgdgbP`;X _eORNdNPXgdhORrp@acr;QXkcXV)Xtr–bPgOo˜ .¨–TokykO˜4`La_P`)ToNdXkcOx_tTk¤mRTrp

`;Xtri_jX/bd`;XNPX,acgr;O/ayr@bPXN¤¦¤h;NdO;_jXtgdgdOSN,p@XhXrip@Xr_jXORNgPw–r_d`LNdORrLayšuTbdacOSr4¨

”`LXJ_jNdf_jaœTkhiOSacr–bacgW`;O p;TbjTŸacg)VToh;hXpžbdO›hLNdO;_jXgPgdORNPgm^NUTobd`;XNbP`iTr&bP`;XJp@XthiXrp@Xri_jX

p@acgPbUTr_jXR¨‘K­ORbP` .¥Trip 1acržbd`;XgdXu_jORrip XjviTV)hLkyXgP`iTNPXbd`;XgUToV)XWNdXj˜8XtNdXri_eX¬Torip›TogqbP`;Xw—ToNdX

VTh;hXpžbdOŸh;NdO;_jXtgdgdOSNdgacržbd`;XgjTVWX)VTor;r;XN/bd`LXNdX¥TNPXrLO¥r;ORr@¦¤kcO;_TkVWXV)OSNdwNPXj˜8XNPXri_jXgu¨\

p@XthiXrp@Xri_jXWacg QSfiTNjTr@bdXtXpbdOnXqacr@bdXtNdriTok4a˜bd`LXqNPXTRpŸTR__eXgdg,`TgbP`;X/gUTVWX,V)XtV)ORNPwqNPXj˜8XNPXri_jX

Tog bP`;X,NPaybPXqacrbd`TbgPbUTobdXVWXr@bmNdXQ@TNjp@kcXgdgO˜bd`;XqpxXhiXtrip@Xri_eX)b¤w@hiX/ORNp@acgdbjTri_jXS¨i”`Layg_TrniX

NPXkœTuv;XpayrbP`;X°_tTgdX/O˜ƒORNVWORNPXpxayVWXr;gPayOSrToNdNUTuw@gumi`LXNdX/ORr;kcwWbd`;X/hiTNPbdacbdacOSr;Xpacrip@aœ_jXtg`iTuªSX

bPO`iTuªRX^bd`;XgUToV)X^V)XVWORNdw€NdXj˜8XtNdXri_eXR¨©¤rnORbP`_TgPXgmL`;OXtªRXNkcO@ORhp@acgdbdNPacn;f;bdacOSr_jOSf;kœpnX fLgdXp

bPONdXVWOªRXgPw@ri_P`;NdOSr;acšTbPayOSrOx_t_jf;NdNPacr;QacrbP`;XV)aœp;p@kcXOo˜ŽbP`;XkcO–OSh;g¨

‘N

P') Š^P5! T&V

 OSgdbOo˜ bd`LX)h;NPXª@ayOSf;gbdXu_d`Lr;aœ«RfLXg)p@OŸr;ORbVT3RXTr@w›TogdgdfLV)h;bPayOSr¥ORržbd`;XhiToNdbdacbPayOSr;acr;QOo˜bd`;X

acbdXtNUTbPacORr,gPhiTR_jXORN1p;TbjTgPhiTR_jXTR_eNdORgPg4h;NPO;_jXgdgPORNPgmo˜8f;NdbP`;XNPV)ORNPXT˜DORN73Trip­{jORacrV)O;p@Xkacg6QRXr;XtNUTkckcw

TogdgdfLV)Xp 0cYRYmƒ;muˆ–Š@mSƒ;YmƒR„Ž2²¨}@OSV)X1NdXtgdXToNU_P`;Xgum@aybP`;acr,bd`Layg6˜8NjTVWXOSN73Bm`TuªRXf;gPXp3@ackyk@TriTokcw–gPacg4bdO

NPXV)OªSX_eOªRXNPXpp@XhXripxXri_jXgum4hTNdbPaœ_jf;kœTNPkywacr¡^O–TS_jNdOSgdgkcO@ORh;gum;gdO)TogbdONPXp@fi_jX/bd`LX,r@f;VniXtNOo˜

gPw–r_d`LNdORrLayšuTbdacOSr;g¨ aœp3@a¶·XbTk¤¨60ƒ;Ym;ƒS„24`iTuªSXTSp;p@NPXgdgPXpbP`;Xh;NdOSn;kcXVµO˜¯NPXV)Oª@acr;Q,NPXp@f;rp;Tr@b

p;TobUTp@XhXripxXri_jX^bdOkcayVWacbibP`;Xr@f;VnXN6O˜igPw–r_d`LNdORrLayšuTbdacOSrqhORacr@bdgu¨\&p;TobUTp@XhXripxXri_jX^ayg1gjTaœpbdO

nXqNPXp@f;rp;Tr@ba˜Žacb^ayg '@ ',n@wTrLORbd`LXNgdw@ri_P`;NdOSr;acšXpŸp@XhXrip@Xtri_jXR¨ŠG&acbd`;acrkcO@ORh;gumiTgPgdf;VWacr;Q

bP`;XNdXacg/ORr;kcwJ_jOSr;gdbjTr@bp@XhXrip@Xr_jX¬pxaygPbUTori_jXgTrip r;OJ_jOSrip@acbdacOSriTknLNUTr_d`LXgm1bP`;X)h;NPORn;kcXV Oo˜

³irp@acr;Q)T,VWacr;acVf;V:gdXb^O˜p@XhXrip@Xr_jX`iTgnXgd`;OrbPOniX =M¯¦C^TNUp‹0ƒSƒ2d¨

MŽNdORQSNUToV bdNjTr;g²˜8ORNPVTbPacORr;g/bdO¥XkcacV)acriTobdXOSN)p@X_jNPXTgPXJbP`;XJ_jOSgdb)Oo˜ gPw–r_d`LNdORrLayšuTbdacOSr;g)acr;gPapxX

hiToNUTokykcXkTrp¥p@O–TS_jNdOSgdgkcO@ORh;g,`TuªRX)TkcgPOniXtXr£h;NdOShiOSgdXp 0yYSYRm1ƒ@m4ˆ@Š;m1„ˆm¯ƒLYm¯ƒS„2d¨B”`;XWh;NdOSQRNUToV

bPNUTrLg¤˜8OSNdVTobdacORrLgBf;gdXp€TNdX­kyO@OShpxaygPbdNPaynLf;bdacORr6mkcO@ORh^˜8f;gPayOSr,TripkcO@ORh,TokyacQSr;V)Xr@bu¨ O–OSh,p@acgdbdNPacn;f;bdacOSr

acg)fLgdXp£bPO¥V)OªSXTŸgdw@ri_P`;NPORr;acšTobdacORr£acr&TŸhiTNjTkckcXkkcO@ORhžniXtb¤XXtr bP`;XhiToNUTkckcXkkcO@ORh£NdXtgdf;kcbdacr;Q

˜8NPORV bP`;XJp@acgPbdNdacn;fLbdacORr4¨ O@ORh¥˜Df;gdacORržacgf;gdXp bdO¥acri_jNPXTgPXQRNjTr@f;kœTNPayb¤w¥Trp›bPO¥NdXpxfi_jXhiToNUTokykcXk

kcO@ORh¥_jNdXuTbdacOSr¥OªRXNP`;XTRp ¨ O–OSh¬TokcayQSr;V)Xtr–b_tTr›_jOSr–ªSXNdb€kyO@OSh¬_ToNdNPayXup¥p@XhXrip@Xr_jXg)acr@bdOTkcO@ORh

acrip@XthiXrp@Xr@bp@XhXrip@Xtri_jXgu¨i”1O,XevxbPXripWbd`LXkcO@ORhTkcacQRr;VWXr@bŽToh;h;kcaœ_TnLaykcacb¤wacb_TrTkcgdOnX,_jORf;hLkyXup

243Š5246

(12)

acbd`gPbUTbPXV)Xtr–b^NdXhLkyaœ_TobdacORrLg0/;bP`;X,h;NPORn;kcXVµacgbd`;Xtr=M6¦7CToNUp`LXrV)acr;acVacšacr;Qbd`LXqTVWORf;r@bOo˜

NPXh;kcaœ_TbPayOSr_jO;p@X+0ƒ2d¨

^f;acr;rXbTok¤¨60„oˆ24`iTuªRXh;NPORhORgPXpT€QRNdXtXp@wTkcQROSNdacbd`LV bPOV)acr;acVacšXbd`;X,r@f;VnXNO˜1gdw@ri_P`;NdOo¦

r;acšTobdacORrŸacr¬TWniTogdaœ_/n;kcO;_43´¨”`;X)TokcQRORNPacbd`;V™acg,niTogdXpŸOSr³rip@acr;QimL˜8OSN,TgdXb€O˜ayr@bPXNdªRTokyg,p@Xe³ir;Xp

n@wbd`LX gPacr3)TripgdOSf;NU_jX€O˜4bd`LXpxXhiXtrip@Xri_eayXtgmbd`;XVWayrLayV/f;V:r@f;VnXNOo˜¯hORacr@bdggdfi_P`bd`iTobXtªRXNPw

acr@bdXNPªRTkcggPhiTr;gTb­kyXuTgdb­ORr;X^hiOSayr@bu¨”`;acgh;NPORn;kcXV"TggP`;OrbdO,nXhORkcw@r;OSV)aœTk0¶YE42d¨”`;X^QRkcORniTok

TokyQSORNPaybP`;VJmx˜8NdOSV^f;acr;r¥XbTk¤¨I0„ˆ2dm4TSp;p@g,gPw–r_d`LNdORrLayšuTbdacOSr¥bdOkcO@ORh;gumBQROSacr;QORf;b¤TNjp˜8NPORV bd`;X

acr;r;XtNdV)OSgdbkcO–OSh4m@bd`LXrf;gPXgbP`;XniTgPa_^n;kcO;_43TokyQSORNPaybP`;V"bdObPNdXTobbd`;X,NPXVToacr;acr;Qqp@XhXripxXri_jacXgu¨

”`LXOSN73,h;NPXgdXtr–bPXpacr/bd`;acghThXNQRO@Xg­niXwSORrip€Xjv;acgdbPayrLQ NPXgdXuTNU_P`n@w,Xjv;h;kcORacbPayrLQbd`LXh;NdOShiXN²¦

bPayXtgO˜1bd`;X,};M­ ¡:Xjv;X_ef;bdacORrVWOxpxXk¤¨–|OSf;h;kcXpWacbd`_eORV)hLaykcXbPayVWXJ3@r;OkcXp@QSXOo˜¯bd`LX,h;NdOSQRNjTV g

hiToNdbPaybPacORracbacghiOSgdgPaynLkyX€bdOpxXbdXNPV)acr;XqpxXhiXtrip@Xri_eXg,bd`Tb pxO)r;OSbNdX«Sf;acNdX/gdw@ri_P`;NPORr;acšTobdacORr6¨bLf;N¤¦

bP`;XNdVWORNPXn–w€f;gdacr;QqT^VWXbd`;O;p 8niTogdXp/OSr)T^VTuv;acVTuk@_jf;bTokcQRORNPacbd`;V gdw@ri_P`;NdOSr;acšTbPacORr)TNPXh;kœTR_jXup

gPO,bdO,VWacr;acVayštX¯NPf;r@bdacV)XOªRXtNd`;XTSpB¨S©¤rbd`;Xr;Xevxb­gdX_jbPacORr)bP`;Xacr@bdf;acbdacªSXaœp@XTogp@Xgj_jNdacnXpTnOªRXackyk

nXXjv;hiTrp@XpŸf;hORrJTorip§˜8ORNPVTkcacšXpWbPOQSacªRXqTor¬TokyQSORNPaybP`;Vµ`;aœ_d`Ÿ`;Xkch;gNPXp@fi_jXWbd`;X/r@f;VnXNOo˜

gPw–r_d`LNdORrLayšuTbdacOSr;gacrT/hLNdORQSNUToV`;XrkcO@ORh)OSNp;TbjT/gU_P`;Xpxf;kcayrLQaygfLgdXpB¨

+/q z

”`;X€OªRXNjTkck´_eORV)hLaykcXNTkcQSORNdacbP`;VJmbPOqNPXp@fi_eXqgPw–r_d`LNdORrLayšuTbdacOSr4m;_TrnX,Xjv;h;NPXgdgPXpacrT/gdacV)h;kca³iXp

VTr;r;XtNzTog˜8ORkckcOg"

YR¨wb;OSNdV•_eORV)hLkyXtbdX,p@XhXrip@Xtri_jX/QRNUToh;`O˜1h;NdOSQRNUToV

ƒ;¨|ORVWh;f;bdXTNPNUTuw8kcO@ORhWhiTNPbdacbdacORrTripgU_P`;Xpxf;kcXR¨

„;¨ TN43TggjTbPayg²³iXpTokck¯p@XhXripxXri_jXg 3–rLOrr;ORbbPO_jNPORgPgT/hLNdO;_jXgPgdORN€niOSf;rip;ToNdwniTgPXpOSr

gU_P`;Xpxf;kcayrLQayrx˜8ORNPVTbPacORr4¨

ˆi¨®gPXqT,VTuv;acV)Tk;_jf;bTokcQRORNPacbd`;V"bdOp@XbPXNdVWacr;XbP`;XniXgPbh;kœTS_jXbdO/QRkcORniTokckyw€h;kœTR_jXgdw@ri_P`;NPORr;a¦

šTbPacORrhiOSacr–bPgzTorip 3@aykck4_jOªSXNdXuppxXhiXtrip@Xri_eXg¨

}xbdXh£Y/ayg,TWniTogdaœ_,NPX«Sf;acNdXVWXr@bO˜Vfi_P`J_eORV)hLaykcXNToriTkcw@gdacgu¨G¥X/NdXu«RfLayNPX)TR__ef;NUTobdX)p;TobUTp@Xj¦

hXrip@Xtri_jX,acr@˜8OSNdVTbdacOSr,bdO,NPXp@fi_eX bP`;Xr@f;VnXNOo˜4gdh;fLNdacORf;gp@XhXripxXri_jXgbPO,niX_jORrLgdaœp@XNPXp Trp

_jOSr@bdNdOSk O acr@˜DORNdVTbPayOSraygr;XtXp@Xpžn@wgdbPXh›ˆbdOJTS__jf;NjTbdXtkywŸh;kœTR_eX)niToNdNdacXNPg¨1}@bdXth›ƒacg,NdX«Sf;a¦

NPXp£bdO¥p@XbPXNdVWacr;Xbd`;XkcO;_TbPayOSr¥O˜bd`;XgPORf;Nj_jXJTorip¥gPayr3¥O˜pxXhiXtrip@Xri_eXg¨”`LXXevLTS_jb˜DORNdV Oo˜

bP`;Xp;TbjT+8kcO@ORhŸhiToNdbdacbPayOSr8gj_P`;Xp@f;kcXp@XhXrip@gWORr›VTr@wJ_jNPacbdXNPaTacri_jkcfip@acr;QhiTNjTkckcXkcaygPVJmLkyO;_Tokcayb¤w

ToripkcO–TSp,nTkœTri_eXTgXkckiToggPw@ri_P`;NdOSr;acšTbPayOSr4¨”`;Xp@XbPXNdVWayrTbdacOSrqOo˜4bd`;X^hiTNPbdacbdacORr8gU_P`;Xup@f;kcXacgm

`;OXªSXNmLniXwSORripWbP`;X,gU_eORhX,O˜1bd`;acghiTohiXNu¨

}xbdXh£„p@Xgj_jNdacnXg)bP`;X³iNPgdb_jORr@bPNdacn;f;bPayOSr›Oo˜bd`;acg,hiTohiXtN¨ K­w¥f;gdacr;Qacr@˜DORNdVTbPayOSr˜8NPORV gdbPXh;g

Y)Torip¥ƒp@XhXrip@Xtri_jXg_Tr¥nX)VTN73SXpTog,gUTobdacg¤³iXup¥a˜zbP`;Xw¥TNPX 3–rLOr¥r;ORbbdOŸ_jNdOSgdg/h;NdO;_jXgPgdOSN

nORf;rp;TNPayXtg¨@}@bdXhWˆqp@Xgj_jNdacnXgbd`LXgdXu_jORripW_jORr@bPNdacn;f;bPayOSrO˜Bbd`;acghThXN¨:^ri_jXTkck;gPw–r_d`LNdORrLayšuTbdacOSr

6

j6‚lf7i~fojƒfI€+i~fSjqe+f6vJf4p@s‡d9f4ij“*“

‹€lSg7hvw‚nFyxfl€+i~f7isoLsz€+jhvJs*jnxg6ts@j~sI‚+sljqnxjnxhonFo+pIi~g~e+fvJf6s@iŠtf7i~gl~nF|9f4t nFo’@•

Š

o‘’“@”•

(13)

acrip@f_jacr;Q,p@XhXrip@Xr_jXg ToNdXp@XbPXNdVWayrLXp/bd`;XVWacr;acVqf;V r–fLVniXN6O˜BniTNPNdacXNPggd`;OSf;kœp,nXacr;gdXtNdbdXupgdO

TogbdO/gUTbPacg¤˜8wbP`;XVJ¨S”`;Xr@f;VnXNO˜1niTNPNdacXNPgayr_jf;NdNPXpTobNPf;r@¦¤bdacV)Xackck´pxXhiXtripWORr)bP`;X,_jORr@bPNdORk¦

iO£Oo˜4bd`;Xh;NPORQSNUTVŸ¨u©¤rhiTNPbdaœ_jf;kœTNumRhLkTS_jacr;QniTNPNdacXNPgacr;gPapxXkyO@OSh;ggd`LORf;kœp€niXTuªRORaœp@XupB¨”`;acggPbdXh

f;gPXg T/`LXf;NdacgPbdaœ_,TkcQSORNdacbP`;V"bdO)TR_P`;acXªSXbd`;acg¨

\^gbd`;Xw¥TNPXniXtwRORrpbP`;XgU_jOShiXOo˜zbP`;acghiThXN,gPbdXh;gYTripŸƒTNPXqr;OSb^˜8f;NdbP`;XNqpxXgU_jNPacniXp acr

bP`;acgqgPX_jbdacOSr4¨1\˜8bPXN/gdORVWXqacr;acbPaTokp@Xj³r;acbdacORr;gum4gPX_jbPayOSr›ˆ¨yYp@XtgU_jNPaynXgTbdX_P`;rLa«Sf;XbPOJp@XbPXNdVWayrLX

`;Xtbd`;XN/T)p@XhXripxXri_jXWNdX«Sf;acNdXtg,gdw@ri_P`;NPORr;acšTobdacORr4mL`;ackcX,gdX_ebdacORrŸˆi¨ƒ;¨p@Xgj_jNdacnXgqbP`;X/h;kœTR_jXVWXr@b

Oo˜ŽnTNdNPacXNdgbPOgUTbPacg¤˜8wWbd`;OSgdX,p@XhXrip@Xtri_jXgu¨

”`LXkyO@OSh;gacr)T;bS:~1”~\;=£h;NPORQRNjTV gdf;NPNdORfLrip@acr;QqTor–w/gdbjTbPXV)Xr@b_tTrnXNdXth;NdXgPXr@bdXpTgTor

Y^ªRXu_jbdOSN`;XNPX acgbd`;Xr@f;VnXNO˜1kcO–OSh;gORNacbdXNjTbPORNdgu¨

D8½

' 0

?

** * 2 UY

( ' ~X'acbPXNUTobdORNPg@) @ ()9,77'* '*Š' -x)' ~X (+' Ž'* (--Œ', ' 8u¹@»

‘;D½£ 1‘i’o¹ ,_'@7', *

©¤rŸbd`LXXjviTV)hLkyX/acr³QRf;NPXYRmBbP`;XacbdXNjTbdOSNdg£gdfLNdNdOSf;rip@acr;Qbd`;X/³iNPgdbqTogdgPayQSr;V)Xtr–bgPbUTbPXV)Xtr–b

ToNdXqTog 0 2

D8½ ¾4‘L‘W¹!d¹@¹ ’¹#"$&% J '_,>( (' @7'‡ '*)'* '*'‡7 *(-Œ J( L( @ ('&

+ ,"$-%.;'0/ B '1)'* '*'2' ~9 77'@ '*43

bLORNXjviTVWh;kcX

GY ­acgTp;TbjT,NPXj˜8XNPXri_jX/bdObP`;XqToNdNUTuw

D8½5 ;/‘i’S’¹;u6!"’8½7%D,_'7'* @>q' a' * '@-'@ '@X +' ',' ~9" ,+7

'1)'* '*'

bLNdXu«RfLXr@bdkcw TR_t_jXgdg§˜8f;ri_jbPacORr;gTNPX¬T *)r;X˜8f;ri_jbPacORr;gWO˜bd`;XŸXri_jkcOSgdacr;Q£acbdXNjTbdacOSr&gdhiTS_jXR¨JbLORN

XjviToV)h;kcXbd`LX§TS__jXgPg˜8fLri_jbdacOSr›O˜bP`;XNdXj˜DXNdXr_jXJ®D© /YRm8._Tor›nXNdXh;NPXgdXtr–bPXp&Tog9%): /`LXNdX

% ; acg7<

Š Y

Y Š=

< =

><

Y

Š?=

D8½7@A ¾6‘;‘Ÿ¾4¹ ¹ ¾6¹ Ž’o¹9BB* r)-Œ'C);~X'D)-q-Œ'&E)( @F

B)' HG&IJK"LM$ G(,/ 3ON .NPIJQN 3,N .RN ( NPS%K$

'I'@ '(G&IJK"L$ G(,/D,+' @T7';~X' ,+7 '1)'@ '@' U)( @ ~X' ,_''*,+'*' '6'I*) Lq

77'@ '@X3ON .RNPIJQN 3ON .RN ( ' X'zr4 '*-x VNPS %W$",~Ž' ;'X) @ C);~X',+''@,_'@'+YL)_)_[Z

\ ' ( >Xr4

243Š5246

(14)

wN4M P6^PSVR ]7[J]4[" P PŠ["!JPŠ[J`6PŠ\%"Š^ T TI^

P(J]4VP #‘WJ[a`&%JVT&[J]

^]4T [

¡^XbPXNdVWayrLayrLQbd`;Xp@XhXrip@Xtri_jXgbd`Tbq_Tof;gdXacr@bdXN²¦EhLNdO;_jXgPgdORNWgdw@ri_P`;NPORr;acšTobdacORr›p@XthiXrp@g)OSr¥`;O

bP`;Xh;NdOSQRNUToV acgVThLhiXp€bdO/bd`LXVTS_P`;acr;XR¨©D˜4bP`;XgPORf;Nj_jX,Trip/bP`;XgPayr3)TNdX^VToh;hiXup,bPOqh;NPO;_jXgdgPORNPg

%—Trp %JbP`;Xr&a˜' S gdw@ri_P`;NdOSr;acšTbPacORr&acgr;XXup@XpB¨©D˜ ' S bd`;Xtr&bd`;XŸp@XhXrip@Xr_jX¥ackyk

nXgUTbPacg¤³iXpžn@w¥gdXu«RfLXri_jacr;Q¨¡^XbdXtNdV)acr;acr;Q`;Xbd`LXN)ThLayXu_jXO˜ pLTbUTacg°TS__jXgPgdXp n@w›TfLr;aœ«RfLX

h;NPO;_jXgdgPORN/acg NPXkœTbPayªSXkcwgdbdNjTacQR`@b²˜8ORNPzToNUp?' TkcO–OShr;XgPbqTgackckcf;gdbPNUTbPXpayrgdX_jbPacORr›ƒ&/BTS_jNdOSgdg

`;OSkcXh;NPORQRNjTVWgmubd`;Xh;NPO;_jXgdgacggPkcayQS`@bdkcwqVWORNPXacr@ªROSkyªSXpB¨©¤rbP`;XQRXrLXNUTok´_TogdX^˜8OSNXTR_P`Wh;NdO;_jXgPgdOSN

acbacg rLX_jXgPgUTNPw¥bdOp@XbPXNdVWacr;XqbP`;X)TNPNUTuwgPX_jbPayOSr;g,Oo˜bd`;XgPORf;Nj_jXToripgdacr3TripŸp@XbPXNdVWacr;XqbP`;XacN

X«SfiTokcayb¤w@¨b;OSNdbdfLriTbPXkcw–m@gPayVWh;kcXNTripVfi_P`)kcXgdg^Xjv;hiXtr;gdacªRX€V)XbP`;O;p@gz_tTrniX€f;gdXp ¨

©D˜4Tp@XhXrip@Xtri_jX,acr@ªROSkyªSXg¯Th;NdacªRTbPXªRToNdaœTnLkyXSmbP`;XrnORbP`)TR__jXtgdgdXtg TNPXkcOx_tTk@n@w°p@Xe³ir;acbdacORrTrp

`;Xtri_jXbd`LXNdX/acgr;O)_jNPORgPg¤¦¤h;NdO;_jXgPgdOSN°p@XthiXrp@Xri_jXWNdX«Sf;acNPayrLQgdw@ri_P`;NdOSr;acšTbPacORr4¨©¤bacgTogdgdfLV)XpbP`iTb

TokykgU_tTkœTNPgzToNdXhLNdacªRTbPaygPXpBmSgdO/bd`;X^NdXVTacrip@XtNOo˜4bd`;acggdX_jbPacORr)acg_jORr_jXNdrLXpWaybP`TS__jXgPgbdO/gd`iToNdXp

ToNdNUTuw@gu¨

|OSr;gdaœp@XtNb¤O)p;TbjT/NdXj˜8XtNdXri_eXgm1T C%)

ToripT : mLbdOT/gP`iTNPXpŸTNdNjTuw .m;`La_P`W˜8OSNdVµbd`;X

gPORf;Nj_jX Torip,gPacr3,O˜BT pxXhiXtrip@Xri_eXR¨

TrpToNdXªSX_jbdOSNdgNPXh;NPXgdXr@bPayrLQqbP`;XXtri_jkcORgPayrLQ acbPXNUTobdORNPgTrp

%¥ToripTNPXqTR_t_jXgdg˜8f;ri_jbPacORr;gu¨ BXtb %OqnX/bd`;X,gPXbOo˜ªRTkcf;Xg^O˜bd`;X˜8f;ri_jbPacORr7%6mgdO % )Trp

; +°TNPXqbP`;X,gPXbO˜TNPNUTuwXkcXV)Xtr–bPg`;ORgPXqªRTokcf;XgkcacX,niXtb¤XXtrJbP`;X,kcOXtN Trpf;h;hXNnORfLrip@g

Oo˜­ToNdNjTuw .i¨

D8½ Š'!,8½4’o‘ , D¹@‘;8½J 1‘i’¹ )L ' *( % w~X' 'z C)a'* Žr~L )L-Œ

' E X'* 1)( @ ',*~X ' Š';-Œ-67'* 7 L ' ,+'*7',*' Ž'z( (,~X'

,D½4’‘ , D¹@‘;8½› ¯‘’¹< ,_'@7', *

D8½ ; +' < @ ).VZ : Ž'* '@X3 "" ,Dº¹!d¹–¹ ’¹;¾ *

' %

) (,(-x )E) >(-- Ž(-x)' C)2

- ' %

+' ' @ '*-Œ'* '@

;

C)>( @ ( . 77'* '*X3

®[gdacr;Q/bd`;acgh;NPORhXNdb¤wacbacghORgPgdacn;kcXbdO)p@XtbdXNPV)acr;X,T_jNdacbPXNdaœT€˜8OSNkcO;_Tk4pxXhiXtrip@Xri_eX

1¹@½¹. >Š'@ 'aJ z ' @) ', )E% a "" ,8º¹!d¹@¹ Ž’o¹;¾ @ "!

' ( %#<,$ ;% * "" ,8º¹!d¹@¹ ’¹;¾ * ' %,S '&5

bLORNbd`LX,h;f;NPhiOSgdXg^O˜¯bP`;acggdX_ebdacORr4mLbd`;acg_TorniX,XevxhLNdXgPgdXpŸTgT/VWORNdX^f;gdXe˜8f;k¯_eORNdOSkckToNdw@¨

'½i½ ,,8‘;º )(1)6% " * ,8º¥¹!d¹@¹ Ž’o¹;¾ * ' *( -%D, %)

' + ; )(

(--5 -)X' >C)

'@ '@ ' ;"@ ! ' ( ,_''*,+'*'

”`Layg,_jOSNdOSkykœToNdw˜8OSNdVWgbd`LX)_jNdacbdXtNdaœT˜8ORN,p@XbPXNdVWacr;acr;Qgdw@ri_P`;NdOSr;acšTbPacORrŸhiOSayr@bPg˜DORNniOSbd`¥gj_d`LXj¦

p@fLkyacr;QbdX_P`;r;aœ«Sf;Xgu¨”`;XNPX«Sf;acNdXVWXr@b˜8ORN/X«SfiTokyacb¤w %

' : +§_tTr›nXNdXkœT vxXupB¨ %

VTuwqnXqT€gdf;n;gPXbO˜ + : qTgkcOSr;Q°Tog, : acgf;rLa«Sf;XtkywWNdXj˜DXNdXr_jXpŸTripWª@aœ_jXj¦¤ªRXNPgUT;¨L”`;acgkcXTRp@g

bPOJb¤OJ_jNPaybPXNdaœTXacbd`;XtNqOo˜`;aœ_d`žVf;gdb`;OSkœp˜8ORNqTŸp@XhXripxXri_jXbPOnXkcO;_TokTrip r;ORb€NdX«Sf;acNdacr;Q

gPw–r_d`LNdORrLayšuTbdacOSr4¨

- de+fŠkx€o+g7jqnxho+i/.†10 slfŠo+h@jlf7i~jl~nxg7j~f7t‡jh‡s 2‡o+fIhl6lrs*jnxho+szykŒhl~vJiS„

Š

o‘’“@”•

(15)

8u¹@

% + + ;

;% + : ' S ' S

8u¹@ “ % + + ; 8ˆ.

% % ' S & ' S -

|NPacbdXNPayOSrJYgPbUTobdXg^bd`iTobmo˜8ORNXªRXtNdw)hLNdO;_jXgPgdORNumbd`;XTNdNjTuwXkcXV)Xtr–bPgzTS__jXgPgdXpn@wqbP`;XgdOSf;NU_jXOo˜

bP`;X,p@XhXrip@Xr_jXqTNPX,Tgdf;nx¦EgPXbO˜1bd`;X^gdacr3XkcXVWXr@bdgToripbP`;XNdX,ToNdXr;O,b¤OqhLNdO;_jXgPgdORNPg TS__jXgPgdacr;Q

bP`;XqgjTVWX gPacr3XkcXV)Xr@bPg¨i|NPacbdXNPayOSrJƒ/`iTog TgPacV)ackœTNacr@bdXNPh;NdXtbUTbPacORrŸayrbP`iTb^bd`;XqToNdNjTuwXtkyXtV)Xr@bdg

TS__jXgPgdXp n–wbd`;X/gdacr3Oo˜bd`LX°p@XthiXrp@Xri_jXTNPX)TgdfLn@¦EgPXb,Oo˜bd`;X/gdOSf;NU_eXXkcXV)Xr@bPgToripbP`;XNdX)ToNdX

r;Ob¤O/h;NdO;_jXgPgdOSNdgqTS__jXgPgdacr;Q)bP`;XgUToV)XgPORf;Nj_jX,XkcXVWXr@b¨

511 ½B½ ’1¹;¾ ,

”`;acggPX_jbPayOSr)p@XªSXkcORh;gb¤Of;gdXe˜8f;k;bP`;XORNPXV)g­`;aœ_d`TkckcO¥bd`LXNdXVWOªRTkROo˜´gPw@ri_P`;NdOSr;acšTbPayOSrqhORacr@bdg

`;Xtrf;gdacr;Q r^gU_P`;Xpxf;kcayrLQi¨G&`;Xtrgj_P`;Xp@f;kcacr;QacbdXtNUTbPacORr;gbPOqh;NPO;_jXgdgPORNPg acbacgTgdgPf;V)Xup)bP`iTb

r;OacbPXNUTobdORNacggj_d`LXp@f;kcXpbPOV)OSNdXbP`iTrOSr;Xh;NdO;_jXgPgdOSNa¤¨XR¨

G&LK$J*$

' S & ' S rE

\ *)r;acb¤w,gU_P`;Xup@f;kcacr;Qq`Tgbd`;X^h;NdOShiXNPb¤w)bP`iTbacbackykLQRfiToNUTr@bPXXbP`;XgjTV)XkcO;_TokiacbdXtNUTbPacORrgdhTR_jX

˜8OSNgdOSf;NU_jXTrp)gPacr3)a˜bd`;X€Xri_jkcORgPacr;QacbdXNjTbdacOSrgPhiTR_eXg,TNdXaœp@Xr@bPa_tTk¯ToripWbd`;X€kyO@OSh;gO˜bd`LX,gUToV)X

b¤w@hX,a¤¨XS¨@hiTNjTkckcXkiOSNr;ORbu¨;©D˜1bd`;X,b¤O/kyO@OShTNPXgU_P`;Xp@fLkyXupf;gPacr;Q°T *)r;acb¤wbd`;Xtr "

' !1II%NPS%K$-

'1II%QNPS %K$-; '

”`LX˜DORkckcOayrLQ b¤O/bd`;XOSNdXVWgzToNdXf;gPXpbdO/h;NPXªRXr@b^gdw@ri_P`;NdOSr;acšacr;Qp@XhXrip@Xr_jXg,acr)b¤O_jORV¦

VWORr;kcw/Ox_t_jf;NdNPacr;Q)acr;gPbUTr_jXg¨

1¹@½¹. U,_7B,_' '@,+'*'Zw-Œ ,+' '@,_'@XZJ*) @ @' ~9';! (--S- -'

~X'* ' LB'', ) @z9 ((&

bLORNXjviToV)h;kcX,bP`;XNdXWacg rLOrLXXpŸ˜DORN,Tr@wgPw–r_d`LNdORrLayšuTbdacOSr¥ayrŸh;NPORQRNjTV ET ^acr³iQRf;NPX)ƒ;¨B”`Layg

acg,TXkckI3–rLOrJh;NPORhXNdb¤wŸTripacgaœp@Xkcwf;gdXupB¨B”`;XTR__eXgdg€˜8f;ri_ebdacORr;gVf;gPbniXnLa{eX_jbdacªSX,ORbP`;XN

acgdX/b¤Op@acgdbPacri_jbkcO@ORhacbdXtNUTbPacORr;g_jORf;kœpNPXj˜8XN€bdO)bP`;X,gjTV)X/TNdNjTuwXkcXV)Xr@bTorip`;Xr_jXbd`;X/kcO@ORh

ORf;kœpWr;OSbnXqT¡^O–TokykkcO@ORh4¨@”`;Xr;Xevxb^bd`;XtORNdXtV TokykcOgp@XhXrip@Xtri_jXg,O;__ef;NdNPayrLQTR_eNdORgPgkcO–OSh;gbdO

nX,XjviTVWacr;XpB¨

1¹@½¹. 5 (*) ~X'()9 ',+@#" ) <,_' '*,+'*'@) " ,$J'@ '@-Œ ' @)_ ~X'

7'* ( +' ( ' ,+'*- % ' '& Zw~X' >~X' *( ' r '+Zw'B+' ' )*)9

~X'( '(%[% '))& ,@*'z4 Ž'+Z6~X'* + ',()-x -x' w~X'* 'aJ'', )( @z9 "!

*Žr~

243Š5246

(16)

bLORNXjviTVWh;kcXacr)h;NPORQRNjTV ET O˜6³iQRf;NPX,„;mSbd`;XNPX,acgrLOqr;XtXpW˜8OSNgPw–r_d`LNdORrLayšuTbdacOSr4¨95¯vLToV)acr;acr;Q

bP`;XkcO;_TkLh;NdOSQRNUToVDn Oo˜i³QRf;NPX „Tu˜8bPXNgU_P`;Xp@fLkyacr;Q€bd`;XkcO@ORh;gumXgdXtXbd`TbbP`;XXkcXVWXr@bdg1NdacbPbdXr

acrJ}BYSmiT -;¨c¨… ToNdX,NPXTRpacrbd`;X/gdX_eORripgdbjTbdXtV)Xr@b¨”`;acgp@XthiXrp@Xri_jXWacgXr@bdacNPXkcwkcO;_Tok¯Trpp@O@Xg

r;OSbNdX«Sf;acNPXqTr@wgdw@ri_P`;NPORr;acšTobdacORr6¨

=2; 31=2

1=2

M

'

6 1=2

)* 3M

'

=2; 3=2

7* 1B

'

67* 1B

)* 3

'

! " $#"

b6acQRf;NPX°„ "4M1NPORQRNjTV™acbd`<=O}@w@ri_P`;NPORr;acšTobdacORr KXj˜DORNdX)Torip\˜8bPXN BO@OShJ};_P`;Xp@fLkyacr;Q%Dh;NdO;_jXgPgdOSN

ƒ

\^kcbd`;OSf;QR`bd`LX,b¤ObP`;XOSNdXVWgTkckcO&bd`;X€apxXr@bda³´_TobdacORrO˜VTr@wqacr@bdXtNdriTok¯p;TobUTp@XhXripxXri_jXgum

bP`;Xw ToNdXJ_jOSr;gdXtNdªRTbPacªRXacr£bd`;XtayNTriTokcw–gPacg¨1”`;XJ_eNdf@v Oo˜,bd`;XbP`;XOSNdXVWgaygWgd`;Oacr;Q %)

'

; @¨4”`Laygacgq_jXtNdbUToacr;kcwJbPNdf;XW`;Xr%' JTorip

' m6n;f;b,bP`;XNdXTNPXVTr@w_TogdXg/`;Xr

%&' §Torip

' n;fLb#%)

+ ' + : +–¨\"f;gdXe˜8f;kgj_d`LXp@f;kcacr;Q)bPX_P`;r;aœ«Sf;XORf;kœpnXRmQRacªRXtr

b¤O›p@a·´XtNdXr@bTR__eXgdgW˜8f;r_jbdacORrLg9% Torip ›bdOmgjTuw–mTor ToNdNjTuw .mp@XtbdXNPV)acr;Xbd`;XkyO;_TokacbdXNjTbdacOSr

gPhiTR_jXtgqgPfi_P`¥bd`iTob#%)

' : +–¨6b;OSNXjviTV)hLkyX€ayr§³iQRf;NPX)„;ma˜zbP`;XTR__jXtgdg/XNPX)T Da^acrJ}BY

ToripT ~3 „ 1acr°};ƒLmbd`LXrbd`;X^kcOx_tTk;acbdXtNUTbPacORr/gdhiTS_jX˜8OSN1bd`;XgPX_jORrph;NPOx_eXgdgPORNgd`LORf;kœp€niX -bPOq…[˜8ORN

bP`;X³iNPgdbkcO@ORhTrpƒbPO -[˜8ORN­bd`;XgPX_jORrpB¨@”`;acg1OSf;kœp,XrLgdf;NPX kcO;_Tokip@XhXrip@Xtri_jX,Trip/bP`;XNPXORf;kœp

nXqrLO)r;XXup˜8ORN^gdw@ri_P`;NdOSr;acšTbPacORr4¨”`;acggj_P`;Xp@f;kcacr;QWayggPayVWackToNbdOW³iNPgdb,ThLh;kcw–acr;QkcO@ORhTokyacQSr;V)Xr@b

0cYRY42TripWbP`;Xrf;gdacr;Q)T *)r;acb¤wqgj_P`;Xp@f;kcacr;Q¨

51 )‘L‘ 4’¯¹;¾ ,

¡TbjTgU_P`;Xup@f;kcacr;QJacr@ªROSkcªRXgbd`LX)VToh;h;acr;QWO˜ TNPNUTuwŸXkcXV)Xtr–bPg,bdOŸh;NPOx_eXgdgPORNdgu¨©¤r¥bP`;acgqgPX_jbdacOSr›X

ackck4_jORr_jXr@bdNjTbdX/ORrT/Xkck63@r;Or$dOr;XN²¦²_eORV)hLf;bdXgNPf;kcX &VToh;h;acr;Q¨9:^bd`LXNbPX_P`;r;aœ«Sf;XgbdOXjv@¦

h;kcOSayb­NdXp@f_jbdacORrhiToNUTokykcXkcacgdV 0ƒ -*24TripbdO/V)acr;acVacšXacr@bdNUT ¦EgPbUTobdXVWXr@bz_jOSV)Vf;rLay_TobdacORr,acr)_jOSr;gdbjTr@b

_jOSV)Vf;rLa_tTbdacOSr°p@acgPbUTr_jXh;NdOSn;kcXV)g;0cYŠ*2Ž_tTrf;bdackcacšXbP`;X,NPXgdf;kcbPgO˜1bd`;acggPX_jbdacOSr4¨

”`LX OrLXN¤¦d_jORVWh;f;bPXgVWO;p@XkBacV)h;kcacXg1bd`TbTkckBNPaybPX,TR__jXtgdgdXtg bPO°TorTNdNjTuw)TNPX bPOkcOx_tTk4p;TobUT;¨

bLf;NdbP`;XNPV)ORNPXRmSXTR_P`h;NPOx_eXgdgPORNNdacbPXgbPOqT^f;r;aœ«Sf;XhiToNdbOo˜¯Tr)TNPNUTuw,`LXr)Xjv;X_ef;bdacr;QqThiTNPbdaœ_jf;kœTN

gPbUTbPXV)Xtr–bu¨

"(NP$ C% % + % ' S ' S

©D˜acr¬TSp;p@acbdacOSr4mbd`;XNPX)acg,TWgdbUTobdaœ_p;TobUTp@acgdbPNdacn;f;bPayOSrJbP`;NdOSf;QR`LORf;bqTWgPX_jbdacOSr¥O˜bd`;Xh;NPORQSNUTVŸm

bP`;XrbP`;XgUTVWXh;NPO;_jXgdgPORNackckBNdacbdXbdObP`;XgUToV)X pLTbUT/XtkyXtV)Xr@bdgbd`LNdORfLQR`;OSf;bbd`iTobgdX_ebdacORr4¨

"(NP$-H%

"(TNP$- % +( ; +

Š

o‘’“@”•

Références

Documents relatifs

We therefore explore under which conditions clock prop- erties can be provided permanently in the presence of transient and dynamic Byzantine faults, where processes recover from

2 The quick_exit function causes normal program termination to occur. No functions registered by the atexit function :::::::: handlers : or signal handlers registered by the

We provide a formal definition of textual alignment of collective operations in a simple imperative language extended with minimal spmd constructs.. The definition relies on a

In this paper, we clearly separate the synchronous programming model from the asynchronous execution model by the way of a translation from a synchronous data-parallel

Proposition 4: Let P be a textually unaligned SMPD pro- gram and let P’ be the SPMD program obtained by performing Labelling and PC Analysis and the transformation by rewriting over

For instance, in the context of state machines, if an event occurs and if associated transitions exist on current active states, the processing of this event by the execution

Contrary to WSBPEL the characteristics of microservices support the execution of highly distributed business process models and do not require any centralized

To tackle this limitation, we propose execution-based model profil- ing as a continuous process to improve prescriptive models at design-time through runtime information