HIPPCO: A High Performance Protocol Code Optimizer

Texte intégral

(1)HIPPCO: A High Performance Protocol Code Optimizer Claude Castelluccia, Walid Dabbous. To cite this version: Claude Castelluccia, Walid Dabbous. HIPPCO: A High Performance Protocol Code Optimizer. RR2748, INRIA. 1995. �inria-00073944�. HAL Id: inria-00073944 https://hal.inria.fr/inria-00073944 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. HIPPCO: A High Performance Protocol Code Optimizer Claude Castelluccia, Walid Dabbous. N˚ 2748 Dećembre 1995. PROGRAMME 1. ISSN 0249-6399. apport de recherche.

(3)

(4)

(5) "!$#%&'()*#%+,-/.0 21$()3 456 "7 8:9<;>=@? 79BA3CD?E8F8G;@HIHEJ:9>KMLN9O8PJQ=R$9BS@STM;>A U5V3WYXIVDZE[\[^]*_a`cb"Vedfhgjie]kdDilhV3]m6n@ZEVDZEopoFqDoF]mrBs@ZIm]m"th]athWIuhu>vk]mrBV3vm]EZElw ]DimyxMmyi3qD[^]kmzt{gPmyiVgpshl)vm U|VeWE}]Di~"z ~ZEnhnWIVith]V3]kdf>]eV3df>]Nu< YI0`vdk]D[0shV3]_IYY*` Y*nZIXY]km %DIhYY fhgPm%V3]DnWIVi5nhV3]m]eu<i3m%"U6Uz"0r{ZEu^"gPXIfÛ%]eV:WIV[ ZEu)d] U5V3WIi3W<dkWIo WBt]"nh¡ igp[¢gP£]eV¤"U6U¥2s]DoFWIu>XYm|ieW¦if)]"yU6U@b~" NdkWI[\nhgpoF]DV¤"UU@b~ §gFmzZi3WBWIo)¨fhgFdf nhV3WInWYm]m¢ieW©XY]eu>]eVDZEie]ªZEli3WI[ ZEigFdZEopojx©GV3WI[if)]«ZEnhnojgPdEZEigFWIu2dkWI[\[0luhgFdZEigPWIuV3]k¬lhgpV3]D¡ [^]eu<i3maZEu)tif)]/u>]ei®¨ WIV¯df@ZEVDZIdDi3]DVgFmigFdmZEu]e°^dDgF]DuBigp[\nhoP]e[^]DuBiDZEigFWIuWIZ±dDl)myieWI[¢gP£]kt nhV3WIi3W<dWIo²¤ "yU6Uz"³gPm"if)]aoQZImimyiDZIXY]0WI5ifhgFmńhV3WIi3W<dkWIo|dkWI[\nhgpoP]eV¤®iiDZE¯]mZImgjuhnlhiZ\th]mdeVgjnhigFWIu WI%if)]nhV3WIieWBdWIoµZElhi3WI[ ZEi3WIuµr{WInhigp[\gF£]m¥gpiZEu)t¶XY]Du)]DVDZEi3]mZEu¶gp[\nhoF]D[^]eu<iDZEigPWIu\gju·%¤ "yU6Uz"¸th]kdWI[\nWYm]km@if)]5nhVeWIi3WBdWIoMZElhi3WI[ ZEi3WIu*gju*i¹¨´W"n@ZEVi3mEº>if)]6dkWI[\[^WIu$ZEu>t/lhu)dWI[\¡ [^WIun@ZEif%¤µ®i if)]Du^l)m]m¥ifhgPm t]kdWI[\nWYmgjigPWIu\i3W$ZEnhnojx Z0m]Di"WI|WInhigp[¢gP£ZEigFWIu>mi3W¨"ZEVetZ XYWBW<t¶dWBt]¦myn]]kt>»IdkW<th]mygP£k]iVDZIth]WI¼|¤ ¹u,if)]*½hV3myin@ZEVi¦WIzifhgPmV3]DnWIVirif)]dkW<th]0myn]]kt«WInhigj[\gP£EZEigPWIu)mZEV3]$t]kmdDVgps]kt¤ f)WYm] WInhigp[\gF£ZEigPWIu)mV3]t{l)d]mif)]6uBl[0s]eV|WI@]ewM]kdDlhi3]t¦gpu)myiVl)dDigFWIu>m%ZEu)t/gp[\nhV3W¾]kmif)]gpu)myiVl)dD¡ igPWIu¿dEZIdf>]ZEu)tnhgjn]Dojgpu)]0s]Df@Ze¾<gFWIVem¤À®uÁif)]^m]dkWIu>tÁn@ZEVir5ZdkWI[\n@ZEVgFmWIu'WI"UUz" ZElhi3WI[ ZEigPdEZEopopx¶XY]Du)]eVkZEi3]ktgp[\nhoF]D[^]eu<iDZEigPWIu)m´WI Ú§ZEV3]0dWI[\n@ZEV3]t¶¨"gpif«if)]/ÂÃ{³gp[\¡ nhoP]e[^]DuBiDZEigFWIuµ¤Ä]/mf)Wk¨ ifZEi"if)]*"yU6Uz"³XY]Du)]DVDZEi3]t¶dWBth]m"V3]¬OlgjV3]m lhnÀi3WÎÅÆÇoP]kmm gju>myiVl)dDigPWIu)m6if@ZEugpi3m"ÂÃ{ÈdkWIluBi3]DVn@ZEVi¤ ÉÊOËÌyÍÎ)IÏ%Ð ´WBth]aWInhigp[\gF£ZEigPWIuµrBb"lhi3WI[ ZEi3]tU5V3WIieWBdWIo%Ña]eu>]eVDZEigFWIuµr{bÒµÓ ÔFÕÖ²×®ØkÙ"Ö6ÚµÛÜ×®ÝßÞDà. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´lećopie : (33) 93 65 77 65.

(6) h2 ! 1$()e h0È00() 1^6 !0#%&.0 #%/.0 .0 1$()*#%+ <

(7) $ ]5VDZEnhnWIVi|thvkdDVgpio ZEV3dfhgpi3]kdDilhVe]5th]6"yU6Uz"rlhuWInhigp[\gFm]DlhVµ]ei|XYveu>veVDZEie]elhV t gj[\nhoGZEuBikZEigFWIu*th]5nhV3WIieWBdWIoF]mt]dWI[\[0lhuhgPdZEigFWIu%¤"yU6Uz"¿²ZEgjiµn@ZEVigP]6t{l0dWI[\nhgpoQZEi3]DlhV th]nhV3WIi3W<dkWIoP]m""yU6U@b~"´*¤> ]*dkWI[\nhgpoQZEie]elhVznhV3WInWYm]ath]aXYveu>veV3]DVZElhieWI[ZEigF¬l)]D[±]Du<ir n@ZEVigpVth]m s]mWIgju>m"th]/dWI[\[0lhuhgPdZEigFWIuÀt lhu)]aZEnhnhopgFdZEigPWIut{gPmyiVgpshl)v]]ei th]kmdZEVDZIdDi3vDVgFm¡ igP¬Ol)]m"t{lVevkm]ZEl«mWIl)m¡ }3ZIdk]Du<ir<oP]¦nV3WIi3W<dkWIoP]/mynvdegGZEopgFmvadWIVV3]mynWIu)t)ZEu<i¤¥"yU6Uz" ]myioGZ th]DVuhgPqeV3]*n@ZImm]\t{ldkWI[\nhgpoGZEi3]elV¦"U6U@b~" *¤¹ozXYvDu)qDV3] ±n@ZEVigjV*th]0oGZth]mdeVgjnhigFWIu,th] o ZElhi3WI[ ZEi3]t{lÀnhV3WIi3W<dkWIoP]Orlu)]gj[\nhoGZEuBikZEigFWIuÀWInhigp[\gFmv]]Du¸·%¤ "UUz" thvkdWI[\nWYm]¢o ZElhi3WI[ ZEi3]\th]dWI[\[0lhuhgPdZEigFWIu']eu th]elwªn@ZEVigF]m0t{gPmyigpu)dDi3]mº oF]^df)]D[\gjuQV3v¬Ol)]Du<i0]Di0oF]^df)]D[\gjuVDZEV3]O¤ "igpojgPm3ZEu<i0d]eiie]¢tvkdWI[\nWYmgjigPWIuµrlhu©]Du)m]D[0shoP] t WInhigp[¢gPm3ZEigPWIu)m\]myiZEnhnojgP¬Ol>v¶nWIlVWIshie]euhgpVôF][^]egpopoF]DlhV dkWI[\nhV3WI[\gPm±]Du<iV3]¶oGZÁ¾Bgpi3]mm] t ]ewMvkdDlhigPWIu¶]Di oGZ0iDZEgpojoP]t{ldWBth]O¤ ]0VDZEnnWIVi¦]myiamyiVl)deilhV3v/]Duth]elw¶n@ZEVigP]mºoGZ¢nhV3]D[\gFqDV3] :m]deigPWIu)m ±]Di* thvDiDZEgpojoP] oF]m6t{gp¼@veV3]Du<i3]km|WInhigp[¢gPm3ZEigPWIu)mligjopgPmvk]mnWIlhV5o ZE[^vDojgPWIVDZEigPWIu$th]zoQZ¾<gji3]mm]´t ]ewMvkdDlhigPWIu$t{l dkW<th]O¤0 ]kmaWInhigp[\gFmeZEigFWIu>mmWIuBias@ZImv]m mlhVlhu)]/V3vt{l)dDigPWIu,t{l«u)WI[0shV3]t gpu)myiVl)dDigFWIu>m ]ewMvdelhie]eVrmylhVzlhu)] [^]DgjopoF]DlhV3]´lhigpojgPm3ZEigPWIu\t{l dEZIdf)]t gpu)myiVl)deigFWIu$]Di´t{l±ngjn]Dojgpuhgpu)XM¤¦ZEu>m oF]m]kdWIu)th]*n@ZEVigP] :m]dDigFWIu,! kr>lhu)]/gp[\nhoQZEu<iDZEigPWIu,ZElhi3WI[ ZEigP¬l)]/t{lnV3WIi3W<dkWIoP] UN]kmyi thvDiDZEgjopoPvk]O¤¦Ò]m n]DV:WIV[ ZEu)d]m"th]0d]eii3]/gp[¢noQZEu<iDZEigPWIu«mWIu<i¦dWI[\n@ZEV3v]kmaZD¾]kd$d]eopoP]kmath]/oGZ ¾]eVemygFWIu Â"Ã{Èth] U|¤ "ÈÎhEDÌ$ #% , nhigp[\gFmeZEigFWIu th]adkW<th]OrhÑ¦vDu)veVkZEigFWIu ZElhi3WI[ ZEigP¬Ol>] t]nV3WIi3W<dkWIoP]kmErMbÒµÓ.

(8) ·

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

(10) 23

(11) 4). . h !a()*. $#%()! f)]\]D[±]DV3XY]Du)d]¢WIú)]D¨t{gPmyiVgpshlhie]kt«dWI[¢nlhigpu)X¶ZEnhnojgPdEZEigFWIu)m*ZEu)tWI"u)]D¨ u)]Di¹¨´WIV¯<gju>X i3]dfhu)WIoPWYXIgF]mgFmt{Vgp¾<gju)X\if)]*u)]k]tWIz[±WIVe]0myn]kdDgGZEojgP£k]tdWI[¢[lhuhgPdEZEigPWIu¶nhVeWIi3WBdWIoPm¤/Ñ¦]D¡ u)]DVDZEigpu)X0ZEu)t^gj[\nhoP]D[±]Du<igju>X if>WYm]"u)]D¨-nhVeWIi3WBdWIoPm¥[ ZEuBlZEojopx$gju ZEu¶]D°^degP]eu<i6¨"ZDx±gPm¥¾]DVx WIQi3]DuZ$dWI[¢noF]Dw ZEu)tigp[^]e¡²dWIu)mylh[\gpu)X¦ikZImy¯@¤ u)]6WInhigPWIuµrif@ZEifZIms]k]Du*]ew<i3]Du)mygp¾]eopxmyil)tMgF]tgjuaif)]5oGZImyiß]e¨x]EZEV3mErgPmi3W ZElhi3WI[ ZEi3] WIV0m]D[\gj¡®ZEli3WI[ ZEi3]/if)]0nV3WIi3W<dkWIo6th]mygPXIu©ZEu>t gp[\nhoF]D[^]eu<iDZEigPWIu«nhf@ZIm]m¤ fhgPm gPm¦l)ml@ZEojopx n]eVßWIV[^]kt^sBxÀm]eoP]deigpu)X\Z$m]DiWI5nhV3]th]D½hu)]t±[^WBtMlhoF]mrB¨"fhgPdfXY]Du)]DVDZEojopxgp[\nhoP]e[^]DuBiíf)] s@ZImygPd%nhV3WIi3W<dWIoY[±]df@ZEuhgPmy[^mrEZEu)tadWI[0shgpuhgju>X¥if)]D[gpu<i3W¥if>]½hu@ZEodWI[\[0lhuhgPdEZEigFWIuamyxMmyi3]D[ l)mygpu)X^dkWIuh½>XIlhVDZEigPWIu«i3WBWIoPmojgp¯]$b"bU 7 6ÈWI9V 8h¡:¯]DVu)]Do : Â"ÃhÃhY B<r ;Ò%YMrU¥)_ =¹¤ fhgFm ZEnhnhV3WZIdf,f@ZImif)]¢ZIt{¾ZEu<iDZIXY]$Wk¾]DV¦if)]/[ ZEuBlZEozZEnhnhV3WZIdf«i3W XY]eu)]DVDZEi3]¢Z¢[^WBtMlhoQZEVaZEu>t dkWIu½)XIlhVDZEshoP]myxMmyi3]D[¤?> Wk¨´]D¾]eVr)ifhgPmZEnhnhV3WZIdffZIm u)WIi]Du)dkWIluBi3]DV3]t±x]Diif)]amyl)ddk]mm if@ZEi"¨ZIm]ew<n]kdDi3]t¤ f)][ ZEgjuV3]ZImWIu¶gPm"if@ZEiif)][±W<t{lhoGZEVgpi¹x^WI5if>WYm]¦mx{myie]e[^m gpuBiV3WBtMl)dk]m"Z0n]DV:WIV[ ZEu)d] n]eu@ZEopi®x/WIu\if)]zXY]Du)]eVkZEi3]kt0nV3WIi3W<dkWIo<gj[\nhoP]D[±]Du<iDZEigPWIuµ¤>¹u$¹ZIdeirIif)WYm]´dkWIu½)XIlhVDZEigPWIu0i3W<WIoPm ¾]eVx\WIQi3]Du\th]eVgj¾] if)]¥gp[\nhoF]D[^]eu<iDZEigPWIu$t{gpV3]deiojx¢ZEu)t$u@ZEgj¾]Dopx0QV3WI[&if)]"myn]degp½)dZEigPWIuµ¤bm ZVe]kmylojirIif)]´XY]eu)]DVDZEi3]t0nhV3WIieWBdWIo{gp[\nhoF]D[^]eu<iDZEigPWIu/gPm5dWI[¢nWYm]t$WI@m]D¾]eVkZEoh[^WBt{loF]mif@ZEi dkWI[\[0luhgFdZEi3] ZEu)tÁgpuBie]eVDZIdDi0¾<gQZmWI[^]^¯Bgpu)t©WIgpuBie]eV¹ZIdk]m¤ f)]m]^[±W<t{lhoP]$gju<i3]DVDZIdDigFWIu [^]kdf@ZEugFmy[^m6ZEV3]´l)myl@ZEopojx*¾]eVx$dkWYmiojx±ZEu)t^ZEV3] if)]´mWIlhV3d] WI@n]DV:WIV[ ZEu)d]n]Du@ZEopigF]m%if@ZEi Wk¾]DViDZE¯]aif)]XZEgju,ZIdfgF]D¾]kt sBxîf)]dWIuh½)XIlhVDZEigFWIuµ¤ b"u)WIif>]eV«opgj[\gpiDZEigPWIuÈWI¢if)]km]ÁdWIuh½)XIlhVDZEigFWIuÈi3W<WIoFmgPmif@ZEiif)]Dx XY]Du)]DVDZEojopx§l)m]¿Z sWIii3WI[\¡:lhn2ZEnhnhV3WZIdf%º g²¤ ]Y¤§if)]DxdkWIu½)XIlhV3]«Z,dkWI[\[0lhugFdZEigPWIu-mx{myie]e[ s@ZIm]t-WIu2if)] [^]kdf@ZEugFmy[^m$nhV3W¾BgPth]t s<xdDlhVV3]DuBAi @iVkZEu)mynWIVi\nhV3WIi3W<dWIo BM¤ f)]XIVDZEu<lhoGZEVgji®xWI/if)WYm] i3W<WIoFm gPm if>]eu ¾]eVx WIQi3]Du¶dWZEV3m]O¤ ®u if)]0"UU@b~ nhV3W}]deir)¨ ]0nhVeWInWYm]/i3W\shlhgpoFt,Z¢nV3WIi3W<dkWIo5dWI[\nhgpoF]DV¨"fhgPdfZElh¡ i3WI[ ZEigPdEZEopojx XY]Du)]eVkZEi3]kmíf)]adkWI[\[0lhugFdZEigPWIu¶myxMmyi3]D[ WIzZtMgFmyiVgjslhi3]tZEnhnojgPdEZEigFWIuµ¤ fhgFm ZEnhnhV3WZIdf2gFm gju<i3]DV3]kmigju>XªWIuhopxgj*if)]«XY]Du)]eVkZEi3]ktgp[¢noF]D[^]eu<iDZEigPWIu)m$f@Ze¾],XYW<WBt¸n]DV:WIV¡ [ ZEu)dk]O¤ f)]/]D°^degP]Du)dex WI6if)]gj[\nhoP]D[±]Du<iDZEigPWIu)m¥¨ZImif)]DV3]eßWIV3]¦WIu>]/WI6WIlhV[ ZEgju XYWZEoFm¤ W V3]ZIdf/ifhgFmµWIs{}]kdDigp¾]Yrkif)]5"U6U@b~" dWI[¢ngjoP]eVf@ZIms]]Du¦shlgjopiµZEV3WIlhu)taif)]%:WIopoFW¨"gpu)X nhV3WIn]DVigP]kmº CED GË FI HI1Î F)Ë5« f)]"U6U@b~" dkWI[\nhgpoF]DV$gPmslhgjopi\ZEV3WIlu)t¸Z myx<u)dfhVeWIu)WIl)m0oGZEuh¡ XIlZIXY]Yr6myie]eV3]Do¹¤À6myi3]DV3]Do¥XY]Du)]DVDZEi3]m/QV3WI[ Zm]Di0WIdWIu)dDlhVV3]Du<i¦[^W<t{lhoP]kmZEu©gju<i3]D¡ JLKNM2OPM2QSRUTWV?MMSX"V?Y3QSZ\[R Ù ]_^Ø `ba"c VedfVgQhV?MiLZThjZM2RY.[O.X\kl)T$[RUmhZndGdol)ki7QSVgZkX"p<R_kQSVgQSVgR%Mqi_X"pgpgRY TZPYlPpgRMsr<tPV?iutvVgkQSR_m(XiLQGQSZwRUQStPRUm_xKyM2O)M2QSR_TzV?MsMSX"V?Y{QSZ [R}| ]"~UkØ cSaU`g Zm ("U`g Ved<VgQGV?MsmSRUp?X"QSVgRUpgO RXM2OQSZhXY)YZm<mSR_TZ"RGX+dol)ki7QSVgZkX"pgVgQ2Or<VgQStPZl)Q TZPYVedoOVgkPwQSt)Rsr t)ZpgRsM2OPM2QSRUT x 5. 0 ksPn.

(12) . ·´·+ &(** "

(13) u. \

(14) . XIVkZEi3]kt ZElhi3WI[ ZEi3WIu%¤®u±ifhgFmzZElhieWI[ZEieWIuµr{ZEojo)if)]myn]kdDgp½)dEZEigFWIu$shlgjoPt{gpu)X soFW<d¯{m´ZEV3] [^]DV3XY]t±i3WYXY]Dif)]DVZEu)tÀdkWI[\[0lhugFdZEi3]t{gpV3]deiopx\¨"gpif)WIlhi´gju<i3]DV²ZId]km¤ C 1Î F Ih #F3Ë55 f)]"U6U>b~ dWI[¢ngjoP]eVzm]DoP]kdDi3m6if)]"nhV3WIieWBdWIoh[^]kdfZEuhgFm[±m ZIddWIV3t{gpu)X±i3Wîf)]$ZEnnhojgPdZEigFWIu«V3]¬lhgjVe]e[^]DuBi3mZEu>t u)]Di®¨ WIV¯Mmadf@ZEVDZIdDi3]eVgFmyigFdm¤ f)] "U6U@b~" ZEnhnhVeWZIdf¿gFm$ZEnnhojgPdZEigFWIu¡:oF]t QieWInh¡²thWkü Dº*if)]\dkWI[\[0lhugFdZEigPWIuÁV3]D¡ ¬lhgpV3]D[±]Du<i3m¥WIm]e¾]DVDZEo|ZEnhnhopgFdZEigPWIu)m ßmyl)dfZIm <U6zÑ nhf>WIi3W$m]DV¾]e}V : ¤hY =¹rMm]dDlhV3] oPWYXIgpuµr[lhojigFdZImyia¾BgPth]WZEu)t©ZEl>t{gFWMrÄ¸Ä-Ä iVDZEu)meZIdeigPWIu)mr[0lojigp[^]ktMgQZ\[0lhopigFdZImyi [ ZEgpo{t]eopgj¾]DVxBroGZEV3XY]"mdZEoP]¥[0lhopigPdEZImigp[ZIXY]´t{gPmm]D[¢gpu@ZEigPWIu : b*¤>Y) = f@ZD¾] s]k]Du$myil¡ tMgF]t0ZEu)t\ZEuZEojxM£k]t¤ f)]zdkWI[\nhgpoP]eV|myf)WIlhoPt0XY]Du)]eVkZEi3]if)]6dkWI[\nhoP]eie]¥dWI[\[0lhuhgPdEZEigFWIu mx{myie]e[ :WIVmyl)df«ZEnnhojgPdZEigFWIu>m¤ C | f>]0"yU6U@b~"´ dkWI[\nhgpoF]DV:]ZEilhV3]maZ "P,I "/1&

(15) 23

(16) 4)Dr>dZEopoF]t«"yU5¡ Uz"r¨"fhgPdf©WInhigp[\gF£]m¦if)]\myiVl)dDilhV3]$WI"if)]^ZElhi3WI[ ZEi3WIu¿ZEu>t©XY]eu>]eVDZEie]km/fgFXIfhopx WInigj[\gP£k]t$dWBth]"gpu ·%¤{"yU6Uz"§l)m]m6nhV3WI½hopgju>X gpuh:WIV[ ZEigPWIu\nhV3W¾BgPth]ts<x$if)]"nV3WI¡ ieWBdWIo"th]mygPXIu)]DV$i3W«t{xBuZE[¢gPdZEojopxÁgPth]DuBigpQx,if)] "3 / '&ZEu)t¸ZEnhnhopx¿Z«m]Di\WI WInigj[\gP£EZEigFWIu)mE¤ f)WYm]^WInhigp[\gF£ZEigPWIu)m$ZEV3] myn]kdDgj½>d¢i3Wif>]ZElhieWI[ZEieWIu¿myiVl>deilV3] ZEu>t¶ZEV3]u)WIi Ve]kt{lu)t)ZEu<i ¨"gpif WInhigp[¢gP£ZEigFWIu>mifZEi [ Zex^s] n]DV:WIV[^]ts<x ]ew<gFmigju>X oPWk¨¡:oF]D¾]eodkWI[\nhgpoP]eV3mE¤ f)]¥XYWZEo>WI@"yU6Uz"-gPm%i3WXY]eu>]eVDZEie]nhVeWIi3WBdWIoMdkW<th]¥if@ZEi5dZEu ]D°^degP]DuBiopx^s]dkWI[\nhgpoF]t«ZEu)t«WInhigp[\gF£]tsBx«dDlhVVe]eu<i ·ÁdkWI[\nhgpoP]eV3mE¤¹iaWInhigj[\gP£k]mZ nV3WYXIVDZE[ ]ewM]delhigFWIu0igj[^]6sBx*V3]ktMl)degpu)X"if>]¥u<lh[0s]eV|WI)gju>myiVl)dDigPWIu)mWIu$gpi3m5dWI[\[±WIu nZEifZEu)tÀXY]eu)]DVDZEigpu)X0dW<th] if@ZEi"]DwBfgjshgpi3m´XYWBW<t¶dZIdf)]/ZEu>tnhgpn]Dopgju)]"s]Df@Ze¾<gPWIV3m¤ ®u¢ifhgFm%Ve]enWIVirY¨ ]"t]kmdDVgps]if>]"th]mygFXIu\WI"U6U¥ ZEu)t$nhV3]m]eu<i6mWI[^] n]DV:WIV[ ZEu)d] V3]mylhopi3m/WI U ZElhi3WI[ ZEigPdEZEopopxªXY]Du)]DVDZEi3]t gp[\nhoP]e[^]DuBiDZEigFWIu)mE¤¢ÄÁ]^myf)Wïf@ZEi¢ZElhi3WI[ ZE¡ igPdEZEopojx,XY]Du)]DVDZEi3]t nhVeWIi3WBdWIozdkW<th]\dZEu©s]0²ZImyi3]DV/ifZEuÁif)]0s]myi0WInigj[\gP£k]tf@ZEu)t{¡²dW<th]kt gj[\nhoP]D[±]Du<iDZEigPWIu)m¤ fhgFmzV3]DnWIVi"gFmdkWI[\nWYm]t¶WI60[ ZEgjum]kdDigPWIu)m¤¥Ã{]dDigFWIuª *gpu<iV3W<t{l)d]km if)]\"UU@b~ nhV3W}]kdDiZEu)tÁXIgp¾]km*mWI[^]$gju)mgFXIf<i3maWIuÁif)]\6myi3]DV3]Do5oQZEu>XIl@ZIXY]Y¤¶Ã{]dDigFWIu ¶nhV3]m]eu<i3ma"yU6Uz" dkWIu)d]Dnhi3m0ZEu>t©th]mdeVgjs]m gpi3m0WInhigj[\gP£EZEigPWIu,nhVgpu)degpnhoP]kmE¤ÀÃ{]dDigFWIu' th]DiDZEgjoPm¥if)]th]kmgFXIuÀWI%"UUz"¤{¹u¶ifhgFmzm]deigFWIuµrB¨´] nV3]km]eu<i¥if)]¾ZEVgPWIl)m WInhigj[\gP£EZEigPWIu)m if@ZEiZEV3]0n]eV:WIV[^]kt¶s<x,"yU6Uz"¤%Ã{]kdDigPWIu]e¾BZEojl@ZEie]kmif)]0n]DV:WIV[ ZEu)d]/WI´"UUz" ZElhi3WI[ ZEigPdEZEopopxXY]Du)]DVDZEi3]tdWBth]m¤Ä]¦dWI[\n@ZEV3]if)]gju>myiVl)dDigPWIudWIlhu<i3mr{gj¡²dZIdf)]ZEu)tnhgp¡ n]eopgju>]|n]DV:WIV[ ZEu)d]5WI@mWI[^]z"yU6Uz"-XY]Du)]DVDZEi3]t ÚÀgp[\nhoP]e[^]DuBiDZEigFWIu)m@¨"gpif/if)]¥ÂÃ{ gj[\nhoP]D[±]Du<iDZEigPWIuµ¤ÄÁ]ZEoFmW$]D¾ZEopl@ZEi3]if)]gpu)t{gp¾BgPt{l@ZEo]D¼@]kdDi3m WI]EZIdfnhVeWInWYm]kt WInhigp[¢gP£ZE¡ igPWIuµ¤µÄ]Yr{½hu@ZEopopxrhdkWIu>deopl)th]gpu¶m]deigFWIu«<¤ f)]"¨´WIV¯\nhV3]m]DuBie]kt$gpu±ifgFm6V3]DnWIVigPm¥if)] V3]mylhopi WIif)]"¨´WIV¯\n]eV:WIV[^]kt0s<x ¥oGZEl)th] "ZImyi3]Dopojl)ddDgQZ¦ßWIV"fhgPm U5f)ÈV3]km]EZEV3df%¤ "!f# K.

(17) ·

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

(19) 23

(20) 4). . -!¦()*(% ¸0 ¶

(21) ¿()/#%+- 1$+6 .

(22) !". )f ]6¨ WIV¯¦nhVe]km]Du<i3]ktagjuifhgPmV3]DnWIVi%¨ZIm%thWIu)]6gjuif)]zdkWIu<i3]DwBi|WI)if)]6"yU6U@b~"´ nhVeWE}]dei : $#%I'=²º±ZEu |lV3WIn]EZEuh¡²b"l>myiVDZEopgQZEu'dkWIopoGZEsWIVkZEigFWIu ZIdeigFWIu©¨fhgFdf'nhV3WInWYm]m¦i3Wmyil)t{x ZÀu>Wk¾]DoZEV3dfhgpi3]deilV3]$:WIV\dkWI[\[0luhgFdZEigPWIuÁnhVeWIi3WBdWIoPm0s@ZIm]t¿WIu¿if)]b"nnhojgPdZEigFWIu Ò]D¾]eo ÓhVDZE[\gju>X :bÒµÓ /ZEu)t«¹u<i3]XIVDZEi3]tÁÒ|Zex]DV0U5V3W<dk]mmygpu)X QÒU dkWIu>dk]Dnhi3m : ¥oGZYIÅ =¹¤\®i3m½hu@ZEo WIs{}]kdDigp¾]¶gFm$i3W,shlhgpoFt¸ZªdWI[\nhgpoF]DV\¨"fhgPdf-XY]Du)]DVDZEi3]m$if)]dWI[¢[lhuhgPdEZEigPWIumyxMmyi3]D[ WIZ t{gPmyiVgpshlhi3]t«ZEnhnhopgPdEZEigPWIuµ¤ fhgFmi3W<WIo6l)m]m0ZEnhnhopgPdEZEigPWIuh¡²myn]degp½)da¯Bu)W¨"oP]kthXY]$i3WÀdkWIuh½>XIlhV3] ifhgPm dWI[\[0lhuhgPdEZEigFWIuÀmyx{mi3]e[ ßWIV gp[¢nV3Wk¾]tn]eV:WIV[ ZEu)d\] : "ZImeI)Z =²¤ f)] "yU6U@b~"´ dWI[\nhgjoP]DV0gFm$dWI[\nWYm]kt'WIa Ài3W<WIoPm^º±if)]^bÒÓ&ZEu)tÁÒU dkWI[\nhgp¡ oF]DV¤ f)]\bÒÓ dWI[¢ngjoP]eVXY]eu>]eVDZEie]km/GV3WI[ if)]^ZEnhnhopgPdEZEigPWIuÁVe]k¬lhgpV3]e[^]DuBiem/ZEu)tif)]\u)]ei¡ ¨ WIV¯{m´df@ZEVDZIdDi3]eVgFmyigFdmzZEuZElhi3WI[ ZEi3WIu^V3]DnhV3]m]DuBigpu)Xif)]"dWIu<iV3WIo@n@ZEVi¤ fhgPmzdkWIu<iV3WIo@n@ZEVi dkWIu<iDZEgpu)mif)]$ZEnnhojgPdZEigFWIu,ZEu>tÀnV3WIi3W<dkWIo5dWIu<iV3WIo%n@ZEVi3m¤ f)]*gFth]Z±WIz"U6U>b~ gPmi3W gju<i3]XIVDZEi3]"if>]¦ZEnnhojgPdZEigFWIuÀZEu)t^gji3mzdWI[¢[lhuhgPdEZEigPWIu^mylhs)mx{myie]e[¨gjifgju Z/mygpu)XIoP]aZElhi3WI[ ZE¡ i3WIuµ¤ fhgPm gpuBie]kXIVDZEigFWIu«V3]D[^Wk¾]m0Z¢oPWIi0WIzgpuBi3]DV²ZId]m¦ZEu>t oP]EZItm i3W myxMmyi3]D[±m¨"gpif«s]eiie]eV n]eVßWIV[ ZEu)dk]O¤/¹u,ifhgPmV3]enWIViIr>:WIV/mgj[\nhopgFdDgpi¹x V3]EZImWIuµr¨ ]\m]Dn@ZEVDZEi3]0if)]0dWIuBiVeWIo5n@ZEVi*WI if)]aZEnhnhopgPdEZEigPWIu^QV3WI[ if)]dWIuBiV3WIo@n@ZEVi"WI|if)]dWI[¢[lhuhgPdEZEigPWIu mylhs)myxMmyi3]D[ ¤ fhgFmZEojoPWk¨ m l)m"i3W\XY]Du)]eVkZEi3]/]DwBgPmyigpu)X0nhVeWIi3WBdWIoPmZEu)tdWI[¢nZEV3]¦if>]egpV n]DV:WIV[ ZEu)d] ieWif)]egpV"[ ZEu<l@ZEojopx gj[\nhoP]D[±]Du<i3]kt«dWIlhu<i3]eVn@ZEVi3m¤ f>]ÒU dWI[\nhgpoF]DV/gPm0Z¶myilhs©dWI[\nhgjoP]DVr¨"fhgPdf©dWI[0shgpu)]km if)]at)ZEiDZ/[ ZEuhgpnhlhoGZEigPWIu)mGlhu)dDigFWIu>mgpu«ZEu¶ÒU¿[ ZEuhu)]DV¤ f)]dWIu<iV3WIoZElhi3WI[ ZEi3WIu ZEu)t\if)]t>ZEiDZ [ ZEuhgpnhlhoGZEigPWIu$Qlhu)dDigPWIu)m6ZEV3]dkWI[shgju>]kt$i3WYXY]D¡ if)]DV"i3W$:WIV[ if)]¦dWI[\nhoP]ei3]nhV3WIieWBdWIogp[\nhoP]e[^]DuBiDZEigFWIuÀZIm"gjopopl)myiVDZEie]kt^gju¶½>XIlhV3]_¤6Ä¸f)]D¡ u)]D¾]eVaif)]$ZEnnhojgPdZEigFWIu,m]Du)thmaZ\nhgF]d]0WI t>ZEiDZ¢i3WÀZ¢V3]D[^WIi3]0dWIVV3]mynWIu)th]DuBiIrgjiadZEojoPmif)] nhV3WIi3W<dWIo)WIlhinhli5nhV3W<dk]t{lhV3]m%¨"fhgPdf\nhV3W<dk]mm5if)]dkWIu<iV3WIohnZEVizWIif>] nhV3WIi3W<dWIo²¤ f)] nV3WI¡ i3W<dkWIoµdkWIu<iV3WIo@¾ZEVgQZEshoP]m :m]¬l)]eu>dk]"u<lh[0s]DVrOigp[±]DV3mrOiVDZEu)my[\gPmmygPWIu±¨"gpu)thW¨*rp¤j¤p¤ ZEV3] if)]eu lhnt)ZEi3]t¿ZEu)tÁif)]t)ZEikZ [ ZEuhgpnhlhoGZEigPWIuÁQlu)deigFWIu)m¢ZEV3]dZEojoP]t©¨"gjif©if)]^t)ZEiDZ«ZEu)t¿mWI[^] dkWIu<iV3WIo@gpuh:WIV[ ZEigPWIuÀZImZEV3XIlh[^]DuBi3mE¤ fgFm´dkWIu<iV3WIo@gpuh:WIV[ ZEigPWIut]en]Du)thmzWIuif)]XY]Du)]DVDZE¡ i3]t¶nhV3WIi3W<dkWIo¹¤ ¹i[ Zex s]/dWI[¢nWYm]t¶WI6mWI[^]a½)]eoPthmWI5if>]¦nhV3WIieWBdWIo%dWIuBiV3WIoshoPW<d¯if@ZEi ZEV3]¦l>m]kt i3W$shlhgpoFtif)] nV3WIi3W<dkWIof)]ZIth]eV WIVi3W$nhV3W<dk]mm"mWI[^]*WI5if)][ZEugjnhloQZEigPWIuGlhu)dD¡ igPWIu)m¤"b"Qi3]DVif)]at)ZEiDZ0[ ZEuhgjnlhoQZEigFWIuWIn]DVDZEigPWIu)m :df>]kd¯Mmylh[ rh]eu)dDVx<nhigPWIuµr{[ZEVemyf@ZEopojgpu)XMr ¤j¤p¤p¤ ¿ZEV3]$n]DV:WIV[^]trn@ZId¯]Di3m0ZEVe]0shlhgpojiZEu)t,m]eu<i*WIuªif>]0u)]ei®¨´WIV¯@¤\b¥i/if)]$WIif)]DV/mgFth]Or ¨"f)]Du«Z$n@ZId¯]eigPm"V3]dk]Dgp¾]ktrhgjigPm"½hV3mi"[ ZEV3myf@ZEopoF]trhth]deVx<nhi3]t¶ZEu>tdf)]kd¯Mmylh[\[^]t¤ f)] nhV3W<dk]mm]t±gpuh:WIV[ZEigFWIu :t)ZEiDZZEu)tdWIuBiV3WIogpuh:WIV[ZEigFWIu 5gPm¥if)]DufZEu)th]t±i3W/if)]dkWIu<iV3WIo ZElhi3WI[ ZEi3WIuµ¤ f)]nhV3WIieWBdWIo%dWIuBiV3WIo¾ZEVgQZEshoP]m ¨"gpojoµif)]Du¶s]¦lhnt)ZEi3]trhZ$n@ZId¯]einWYmmgjshopx m]DuBir)ZEu)t t)ZEiDZ/gPm"th]Dojgp¾]eVe]ktî3W0if)]*ZEnhnhopgFdZEigPWIuµ¤ 0 ksPn.

(23)