• Aucun résultat trouvé

Verification and Symbolic Test Generation for Safety Properties

N/A
N/A
Protected

Academic year: 2021

Partager "Verification and Symbolic Test Generation for Safety Properties"

Copied!
24
0
0

Texte intégral

(1)Verification and Symbolic Test Generation for Safety Properties Vlad Rusu, Hervé Marchand, Thierry Jéron. To cite this version: Vlad Rusu, Hervé Marchand, Thierry Jéron. Verification and Symbolic Test Generation for Safety Properties. [Research Report] RR-5285, INRIA. 2004, pp.20. �inria-00070715�. HAL Id: inria-00070715 https://hal.inria.fr/inria-00070715 Submitted on 19 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. Verification and Symbolic Test Generation for Safety Properties Vlad Rusu, Hervé Marchand, and Thierry Jéron. N˚5285 août 2004. ISSN 0249-6399. ISRN INRIA/RR--5285--FR+ENG. Systèmes communicants. apport de recherche.

(3)

(4) 

(5)    "!#%$& (')%*  ,+-. +-/ 02134 %$ 5 68709;:=<>?<@BADCFE GIHKJ70E?L-M70N9@O70N9QPMRSCFE?E TQU0HFEWVIN XZY0[\]_^a`-[cb-de^f^DgihijkbmlFhn\[ oqp dFrs`_\tq` pu `wvx[ y lFzizd p \c{i` p `-b|&` p b |&`}h~Z€‚‚ƒ‚€ „†lede‡i\ˆ‚‰‚‰FŠ„†‚‰ z‹lFŒ`-[. Ž

(6) m‘m’”“i•‚‘‚– u |ijk[z‹lFz` p z p `-[`_hZ\[l—b-de^˜ij™h‹lF\jkdehdFšœ›` p jž‹bmlF\jkdehlFh&{Qb-dehIšŸd p ^ lFh&b-` \`-[\j™hiŒ \`-b|ihijk¡Zg&`-[ š¢d p \|&` š¢d p ^ lF£œ›elF£™jk{&lF\jkdeh¤dFš p `mleb_\j™›`K[Y0[\`_^a[w¥§¦¨šŸd p ^ lF£[z`-b_jž‹bmlF\jkdeh©dFšªl«[YI[\`_^­¬DlFh3j™hizigi\s¬®degi\zigi\ lFgi\de^ lF\deh3¯j™\|Q›‚l p j°lF˜i£k`-[\|‹lF\D^ l-Y p lFhiŒ`dm›` p j™hI&hij™\`{ide^ lFj™h&[D¬cjk[ le[[gi^a`-{±¥#¦{i{Ij™\jkdeh‹lF£™£™Y²ql [ `_\DdFš [ l”š¢`_\®Y3z p dez` p \jk`-[fš¢d p \|&` [z`-b_jž‹bmlF\jkdeh³l p ` Œ‚j™›`_h´gih&{i` p \|&` šŸd p ^µdFšde˜&[` p ›` p [{i`-[b p j™˜*`-{´j™h©\|&` [ lF^a` š¢d p ^ lF£™jk[^¶¥ u |&`_hB²B`mleb|Qz p dez*` p \·Y«jk[›` p jž‹`-{§deh§\|&`f[z*`-b_jž‹bmlF\jkdeh;g&[j™hiŒ—lFgi\de^ lF\jkba\`-b|ihijk¡Zg&`-[¸Ÿ`‚¥ Œ&¥™²

(7) lF˜I¬ [\ p leb_\fj™hZ\` p z p `_\ lF\jkdeh¹\|‹lF\ l p `#[degih&{˜igi\ h&de\fh&`-b-`-[[ l p j™£™Yºb-de^fzi£k`_\`Kš¢d p \|&`—b_£°le[[ dFšª[ l”š¢`_\®Y;z p dez` p \jk`-[ b-deh&[jk{i` p `-{¶|&` p `‚¥q»ª`?¼0\m²0š¢d p `mleb| z p dez` p \®Y²l \`-[\bmle[`jk[clFgi\de^ lF\jkbmlF£™£™Y#Œ`_h&` p lF\`-{ š p de^\|&`=[z*`-b_jž‹bmlF\jkdeh lFh&{\|&`#z p dez` p \®YlFh&{jk[ `?¼i`-b_gi\`-{¤deh¤l«˜i£°leb ½n¬¾˜d-¼j™^fzi£k`_^a`_hn\ lF\jkdeh¿dFšˆ\|&`K[Y0[\`_^ ¥§À®šc\|&`K›` p jž‹bmlF\jkdeh [\`_z¯xle[ [g&b-b-`-[ [sš8gi£¾²/\|‹lF\jk[m²/j™\|‹le[`-[\ lF˜i£™jk[|&`-{\|‹lF\\|&`[z*`-b_jž‹bmlF\jkdeh3[ lF\jk[s‹`-[\|&`z p dez*` p \·Y²\|&`_h\|&` \`-[\x`?¼I`-b_gi\jkdeh#^ lmYa{i`_\`-b_\Á\|&`ˆ›Zjkde£°lF\jkdeh#dFšB\|&`z p dez` p \®Y ˜nYa\|&`cj™^fzi£k`_^a`_hn\ lF\jkdeh¶lFh&{\|&`c›0jkde£°lF\jkdehKdFšB\|&` [\ lFh&{&l p {fÂ8à • Ãfb-dehIš¢d p ^ lFh&b-` p `_£°lF\jkdeh#ęÅmƒ”ÆI˜`_\®¯Á`-`_hfj™^fzi£k`_^a`_hZ\ lF\jkdehlFh&{[z*`-b_jž‹bmlF\jkdehB¥qLjh\|&`œde\|&` p |‹lFh&{±² jžš\|&`f›` p jž‹bmlF\jkdeh[\`_zQ{Ijk{§h&de\b-deh&b_£™g&{i`«¸8j¾¥È`‚¥™²Bj™\{Ijk{;h&de\lF£™£kdw¯}\d—z p dw›` d p \d {Ijk[z p dm›`a\|&`az p dez*` p \·Yi¹?² \|&`_h \|&`=\`-[\`?¼I`-b_gi\jkdeh«^ l-Y—le{i{Ij™\jkdeh‹lF£™£™Y {i`_\`-b_\ˆl ›0jkde£°lF\jkdeh¶dFš\|&`z p dez*` p \·Y#˜nYK\|&`=[z`-b_jž‹bmlF\jkdehB¥ u |&`aj™hIšŸd p ^ lF\jkdeh&[ lF˜*degi\\|&` p `_£°lF\j™›`¶¸8j™h¹Éb-deh&[jk[\`_h&b_jk`-[˜*`_\·¯Á`-`_h[z*`-b_jž‹bmlF\jkdehB²

(8) j™^fzi£k`_^a`_hn\ lF\jkdehB²%lFh&{ z p dez` p \jk`-[ql p ` p `_z*d p \`-{\dª\|&`Êg&[` p le[/\`-[\/›` p {Ijkb_\[m¥ u |&`œlFziz p dleb |fjk[/j™£™£™g&[\ p lF\`-{ deh\|&`œË yco z p de\d0b-de£ÄÍ̔Ʈ¥ ΗÏnÐÑÒ Ã ’”Ó/‚– [Y0^D˜de£™jkb›` p jž‹bmlF\jkdehB²‹b-dehIš¢d p ^ lFh&b-`=\`-[\j™hiŒ&²&[Y0^D˜de£™jkb\`-[\Œ`_h&` p lF\jkdeh. ԞÕBÖ·×®ØmÙ֜ÚBۙ׾ܢÝ-Þ 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.

(9) 

(10) œ *,/ % œ  µ. *%$i $ $‹=¨  %$ 4 %$ 44* / %$ ¨$ 

(11) */    – vx`_\%l p \jkb_£k`Áz p [ `_hn\`œgih&`xb-de^D˜ij™h‹lFjk[deha{i`x\`-b|ihijk¡Zg&`-[%{i`x› _p jž‹bmlF\jkdehf`_\{i`Á\`-[\{i`œb-dehIšŸd p ^fj™\  zdeg p £°l¶› _ p jž‹bmlF\jkdeh¤{i`[Y0[\]_^a`-[ p leb_\jžš¢[m¥«¦¨z‹l p \j p { gih&`#[z  b_jž‹bmlF\jkdehQš¢d p ^a`_£™£k`#{ gih[YI[\]_^a` p leb_\jžšs² {  b p j™\Ê[ deg&[£°lš¢d p ^a`{ gih lFgi\de^ lF\` `_hZ\ p `-[s¬®[d p \jk`-[  \`_h&{Iglm›`-b{i`-[%›‚l p j°lF˜i£k`-[%z*d p \ lFhZ\q[g p {i`-[%{ide^ lFj™h&`-[ &hijk[degºj™hI&hijk[w²/`_\{ gihde˜&[ ` p ›elF\`_g p ¸Ÿ{  b p j™\{&lFh&[£k`a^_ ^a` š¢d p ^ lF£™jk[^a`w¹zdeg p gih&`z p dez p j  \  {i` [‡ p `_\  ² £°l¶z p `_^fjk] p `  \ lFz`Kb-deh&[jk[\`— › _ p jž‹` p lFgi\de^ lF\jk¡ng&`_^a`_hZ\a£°l—z p dez p j  \  [g p £°l [z  b_jž‹bmlF\jkdeh3z‹l p {i`-[\`-b|I¬ hijk¡Zg&`-[ÊlFziz p d0b|  `-[ˆ¸ª ˜‹le[ `{ j™hn\` p z p `_\ lF\jkdeh—lF˜&[\ p lFj™\`w¹/¡ngij&[ dehn\qb-deh&[` p ›‚lF\j™›`-[qzdeg p £°lb_£°le[[`{i`œz p dez p j  \  [ b-deh&[jk{ _ p `‚¥% h&[gij™\`‚²gih3bmle[{i` \`-[\`-[\lFgi\de^ lF\jk¡Zg&`_^a`_hn\fŒ  h _ p `_\`?¼  b_gi\  [g p gih&` j™^fzi£  ^a`_hZ\ lF\jkdeh ˜d!k\`?¬¾h&dej p `f{Ig [Y0[\]_^a`‚¥DXZj/£°l› _ p jž‹bmlF\jkdehQlaz` p ^fjk[{  \ lF˜i£™j p ¡ng&`£°lz p dez p j  \  `-[\[ lF\jk[sš¾lFj™\`Dz‹l p £°l[z  ¬ b_jž‹bmlF\jkdehB²*£"È `?¼  b_gi\jkdeh«{Ig«bmle[ˆ{i`=\`-[\cz*`_gi\ª{  \`-b_\` p {i`-[ˆ›Zjkde£°lF\jkdeh&[ª{i`£°lfz p dez p j  \  z‹l p £" j™^fzi£  ^a`_hZ\ lF\jkdeh `_\$F# deg©£°l«›0jkde£°lF\jkdeh´{i`#£°l p `_£°lF\jkdeh´{i`—b-dehIš¢d p ^fj™\  Â8à • à ęÅmƒ”Æc`_hn\ p ` j™^fzi£  ^a`_hn\ lF\jkdeh¿`_\a[z  b_jž‹bmlF\jkdehB¥%% h p `_›‚lFh&b|&`‚²±[j/£°l › _ p jž‹bmlF\jkdeh§h&Í laz‹le[ªz` p ^fjk[ˆ{  \ lF˜i£™j p [j

(12) £°l [z  b_jž‹bmlF\jkdeh§[ lF\jk[sš¾lFj™\ª£°laz p dez p j  \  deg h&deh¤¸Ÿb-` ¡ZgijIz*`_gi\ql pp j™›` p `_h z p lF\jk¡ng&`œzdeg p {i`-[%[Y0[\]_^a`-[/j™hI&hijk[W¹?²£"È `?¼  b_gi\jkdehf{Igfbmle[%{i`x\`-[\

(13) z`_gi\m²`_h zi£™g&[m²‚{  \`-b_\` p £°lD›Zjkde£°lF\jkdeh#{i`ˆ£°l=z p dez p j  \  z‹l p £°l=[z  b_jž‹bmlF\jkdehB¥(B' `-[Áj™hIšŸd p ^ lF\jkdeh&[lFj™h&[jde˜i\`_hng&`-[[g p £k`-[xb-de^fz*d p \`_^a`_hZ\[ p `_£°lF\jžš¢[{i`D£°lK[z  b_jž‹bmlF\jkdehB²±{i`£" j™^fzi£  ^a`_hn\ lF\jkdehB²

(14) `_\{i`£°lz p dez p j  \  [dehn\ p `_\deg p h  `-[) £" gi\j™£™jk[ lF\`_g p [deg&[ £°lš¢d p ^a`{i`›` p {Ijkb_\[ˆ{i`\`-[\m¥('(Í lFziz p d0b|&``-[\j™£™£™g&[\ p `=[g p £k`z p de\dZb-de£k`=Ë yˆo ÄÍÌFÆO{i` o |ij™£™£™j™z&[w¥ * à ‘m Ñ •,+  – › _ p jž‹bmlF\jkdeh«[YZ^˜*de£™jk¡Zg&`‚²i\`-[\{i`=b-dehIš¢d p ^fj™\  ²iŒ  h _ p lF\jkdeh {i`\`-[\[[Y0^D˜de£™jk¡Zg&`-[.

(15) ˆ ‹  O  6 d p ^ lF£i›` p jž‹bmlF\jkdehKlFh&{b-dehIš¢d p ^ lFh&b-`\`-[\j™hiŒ=l p `x\®¯xd¯Á`_£™£ž¬®`-[\ lF˜i£™jk[|&`-{ lFziz p dleb|&`-[%šŸd p ›‚lF£™jk{&lF\j™hiŒ=[dFš8\·¯xl p ` [YI[\`_^a[m¥%˜de\|«lFziz p dleb |&`-[ˆb-deh&[jk[\j™h¶b|&`-b ½Zj™hiŒ\|&`b-deh&[jk[\`_h&b_Y—dFš\®¯Ád p `_z p `-[`_hn\ lF\jkdeh&[ªdFšql [Y0[\`_^87 9 šŸd p ^ lF£±›` p jž‹bmlF\jkdeh \®Y0zijkbmlF£™£™Y—b-de^fz‹l p `-[ˆlFh¶dez` p lF\jkdeh‹lF£

(16) [z*`-b_jž‹bmlF\jkdeh¶dFš\|&`=[YI[\`_^¯j™\| p `-[z*`-b_\\d [de^a`|ij™Œ‚|&` p ¬¾£k`_›`_£ p `-¡Zgij p `-{—z p dez` p \jk`-[m² 9 b-dehIšŸd p ^ lFh&b-`\`-[\j™hiŒ Ä̀I²

(17) Å?Æb-de^fz‹l p `-[ª\|&`de˜&[` p ›‚lF˜i£k`=˜`_|‹l-›0jkdeg p dFšÁlf˜i£°leb ½n¬¾˜d-¼¶j™^fzi£k`_^a`_hZ\ lF\jkdeh;dFš \|&`[YI[\`_^ ²I¯j™\| \|&`=b-d pp `-[zdeh&{Ij™hiŒa˜`_|‹l-›0jkdeg p {i`-[b p j™˜`-{—˜ZY#lFh¶dez` p lF\jkdeh‹lF£O[z`-b_jž‹bmlF\jkdehB¥ vxdehIš¢d p ^ lFh&b-`c\`-[\j™hiŒDjk[q\·YZzijkbmlF£™£™Y z*` p š¢d p ^a`-{a˜ZYflFgi\de^ lF\jkbmlF£™£™YK{i` p j™›Zj™hiŒ :#" ; "-#" š p de^}\|&`c[z*`-b_jž‹bmlF\jkdehB² lFh&{Q˜nY p gihihij™hiŒ \|&`a\`-[\Dbmle[ `-[DdehQ\|&` j™^fzi£k`_^a`_hn\ lF\jkdeh3\d¶de˜i\ lFj™h :#") &<=),- >" lF˜degi\D\|&`ab-dehIš¢d p ^ lFh&b-` ˜`_\®¯x`-`_h¶\|&`\·¯Ád p `_z p `-[ `_hn\ lF\jkdeh&[ªdFš/\|&`=[Y0[\`_^ Ä 3 ² ?I²OÅmI²±AÅ @I²±ÅmƒI²BÅm̔Ʈ¥ 6 d p `?¼ilF^fzi£k`‚²ªj™h.ęÅm”Æ®²`_hngi^a` p lF\j™›`Q^adZ{i`_£ž¬®b |&`-b½0j™hiŒ³lF£™Œd p j™\|i^a[ l p `§`_^fzi£kdmY`-{ š¢d p Œ`_h&` p lF\j™hiŒ©\`-[\ bmle[`-[Kš p de^ lFh dez*` p lF\jkdeh‹lF£=[z`-b_jž‹bmlF\jkdeh lFh&{ [dF¬®bmlF£™£k`-{ :#") B1CDE1F"-#" le[Œ‚gijk{i`_£™j™h&`-[—šŸd p \`-[\—[`_£k`-b_\jkdehB¥ u `-[\fŒ`_h&` p lF\jkdeh©b-deh&[jk[\[ j™h¤`?¼Izi£kd p j™hiŒQl¶z p d0{Ig&b_\ ˜*`_\·¯Á`-`_h´[z*`-b_jž‹bmlF\jkdeh´lFh&{\`-[\ zig p zd‚[`‚²q`_£™j™^fj™h‹lF\j™hiŒ h&deh&{i`_\` p ^fj™hijk[^ ²lFh&{3j™h&b-d p zd p lF\j™hiŒ;›` p {Ijkb_\[fj™hZ\d \|&` p `-[gi£™H\ GlFh&{º\|&`#Œ`_h&` p lF\`-{©\`-[\fbmle[`-[fb|&`-b ½\|&` b-dehIš¢d p ^ lFh&b-`ʘ`_\®¯x`-`_h\|&`Êj™^fzi£k`_^a`_hn\ lF\jkdehalFh&{=\|&`Êz‹l p \

(18) dFši\|&`Ê[z*`-b_jž‹bmlF\jkdeh[`_£k`-b_\`-{=˜ZY\|&`q\`-[\Bzig p zd‚[`-[m¥ ¦ˆhlF£™\` p h‹lF\j™›`œlFziz p dleb|jk[±z p dezd‚[`-{=j™h Ä™Åm€”Æ®¥ y lF\|&` p \|‹lFhD`?¼0zi£kd p j™hiŒˆ\|&`ˆ¸8£°l p Œ`‚²Fd p zde\`_hn\j°lF£™£™Y=j™hI&hij™\`w¹ [\ lF\`f[z‹leb-`dFšx\|&`z p dZ{Ig&b_\˜`_\®¯x`-`_h;\`-[\zig p z*d‚[ ` lFh&{§[z*`-b_jž‹bmlF\jkdehB²±\|&` z p d0{Ig&b_\jk[ª½`_zi\j™h;l#[YZ^˜*de£™jkb š¢d p ^ ¥ u |&` p `-[gi£™\j™hiŒ\`-[\xbmle[`-[l p ` p `mleb_\j™›`z p deŒ p lF^a[œ\|‹lF\xdez` p lF\`dehK[YZ^˜*de£™jkbˆ›el p j°lF˜i£k`-[w²IlFh&{#`?¼ib|‹lFhiŒ` ›‚lF£™g&`-[¯j™\|—\|&`j™^fzi£k`_^a`_hZ\ lF\jkdeh«˜ZY#^a`mlFh&[cdFšj™hizigi$\ #Fdegi\zigi\ªleb_\jkdeh&[cbml pp Y0j™hiŒ [Y0^D˜de£™jkbz‹l p lF^a`_\` p [m¥ À·h¤Ä™HÅ ?”Æ®²¯Á`z p dezd‚[`\dj™hZ\`_Œ p lF\` \|&`›` p jž‹bmlF\jkdehQdFšÁ[ l”š¢`_\®Y«z p dez*` p \jk`-[=lFh&{ b-dehIš¢d p ^ lFh&b-` \`-[\j™hiŒ#j™h§l š¢d p ^ lF£B›‚lF£™jk{&lF\jkdeh ^a`_\|&dZ{ide£kdeŒ‚Y#š¢d pp `mleb_\j™›`=[YI[\`_^aH[ 7 9  p [\m²I\|&`=[ l”š¢`_\®YKz p dez` p \jk`-[ˆl p `DlFgi\de^ lF\jkbmlF£™£™Y—›` p jž‹`-{ deh¶\|&`[z*`-b_jž‹bmlF\jkdeh«˜nYK^adZ{i`_£

(19) b|&`-b½0j™hiŒ&² 9 \|&`_hB²i\`-[\bmle[`-[ˆl p `DlFgi\de^ lF\jkbmlF£™£™Y {i` p j™›`-{#š p de^ \|&`[z`-b_jž‹bmlF\jkdeh lFh&{#\|&`z p dez` p \jk`-[m² 9 &h‹lF£™£™Y²i\|&`\`-[\bmle[`-[ˆl p ``?¼I`-b_gi\`-{ deh—\|&`=˜i£°leb½Z¬¾˜*dm¼#j™^fzi£k`_^a`_hZ\ lF\jkdeh dFš\|&`[YI[\`_^ ²I¯|ijkb| lF£™£kdm¯[ \dab|&`-b ½ \|&`D[WlF\jk[sš¢leb_\jkdeh dFšq\|&`=z p dez` p \jk`-[c˜ZY—\|&`=j™^fzi£k`_^a`_hZ\ lF\jkdehQlFh&{ \|&`Db-dehIš¢d p ^ lFh&b-`˜*`_\·¯Á`-`_h j™^fzi£k`_^a`_hn\ lF\jkdeh§lFh&{ [z`-b_jž‹bmlF\jkdehB¥ u |&`z p `-[`_hn\qz‹lFz` p z p dezd‚[`-[Êlª[Y0^D˜de£™jkbclFziz p dleb|a\|‹lF\Á`?¼0\`_h&{i[ęHÅ ?”Æ®²›` p Y^g&b| £™j™½`ęÅm€eÆi`?¼I\`_h&{i[ęÅmF:Æ 7 9 \|&`›` p jž‹bmlF\jkdeh lFh&{—\|&`=\`-[\Œ`_h&` p lF\jkdeh«[\`_z&[ˆl p `=[Y0^D˜de£™jkb‚² p lF\|&` p \|‹lFh¶`_hZgi^a` p lF\j™›

(20) ` G 9 [ l”š¢`_\®YKz p dez*` p \jk`-[m² p lF\|&` p \|‹lFh \`-[\zig p zd‚[`-[m²‹l p ``_^fzi£kdwY`-{—š¢d p \`-[\Œ`_h&` p lF\jkdehB¥ ¦¿^ l”rsd p {IJj I` p `_h&b-`˜`_\®¯x`-`_h«Ä™HÅ ?FÆlFh&{a\|ijk[%z‹lFz*` p b-deh&b-` p h&[q\|&`{i`-b_jk{&lF˜ij™£™j™\·YadFš*\|&`›` p jž‹bmlF\jkdehK[\`_zB¥À®hf\|&` &hij™\`?¬®[\ lF\`ªš p lF^a`_¯Ád p ½#dFšxęHÅ ?”Æ®²I\|&`ª›` p jž‹bmlF\jkdeh—jk[{i`-b_jk{&lF˜i£k`=lFh&{Kjk[œz` p šŸd p ^a`-{K˜nY^adZ{i`_£±b |&`-b½0j™hiŒ&¥ÊÀ·hK\|&` z p `-[`_hZ\œš p lF^a`_¯xd p ½ \|‹lF\b-deh&[jk{i` p [œj™hI&hij™\`?¬®[\ lF\`[Y0[\`_^a[œlFh&{Kz p dez*` p \jk`-[w²Z\|&`ª›` p jž‹bmlF\jkdeh—jk[xgih&{i`-b_jk{&lF˜i£k

(21) ` G j™\ªjk[ªz*` p š¢d p ^a`-{¶g&[j™hiŒ#lFgi\de^ lF\jkb\`-b|ihijk¡Zg&`-[˜‹le[`-{ deh lF˜&[\ p leb_\ªj™hZ\` p z p `_\ lF\jkdeh§\|‹lF\l p `[degih&{ ˜igi\m²le[l z p jkb-`\dfz‹l-Y#š¢d p lFgi\de^ lF\jkdehB²±l p `Dh&de\ch&`-b-`-[[ l p j™£™Y—b-de^fzi£k`_\`DšŸd p \|&`Db_£°le[[ˆdFšq[ l”šŸ`_\·Y—z p dez*` p \jk`-[ªb-deh&[jk{i` p `-{ |&` p `‚¥ À®š\|&` ›` p jž‹bmlF\jkdeh3[g&b-b-`-`-{i[m²\|&`_hB²/\|&` z p dez*` p \·Y;jk[[WlF\jk[s‹`-{;˜ZY§\|&` [z`-b_jž‹bmlF\jkdeKh GÊde\|&` p ¯jk[`‚²\|&` [\ lF\g&[dFš\|&`az p dez` p \®Y§jk[Dgihi½Zh&dw¯hB²qlFh&{;\|&`f\`-[\Œ`_h&` p lF\jkdeh3lF£™Œd p j™\|i^2|‹le[=\d¶\ lF½`a\|ijk[j™hn\d leb-b-degihn\m¥ L `_h&b-`‚²‚\|&`x\`-[\%`?¼I`-b_gi\jkdehfz p d0{Ig&b-`-[›` p {Ijkb_\[m²n¯|ijkb|f^ l-Y p `_›`mlF£&deh&`œd p [`_›` p lF£idFš\|&`ÁšŸde£™£kdw¯j™hiŒ=[j™\g‹lF\jkdeh&H[ 7 9 ›Zjkde£°lF\jkdeh«dFš/\|&`z p dez` p \®Y—˜ZY\|&`=[z*`-b_jž‹bmlF\jkdehB² 9 ›Zjkde£°lF\jkdeh«dFš/\|&`z p dez` p \®Y—˜ZY\|&`j™^fzi£k`_^a`_hZ\ lF\jkdehB² 9 ›Zjkde£°lF\jkdeh«dFšb-dehIš¢d p ^ lFh&b-`=˜`_\®¯x`-`_h¶j™^fzi£k`_^a`_hn\ lF\jkdeh§lFh&{ [z`-b_jž‹bmlF\jkdehB¥ 4. 5. MNMPOQ-RS#TR.

(22) u |&` j™hIš¢d p ^ lF\jkdeh de˜i\ lFj™h&`-{ j™h¿\|ijk[#^ lFhih&` p ^ lmY´˜`«`_^fzi£kdwY`-{ š¢d p {i`_\`-b_\j™hiŒ¿lFh&{¿i¼Ij™hiŒ¤` pp d p [#j™h³\|&` [z`-b_jž‹bmlF\jkdehB²Z\|&`j™^fzi£k`_^a`_hn\ lF\jkdehB²id p \|&`z p dez` p \®Y¥ u |&`›` p jž‹bmlF\jkdeh—lFh&{a\`-[\j™hiŒD[\`_z&[q^ lmYf˜*` p `_z*`mlF\`-{±² gihZ\j™£

(23) [g b_jk`_hZ\ˆb-dehI‹{i`_h&b-`jk[ŒnlFj™h&`-{ lF˜*degi\\|&`Db-deh&[jk[\`_h&b_Y—dFš/\|&`\| p `-` p `_z p `-[`_hn\ lF\jkdeh&[m¥ u |&` p `-[\OdFši\|&`Êz‹lFz*` p jk[Od p ŒnlFhijk[`-{ le[±š¢de£™£kdm¯[m¥%X0`-b_\jkdehfœz p `-[`_hn\[/\|&`Ê^adZ{i`_£0dFšiÀ·hizigi\s¬ÉLjgi\zigi\qXZYZ^˜*de£™jkb uOp lFh&[j™\jkdehXZY0[\`_^a[œ¸ŸÀÇX u Xi¹O\|‹lF\

(24) ¯x`xg&[`qš¢d p ^adZ{i`_£™j™hiŒ=lF£™£ile[z*`-b_\[/dFš*lˆ[YI[\`_^¨¸Ÿ[z*`-b_jž‹bmlF\jkdeh&[m²ez p dez` p \jk`-[m² j™^fzi£k`_^a`_hZ\ lF\jkdeh&[m²lFh&{\`-[\abmle[`-[W¹?¥º¦ch¤`?¼&lF^fzi£k`;¸8\|&`—[`_h&{i` p dFšˆ\|&`—Ë yco z p de\d0b-de£=ÄÍ̔Æ8¹j™£™£™g&[\ p lF\`-[f\|&` ^ad0{i`_£¾¥

(25) À·h X0`-b_\jkdeh 3 ¯x`Á{i`?&h&`Á[`_›` p lF£I[YZ^˜*de£™jkbÁdez*` p lF\jkdeh&[dehÀsÇX u X*²w\deŒ`_\|&` p ¯j™\|[de^a`%š¾lFj p £™Y=[\ lFh&{&l p { {i`?&hij™\jkdeh&[ p `_£°lF\j™›` \dº›` p jž‹bmlF\jkdeh lFh&{ b-dehIšŸd p ^ lFh&b-`§\`-[\j™hiŒ¤g&[j™hiŒ¤ÀsÇX u X le[K\|&` gih&{i` p £™Y0j™hiŒ¤^adZ{i`_£¾¥ X0`-b_\jkdeh Š jk[ª{i`_›de\`-{¶\d{i`?&hij™hiŒ#l [Y0^D˜de£™jkb=\`-[\ˆŒ`_h&` p lF\jkdeh§lF£™Œd p j™\|i^ \|‹lF\ª\ lF½`-[ªl [z*`-b_jž‹bmlF\jkdeh§lFh&{«l [ l”š¢`_\®Yz p dez*` p \·Y²‹lFh&{#z p d0{Ig&b-`-[l\`-[\bmle[`ˆšŸd p b|&`-b ½Zj™hiŒ \|&`b-dehIšŸd p ^ lFh&b-`dFš%lFh—j™^fzi£k`_^a`_hn\ lF\jkdeh¶¯j™\|—\|&` [z`-b_jž‹bmlF\jkdehB²lFh&{=\|&`Á[ lF\jk[sš¾leb_\jkdehDdFš&\|&`q[ l”š¢`_\®Yz p dez` p \®Y˜ZY\|&`qj™^fzi£k`_^a`_hZ\ lF\jkdehB¥%¦ˆ[

(26) {Ijk[b_g&[[`-{DlF˜dm›`‚²e\|&` \`-[\xbmle[`^ lmY lF£k[dD{i`_\`-b_\Á›Zjkde£°lF\jkdeh&[xdFš±\|&`z p dez` p \®Yf˜nYf\|&`ˆ[z`-b_jž‹bmlF\jkdehB¥ u |&`\`-[\qŒ`_h&` p lF\jkdeh—lF£™Œd p j™\|i^ jk[z p dw›`-{§b-d pp `-b_\m²±j™h \|&`f[`_h&[`\|‹lF\\|&`›` p {Ijkb_\[ p `_\g p h&`-{ ˜nY¶\`-[\`?¼i`-b_gi\jkdeh;b-d pp `-b_\£™Y b|‹l p leb_\` p jk[`f\|&` p `_£°lF\jkdeh&[K˜`_\®¯Á`-`_h³j™^fzi£k`_^a`_hn\ lF\jkdehB²ˆ[z`-b_jž‹bmlF\jkdehB²clFh&{©z p dez` p \®Y¥ ¦ª[l ˜ZYn¬¾z p d0{Ig&b_\#dFš\|&`«b-d pp `-b_\h&`-[[ z p d0dFšŸ[#¯x`;[|&dw¯ \|‹lF\ b-dehIšŸd p ^ lFh&b-`Q\d3lŒ‚j™›`_h [z*`-b_jž‹bmlF\jkdeh jk[—`-¡Zgij™›‚lF£k`_hn\ \d¤[ lF\jk[š¢leb_\jkdeh dFšfl3[ l”šŸ`_\·Y z p dez` p \®Y²±¯|ijkb |;bmlFh ˜*``?¼0z p `-[ [`-{ le[lFh§de˜&[` p ›` p ˜igij™£™\ªš p de^ \|&` [z`-b_jž‹bmlF\jkdeKh GOle[ˆš¢l p le[¯Á`½0h&dm¯=²\|ijk[ p lF\|&` p Œ`_h&` p lF£ p `-[gi£™\b-dehih&`-b_\j™hiŒ—›` p jž‹bmlF\jkdeh;lFh&{ b-dehIš¢d p ^ lFh&b-` \`-[\j™hiŒKjk[ªh&`_¯=¥ªÀ·h;X0`-b_\jkdeh§€ ¯Á` degi\£™j™h&` l\`-b |ihijk¡ng&`=šŸd p [\ lF\jkbmlF£™£™Y#`_£™j™^fj™h‹lF\j™hiŒ z‹l p \[cdFš%l\`-[\bmle[ `ªš p de^¯|ijkb |¶›0jkde£°lF\jkdeh&[dFš/\|&`z p dez` p \®Y#˜ZYK\|&` j™^fzi£k`_^a`_hZ\ lF\jkdeh¤¸¢l p Œ‚g‹lF˜i£™Y²‹\|&`^ lFj™h ŒdlF£OdFš\`-[\j™hiŒZ¹œbmlFhih&de\c˜*`{i`_\`-b_\`-{ lFhnY#^ad p `‚¥ ;`=[|&dw¯ \|‹lF\\|ijk[ dezi\j™^fjk[ lF\jkdeh«z p `-[` p ›`\|&`=b-d pp `-b_\h&`-[ [cdFš\`-[\bmle[`-[m¥ÊX0`-b_\jkdeh ? b-deh&b_£™g&{i`-[ˆlFh&{—z p `-[`_hZ\[ p `_£°lF\`-{¶¯Ád p ½¥ !  5 !  %  u |&`c^adZ{i`_£*dFš±À·hizigi\s¬ÉLjgi\zigi\XZYZ^˜*de£™jkb uBp lFh&[j™\jkdeh XZY0[\`_^a[ˆ¸ŸÀÇX u Xi¹jk[qj™h&[zij p `-{fš p de^}À #‚Ç lFgi\de^ lF\ laęŠ3 Æ®¥  hi£™j™½`œÀ #‚dzlFgi\de^ lF\ lI²ÀÇX u X{idˆh&de\ p `-¡Zgij p ` >1CF   %1 - :!#"#" ¸¢lF£™£Ij™hizigi\qleb_\jkdeh&[%`_h‹lF˜i£k`-{flF£™£0\|&`x\j™^a`w¹?¥ —!Ï #"  ‘ ÂSà "%$'&)(+*-,/.0,132547698;:=<:->@?BADCFEHGJIK0LM3NPONPQRNTSVUVNPWXNTY0ZX[#\]KT^_K 9 M`>@?aAb4]cH4]KTd G#Cfehgjij4j>kClKm?_K+CcHn#CfehGoK9p {&lF\ l g=[#\j>qr\->@?XC\]K5ph>@?tsHcH>f4CuEV4j>cH47cHnvAb?_K+C#wxcHn ›el p j°lF˜i£k`-[ gyAz?_K+C { cHn [YZ^˜*de£™jkbDb-deh&[\ lFhn\[ A|4]pDA?_K+C}~cHn z‹l p lF^a`_\` p +[ o€ cH^5ƒ‚„M7gy l†+‡]ˆ!‰ŠXpjKT4]c!ClK‹?ŒC\]KCŽe!GoKŒcHn  9 O>@?ŒC\]K j™hij™\j°lF£Ob-deh&{Ij™\jkdeh g/A0BccHIK

(27) A|4‘KF’hGJ^_K‹?T?F>cH4“cH4„w•” { g 9 Q–>@?BA4]cH4]KTd G#Cfehgij4j>kClKB?9K+CmcHn £kd0bmlF\jkdeh&+[  h 9 S U ‚‘Q–>@?ŒC\]K j™hij™\j°lF£O£kdZbmlF\jkde 9 W>@?;Ab4]cH4]KTd G#Cfehgyij4j>kClK lF£™zi|‹lF˜`_\ g/[#\j>qr\D>@?XC\]KBph>@?tsHcH>f4CaEV4j>cH4„cHnvAz?_K+CW;—5cHn j™hizigi\œleb_\jkdeh&[ g˜AŒ?_K+CWB™ cHn degi\zigi\leb_\jkdeh&[ g A|4]pšA›?_K+CaWmœžŸ;cHn j™hn\` p h‹lF£qleb_\jkdeh&+[ m€ cH^ K

(28) A!ql\ A!q+C>cH4‘¡š‚“WBg>kC¢? [j™Œ‚h‹lF\g p ` "Ž£!‰¡Š . 9. >@?BA-CFEHGJIKŒcHnmCŽe!GK‹?  <v\]KB?F>Ž¤h4ACFEV^_KŒcHn>f4ClKT^F4A|IA!q+C>cH4y?¥>@?ŒC\]KŒKTd G#Cfe¦CFEHGJIK  Yx>@?BAR?_K+CacHn \ p lFh&[j™\jkdeh&[+§ A!ql\¨C^PA|4y?F>kC>cH47>@?XA-CFEHGJIKLSNT¡˜NT©#NPªRNT« NTS¬­ZadA!pjKŒcHnF® ¯ AIcq

(29) AC>cH4„S‚‘Qg=q

(30) A|IfIK9p„C\]K d p j™Œ‚j™h cHnaC\]KC^PA|4y?T>kC>cH4  ¯ A|4„A!q+C>cH43¡-‚°W±q

(31) A|IfIK9p„C\]K leb_\jkdeh cHnaC\]KC^PA|4y?T>kC>cH4  ¯ A-CFEHGJIKL© œ Z œ@²v³F´µ´µ´ ¶ cHn=G/A|^PA|dDK+ClKT^T?5?+Eqr\¦C\AC>fn·+¸¢¹J‰¡jŠ»º¼L¾½y¿+Z ¿ ²v³F´µ´µ´ À C\]KT4„ÁƒºÃÂoA|4]pRÄJ¸º–Å#Æ9Æ9Æ

(32) Ág r†|‡Jˆ‰© œ Šº•½ œ  ¯ ABccHIK

(33) A|4 KF’hGJ^_K‹?T?F>cH4„ªÇcH4„wÔ { ”D©g=q

(34) A|IfIK9p‘C\]K Œ‚g‹l p {/ ¯ A|4 le[ [j™Œ‚hi^a`_hn\ « g=[#\j>ql\š>@?mA?_K+C»cHn#KF’hGJ^_K‹?T?F>cH4y?BcHn»C\]K;nÈcH^Fdɉ¾Ê°Ë̺ë5Í!Š ÍVÎÐÏ ?+Eqr\ C\AClgjnÈcH^BK

(35) A!qr\ Ê3‚°wRg C\]K5^F>Ž¤h\JCkѾ\A|4]p-?F>pjKB« Í cHnaC\]KzA?T?F>Ž¤h4jdDKT4CoÊ3Ë̺ë Í >@?BA|4‘KF’hGJ^_K‹?T?F>cH4 cH4„wÔ { ”š©  ¯ AIcq

(36) AC>cH4„S|¬J‚°QÇq

(37) A|IfIK9p„C\]K {i`-[\j™h‹lF\jkdeh cHnaC\]K C^PA|4y?F>kC>cH4  Ò¾NÓ MvÒ¾Ô.

(38) rn=0 & head=0 & max>=1 & bit=true Wait_Req. l>head REQ?(l) last:=l Send_File. head<last-1 ACK? head:=head+1 rn:=0, bit:=not bit. pMsg=f[head] & pBit=bit MSG!(pMsg,pBit) rn:=rn+1. rn<max tau1. tau2 rn:=0. Wait_Ack. rn=max tau1. head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. head=last OK!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. j™Œ‚g p `aÅ

(39) 7&7\|&`X0`_h&{i` p dFš\|&`=Ë yco©o%p de\d0b-de£¾¥. Ljg pp gihihij™hiŒ=`?¼&lF^fzi£k`Ájk[\|&`œ[z`-b_jž‹bmlF\jkdehfdFš‹\|&`œË yco z p de\d0b-de£ÄÍ̔Ʈ²e¯|ijkb |f¯xle[%{i`-[j™Œ‚h&`-{\d[ l”š¢`_£™Y=\ p lFh&[^fj™\ &£k`-[Ádm›` p lFhfgih&[ l”š¢`^a`-{Ij™gi^ ¥ u |&`œz p de\d0b-de£&g&[`-[Êlb-de^˜ij™h‹lF\jkdehKdFšBlF£™\` p h‹lF\j™hiŒe¬¾˜ij™\lFh&{ p `-[`_h&{0¬®dehI¬¾\j™^a`-degi\ ^a`-b |‹lFhijk[^a[m¥ L ` p `‚²”¯x`xl p `xdehi£™Yj™hn\` p `-[\`-{j™h\|&`Á[ `_h&{i` p dFš&\|&`Áz p de\dZb-de£¾²F¯|ijkb |jk[ p `_z p `-[`_hZ\`-{j™h 6 j™Œ‚g p `ˆÅ‚¥ u |&`b-d pp `-[zdeh&{Ij™hiŒ ÀÇX u X |‹le[›el p j°lF˜i£k`-[q² ˆH¡ ² ¡·+ ²/lFh&{ ¸k ²

(40) [YZ^˜*de£™jkbb-deh&[\ lFhn\[  ¡Ê lFh&{ ² lFh&{—z‹l p lF^a`_\` p [  ² ‡

(41) –·9¹ ²&lFh&{ ‡ ¸k ¥ %¼Ib-`_zi\š¢d p  ¸k ² ‡ ¸k ²IlFh&{ §lF£™£±\|&`=de\|&` p {&lF\ lal p `=dFšj™hn\`_Œ` p \®Y0z*`

(42) G  ¸k jk[l˜dZde£k`mlFhK^adZ{i`_£™j™hiŒ \|&`lF£™\` p h‹lF\j™hiŒ ˜ij™H\ G º¸8\|&`c&£k`c\d˜`c[`_hZ\W¹Êjk[œlFh—l pp l-YdFšOj™hn\`_Œ` p H[ G ‡

(43) ·H¹ jk[œlFh j™hZ\`_Œ` p \|‹lF\^ad0{i`_£k[\|&`=b_g pp `_hZ\c^a`-[[ lFŒ`=˜*`_j™hiŒa[`_hZ\m²i\deŒ`_\|&` p ¯j™\|¶\|&`Ëxd0de£k`mlFh z‹l p lF^a`_\` »p ‡ ¸k ¥ u |&` ›el p j°lF˜i£k` J =") ¸ p `-[zB¥±\|&`ab-deh&[\ lFhn\   ¹[\ lFh&{ š¢d p \|&`fhngi^˜*` p dFšxz‹leb ½`_\[Dj™hQ\|&`&£k`f\d—˜`f[`_hn\ ¸ p `-[zB¥*\|&`^ l”¼0j™^gi^ hngi^D˜` p dFš p `_\ p lFh&[^fjk[[jkdeh&[ªdFšœlaz‹leb ½`_\W¹?¥ u |&`D›‚l p j°lF˜i£k` 2  j™h&{IjkbmlF\`-[\|&`b_g pp `_hn\ z‹leb ½`_\¸ ‰!ŠPN ‰)Å+Š ² Æ9Æ9Æ ¹Á\df˜*`[ `_hn\m²‹lFh&{—\|&`›‚l p j°lF˜i£k` §jk[`_^fzi£kdwY`-{—š¢d p b-degihn\j™hiŒ p `_\ p lFh&[^fjk[[jkdeh&[m¥ vxdeh&[jk{i` p šŸd p `?¼&lF^fzi£k` \|&` \ p lFh&[j™\jkdeh ¯j™\| d p j™Œ‚j™h +! >  lFh&{ {i`-[\j™h‹lF\jkde h  > & ¥¨À®\#|‹le[ \|&`adegi\zigi\ leb_\jkdeh

(44) !oª ¯j™\|;z‹l p lF^a`_\` p [ ‡

(45) –·9¹˜N‡¸È ²OŒ‚g‹l p { ‰Ì‡

(46) –·9¹°º #"$ ˆH¡&%¾Š#' ‰Ì‡ ¸k bº  ¸k TŠ ²

(47) lFh&{ le[[j™Œ‚hi^a`_hn(\  Ë̺  ) Å ²  ¸k mË̺  ¸k ² Ë̺ *²  ˆ+¡Ë̺  ˆH¡ ¥qÀ·h\|&`ˆŒ p lFzi|ijkbmlF£ p `_z p `-[`_hZ\ lF\jkdehB²i\|&`[YZ^˜*de£ + ¸ p `-[zB¥ , ¹{i`_h&de\`-[ÁlFh j™hizigi\ª¸ p `-[zB¥nlFhdegi\zigi\W¹qleb_\jkdehB²IlFh&{fjk{i`_hn\j™\·Yle[[j™Œ‚hi^a`_hZ\[ª-¸  Ë̺ 

(48) ¹l p `cde^fj™\\`-{±¥ ¦ˆh«ÀÇX u X—[\ l p \[cj™h¶\|&`Dj™hij™\j°lF£O£kd0bmlF\jkdeh¶¯j™\| ›elF£™g&`-[ˆdFš\|&`D›el p j°lF˜i£k`-[lFh&{¶[YZ^˜*de£™jkbb-deh&[\ lFhn\[ª[ lF\jk[sšŸYZj™hiŒ \|&`cj™hij™\j°lF£*b-deh&{Ij™\jkdehB²IlFh&{az p d0b-`-`-{i[ʘZY  p j™hiŒD\ p lFh&[j™\jkdeh&[w²ngiz{&lF\j™hiŒD\|&`c›el p j°lF˜i£k`-[œleb-b-d p {Ij™hiŒ\dD\|&`Œ‚g‹l p {i[ lFh&{le[[j™Œ‚hi^a`_hn\[ dFš\|&`a\ p lFh&[j™\jkdeh&[= p `-{±²%lFh&{Q`?¼ib|‹lFhiŒ‚j™hiŒ j™hIš¢d p ^ lF\jkdehº¯j™\|º\|&` `_hn›0j p dehi^a`_hn\ \| p degiŒ‚| j™hizigi\=lFh&{ degi\zigi\Dleb_\jkdeh&[m¥ 6 d p `?¼&lF^fzi£k`‚²\|&`[`_h&{i` p dFšÊ\|&` Ë yco z p de\d0b-de£¸Ÿb?šs¥ 6 j™Œ‚g p `#Åw¹j™hij™\j°lF£™£™Y«¯xlFj™\[ š¢d p l /.10 j™hizigi\m¥Ljh p `-b-`_zi\jkdeh;dFšÊ\|ijk[j™hizigi\¯j™\| z‹l p lF^a`_\` Œp Â(2  ˆ+¡ ²±\|&`›elF£™g&` dFš  jk[[ lm›`-{ j™h \|&` ›‚l p j°lF˜i£k` ¾¡·+ ¥ u |&`_hB² ‰!ŠPN ‰)Å+Š ² ) E l p `ª[`_hn\x\dD\|&` p `-b-`_j™›` p ¸Ÿdegi\zigi\

(49) !oª ¹\deŒ`_\|&` p ¯j™\|#lFh—lF£™\` p h‹lF\j™hiŒ ˜ij™\m¥«¦¨z‹leb½`_\ ^ l-Y§˜`Kleb ½Zh&dw¯£k`-{IŒ`-{ ¸8j™hizigi\ « {3;¹?²/d p \|&` p `^ l-YQ˜*`Kl—\j™^a`-degi\—¸8j™hn\` p h‹lF£leb_\jkde5 h 4 ³ ¹?² MNMPOQ-RS#TR.

(50) l”šŸ\` p ¯|ijkb|§l\|&`=z‹leb ½`_\c^ lmYK˜` p `-[`_hZ\ªlF\^ad‚[\  ¡!Ê Å ^ad p `=\j™^a`-[m¥ 6 j™h‹lF£™£™Y²&\|&`[\ lF\g&[dFš%\|&`¯|&de£k` \ p lFh&[^fjk[ [jkdehjk[ p `_zd p \`-{a\d\|&`c`_hn›0j p dehi^a`_hn\˜ZY lFhdegi\ zigi\leb_\jkdehK7%`_j™\|&` p ¸¢lF£™£*z‹leb½`_\[x¯x` p `ˆ[`_hZ\xlFh&{ leb ½Zh&dw¯£k`-{IŒ`-{‹¹ G      ¨¸¢lF£™£Iz‹leb ½`_\[%¯Á` p `[`_hZ\qlFh&{ lF£™£I˜igi\\|&`x£°le[\¯Á` p `leb ½Zh&dw¯£k`-{IŒ`-{±²n^a`mlFhij™hiŒ \|‹lF\`_j™\|&` p \|&`a£°le[\=z‹leb½`_\d p \|&`f£°le[\leb½0h&dm¯£k`-{IŒ‚^a`_hn\f¯x` p `a£kd‚[\W¹G%d p    

(51)   ¸Ÿ[ de^a`aj™hn\` p ^a`-{Ij°l p Y z‹leb ½`_\c¯xle[ch&de\ˆleb½0h&dm¯£k`-{IŒ`-{‹¹?¥ ,±Ï Q“ " ‘  •n  d p `š¢d p ^ lF£™£™Y²Bl ?+CÈAClK jk[lz‹lFj › p LÂlNZ ¯|&` p `  jk[l £kdZbmlF\jkdehQlFh&{  jk[l›elF£™g‹lF\jkdeh š¢d p \|&` ›‚l p j°lF˜i£k`-[ªlFh&{ \|&`=[Y0^D˜de£™jkb=b-deh&[\ lFhn\[w¥ u |&`=[ `_\cdFš/›‚lF£™g‹lF\jkdeh&[ˆjk[{i`_h&de\`-{ ²‹lFh&{—\|&`[`_\ Q  dFš%[\ lF\`-[ jk[{i`_h&de\`-{ ˜ZY ¥¦ch >f4j>kC>­A|Io?HCÈAClK jk[lK[\ lF\` L U N U Z [g&b|§\|‹lF\  U jk[ª\|&` j™hij™\j°lF£%£kd0bmlF\jkdeh§lFh&{  U [ lF\jk[s‹`-[ \|&`j™hij™\j°lF£±b-deh&{Ij™\jkdehB¥ u |&`[`_\dFšOj™hij™\j°lF£B[\ lF\`-[Ájk[{i`_h&de\`-{  ¥%¦ < C2  H   jk[lDz‹lFj p L¡NbZ ¯|&` p ` ¡ jk[ lFhº¸8j™hizigi\m²degi\zigi\m²&d p j™hZ\` p h‹lF£S¹leb_\jkdeh«lFh&{  jk[cl ›‚lF£™g‹lF\jkdeh—š¢d p \|&`z‹l p lF^a`_\` p ¸Ÿ[W¹bml pp jk`-{—˜nY#\|&`Dleb_\jkdehB¥ »ªde\`\|‹lF\Ê\|&`c›elF£™g&`-[ÊdFšz‹l p lF^a`_\` p [œl p `h&de\Áb-dehn\ lFj™h&`-{j™h [\ lF\`-[m²n˜igi\Êj™ha›‚lF£™g&`-{ leb_\jkdeh&H[ G0\d˜`^a`_^ad p jk[`-{±² \|&`›‚lF£™g&`-[dFšÊz‹l p lF^a`_\` p [|‹l-›` \dK˜`le[ [j™Œ‚h&`-{ \d›‚l p j°lF˜i£k`-[m²±de\|&` p ¯jk[`\|&`_Y l p `£kd‚[\m¥ u |&` [`_\ªdFšÁ›elF£™g&`-{ leb_\jkdeh&[ˆjk[c{i`_h&de\`-{«˜nY BG‹j™\jk[c\|&`D{Ijk[Ÿrdej™hn\ˆgihijkdeh«dFš%\|&`D[ `_\cdFš%›elF£™g&`-{  1!CD >"  — ²&›‚lF£™g&`-{ CF 1CF >"  ™ ²‹lFh&{ ›‚lF£™g&`-{—j™hn\` p h‹lF£leb_\jkdeh&[  œŽ|Ÿ ¥ u |&`£°lF\\` p jk[jk{i`_hn\jž‹`-{¶¯j™\| \|&`=[`_\ WaœŽŸ dFš/j™hZ\` p h‹lF£/leb_\jkdeh&[m¥ 6 d » p l\ p lFh&[j™\jkdehKdFš±\|&`cÀÇX u X*²‚\|&`  2">  )J

(52)  jk[q\|&`ˆ[`_\ÊdFš±\ p j™zi£k`-[ L¢·!N!uN‹· ¬ Zu‚ "   ² ¯|&` p ` ·3ºLÂlNZ ² ·+¬aºL¾¬N!¬tZ l p `K[\ lF\`-[flFh&{ ºL¡˜NzZ jk[l¶Ÿ ›‚lF£™g&`-{3leb_\jkdeh¤[g&b |º\|‹lF\ ÂlNT¾¬ ²qlFh&{ ¡ l p ` p `-[z`-b_\j™›`_£™Y\|&`—d p j™Œ‚j™hB²q\|&`—{i`-[\j™h‹lF\jkdehB²xlFh&{3\|&` leb_\jkdeh¤£°lF˜*`_£™j™hiŒ GÊ\|&`#›‚lF£™g&`-[fdFšˆ›‚l p j°lF˜i£k`-[m²Á[YZ^˜*de£™jkb b-deh&[\ lFhZ\[=lFh&{§leb_\jkdeh&[ª{i`?&h&`-{ ˜ZY  ²  [ lF\jk[š8Y—\|&`Œ‚g‹l p { ª dFšq\|&`\ p lFh&[j™\jkdeh G±lFh&{¶\|&`›‚lF£™g‹lF\jkdeh  ¬ jk[ de˜i\ lFj™h&`-{ š p de^ N ˜ZYK`?¼i`-b_gi\j™hiŒ \|&`a¸8z‹l p lF£™£k`_£S¹cle[[j™Œ‚hi^a`_hZ\[cdFš\ p lFh&[j™\jkdeh ¥ u |&` Œ‚£kde˜‹lF£Ê\ p lFh&[j™\jkdeh p `_£°lF\jkdeh  jk[  º$# Ÿ Î&%  Ÿ ²O¯|&` p ` Y {i`_h&de\`-[D\|&`a[`_\DdFšœ\ p lFh&[j™\jkdeh&[dFšœ\|&` ÀÇX u X*j¥ ;`¯ p j™\` ·(' ·+¬ š¢d p ‰¢·!N!»N‹·+¬tŠa‚) ¥ —!Ï #"  ‘ ÂSà "+* &  -Ï , /“ . Â8à ’ 13210yKT\A2|>cH^;n­^PA+¤hdDKT4JC>@?;A?_K43jEKT4]q9KXcHnA|IkClKT^F4AC>f4¤?HCÈAClK‹?¥A|4]p2_A|IkEK9pƒA!q+C>cH4y? 5 Ë · ³ '76 ·98 < '/: ;4;4;P· -==³ ' >@? 6 ·   2 ˜`_|‹l-›0jkdeg ¥p >@?BA0yKT\A2|>cH^¥n¾^PA+¤hdDKT4CBC\AC?HCÈA|^HC¢?¥>f4„A|47>f4j>kC>­A|Iv?HCÈAClK  ¦[\ lF\`%jk[ p `mleb |‹lF˜i£k`qjžšIj™\±jk[±\|&`%£°le[\B[\ lF\`qdFšilx˜`_|‹l-›0jkdeg p ¥ 6 d p l[`-¡Zg&`_h&b-` A ºB ³ 8 ;4;4;C  dFš0›‚lF£™g&`-{Dleb_\jkdeh&[m² ¯x`[de^a`_\j™^a`-[¯ p j™\` ·(D · ¬ šŸd p ¾ F)/  " · ³ N9Æ9Æ9Æ

(53) · Ev³ ‚ "#C2

(54) ¾ D

(55) ·bº%· ³ ' 6 ·@8 < ' : ;4;4;P· ' > · º%· ¬ ¥ dFš±\|&`ªÀsÇX u Xf¯Á`ˆ¯ p j™\` ·ID ¬ jžš±\|&` p `ª`?¼0jk[\[xlD[\ lF\` ·+¬‚ ¬ [g&b |\|‹lFF\ Ev·I³ D ·+¬ ¥ 6 d p l=[ `_\ÁdFšO[\ lF\`-[ ¬HG —!Ï #"  ‘ ÂSà "IJ & • à ’ Ï “i• , “i  +  ‘ #Ð 1°2`?HCÈAClK·>@? b-d p `mleb |‹lF˜i£k` nrcH^AD?_K+CzcHnm?+CÈAClK‹? ¬ >fnzC\]KT^_KƒKF’>@?HC A ‚ LK ?HEql\¦C\AC»· D ¬  <v\]KB?_K+CacHn#?HCÈAClK‹?ŒC\ACaA|^_Kzq9cH^_K

(56) A!qr\AM0IKbnÈcH^ ¬]>@?Xq

(57) A|IfIK9p‘C\]K b-d p `mleb|‹lF˜i£k`[`_\ cHn##¬  ;`ˆdFš8\`_hjk{i`_hn\jžšŸYl£kd0bmlF\jkdeh S‚°Q ¯j™\| \|&`ˆ[`_\ÁdFšB[\ lF\`-[ N LSNZ4O D‚ QP R¸ ©{i`_h&de\`-[Á\|&`c[`_\xdFš›‚lF£™g‹lF\jkdeh&[ dFšÊ\|&`›‚l p j°lF˜i£k`-[lFh&{ [YZ^˜*de£™jkbb-deh&[\ lFhn\[DdFšq\|&`ÀÇX u Xi¹?¥ u |&`_hB²\|&`Dh&de\ lF\jkdeh ·SD S lFh&{ \|&`h&de\jkdeh&[dFš p `mleb |‹lF˜i£k`£kdZbmlF\jkdeh¶lFh&{—b-d p `mleb |‹lF˜i£k`D[`_\dFš/lŒ‚j™›`_h—£kd0bmlF\jkdeh¶l p `lF£k[d {i`?&h&`-{±¥q¦ \ p leb-`jk[œ\|&`[gi˜&[ `-¡ng&`_h&b-` dFšql ˜`_|‹l-›0jkd p b-dehn\ lFj™hij™hiŒKdehi£™YK¯|‹lF\cjk[`?¼0\` p h‹lF£™£™YK›0jk[j™˜i£k`‚²i\|‹lF\jk[m²I›‚lF£™g&`-{#j™hizigi\[ˆlFh&{ ›elF£™g&`-{ degi\zigi\[A7 —!Ï #"  ‘ ÂSà "(T•& ‘m’”“i• yÏ 1<v\]K \ p leb-` cHnuA"0jKT\A/2+>cH^ 5 >@?C\]K;GJ^_cPs9K9q+C>cH4 cHn 5 cH4  ™”  —  <v\]KX?9K+C¥cHn¥C^PA!q9K‹? cHnoA|43698;:=<:VU1Wf>  K  gvC\]K5?9K+CacHnaC^PA!q9K‹?ŒcHnA|IfIX0yKT\A2|>c!EV^T?zcHn)UY5>@?zpjKT4]c!ClK9pZ0

(58) e. , ##"9‰RU;Š. . 

(59)  , µ /+-  /. %$&  ]\ s  5˜ =!³ u |ijk[Á[`-b_\jkdeh [`_\[%\|&`š p lF^a`_¯xd p ½ šŸd p ›` p jž‹bmlF\jkdeh#lFh&{ab-dehIš¢d p ^ lFh&b-`\`-[\j™hiŒ=¯j™\|KÀsÇX u X*¥ 6 j p [\m²‚¯Á`cz p `-[`_hn\ l š¢`_¯ dez` p lF\jkdeh&[deh ÀÇX u X*²±lFh&{ \|&`_h \|&`[ lF\jk[sš¾leb_\jkdeh p `_£°lF\jkdeh´¸SšŸd p ›` p jž‹bmlF\jkdeh¹lFh&{ \|&`b-dehIš¢d p ^ lFh&b-` p `_£°lF\jkdeh3¸SšŸd p b-dehIš¢d p ^ lFh&b-`=\`-[\j™hiŒZ¹œ˜*`_\·¯Á`-`_h«ÀÇX u X—l p `ªš¢d p ^ lF£™£™Y—{i`?&h&`-{±¥ [. Ò¾ÓNMvÒ¾Ô.

(60) .   

(61)   . u &| `œz‹l p lF£™£k`_£iz p d0{Ig&b_\%dez*` p lF\jkdehf£k`_\[%`mleb |a[Y0[\`_^ z` p šŸd p ^(j™h&{i`_z`_h&{i`_hn\£™Yj™\[j™hn\` p h‹lF£‹leb_\jkdeh&[ÁlFh&{j™^fzd‚[`-[ [Y0h&b| p dehijwlF\jkdehfdeh\|&`q[|‹l p `-{=j™hizigi\lFh&{Ddegi\zigi\%leb_\jkdeh&[m¥ u |&`Êdez` p lF\jkdehDjk[O{i`?&h&`-{Dš¢d p %1F

(62) E  ÀsÇX u X*¥ —!Ï #"  ‘ ÂSà " &  à "!/“I‘   + „ Ï (+*-,/.0,1 € cH^#º¼ÅVN%$gvC\]K CÈ[oc6_8;:=<:

(63) U#¿Bº¼LMŒ¿hNPO;¿ÐNPQ5¿ÐNTSV¿ U NPW¿ÐNTYb¿+ZX[#>kC\ pACÈA“MŒ¿°A|4]p A|I GJ\AM0jK+C0W¿ ºW ¿ — ”¨W ¿ ™ ” W ¿œŽ|Ÿ A|^_K b-de^fz‹lF\j™˜i£k` >fnbM ³'& M8 º)(g5W ™³ º W 8™ gBW —³ ºW 8— g. WaœŽ³ Ÿ & WaœŽ8 |Ÿ º*(g]A|4]pšK

(64) A!qr\°¡ƒ‚°W¥—³ ”3WB™³ W,+ W;8— ”7WB8™ Y¥\A? C\]K5?

(65) A|dDKB?F>Ž¤h4ACFEV^_K5>f4 0yc!C\3?ley?HClKTd›?  —Ï!#"  ‘ ÂSà ".- &0/ “i’F“ + + Ï + / ’ Ã Ó 

(66) •‚‘ 1 <v\]KG/A|^PA|IfIKTIyGJ^_cp˜Eq+C Uº U O O U 8zcHnoCr[c0q9cHd G/AC> 0IK¥6_8;:=<: U NUL8 >@?ŒC\]K5698;:=<:‘LM„NT};NPONPQ0NTS U NPWXNTYRZXC\ACaq9cH4y?F>@?HC¢?XcHnmC\]K¥nrcHIfIc[#>f4¤7³ KTIKTdDKT4JC¢?+®»w–º w ³ ”Dw 8 g { º { ³ ” ³ { 8 g }–ºÃ} ³ ”m})8gO º O ³ '¥O 8+gQº Q ³ BQ 8+ghSVU5º¼LSV³U NTSV8U Z‹gW — º W —³ º±W 8— gW ™ º±W ™³ º W 8™ gW œŽ|Ÿ º W œž³ Ÿ ”¥W œŽ8 Ÿ  <v\]KB?9K+CY cHnmC^PA|4y?F>kC>cH4y?zcHnmC\]KŒq9cHd Goc+?_K9pƒ?ley?HClKTd~>@?bpjKTij4]K9p7A?;nÈcHIfIcV[?+® 9. 9. 3ÊÏ. . 76. nÈcH^7K

(67) A!qr\¼C^PA|4y?F>kC>cH4¼LS ³ NT¡˜NT©#NPªRNT« NTS ¬ ³ Z„‚ Y ³ [#>kC\ ¡‚`W œŽ³ Ÿ A|4]p¨nrcH^7K

(68) A!ql\ Icq

(69) AC>cH4±cHnRC\]KDnÈcH^Fd LS ³ NTS 8HZ¥[#>kC\-S 8X‚°Q 8g]C\]KT^_Ka>@?;ARC^PA|4y?T>kC>cH43cHnC\]KmnÈcH^Fd LFLS ³ NTS 8HZPNT¡˜NT©#NPªRNT« N+LS¬ ³ NTS 8+ZFZ>f4 U ³ O O UX8W­A|4]p ?F>fdR>fI­A|^FIžešnÈcH^BA|IfI ¡‚°W œŽ8 Ÿ Y9g nÈcH^A|IfI¥C^PA|4y?T>kC>cH4y?LS ³ NT¡NT© ³ NPª ³ NT« ³ NTS¬ ³ ZŒ‚Y ³ gaLS@8VNT¡˜NT© 8VNPª 8NT«Q8VNTS¬ 8HZ ‚'Y8š[#>kC\“¡“‚ W;—³ g IK+C5ª ³21 8 Wf^_K‹?ÈG  « 8 Y‘pjKT4]c!ClK“C\]K‘KF’ÐGJ^_K‹?T?T>cH4c-0CÈA|>f4]K9p 0_eÃ?lej4CÈA!q+C>q

(70) A|IfIžeÃ^_KrGJI­A!qT>f4¤ >f4 ª 8 Wf^_K‹?ÈG  « 8 Y‘K

(71) A!qr\ G/A|^PA|dDK+ClKT2³ ^›1 n¾^_cHd © 8 0

(72) e C\]K7q9cH^F^_K‹?ÈGocH4]ph>f4¤jg¥?PA|dDKPÑfGoc+?F>kC>cH4¦G/A|^PA|dDK+ClKT^ƒn¾^_cHd © ³  <v\]KT4]g;>f4 U ³ O O UL8 C\]KT^_K5>@?BA-C^PA|4y?F>kC>cH4 LFLS ³ NTS 8HZPNT¡˜NT© ³ NPª ³ '7ª ³21 8NT« ³ ”D« ³21 8VN+LS¬ ³ NTS¬ 8+ZFZ W­A|4]p?F>fdR>fI­A|^FIže“[#\]KT43¡-‚„WB³™ Y  Q“ $ & ęÅmÌFÆ8¹ 2  #"H‰RU ³ O O U 8HŠoº , ##"9‰RU ³ Š & , ##"+‰RUX8+5Š 4 89:;<=>?>A@

(73) ?CBD:;<=>?E9F GIHJKH. ;`ª|&` p `=le[[gi^a`ˆ\|‹lF\\|&``_hn›0j p dehi^a`_hn\^ lmYde˜&[` p ›`ªh&de\dehi£™Ydegi\zigi\[w²I˜igi\lF£k[ d. 8¸ j¾¥È`‚¥™² j™h l Œ‚j™›`_h«[\ lF\`‚²‹\|&`D[YI[\`_^ {id0`-[h&de\ª`_^fj™\ªlFhnY—degi\zigi\ˆšŸd p \|&`=`_hn›0j p dehi^a`_hn\\d de˜&[ ` p ›`w¹?¥ u |ijk[cjk[cbmlF£™£k`-{ L CDE#") )  j™h b-dehIš¢d p ^ lFh&b-`\`-[\j™hiŒ ęÅmƒ”Æ®¥Ljh§lf˜i£°leb½Z¬¾˜d-¼«j™^fzi£k`_^a`_hZ\ lF\jkdehB²B¡Zgijk`-[b-`_h&b-`jk[ˆde˜&[` p ›`-{ g&[j™hiŒ \j™^a` p [H7la\j™^a` p jk[ p `-[`_\ª¯|&`_h&`_›` p \|&``_hn›0j p dehi^a`_hn\=[ `_h&{i[ªl [\j™^Dgi£™g&[ª\d\|&`=j™^fzi£k`_^a`_hn\ lF\jkdehKGO¯|&`_h«\|&` \j™^a` p `?¼Izij p `-[m²±\|&` `_hn›0j p dehi^a`_hn\de˜&[` p ›`-[=¡Zgijk`-[b-`_h&b-`‚¥ L dw¯Á`_›` p ²Odeh;l§¸8¯|ij™\`?¬¾˜d-¼‹¹ª[z`-b_jž‹bmlF\jkdeh;[g&b|Qle[ \|‹lF\{i`_zijkb_\`-{ j™h 6 j™Œ‚g p `Kł²¡ngijk`-[b-`_h&b-`jk[ˆ^ lF\` p j°lF£™jm`-{ ˜nY«le{i{Ij™hiŒ l[z`-b_j°lF£

(74) degi\zigi\=leb_\jkde"h Mn²*¯|ijkb| ^ lmY d0b-b_g p j™h¶l £kd0bmlF\jkdeh jžšqlFh&{—dehi£™YKjžšh&dfde\|&` p degi\zigi\ªd p j™hn\` p h‹lF£/leb_\jkdeh&[ªl p ` p `mlF˜i£k`j™h \|‹lF\£kd0bmlF\jkdehB¥ —Ï!#"  ‘ ÂSà "ON&0P  Â Ï w• Ï " ‘ (|*-,=.R,v1 $ ><=

(75) Q9;  USR;> ¾ "H) ;,'&<

(76) #  #"5w0; - 2"mW º±W — ”0W ™ ” WaœŽŸl   2"> 2"5Y›0 ¾ F ¡ngijk`-[b-`_hZ\ Q9;  UUT "  ) E >! '#1U   >£ !VR CF 1CF -  

(77)  M #"-!  ' 

(78) CD 1CF >". E-W ™ & ! ') _  H

(79) °Â*' U¥ 8!VR "H '

(80) : H#1! £  2"# j J     9R; ¾ H   M R; ¾     ="#"#f£ >"XW:,4>Y4f]Ê°Ë̺•Ê '- > <   ) #"BÊ3‚°w[Z+ !XR# D"-X£C2 ,  "  > +  ¾ F( #! 1 #"#"#. \ ]9Î_^a` >Vb,c ^edgf. R# F). ª›‰¡jŠaË. h. ª›‰¡jŠ. Ÿt²EižÀj1 ] 1 kl1 m b 1 n b 1 Àpb7o q ÎF%sr. ©‘Ë!·+¸¢¹J‰¡jŠPÆ̪ Ÿ ‰ © Š. ¸sÅw¹ ¸¢¹. &| ` h&`_¯ degi\zigi\ leb_\jkdehSM§^ l-Y³˜`¶ p `-{ j™h lº£kd0bmlF\jkdeh  jJI h&d¤de\|&` p degi\zigi\[—d p j™hI¬ \` p h‹lF£=leb_\jkdeh&[#^ l-Y´˜*`¶ p `-{³j™h  ¥ »ˆdw¯=²ˆlFh leb_\jkdeh ¡ ^ l-Y©˜`  p `-{¿j™h  jJI \|&` p ` `?¼Ijk[\[KlQ\ p lFh&[j™\jkdeh ¥ºÇLÂlNT¡˜NT©#NPª Ÿ NT« Ÿ NT Ÿ¬ ZB‚¦Y ¯j™\|;leb_\jkdeh ¡ ²±lFh&{¶›‚lF£™g&`-[ˆšŸd p \|&`z‹l p lF^a`_\` p [ © bml pp jk`-{ ˜nY ¡ ¸8¯|ijkb|;bmlFh ˜*` [`-`_h¶le[ˆl [j™hiŒ‚£k`›`-b_\d p ›‚lF£™g&`dFš/\·YZz` ·+¸¢¹J‰¡jŠ ²&b?šs¥u`?&hij™\jkdehÅw¹x[g&b| \|‹lF\m²I˜ZY p `_zi£°leb_j™hiŒa\|&`z‹l p lF^a`_\` p [ © Q# :)E1 ) E

(81) et¤u. MNMPOQ-RS#TR.

(82) rn=0 & head=0 & max>=1 & bit=true Wait_Req. DELTA!. l>head REQ?(l) last:=l. Send_File head<last-1 ACK? head:=head+1 rn:=0 bit:=not bit. pMsg=f[head] & pBit = bit MSG!(pMsg,pBit) rn:=rn+1. Wait_Ack. rn = max tau1. tau2 rn:=0. rn>max DELTA! head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. rn<max tau1. head>last+1 DELTA!. head=last OK!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. j™Œ‚g p `DF7 %7 \|&`ÀÇX u X. +)  T. ¥. ¯j™\| \|&`_j p ›elF£™g&`-[m²I\|&` p `-[gi£™\j™hiŒfšŸd p ^gi£°l ª ‰© Š jk[c[ lF\jk[slF˜i£k`‚¥ L `_h&b-`‚² 6 d p ^gi£°l¶¸¢¹Á\ lF½`-[\|&`{Ijk[¢rÉgih&b_\jkdehB² š¢d p lF£™£B\ p lFh&[j™\jkdeh&[ º¼LÂlNT¡NT©#NPª Ÿ NT« Ÿ NT Ÿ¬ Zm‚3Y Ÿ lFh&{—›‚lF£™g‹lF\jkdeh&[cdFš © ²idFš\|&`šŸd p ^gi£°le[ ª Ÿ ‰© Š ¥ u |&` p `-[gi£™\m²F{i`_h&de\`-{ ªƒ‰¡Š j™h 6 d p ^gi£°l¸¢¹?²FŒ‚j™›`-[O\|&`Êb-deh&{Ij™\jkdeh&[dehD\|&`Á[Y0[\`_^ È[B›‚l p j°lF˜i£k`-[/lFh&{[YZ^˜*de£™jkb b-deh&[\ lFhZ\[m²gih&{i` p ¯|ijkb| \|&`Dleb_\jkdeh ¡ jk[ p `mlF˜i£k`=j™h  ¥ 6 j™h‹lF£™£™Y² 6 d p ^Dgi£°l ¸sÅw¹œ[ lmY0[c\|‹lF\ M^ l-Y—˜`ª p `-{ j™h  Jj IQh&dde\|&` p degi\zigi\d p j™hn\` p h‹lF£qleb_\jkdeh jk[ p `mlF˜i£k`j™h  ¥ L `_h&b-`‚²*j™\c\ lF½`-[ª\|&`  CD-  dFšq\|&` !k£

(83) 2" dFšqlF£™£±š¢d p ^Dgi£°le[ ªƒ‰¡Š ²išŸd p lF£™£ ¡-‚„WaœŽŸ”7WB™ ¥  “ "! + Ï  6 d p \|&`cÀÇX u X    {i`_zijkb_\`-{j™h 6 j™Œ&¥ł²Z\|&`ˆÀÇX u X + ) T jk[x{i`_zijkb_\`-{Kj™h 6 j™Œ&¥0I¥À·h\|&` +)    £kd0bmlF\jkdehB² 6 d p ^gi£°l«¸sÅw¹œ˜*`-b-de^a`-[ L̇

(84) –·9¹-Ë

(85) ‹N‡¸È aË  ZPÆt‰Ì‡

(86) ·H¹ƒº #"$ ˆ+¡ %'‡¸È oº  ¸È FŠ ² ¯|ijkb | p `-{Ig&b-`-[\d '-  "H ¥ÊXZj™^fj™£°l p £™Y²ij™h    f Nr >CF  ²I\|&` 4 8 leb_\jkdeh—jk[lF£™¯xl-YI[œ p `mlF˜i£k`‚²‹lFh&{ 6 d p ^Dgi£°l¶¸sÅw¹ `_›‚lF£™g‹lF\`-[ª\d '-  "H ¥ L `_h&b-`‚e² M jk[ch&de\c p `mlF˜i£k`j™h¶£kd0bmlF\jkdeh&[ + >  lFh&{    N CF  ¥ˆÇˆh«\|&`Dde\|&` p |‹lFh&{±² M^fj™Œ‚|Z\q˜*`Á p `mlF˜i£k`j™h \|&`œ\| p `-` p `_^ lFj™hij™hiŒ=£kd0bmlF\jkdeh&H[ 7 

(87) > z  L ²  > & ²ZlFh&{  ;%1 ) : ¥ 6 d p `?¼ilF^fzi£k`‚²I\|&`Œ‚g‹l p { dFš/\|&` M-¬¾£°lF˜`_£k`-{ \ p lFh&[j™\jkdeh deh—£kdZbmlF\jkdeh     jk[  2  ¡Ê ²I˜`-bmlFg&[

(88) ` 7\|&` p ` l p `D\®¯Áddegi\Œdej™hiŒ\ p lFh&[j™\jkdeh&[c£°lF˜`_£k`-{—˜nY¶lFh¶j™hn\` p h‹lF£%leb_\jkdeh¸ 4 ³ ¹?²&¯|ijkb |¶|‹l-›`D\|&`=Œ‚g‹l p {i[  º  ¡Ê lFh&{   ¡!Ê ² p `-[z*`-b_\j™›`_£™+Y GOlFh&{ h&d—degi\Œdej™hiŒ—\ p lFh&[j™\jkdeh&[Dl p `£°lF˜`_£k`-{ ˜nY degi\zigi\[m¥¸¾Çcšœb-deg p [`‚²0rÉg&[\le[lFhZY de\|&` p leb_\jkdehBe² Mjk[cleb_\g‹lF£™£™YK p `mlF˜i£k`=dehi£™Yjžšj™\[Œ‚g‹l p { leb_\g‹lF£™£™Y#`_›‚lF£™g‹lF\`-[\d C j™h¶l p `mleb |‹lF˜i£k`D[\ lF\`‚¥ ¹  "!$# O&%(' *) O ),+.-0/2143*3+5143 #61 '  ) O 7)98;:< =- O&% )

(89) ->#? O@ -0A

(90)   ' - OB' *193C#&1 OB' E D % 1 '  ) OF. Ò¾ÓNMvÒ¾Ô.

(91) rn=0 & head=0 & max>=1 & bit=true Wait_Req. DELTA!. l>head REQ?(l) last:=l. Send_File. pMsg=f[head]& pBit=bit MSG!(pMsg,pBit) rn:=rn+1. Wait_Ack. head=last-1 ACK? head:=head+1. Send_Complete. head<last-1 NOT_OK!. head=last OK!. rn>max DELTA!. head<last-1 ACK? head:=head+1 rn:=0 bit:=not bit. rn<max& pMsg=f[head]& pBit=bit MSG!(pMsg,pBit) rn:=rn+1. DELTA! rn:=0. l>head REQ?(l) rn:=0 last:=l. rn=max& head>last+1 DELTA!. rn=max& head<last-1 NOT_OK!. head>last+1 DELTA!. rn=max& head=last OK!. rn=max& head=last-1 DONT_KNOW!. head=last-1 DONT_KNOW!. Wait_Timeout2. 6. 7. j™Œ‚g p ` 3 7\|&`DÀsÇX u X ˆ9 9‰ +  T Š ¥. "a_ O: ?: <  :  F_GIHJKHU@ 

(92) ?Ca_ O: ?: < e_:  ?. ¦ˆh¤ÀsÇX u XQjk[  ) :)#(> ")   jžšcj™\f{id0`-[ h&de\ |‹l-›`#j™hn\` p h‹lF£cleb_\jkdeh&[w²ÁlFh&{j™h¤`mleb|¤£kd0bmlF\jkdehB²q\|&`KŒ‚g‹l p {i[fdFš \ p lFh&[j™\jkdeh&[c£°lF˜*`_£k`-{ ˜nY#\|&`[ lF^a`Dleb_\jkdeh«l p `=^Dgi\g‹lF£™£™Y `?¼ib_£™g&[j™›`‚¥ —!Ï #"  ‘ ÂSà " & Ó Ï ‘ Ï ’   "  -‘  • (|*-,=.R,v132B4Ã6_8;:=<: LM„NPONPQ0NTS U NPWXNTYRZƒ>@?3pjK+ClKT^FdR>f4j>@?+C>q7>fnWaœŽ|Ÿšº (g. A|4]pjg=nrcH^zA|IfI#S-‚¨Q~A|4]p-nrcH^ K

(93) A!ql\7G/A|>f^ cHn5C^PA|4y?T>kC>cH4y?R[#>kC\¦cH^F>Ž¤h>f4‘>f4‘S-A|4]pDI­AM0jKTIK9p 0

(94) eC\]Kb?PA|dDK A!q+C>cH4 ¡J® LSNT¡NT© ³ NPª ³ NT« ³ NTS ³ Z¥A|4]p°LSNT¡NT© 8VNPª 8|NT« 8VNTS 8+Z‹g C\]KŒq9cH4+s|EV4]q+C>cH4‘ª ³ '7ª 8X>@?ŒEV4y?PAC>@?TiAM0IK   ) :(  " £ lFh ÀsÇX u X U ^a`mlFh&[ªb-de^fzigi\j™hiŒ l {i`_\` p ^fj™hijk[\jkb ÀsÇX u X ˆH _‰RU¥Š ¯j™\| \|&`[WlF^a`D\ p leb-`-[ le[ U ²j¾¥È`‚¥™² 2  #"+‰ˆ9 9‰RU;ŠFŠ7 º  ¡ 9ˆ|·‰RUaŠ ¥ u |ijk[Kdez*` p lF\jkdeh jk[#lFh¿j™^fzd p \ lFhn\—[\`_z dFšDb-dehIšŸd p ^ lFh&b-` \`-[\ Œ`_h&` p lF\jkdeh3¸Ÿb?šs¥X0`-b_\jkdeh 3 ¥Í€¹?¥; `˜ p jk` &YKz p `-[`_hn\ˆj™\˜*`_£kdw¯ GIš8gi£™£

(95) {i`_\ lFj™£k[bmlFh ˜`ªšŸdegih&{—j™h;ęÅmÌeÆ®¥ 6 d p \|&`=ÀÇX u X +  T ¸Ÿb?š¥ 6 j™Œ&¥&¹x\|&`ÀsÇX u X ˆ9 9‰ +!  T Š jk[[|&dm¯h¶j™h 6 j™Œ&¥ 3 ¥ — Ï ‘ Ï ’   "  m“I‘ Â8à ".

(96) 

(97)  "! #$

(98) %& '()

(99) &*%+*!  -,./ %%-01

(100) 2$35467

(101) 8

(102)  %9  "*.  2

(103) 

(104) !8!7 !

(105) #7&#

(106) 6*6.: 17

(107)  3

(108) <; *3%

(109) =*! ->?& 1

(110) %&'@5

(111) &*%A*! B, 7

(112) C2

(113) B(DE! F9G

(114) 7

(115) C

(116) HI

(117) !#*.J*546

(118) BK59

(119) !

(120) 8*.J)

(121) &*%J*! 17&L%

(122) B*2 M*NF9GO# ( 9GF9GOP%Q*3R

(123) %

(124) 2N*  S,*2TM

(125) !G2

(126) 67@

(127) HI

(128) B!(U7

(129) 6' 9&*2V*2N*' 

(130) 5@*.17

(131) %Q*@*  W>YXA

(132) (Z 6 , Z : , ´k´È´ ,AZ > 3R

(133) 6

(134) K59

(135) !

(136) *.15

(137) *%1*! 87&=%

(138) B*2C"*T F9 @ 8 9 F9 (*!  ]N[ 

(139) 

(140) \3R

(141) %-0 ]>E^_7

(142) \' 9&*2V*2U*' 

(143) ) ! 

(144) FR 2'8CZ ` *

(145) m ` , n ` , *2(7

(146) _' 9&*2 [ 

(147) FS>5*'  

(148) B)]W! 

(149) FR 2 '@ ] *

(150) m , n >+^_7

(151) W,*7

(152) 10L7 %

(153) D

(154) BK59

(155) !

(156) _+

(157) F%Q*!

(158) 2 354E *  \0L 7\ '  À 6 ,)2

(159) &  À > ` : ,5*!  ] ,5' 9&*2 m 6a(b m :Sc n 6-d a ´k´È´ b m > c n >@? 6Rc+eeBePc n 6-d a(b m c n > c n >@? 6&c+eBeePc n 6-d , *2$*'  

(160) B) n n

(161) _.:9 ! Y! FI   S>+^L7

(162) CFG!

(163) 29

(164) =

(165) 

(166) _ .A7

(167) Cfg8hG^#h2G

(168) _* n eBe!BeB c n 6 ,5 0L(775

(169) 4GFR

(170) *c 7 2

(171) B

(172) 1* ! 5*$!4G!%

(173) Bi*.A)c

(174) &> *%Wc *!> ? 6+-c_, @ !  .: 6*!

(175) #

(176) '6j Bk l , 0L7!7Y6*2

(177) L!B  

(178) 5% 4\7 9' 7Y7DF*FI

(179) > qp qr sss qn mp mr mn oWp u t mn o r u pvwLp u r vw r u nWvw1n vw. MNMPOQ-RS#TR.

(180) ^_7

(181) #

(182) !B  2

(183) BFE!B  D 

(184)  #7

(185) L

(186) HS

(187) !D*.WC 2

(188) 

(189)  !#!7  !B

(190) L E7

(191) L 3

(192) <; *3%

(193) *! i7&.: %%B0  ->+^_7* 9) $F% ',A

(194) > '>,WP0D$*    [ 0L 7   O

(195) G!%9 ;)

(196) ' 9*2 m 6 , m : *2T*' 

(197) 5 n 6 , n : O#

(198) 

(199) \3R

(200) B%B0 ] 5$7

(201) B

(202) @ 

(203) (.: C7

(204) !B*

(205) m 61 m 7 %2 -,S**7

(206)  .: _7

(207) E!B*

(208) @0L7

(209)  m m 7 %2-,S*2$7

(210) (%Q*L.: _7

(211) E!B*

(212) m m 7 %2 ->LfPM7

(213) (%Q

(214) C!B*

(215) ),R7

(216) !7 !

(217) 80La7

(218)  7

(219) : _\*' Y7

(220) C; *Q*3%

(221)  *!! 2 ' :Ln a6   16  n : LFR FR 

(222) 2M9)%S7

(223) @ 3

(224) <; *6i3a %

(225) =*!:  $7&_./ %%-0L->+^_759-, .  7

(226) E

(227) 5=*! W,I7

(228) B 7

(229) \*' 

(230) ) n 6 7 9%2 7&;)

(231) E3R

(232) 

(233) B

(234) G

(235) B!9 

(236) 2W,J7

(237) !

(238) ,W78*' 

(239) )CC! FR 

(240) 2M0L 7 7

(241) (' 9&*2U*2 7

(242) *' 

(243) 5_! 

(244) FR 2 '\   [ 0L7!7YF529!

(245) _7

(246) 8' 9*2 m c n 6 * 2"*' 

(247) ) n c n 6 ]>ihG%Q*% 4),5 .LD7

(248) 8

(249) GL*! W,7

(250)  n : 7 9%2U7&;)

(251) 3I

(252) 

(253) N

(254) G

(255) !B9G

(256) 2W,+0L7!7UFG29 !B

(257) =7

(258) ' 9*2 m c n : *2N*' 

(259) 5 n c n : >^_78FG!

(260) 29

(261) Y6B4 *@

(262) &

(263) [

(264) > '>,G . ] ² _*2  ]²  6 ,)7

(265) FR FR '(' G

(266) 1 ./ 

Références

Documents relatifs

2) Le développement local c'est-à-dire les expériences d'intervention en développement économique communautaire, en économie sociale et en économie solidaire mises

La définition générale du concept d'évaluation formative des apprentissages retenue pour cette recherche constitue une synthèse découlant de la recension d'un ensemble

Effets et pouvoirs de la voix dans la philosophie et la littérature antiques Paris, Classiques Garnier, 2021 (Kaïnon - Anthropologie de la pensée ancienne, 19), ISBN :

relève de traités, et que les États membres sont des États au sens du droit international public, c’est à ce juste titre que J. Fischer peut qualifier l’Union actuelle de

Afin de saisir le déploiement de ce discours, j'analyserai dans un premier temps les représentations liées au temps dans le roman, en m'arrêtant d'abord sur toutes celles qui,

Cette recherche, de type qualitatif, consiste en une exploration de la littérature dont les buts sont de décrire selon divers auteurs, différe ntes expériences

For each sam- pling point is also given the value output of the merging process with the difference between the SH degree 100 expansions subtracted, the index corresponding to the

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