Locks and Barriers in Checkpointing and Recovery - HAL-Inria

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Locks and Barriers in Checkpointing and Recovery Ramamurthy Badrinath and Christine Morin

N˚5021 Novembre 2003

ISSN 0249-6399

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

THÈME 1

apport de recherche


    
!"# $ &%'(
*) + ,-/.0-1.3246587:90;-1-/5@7BAC-1>IJEKL46=?>NM OPRQSTUWV#XY6Z[T6\^]`_CTa*Z[b`ZcadQST6Z egf[h^icTaekj*Xlnm Xo\^pqp/hrfnaos`TtfdT6uvPRTfvuvPqTxw!yrz^{r|qU$V~}oh€rTS!Rf[Tt|‚{r{^ƒ„VU…pR\‚†rT6Z

‡Cˆ‰6Š‹€Œq^Š^Ž Tp1TwRs`T6wRubFadfd\ruv‘“’”wq†t1Tac•–TT6w—uh^SS˜]qwq’™u\€ad’šwR†tad\rZn‘`Z›’™Zg\^w’šSp1h^f[ad\^wra–uh^w/uTpqa(’”w / \^uv‘œ•–\^fdsTfdfdh^f:fdT6uh€^TfdbžŸhrfpR\^fd\^ š ”T r\‚pqpq ”’™u\€ad’šhrwRZ6¡¢wqTgu6\‚wtT_“adTwRsta[PqT(a[fv\^s`’ša[’”h^w/\‚ rsqTp1TwRs`T6wRuT adfd\ruv‘œ’šwq†FSh`s`T kžŸhrfST6ZdZ[\^†^TWpR\^ZdZn’”wq†Znb`Zna[T6SZ–adha[fv\^uv‘—s`T6p/T6wRs`T6wRu’”T6Z1Tac•–TT6w$Z[PR\^f[T8sCSTShrf[b \^wRs0ad\rZn‘0pqfd’š€\‚a[T£Znad\‚a[T6Z—žŸh^f$ZnPR\^f[T8s0SFT6Sh^fdb0\^pqpq ”’”u6\€a[’”h^w/Z¡¤OPqT£h^`icT8u¥a[’”^T£h‚ž„a[Pq’™ZpR\‚p1Tf’”Z adh¦\‚wR\^ šbœ§Ta[PRT¨’”ZdZn]RT6Z†^T6wqTfv\€adT6s©“b© šh`uv‘`Z\‚wRs0R\^f[fd’šT6fdZ˜’”wªpR\^fd\^ š ”T o\^pqpq ”’”u6\€ad’šhrwRZZnh3a[P/\€a•(T u6\‚w0uvPqT6uv‘œp1h^’”wraFad\rZn‘`Z\€a—\^w“bad’šST¦«ŸT6^T6wª•PqT6wªPRh^ ™s`’šwR†hrfF•\‚’ša[’”wq†žŸh^f ”hœuv‘`Z\‚w/s©R\^f[fd’”TfvZd¬¡ l­w¦p/\‚f[a[’™u]q ™\‚f •–TC\‚ana[T6Sp`a a[h£T_œa[T6wRs¦T6\^f[ ”’”Tf s`T6p/T6wRs`Tw/ub3a[fv\^uv‘œ’”wq†¨ST6uvPR\^wq’”Z[SZ„a[h£ šh`uv‘`Z \‚w/s /\‚fdf[’”TfvZ¡®3T„\rsqs`fdT6ZdZ/h^a[P¨uhœhrfds`’”wR\‚a[T6s\‚wRs$]qw/uhœh^fvs`’”wR\€adT6sCuvPRT6uv‘œp/hr’šw“ad’šwq†ZduvPqTST8Z¡ ¯¨°“±L²d³!´ ‹€µ‰^Ž·¶ hœuv‘L¸LR\^f[fd’šT6f6¸LZ[b“w/uvPqf[hrwq’”§6\€ad’šhrw:¸LuvPqT6uv‘œp1h^’”wrad’šwR†R¸LR\^uv‘œ•\‚fvs$Tfdf[hrf*fdT6uh€rTfdb^¸1s`T¹ p1Tw/s`TwRub—adfd\ruv‘“’”wq†/¸œu š]/ZcadTf

º™»k¼[½¿¾6À¼Á”½¿Ã?ÄÅ Æ›×›Ç€Ø ÈvÉ@ÊÌËÎ̀ÈvÊ¿ÏËÎÍ8É@ËÐÈ8Ñ Ò@Ó“Ñ ÔcÕ¥Ö Ò8ÊHËÎÙÌÚ?ËÎÍ@Û¥Ñ Ü„Õ¥ÊÌËÎ͂ÏËÎÊÌËÎÙ¿È8Ñ ÝšÊ

Unité de recherche INRIA Rennes IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00 Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71



$ – t 

$ $ $
„
(
   
C) "! t $ – k 
 „
  3
˜ $ $   ‰  Ž ¶ \s`YadT6u¥ad’šhrw s`T6Zs`Yp1Tw/sq\‚wRuT6Z*Tw“a[fdT s`T6ZoaruvPqT6Zouh^SS!]Rwq’”u6\‚w“a[T8ZT6Zna*]qw uh^wRuTp`a ’”Sp/hrfnav\‚w“agsq\^wRZ  ”T6Z›pRf[h^a[h`uhr šT8Z s`TofdT6uhr]qœf[T6STw“a›\‚fdf[’”QfdTp/hr]qf› ”T6Z›\^pqpq ”’”u6\€a[’”h^w/Z pR\‚fv\‚ ” ”Q ”T6Z6¡ l­ RT8Zca p1hrZdZ[’šq ”Ts  Ya[T6wRs`fdT˜ ”T˜Sh`s`Q6 šTs`Ts`YadT6u¥ad’šhrws`Ts`Y6p/T6wRsq\^wRuT8Z*adfd\rs`’ša[’”h^wqwqT6 sR\‚wRZW ”T6Z„Znb`Zna[Q6SFT8Z Y8uvPR\‚wR†^Tts`TtST6ZdZ[\^†^T8Z–\ Rw¨s`T!s`Ya[T8u¥a[T6fo ”T6Zos`Y6p/T6wRsq\^wRuT8ZTw“a[fdT„ šT8ZYav\€avZpqfd’šrY6Zs`T8Za ruvPqT6ZTao ”\ SY6SFhr’šfdT pR\^fnav\‚†^Y6Tp/hr]qf: ”T6Z \^pqpq ”’”u6\€ad’šhrwRZLpR\‚fv\‚ ” ”Q ”T6Z1žŸh^w/s`YT8Z Z[]qf: ”T›pR\‚fv\^sq’š†rSFT s`T(uh^SS˜]qwq’™u\€ad’šhrw p/\‚f–SFY6Sh^’”f[TWpR\‚f[ad\^†^Y6T^¡ ¶  hr`icT6ua[’šžs`T„uTa\^fnad’”u šTWT6Znas  \^wR\‚ ”b`ZnT6f( ”T6Z–pqfdh^R šQ6SFT8Z(Z[h^]R šT6^Y6Z(pR\^f( ”T6Z rTfdf[hr]RZTa  šT8ZR\‚fdfd’šQ6f[T8Zsq\^wRZ šT8Z \‚pqpR š’™u\‚a[’”h^wRZpR\^fd\^ š ”Q ”T6Z ”h^fvZ “]  ’š ` Z  \^†^’šasqT–p1h^]R^h^’”f Z[\^]q^T6†r\^fds`T6f ]Rwªp1h^’”w“as`T fdTpqfd’™ZnT  adh^]`aSh^STSw“a¨«ŸS ST p/T6wRsq\^wra “]  ]qwqTa ruvPqT$sqYa[’”Tw“a]qw0^T6f[fdh^]¦hr] “]qTs`T8ZWa ruvPqT6ZtZ[h^w“atq ”h “]qY6T6Z„Z[]qft]qwqTR\^f[fd’”QfdT8¬¥¡ ›wpR\‚f[a[’™u]R š’”Tf8¸:wqhr]RZWa[T6wradh^wRZts  Ya[Tw/s`f[T ”T6Z SY8u\‚wR’”Z[ST6Z s`Tos`Ya[T8u¥a[’”h^ws`TosqYp1TwRsq\^wRuT8Z T_`’™Zcav\‚w“adZp1h^]Rf›pqfdTwRs`fdTTwuhrSp`a[T ”T6Z rTfdf[hr]RZTa› ”T6Z /\‚fdf[’”QfdT6Z6¡ }ohr]RZwqh^]/Z’šw“a[Y6f[T8Z[Z[h^w/Z\^]`_!Zcadfd\‚a[Y6†^’”T6Zs`TZ[\^]q^T6†r\^fds`T(uhœh^fvs`h^wRwqYT–Ta wqhrwFuh“hrfdsqh^wqwqY6T sqTWp1h^’”w“adZosqTtf[T6pqf[’™Z[TWs`TtpRf[h`uT8Z[Z[]RZ6¡ !´ Š8‰ ² # " Ž $ Tfdf[hr]:¸oR\^f[fd’šQ6f[Tr¸ZnbœwRuvPqfdh^wR’”Zd\€ad’šhrw:¸p/hr’šw“a¨s`T£fdTpRf[’™ZnTr¸ofdT6uhr]qœf[T6STw“a\‚fdfd’šQ6f[Tr¸ sqYa[T8u¥ad’šhrw$s`T sqYp1TwRsq\^wRuT8Z¸R†^fv\‚pqp1T


   !
!"#%$&  '
()

ƒ

˜ 
 
g
 jZtu ”]RZna[Tf uh^Spq]`ad’šwR† Z[b`ZcadTSZtZ[]qpqp1h^f[a[’”wq†$a[PqT  m-, pqfdh^†^fv\‚SS’”wq†CSh`s`T (uh^STFa[h 1TSh^fdT •’™s`T8ZnpqfdT6\rs!’”w]RZ[T^¸rZ[]qpqp1h^f[a[’”wq†„žÌ\^]q  a adh^ ”Tfv\‚wRuT’šwFa[PRT6Z[ToZnb`Zna[TSZ P/\^Z \€a[a[fv\^ua[T6s\W ”h‚a›h‚žL’”wradTfdT6Zna6¡ m`T^T6fd\^ ›•–h^fd‘œZ„P/\@^T—s`T8\‚ ša˜•’ša[P T6@\^ š]/\€a[’”wq† adPqTCh€rTfdPqT6\rs£h^ž€\^f[’”h^]RZ!uvPqT6uv‘œp1h^’”wrad’šwR†¨pqf[h^a[h`uhr ”Z /« .šU@| 0pqf[h€œ’™s`T6Z\CZ[]qfd^Tbq¬ 1RadPqTb¨PR\@rT!s`T8\‚ ša•’ša[P adfd\ruv‘œ’šwq†—sqTp1TwRs`T6wRu’”T62Z .”U8zœ¸k3ƒ 0›\‚w/s Zn]Rpqp/hrfnad’šwR† Z[h^STtuvPqT8uv‘“p1h^’”w“a–hrp`a[’”S’š§8\€ad’šhrwR4Z . 5`¸:U83{ 0¿¡ mœT6^T6fd\^ :Znb`Zna[TSZ–žŸhrfouvPqT6uv‘œp1h^’”wrad’šwR†\^wRs$f[T8uh€rTfdbFh^ž\^pqpq ”’”u6\€ad’šhrwRZf[]Rwqwq’”wq†h^w  m , Sh`s`T6 ”Z P/\@^T*1TT6ws`T8Z[uf[’”1T6s—’”w$ š’ša[T6fd\‚a[]qfdT^¡ 6›Ta8¸`’šw$pqfv\^u¥ad’”uT^¸  m , Z[b`ZcadTSZ–h€^Tf–uhrSFSh`s`’šacbPR\‚fvs`•\‚fdT adPR\€aWZn]qpRp/hrfnažÌ\^]q  a*a[h^ ”Tfv\‚w/uTtPR\@rTW1TT6w Z[u6\‚fvuTr¡g® Pq’” š7T . 5R¸ U6{ 0s`T8\‚ :’”Spq š’™u’ša[ ”b •’ adP ZnT “]qTw“a[’™\‚  uh^wRZ[’™ZcadTwRubCSh`s`T ™Z¸1uhœh^fvs`’”wR\€adT6s uvPqT8uv‘“p1h^’”w“a[’”wq†—\‚w/sfdT6uh€^T6f[b—œbf[hr š ”R\^uv‘L8¸ .”U…R:¸ 9`¸U63ƒ 0\‚wR;s .Î3z 0 ]/ZnT$f[T6 šT8\^Z[T$uh^wRZ[’™ZcadTwRub^¸›]qw/uhœh^fvs`’”wR\€adT6s©uvPRT6uv‘œp/hr’šw“ad’šwq†3\‚wRsªfdT6uh€rTfdbœb fdTpR ”\@bœ’”wq†Z[h^ST$ šhr† ’”w`žŸhrf[S\€ad’šhrw:X = uh^wRZ[’™ZcadTwRubSFh`s`T6 H¡ mœT6^T6fd\^ 1h^ž adPqT6Z[Tt•(hrf[‘`Z–Zn]/uvP$\r?Z . @30 \^ ”Z[hf[T8uhr†^wq’”§T*a[PqTt’™Z[Z[]qT8Z(h^žfdT6uh^wRZna[fd]Rua[’”wq† adPqT Zcav\€adTWh^ž  ”h`uv‘`Z:h^fR\‚fdfd’šT6fdZ6¸6\^wRs„a[PRT(Znad\€adTgh^ž“adPqT  -m , S\ruvPq’”wqT^¡l­Aw . 50radPqT(\^]`a[PRh^fvZ:fdT6\‚ ”’”§Ta[PRT(’”Sp/hrfnav\‚wRuT h^žpqfdh€œ’”sq’šwq†FwqT6†r\€ad’šrTW\ruv‘œwqh€• šT8s`†^ST6wravZghrf CB
"Dg•PqT6w$’ša’”ZsqTa[T8u¥adT6sa[PR\‚ao\  -m , h^p1Tfv\€ad’šhrw hrf\ZnbœwRuvPqfdh^wR’š§8\€a[’”h^wCpqf[’”S’ ad’šrTtu\‚wRwqh‚ao1Ttuh^Spq ”TadT6s$’”wadPqTtpqfdT6Z[TwRuT„h‚ž\˜žÌ\^]q  a8¡ l­E w . … 0oadPqT£\^]`a[PqhrfdZ]/ZnT /\‚fdf[’”TfvZF’šw hrfds`T6fa[h¦ ”h€•(T6f—ZnbœwRuvPRf[hrwq’š§8\€ad’šhrw©h€^T6f[PRT6\^sRZ˜’”wNuvPqT8uv‘r¹ p1h^’”w“a[’”wq†¨’”w\¨Z[ T “]qT6w“a[’™\‚ ” šb£uh^wRZ[’™ZcadTw“a  m , •’ adP uhœh^fvs`’”wR\€adT6s3uvPqT6uv‘œp1h^’”wrad’šwR†R¡l­wa[PRTf[T6 šT8\^Z[T uh^wRZ[’™ZcadTwRub ShœsqT ?¸•’ša[P¦]RwRuhœh^fvs`’”wR\€adT6s3uvPqT6uv‘œp1h^’”w“a[’”wq† \^Zt’”F w .”U…q¸ 9R¸gU83ƒ 0g’ša!’”Z!wR\€ad]qfv\‚  adh¨]RZnT  ”h`uv‘`Z(’”w h^fvs`Tf–adh—uvPqT6uv‘œp1h^’”wraav\^Z[‘œZ\^wRs$SFT6Sh^fdb—Zcav\€a[T8Z¡ l­w$a[PR’”Z*pR\‚p1Tf•–T Zcad]Rs`bCa[PqTt’”SpR\^uaoh‚ž šh`uv‘`Z\‚wRs$R\^f[fd’”TfvZ(hrw$uvPRT6uv‘œp/hr’šw“ad’šwq†\^wRs uh^Spq]qad\€¹ ad’šhrwh^žfdT6uh€^Tfdb š’”wqT8Z’šw \ZnT r]RTw“a[’™\‚ kuhrwRZ[’”Zna[T6wraoZ[b`ZcadTS Z[]RuvP \^HZ G„Tfdf[’”†^PRT6Is .Î2| 0:•Pq’™uvP$Z[]qpqp1h^f[adZ 1h‚adP  -m , \^Z*•(T6 š \^Z*ST6ZdZ[\^†^TtpR\rZ[Z[’šwR†—pR\‚fv\^sq’š†rSZ6>¡ G„Tfdfd’š†rPqT6s’”ZW\—Z[b`ZcadTS •Pq’™uvP ]RZ[T6Zo‘rTfdwqT   ”TrT Zn]Rpqp/hrfnaWžŸh^ftuvPqT8uv‘œp/hr’šw“a[’”wq†$\‚wRs£f[T8uh€^T6f[br¡l­ w . | 0 •(TFpqfdh^p1hrZ[T˜uhœhrfds`’”wR\‚a[T6s£uvPqT6uv‘œp1h^’”wrad’šwR† žŸhrf G„Tfdfd’š†rPqT6s$\‚wRs T6€\‚ ”]R\€adTt’ avZop1Tf[žŸh^fdS\^wRuTr¡–OPRTta[T8uvPqwq’ r]RT6ZopRf[T8ZnT6wradT6sa[PRTfdT!s`hwqh^a*PR\‚w/s` šT  ”h`uv‘`ZW\^wRsR\‚fdf[’”TfW’™Z[Z[]qT6Z„’”wa[PqT ™\‚fd†^Tf„uhrw“a[T_œath‚ž–p/h“Z[Z[’”q šT]RZ[T’šw3]qwRuhœh^fvs`’šw/\€a[T8s£uvPqT8uv‘œp/hr’šw“an¹ ’”wq†/¸hrf!hrp`a[’”S’š§6T6s uh“hrfdsq’šwR\‚a[T8s3uvPRT6uv‘œp/hr’šw“ad’šwq†\‚wRs¦fdT6uh€^T6f[br¡l­w¦adPq’™Z!pR\^p/T6f!•–T—adf[ba[h3Zcad]Rs`b adPqTCs`T6p/T6wRs`T6wRu’”T6Z!†^TwRTfv\€a[T8s\^Sh^wq† av\^Z[‘œZ /T8u\‚]/ZnTh^ž ”h`uv‘`Zt\‚wRsR\^f[fd’”TfvZ¡$¢]Rf!\‚’”S ’™Ztadh /T \^q ”T„a[h—’”Spq šT6STw“aST6uvP/\‚wq’™ZnSZadPR\€aW•’š ” \^ š ”h€• ]RZadhCZn]Rpqp/hrfna8¸qžŸhrf*’”wRZcav\‚wRuT^¸1Znb`Zna[TS'’”wq’ ad’”\‚a[T8s uvPRT6uv‘œp/hr’šw“ad’šwq†•’ adP adPqT  šh`uv‘¦h^fFR\^f[fd’šT6f!’”w0\^wª\^f[q’ša[fv\‚fdbZcav\€a[Tr¡¦®T¨Z[Pqh€• Pqh€• adPq’™Z˜’”SpR\^uadZ ]RwRuhœh^fvs`’”wR\€adT6s\‚wRs uhœhrfds`’”wR\‚a[T6suvPqT6uv‘œp1h^’”w“a[’”wq†\‚wRsf[T8uh€rTfdb^¡ l­wm`T6u¥ad’šhrwC|W•(Ts`T6Zdufd’š1TadPqTo†^T6wqTfv\‚ /s`Tp1TwRsqTwRub!adfd\ruv‘“’”wq†tST6uvP/\‚wq’™ZnS ’”wqf[’”Tžc¡l­wCmœT8u¥ad’šhrw ƒ \^wRs¦mœT6ua[’”h^w… •(T—s`T8Z[uf[’”1T˜adPqT—’™Z[Z[]qT8Ztuh^w/uTfdwq’”wq†  šh`uv‘`Zt\‚w/s£R\^f[fd’”TfvZfdT6Z[p1T6u¥ad’šrT ”b£Z[Pqh€•’šwR† ’”wNT8\^uvPNu\rZnT£Pqh€• a[PqT6b S\@b01T3\rsqs`fdT6ZdZnT8skK ¡ J’šw/\‚ ” šb •–T£uhrwRu ”]Rs`T’šwEm`T6u¥ad’šhrwEz¦•’ša[P ZnhrST hrRZ[Tfd@\‚a[’”h^wRZ6¡ *

+

 $ $(+ON3 $" ®3T uhrwRZ[’”s`T6fo\pR\‚fv\‚ ” ”T :\‚pRpq š’™u\‚a[’”h^w$•’ adP S!]q ša[’”pq ”Ttad\rZn‘`Z•Pq’™uvP¨uh^SS˜]qwq’™u\€adT„“bT_`pq ”’”u’ aoST8Zc¹ Zd\‚†rTT_quvPR\‚wR†^T« adPqf[hr]q†^P 44 \‚w/Ps 4(3:pqfd’šS’ša[’”^T6Zv¬¥¸8h^f “bW\^u6uT6ZdZ[’šwq†Z[PR\‚fdT6sSTSh^fdb!«Ÿa[Pqfdh^]q†rP L

M

Í R2TUVW QQ S

…

  " 







 \^wR s S" —hrp/T6fd\‚a[’”h^wRZadh©•–h^fvsqZ’”wBZ[PR\‚fdT6s STShrf[bq¬¥¡l­wB\^sqsq’ ad’šhrw ad\^Z[‘`ZC\^ ”Z[h ’”wradTfv\^ua adPqfdh^]q†rP¨R\‚fdf[’”TfWZnbœwRuvPRf[hrwq’”Zd\€ad’šhrw¨\‚wRs¨ ”h`uv‘`Z˜« C-\^wRs    34h^p1Tfv\€ad’šhrwRZv¬¥¡ JRh^fa[Pq’™ZpR\‚p1Tf •–T uh^w/Zn’™s`TfFadPqT s`Tp1Tw/s`TwRu’šT8Z†^T6wqTfv\€adT6s¦adPqfdh^]q†rPªZ[PR\‚fdT6s©SFT6Sh^fdb \€aa[PqT pR\^†^T †^fv\‚wœ]q ™\‚fd’šacb  ”TrT ?¡!¢]qffdT6\rZnhrw¨žŸh^fa[PR’”Z„uvPqhr’”uT!’™Z*adPR\€a„pR\^†^T!†rfd\^wœ]q ”\^fnacb$’™ZZ[]qpqp1h^f[a[T8s •–T ” œb$a[PRTF]RwRs`Tfd ”br¹ ’”wq† \‚fvuvPq’ša[T6ua[]qfdT^¡ OPR’”ZtuvPqhr’”uT˜s`hœT8ZwRh‚a uvPR\‚wR†^T adPqT’”ZdZ[]qT6Zh‚žs`Tp1TwRsqTwRub¨a[fv\^uv‘œ’”wq†Cs`’™Z[u]RZdZnT8s PRTfdT’”w:¡ l­w“a[T6ftpqfdhœuT6ZdZ„uh^SS˜]qwq’™u\€ad’šhrwª«Ìl­*Z[’šwR†—a[PRT!adfd\rs`’ ad’šhrwR\‚ wqh^ad\€ad’šhrwª«ÌT†R¡”¸1žŸf[hrS .šU 0 ¬*•(T T_`pqf[T8Z[ZadPq’”Z!\^ZdZn]qSp`ad’šhrw3\r@Z 'BA '5= ‚¡ JR]qf[a[PqT6f Zn’”wRuThrwq šb£h^wqTFad\rZn‘£’”Zt’”wœ^hr šrT6s ’”w\ ”h`uv‘£\€a

=?> Q@=BA


   !
!"#%$&  '
()



\˜ad’šST^¸qa[PqT
A"D4 7  4 
A!" 

  !4 C4 4)€¡(OPœ]RZ•–Tt\@^hr’”s\^ZdZnh`u’™\€ad’šwR† W $ Z •’ša[P  ”h`uv‘œZ6¸q\‚w/s—adf[T8\€a[’”wq†Fa[PRTS \rZZnT6pR\‚fv\€adTWuvPRT6uv‘œp/hr’šw“av\‚q ”TT6w“a[’ša[’”T6Z6¡ Ofd\rs`’ša[’”h^wR\^ š ”b adPqTs`T6p/T6wRs`T6wRu’”T6Z(/Tac•(T6Twav\^Z[‘FZnad\‚a[T6Zg’”Zgf[T6pqfdT6Z[Tw“a[T8sF\rZg\t†rfd\^pqP•’ adPCuvPqT8uv‘r¹ p1h^’”w“a[T8s$Znad\‚a[T8Z/T6’šwR†a[PqT rTf[a[’™uT8Z\‚wRs$T6sq†^T6ZfdTpRf[T8ZnT6wrad’šwR†˜av\^Z[‘CZnad\€adT6Z6¡(mœ]RuvP \F†rfd\^pqP’™Zou6\‚ ” šT8s \ !
:" $C  .0?¡l­w .”U 0(a[Pq’™Zt†^fv\‚pRP’™ZtT_œadTwRs`T8sa[h¨’”wRu ”]Rs`T8s¦uvPqT6uv‘œp1h^’”wradT6s3ZnP/\‚fdT6spR\‚†rT Znad\‚a[T8Z¡® PR\‚a•–TWwqTT8s—’™Z–a[hFS\^’šw“av\‚’”wC’”w`žŸh^fdS\€a[’”h^wh^w šh`uv‘`ZgPRT ™s\‚auvPRT6uv‘œp/hr’šw“adT6s—Znad\‚a[T6Z6¡ O fv\€¹ sq’ ad’šhrwR\‚ s`Tp1Tw/s`TwRuT˜\^wR\‚ ”b`Zn’™Z «ŸT6†R¡”¸k\^Zo’”w .20Ÿ¬fd T “]q’”f[T8Z*\—a[fv\@^TfvZd\‚ kh‚ž adPqT˜uvPRT6uv‘œp/hr’šw“a*†rfd\^pqP a[h sqTa[T6f[S’”wqT„\!€\‚ ”’™s—fdT6uh€rTfdb! ”’šwRT^¡ ®3TwqT6T6sCa[hF^T6f[’šžŸbFa[PqTW šh`uv‘—uh^wRZna[fv\‚’”w“a–\^Z–Z[]qpqpq ”TSTw“aa[h˜a[PR’”Z adfd\rs`’ša[’”h^wR\^ `a[fv\@^T6fdZd\‚ `uhrSpq]`ad\‚a[’”h^wh^wFadPqTuvPqT8uv‘œp/hr’šw“a †^fv\‚pqP ¡j* š / šh`uv‘˜Znad\‚a[T8Z›\‚fdTf[T8uhrwRZcadf[]/u¥a[T8s \^wRs£\C šh`uv‘¨’™Z*wRh‚aWa[fdT6\€adT6s\^ZW\Z[TpR\^fd\‚a[T˜Tw“a[’šacb •Pq’”uvP3u\^w£’”wRs`Tp1Tw/s`Tw“a[ ”b fdh^ ” š/\^uv‘L¡WOPœ]RZ " 
 )P 
! " 4 4) !"#
 ! B)
2&"!  
(34)        !?
87  
- ?
!" :"D
R¡ l­w£\^w   ´ ´ ‹€µ )Œ`Š ° µ u\^Z[T^¸/f[hr š ”R\ruv‘uhr]q ™s  šT8\^s$a[h\Cs`hrSF’”wqh^¹? ”’š‘rTt:T 9LT6uaF«ŸR]`awqh^afdT6\^ š ”bq¬ T6^T6wuhrwRZ[’”s`T6f[’”wq†˜h^wq ”b— ”hœuv‘—sqTp1TwRs`T6wRu’”T6Zt«Ìwqhh‚adPqTfl­ wRuh“hrfdsq’šwR\‚a[T8s =(PqT8uv‘“p1h^’”w“adZ•’ša[P@\‚fdf[’”TfvZ6¡  ´:´ ‹€µ Œ`Š ° µ °  ´ )LŠ )  ªl­w adPq’”Zu6\^Z[T—•(T$‘œwqh€• a[PR\‚aFfdTrTf[a[’”wq† B av\^Z[‘œZ a[ha[PqT  ™\€adT6Zna uvPqT6uv‘œp1h^’”wra •’” ” gs`T/wq’ adT ”b£•–h^fd‘ uhrf[fdT6ua[ ”b^¡—j p1hrZdZn’”q ”TFhrp`a[’”S’š§8\€ad’šhrw3’™Z„adh \^wR\‚ ”bœ§T\‚w/s 

,-  . ( ,-    "

/  

  

 %










 

  



 "



' 

,-. /. -

 "

)





.

’”wq’ša[’™\€adT*h^wR šbwqT8uT6ZdZd\‚fdb!fdh^ ” šR\ruv‘`Z¡ Jqh^f–R\^f[fd’šT6fdZ a[Pq’™Z–f[T r]R’šfdT6Zadfd\@rTfvZn’”wq†„adPqTWsqTp1TwRs`T6wRub†rfd\^pqP adh3a[fv\^uv‘ \‚w/sªfdh^ ” ”R\^uv‘¦\‚ ” ad\rZn‘`Z•’ša[P s`T6p/T6wRs`Tw/ub adPqfdh^]q†rP©R\^f[fd’šT6fdZ «Ÿa[Pq’™Z’™ZFa[PqT adfd\rs`’ ad’šhrwR\‚  hrp`a[’”S’š§8\€ad’šhrw¦SFTa[Pqh`sR¬¡l¿a\‚ ™Z[h f[T “]q’šfdT6Z f[T8Znhr šœ’”wq† fdT6Z[h^]qfvuT—uh^w R’™u¥avZ¡3OPq’™Z!u\^w 1T$s`hrwqT—œb ’”wœ^hr‘“’”wq†a[PqTCf[T8Znhr]qfduTFuh^w /’”ua f[T8Znhr š]`ad’šhrw¦ZcadTp «ÌZna[T6p @8¬Wh^žj* š†rh^fd’ adPqS |q¡—l¿ž’šwadPq’”Z!ZcadTp•(T ST6f[T6 šb fdh^ ” šR\ruv‘$\^ š av\^Z[‘œZ’”w£adPqT˜ ™\€adTfW’šwœrhœu6\€ad’šhrw:¸L•(T˜•(hr]q ”s£PR\@^T˜f[T8Znhr šrT6s fdT6Z[h^]qfvuT˜uh^wR’”uadZ 1T6u6\‚]RZ[Ttu ”T6\^f[ ”bT6\^f[ ”’šT6fuvPqT6uv‘œp1h^’”wraoZnad\‚a[T6Z\^f[Ttuh^wRZ[’”Zna[T6w“a6¡  

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

j*  adPqh^]R†^P •–TCs`h wRh‚a /wRs \£uh^SSh^w s`T Rwq’ša[’”h^w¦žŸhrf!R\^f[fd’”TfvZt’šw© š’ša[T6fd\‚a[]qfdT^¸ \ uh^SSh^w¦]RZd\‚†rT h^ž!R\^f[fd’šT6fdZC’”Zadh \rZ[Z[]qST adPR\€a adPqT3Zd\‚STZnTa$h^ž ad\rZn‘`Z \‚ ”•\@bœZuhrSFTa[h \ªR\‚fdf[’”Tf8¡ l­wBadPR\€a u6\^Z[Ta[PqT\‚]q†rSFT6w“a[T6suvPqT8uv‘œp/hr’šw“a›†^fv\‚pRPFwRTT6sRZ a[ht1T*T6wqPR\^wRuT8s!adh ’”wRu ”]Rs`T*sqTp1TwRs`T6wRuT8Z›1Tac•–TT6w Z[]Ru6uT6ZdZ[’šrTgR\^f[fd’šT6f’”wRZnad\^wRuT8Z–«Ì’H¡ T^¡”¸  ' A  '5= ¬¡l­w˜a[PR’”Z u6\^Z[T(•–T–sqhwqh^a wqTT8s adPqTf[T8Znhr]qfduT(uh^w R’™u¥a fdT6Z[h^ ”]`ad’šhrw—ZcadTpC\‚a\^ š ?¡OPRT*adfd\rs`’ ad’šhrwR\‚ /f[T8uh€rTfdb! ”’šwqTWuhrSFpR]`ad\‚a[’”h^w—hrwa[Pq’™Z–†^fv\‚pqPpRf[h`s`]RuT6Zga[PqT fd T “]q’”fdT6s—fdT6uh€^T6f[b ”’šwqTr¡ Í R2TUVW QQ S

U@| 




  " 







+ ')+**,-*      #

m`’šwRuT„R\‚fdf[’”TfZnad\‚a[T6Z\^f[TtZ[S\‚ ” H¸`hrwqTtu\‚w$S\‚’”w“ad\‚’”w \‚w¨\@€\‚’” ”\^q šT„uhrpœbh‚žT6\^uvP Z[]RuuT6ZdZcžŸ]q ” ”bCuhrS˜¹ pR šTa[T6s’”wRZcav\‚wRuT„h‚ž\˜R\^f[fd’šT6f6¡OPqT8ZnTt\‚fdTWwqh‚adPq’šwR†FR]`aR\‚fdf[’”TfuvPqT8uv‘œp/hr’šw“adZ6¸œ•’ adPCadPqT \^sRs`’ ad’šhrwR\‚  fd T “]q’”fdTSTw“ata[P/\€a adPqTCR\^f[fd’”Tft’™Z!uvPqT8uv‘“p1h^’”w“a[T8s¦\€a!T8\^uvP¦Zn]/uuT8Z[ZnžŸ]q –uh^Spq ”Tad’šhrw:¡ oT6wRuT—•–TCs`h wRh‚aPR\@^T*a[hs`T6\^ 1•’ša[Pa[PRTp1hrZdZn’”q’” š’šacba[P/\€a•(TWs`hFwqh‚aPR\@^TW\˜uTf[ad\^’šwR\‚fdf[’”Tf(’šwœrhœu6\€ad’šhrw—•Pq’™uvP S\@b—1TtwqT6T6s`T8sC’”w¨ZcadTp  „’”whr]qfo\‚ ”†^hrf[’ša[PqS ¡ =(hrwRZn’™s`T6f\R\^f[fd’”TfkadPR\€a ’™Z\^u¥ad’šrTg\€a žÌ\‚’” š]qfdT^S ¡ =( šT8\‚fd šb*a[Pq’™Zu\‚w u6\‚]RZ[T›hrwq šbWfdT6Z[h^]qfvuT›uh^w“a[T6wrad’šhrw fdT ™\€adT6s!f[hr š ”R\^uv‘L¡ OPR’”Z’™ZPR\‚w/s` šT8s!œb /fdZna f[T8uh^w/Zcadf[]Rua[’”wq†oadPqTžÌ\‚’” ”T6s˜R\‚fdf[’”Tf’”wRZcav\‚wRuTZcav\€a[T(žŸfdh^S adPqT  š’”^T$STS˜/T6fdZ•\‚’ša[’”wq†3h^w adPqT¨R\^f[fd’šT6f6¸ 1TžŸhrf[T$pqfdh`uTT8s`’”wq†•’ša[P0adPqT f[T8Znhr]qfduTuh^w“a[T6wrad’šhrw \^wR\‚ ”b`Zn’™Z6¡l¿¡ Jqfdh^S'a[PR’”Z •–Tou\^wf[T8uhrSFpR]`a[To\^ š q/\‚fdf[’”Tf ’”wRZnad\‚w/uT6Zg’šwadPqTžŸ]`ad]qfdToh‚žLa[PRT*uvPqT6uv‘œp1h^’”w“a[T6sF’”wRZnad\‚w/uT^¡j*ZdZ[]qS’šwq† adPR\€aadPqT s`T6†^fdTT„h‚ža[PqTt/\‚fdf[’”Tf’™ZouhrwRZcav\‚w“a6¸`’ša*’™Zp/h“Z[Z[’”q šT„adh—s`TadT6uao’ ž T6\ruvP$Z[]RuvP$f[T8uhrwRZcadf[]/u¥a[T8s ’”wRZnad\^wRuTPR\^Z–\˜uh^Spq ”TadToad\rZn‘—Z[Ta8¡l¿ž wqh‚a8¸“a[PqT6w—a[P/\€a’šwRZnad\^wRuTWwqT6T6sqZga[hF/TW’”w“€\^ š’™sq\€adT6sk¸`u6\‚]RZ[’šwR† uh^fdf[T8Znp1h^w/s`’šwR† a[fv\@^T6fdZd\‚ L\‚w/sfdh^ ” ”R\^uv‘L¡ l­w¨uhrwRZ[ š]RZ[’”h^w:¸q\R\^f[fd’”TfS\@b—/T uh^wRZ[’™s`TfdT6s$\^Z\Z[TpR\^fd\‚a[T„uvPqT6uv‘œp1h^’”w“ad\‚R šT„Tw“ad’ acbr¡ @–\^f[fd’”TfvZ ’”w“a[fdh`s`]RuTu\‚]/Z[\^ Rs`Tp1Tw/s`TwRu’šT8Zg1Tac•–TT6wad\rZn‘Zcav\€adT6Zg\^wRsuvPqT8uv‘“p1h^’”w“a[T8sR\‚fdf[’”Tf ’”wRZnad\^wRuT*Znad\‚a[T8Z¡ @\^f[fd’šT6fdZ–\‚ ™Z[h˜’”w“a[fdhœsq]RuTWf[T8Znhr]qfvuT„uh^w R’”uadZ–•Pq’™uvPwRTT6sadhF1Tt\^sqsqf[T8Z[Z[T6s—žŸh^ffdT6uh€rTfdb˜ ”’”wqT uhrS˜¹ pR]`ad\‚a[’”h^w:¡Fl­whrfdsqTfWa[h Zn]Rpqp/hrfna uvPqT8uv‘œp/hr’šw“a[’”wq†$h‚ž\Cav\^Z[‘¨]RZ[’šwq† R\^f[fd’”TfvZ¸L•–T˜wqT6T6s£a[h ‘œwqh€•\^ š  /\‚fdf[’”TfvZ’ša„’™Z•–\^’ ad’šwq†CžŸh^f8¡tOPq’”ZW’”w`žŸh^fdS\€ad’šhrw wqTT8sqZ*a[h$/TZcadh^fdT6s \^ šhrwq†C•’ša[P£a[PqT˜ad\rZn‘ pqfdh€€\€adT Znad\‚a[T¨uvPqT8uv‘“p1h^’”w“a6¡ OPqT W $ žŸh^fav\^Z[‘œZwRTT6sRZFa[h/T \^]q†^ST6wradT6s©a[h3a[fv\^uv‘¦’”w“a[T6fd\ru¥a[’”h^w/Z˜•’ša[P /\‚fdf[’”TfvZ¡ 
$ 
$ 
  l­wCa[Pq’™ZpR\^p/T6f(•–TpRf[T8ZnT6wradT6sadPqT„’”ZdZ[]qT6Z–p1hrZ[T6sœbac•–hFuh^SSh^wCZ[bœwRuvPqfdh^wq’”§6\‚a[’”h^wpqfd’šS’ša[’”^T8Z(’”w\ Z[T “]qT6w“a[’™\‚ quhrwRZ[’”Zna[T6wRub  -m ,Z[b`ZcadTS ¸‚’”wR\^uv‘œ•\‚fvstTfdf[hrff[T8uh€^T6f[b„žŸfdh^S¤žÌ\‚’” š]qfdT6Z6¡®TPR\@rT–a[fd’šT8s adh*T_“adTwRs!h^]qfT6\^f[ ”’”Tf •–h^fd‘ .šU 0`hrw!s`Tp1Tw/s`TwRub„a[fv\^uv‘œ’”wq†\^wRstfdT6uh€rTfdb* ”’šwRT–uh^Spq]`av\€a[’”h^w žŸh^f  -m , Z[b`ZcadTSZ6¡®3Twqh‚ad’”uTa[P/\€a a[PRTfdT*\‚fd?T " 
’™ZdZn]qT8Z’šwadPqTofdT6uh€^Tfdb„¹u6\‚]RZd\‚ ”’ acb!f[T6 ”\‚a[T6ss`T6p/T6wRs`T6wRu’”T6Z \^wRs¨fdT6Z[h^]qfvuT˜uh^w“adTw“a[’”h^w:¡„®3TPR\@^T wRh‚a[’™uT8s¨adPR\€a„•Pq’” šTF šh`uv‘`ZWs`hwRh‚a„’šw“a[fdh`s`]RuT˜\‚wœb¨u\^]RZd\‚ ”’ acb sqTp1TwRs`T6wRu’”T6Z6¸‚R\^f[fd’”TfvZs`h/¸^\‚w/s!’”w`žŸh^fdS\€ad’šhrw˜u\^w!1T’šw/uh^fdp1h^fv\€a[T8st’”w!adPqTa[fv\^s`’ša[’”h^w/\‚ `uvPqT6uv‘œp1h^’”w“a †rfd\^pqPadhF\^’”s$u\^]RZ[\^ š’šacbf[T6 ”\‚a[T8s—fdT6uh€rTfdb! ”’šwRT„uh^Spq]`av\€ad’šhrw:¡ @(h^a[P šh`uv‘`Z\‚wRsCR\‚fdf[’”TfvZ›’”w“a[fdh`s`]RuT fdT6Z[h^]RfduT!uhrwradTw“a[’”h^w3uhrw R’™u¥adZ„\^wRs¨adPqT6Z[T˜wRTT6s a[h$/TfdT6Z[h^ ”^T8s¨œb¨PqT]qfd’™Zcad’”u6Z¡ JR]qfnadPqTf„•–T˜wRh‚a[T adPR\€aW/T8u\^]RZnT!h‚ža[PqT8ZnT˜f[T8Znhr]qfvuT„f[T6 ”\‚a[T8s¨uh^w R’”uadZ\]qwq’ “]qT! ™\€adT6Zna*f[T8uh€rTfdb— š’”wqT˜’”Z*wqh‚a„s`T RwRT6sk¡ OPR’”ZwqT8uT8Z[Z[’ av\€adT6Z–a[PRTt]RZnT„h^žPqT6]qfd’”Zna[’™uZ6¡ l­w0a[PRT pqfdhœuT6ZdZFh‚žWa[PqT£\^/h€rT$sqT6Zdufd’šp`ad’šhrwª•–T¨PR\@rT sqT6Zdufd’š1T6sª•PR\€aCZ[]qpqp1h^f[a—’”wªadPqT žŸh^fdS h^žoST6uvPR\^wq’”Z[SZ žŸfdh^S l­ Q@=BA


   !
!"#%$&  '
()

U8ƒ

fdT6uh€^T6f[br¡–j* ”Z[ha[PRT˜\^sRs`’ ad’šhrwR\‚ sq\€av\—Zna[fd]Ru¥ad]qf[T8ZfdT “]q’”f[T8s$žŸh^fuvPRT6uv‘œp/hr’šw“ad’šwq†—\^wRs fdT6uh€rTfdb—PR\@rT 1TT6w¨s`T6Zdufd’š1T6s:¡ ¢wqT¨S\@b0\‚ ™Znh¦uhrwRu ”]Rs`T žŸf[hrS h^]Rf—s`T6Zdufd’špqa[’”h^w0a[PR\‚aC]qwRuhœh^fvs`’šw/\€a[T8sªuvPRT6uv‘œp/hr’šw“ad’šwq†¦p1hrZ[T6Z \rsqs`’ša[’”h^wR\^  uvPR\‚ ” šT6wq†^T8Z«Ìs`]qTadh f[T8Znhr]qfduT˜uh^w R’™u¥avZd¬•PqT6w¦s`T6\^ š’”wq†$•’ adPZ[bœwRuvPqfdh^wq’”§6\‚a[’”h^w pRf[’”S’ ¹ ad’šrT6Z’”w ZnP/\‚fdT6sSFT6Sh^fdbC\‚pqpR š’™u\‚a[’”h^wRZ6¡›OPq’™ZS\‚‘^T8Z–a[PqT u6\^Z[TWžŸh^f*uh“hrfdsq’šwR\‚a[T8suvPqT8uv‘œp/hr’šw“a[’”wq†’”w u š]/ZcadTfvZZcadf[hrwq†^T6f6¡ j*w h^œœ’šhr]RZts`’”f[T8u¥ad’šhrwžŸh^f fdT6Z[T6\^fduvP3’”Z a[h£Z[TTC•PR\€a˜uh^wRZna[fv\‚’”w“adZt\^f[T’”Sp/h“ZnT8s“ba[PRTCh‚adPqTf Z[bœwRuvPqfdh^wq’”§6\‚a[’”h^wWpqfd’šS’ša[’”^T6Z:]RZnT8s„’šw Z[PR\^f[T8sST6SFhrf[bW\‚pqpR š’™u\‚a[’”h^wRZ6¡ OPqT›’™s`T8\^Z:s`’™Zdu]RZdZnT8sWPqTfdT›•’” š  1T„\‚pqpq ”’”T6sadh!hr]qf(’”Spq ”TSTw“ad\‚a[’”h^wh‚žuvPqT8uv‘œp/hr’šw“a[’”wq†!\^wRs—fdT6Znad\^fna(h‚ž\^pqpq ”’”u6\€a[’”h^w/Zg’”w G„T6f[fd’š†rPqT6s:¡ %'
€– .š4U 0tX ¡ @–\rs`fd’šwR\‚a[P0\‚wRsF=¡S,¨h^fd’šw ¡ =(h^SSh^w ,¨T6uvP/\‚wq’™ZnSZ Jqhrf—mœ]qpqp1h^f[a[’”wq†;JR\‚]R  a—Oh^ ”Tfv\‚wRuT ’”w  -m , \‚wR&s ,¨T8Z[Zd\‚†rT„e\rZ[Z[’”wq†—mœb`ZcadTSZ¡–O T8uvPqwq’™u\^  XTp1h^f[a*XoX¹¿… 9RU6ƒR¸“lc}Xlcj ¸1}oh€rTS!1Tf |^{^{“|`¡Pra[a[@p (8 8€•••t¡ ’”wqfd’”\R¡ žŸf 8@fdfdfna 8@fdfn¹¿… 9RU6ƒ`¡ P“a[S H¡ . | 0tX ¡ @\^s`fd’šw/\€a[P ¸ =¡ ,¨h^fd’šw ¸^\‚wRs F¡ $ \‚ ” ”YT^¡ =(PqT6uv‘œp1h^’”wrad’šwR†W\^wRs˜XoT6uh€rTfdb„h‚žLm`PR\‚fdT6s,¨TShrf[b e \^fd\^ š ”T Wjopqpq ”’™u\€ad’šhrwRZ’šwB\ =( š]RZna[T6f6¡l­w    4!" "#
/¸RpR\^†^T6ZCz @ ‚ƒq¸12U @ @C9q¡ . 30 , ¡ › ”wqhr§6\‚Pœbr¸ ¶ ¡1jo ”œ’”Z[’H!¸ 6*¹ ,¦¡1®3\^wq†R¸1\‚wRs  ¡ @W"¡ ^hrPqwRZ[h^w:¡j¤Z[]qfd^Tbh‚ž fdh^ ” šR\ruv‘“¹?fdT6uh€^Tfdb pRf[h^a[h`uhr ”ZC’šwESFT8Z[Zd\‚†rT¹¿pR\^ZdZ[’šwq†¦Z[b`ZcadTSZ¡ O T8uvPqwq’™u\^ WXT6p/hrfna =/¹ =m“¹ @C@‚¹dU6… 5q>¸ =–\‚fdwqT6†^’”T , T ” šhrw >*wq’”^TfvZ[’ acbr¸ r]qwqTU @C@ @q¡jopqp1T6\^fdZ\^ ”Z[h˜’”w =(h^Spq]`ad’šwR†Cmœ]qfd^Tb`Z6¸qmœTp`adTS˜/T6f6¸/|^{^{“|`¡ . 50 F#¡ “\‚wR\^‘“’”fv\‚S\‚w¨\‚w/s 6˜¡kO\^S’šf8¡ =(hœh^fvs`’šw/\€a[T8s¨uvPqT6uv‘œp1h^’”w“a[’”wq†‚¹¿f[hr š ”R\ruv‘—Tfdf[hrff[T8uh€rTfdbžŸh^f sq’”Zna[fd’šR]`a[T8sEZ[PR\‚fdT6sBSTSh^fdb S!]q ša[’™uhrSFpR]`a[T6fdZ6¡ l­$ w  ) >!
3B
 '  CB    "DB -"   )3"   ¥¸qp/\‚†^T8Z–…“%| qz`Ur¸/U @C@‚…/¡ . @0 @W&¡ “\‚wRZdZnT6wRZ*\^wRs¨®x¡ GI¡ Jq]RuvPRZ6¡tXT6sq]Ru’”wq†C’”w“a[T6f[pqfdh`uT8Z[Z[h^f*sqTp1TwRs`T6wRuTF’”w£fdT6uh€rTfv\‚q ”Tts`’™Zc¹ adf[’”q]`adT6s¨Z[PR\‚fdT6s$STShrf[br¡gl­'w :) 
B
&'   CB    "#B-"  ( )3"   ¥¸qpR\^†^T8Zƒ‚… œ…RUr¸ U @C@^…R¡ Í R2TUVW QQ S

U6…

  " 







.”U6{0„j!¡ ¹ ,¦¡ G„TfdS\‚fdf[T8u‚¸ =¡ ,¨h^fd’šw ¸1\^wRs ,¦¡ – @ \^w €adf[Tr¡  T8Zn’”†^w:¸1’”SFpR šT6SFT6w“ad\€ad’šhrw \‚wRs T€\‚ ”]R\€ad’šhrw h^ž1l –= jX  ^\^w˜T 2—u’™uTw“a fdT6uh€rTfv\‚q ”T  m-¦ , ¡ 
"  H C4"D  !4 ¸“|C5R«@“¬ @C5RU  U8{qU8{q¸ ^]R šb U@C@ q5 ¡



87 



.”U^U40„j!¡G*hrwq†^S˜]qwœ€\€anav\‚wR\R¸@mk¡@O\‚w/uvPR\€avuvPR\@•–\^ H¸@\‚w/s }o’™\‚w`¹ JqT6wq†„O

§6Twq†/-¡ =(hrPqTfdTwRuT¹¿R\^Z[T6stuhœh^fvs`’ ¹ w/\€a[T8s uvPqT6uv‘œp1h^’”wrad’šwR†˜žŸhrfoZnh^ž ac•–\^f[T„s`’™Zcadf[’”q]`adT6s Z[PR\‚fdT6sSTSh^fdbCZ[bœZna[T6SZ¡ l­w
:" 4 "D
 
374  


  "DB -"  &
>-"D $( )3"   ¥¸qpR\^†^T8Zzrz9`z9rƒq¸œ|‚{^{r{q¡ .”U8|0=¡ , h^fd’šw0\‚wRs©l¥¡ e›]R\‚]qa6¡ªj Z[]qfd^Tbh^žfdT6uh€rTfv\‚q ”T—s`’™Zcadf[’”q]`adT6s0ZnP/\‚fdT6s œ’”fnad]R\‚ STShrf[b Z[b`ZcadTSZ6¡ 

- 4 C4"#

   B  S    "#B -"   )3"   ¥¸ 5/« @r¬  @“z @ @C9 @q¸/2U @C@ œ¡ .”U6ƒ 0?J–¡rm`]q  av\‚w:¸“O„¡^}o†r]qbr\^w:¸^\^wRs ¶ ¡‚l¿ž a[h`s`Tr¡1m`u6\‚ ™\‚q ”T–žÌ\‚]q ša a[hr šT6fd\^w“as`’™Zna[fd’šq]qa[T6sZ[PR\‚fdT6s˜STSh^fdb^¡ l­w !4 
-"#%$    $ 4 7
    4" 
 %$  
-"#%$ 
7 ¸ }*h€L¡R|‚{^{r{q¡ .”UC… 0F¡mœ]qfd’H¸Xt¡ “\‚w/Z[Z[TwRZ6¸(\^wRs0®x¡ G¡ Jq]/uvPRZ¡EXT6s`]/uT6s0h€rTfdPqT6\rs¦ šhr†^†r’šwq†žŸh^fCf[hr š ”R\^uv‘¦fdT¹ uh€^T6f[b ’”w s`’™Zcadf[’”q]`adT6s Z[PR\^f[T8s£STShrf[br¡l­w 
!"  "#
  ) >!
3B
   " 
:
 !" 
>-"D $  )3"   ¥¸`pR\^†^T8Z| @`| 5 5q¸re\rZ[\rs`Tw/\q:¸ =–\‚ ”’šžŸh^fdwq’”\R¸L2U @C@“z`¡ .”U8z 0 6F¡ , ¡`®3\^wq†R¸œj ¡ ¶ h€•f[br¸r\‚w/s—®x¡ G¡ JR]RuvPRZ6¡ =(h^w/Zn’™ZcadTw“a(†r šhrR\‚ LuvPqT8uv‘“p1h^’”w“adZ(R\^Z[T6s—h^wCs`’”fdT6u¥a sqTp1TwRs`T6wRubCa[fv\^uv‘œ’”wq†R¡ 
7
  "#
 Q@=BA

Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unité de recherche INRIA Rhône-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST MARTIN Unité de recherche INRIA Rocquencourt, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex Unité de recherche INRIA Sophia-Antipolis, 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex

) * )" *

Éditeur INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France)

 

    
  ISSN 0249-6399