HOMA: automatic re-scheduling of multiple invocations in CORBA

(1)

HAL Id: inria-00070801

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

Submitted on 19 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.

HOMA: automatic re-scheduling of multiple invocations in CORBA

Thierry Gautier, Hamid-Reza Hamidi

To cite this version:

Thierry Gautier, Hamid-Reza Hamidi. HOMA: automatic re-scheduling of multiple invocations in

CORBA. [Research Report] RR-5191, INRIA. 2004, pp.24. �inria-00070801�

(2)

a p p o r t

d e r e c h e r c h e

Thème NUM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

H ^OMA : automatic re-scheduling of multiple invocations in CORBA

Thierry GAUTIER — Hamid-reza HAMIDI

N° 5191

April 2004

(3)

(4)

Unité de recherche INRIA Rhône-Alpes

@2ABDCFEGEIHKJMLON@2PQR

∗

^SUT%VXW ^{BZY[.E\C^]} ^V_T L/`aPb"P

†

cedfIgihjlklmonqpsrutwvxf\gih\t$yuz{gi|I}~Fzh\t

U}hvll3ltwz{F}wvh\%ur/3jlp{j31{jl$kF

{F}wvsh}h\,dhI},,d{hyX{ \¡{ nq}x~£¢¤¥F¥¦n§¤¥1¨h\t

©ª¬«\I®°¯{±² ced{~t³}xh\F}wv{}xhGtwh\y^vt³³´µ¶·yMh¸O~£hIy^vy¹tx\¢{¢£h1$º³»e¼DFtwhGMssh1Fz{{¢£~½y{¨%hIyu¾u~½}yg1h\y^v\¿

4´ µl¶K~tOFgi^twhGÀurÁyÂÃ³ÄIgi{~£¢½h\}OyÂÅ}xzyFv~½gihtxz{{X}xv\¿{}gÆÃ³ÄÇshÈy~Év~½Fyt2Ê$º³»eËshG.vt\

4´ µl¶+gi{~£¢£hI}zsvxFgivx~I¢½¢£rÌhIÍ^v}F.v,t¢£¢Uvd{hO~£ysÊÎ}g2°vx~£ytÏ$d{~,dÀ¢£¢½°ÏÐh¸O~£hIy^vÑyÒtx\¢{¢£hOFgi^tw~½vx~£y_Ê

gihvd{s2~£y^¾FsI°v~½Fyt\¿ced{hlIgi{~£¢½h\}yi}xzyFv~½gihltxz{{X}xvÓ}hI¢£rÑFyivÏ4ÊÎzy.v~½Fy¢£~Év~½hGtIÔ¬vd{hlz{vxg2vx~$hÍuvx},vx~£yiÊ

}¢½¢£hI¢£~twg5hIvÏh\hIy/gihvxdu/~£yu¾sIvx~£yt$y%vxd{h¢£ÕIr}xvxsF¢·ztxh\%vxIgigzy{~£\°vhhÖh\.v~½¾Fh},gihIvxhI},t\¿Óced{h

}z{y^vx~£gih}h¼×tx,d{hGsz{¢£h\t4vd{h~£yu¾sIvx~£ytyÅvd{h%Ftxtxs~°vxhGÒFg1gÑz{y{~Ivx~£ytztw~£y{¨vd{h}¢½¢£hI¢£~twgØsh\{zhG_ÊÎ}xFg

vd{hI~£}Ã³ÄÅ{hÈy{~½vx~£ytI¿Uced{ht,d{h\{z{¢½~£y{¨2twvx},°vxh\¨r2~tetxh\%y/c$llÙp3j¿ktwhG%vx¨Fhvd{hI}3vxdh\txhÊÎzy.v~½Fy¢£~Év~½hGt

h\y{¢£h},¢£¢½h\¢ Fg1gÑz{y{~Ivx~£yXhvÏ3hIhIy¹sshIz{{¢£h\Ì{{¢£~I°v~½Fyt\¿ced{~£t{}XhI}xvr%~tlIytxhI}¾hG"^rIgi^tw~½vx~£y

Ê~£y^¾FsI°v~½Fyt\¿¬ced{h³vh\,d{y{F¢½F¨ri~ttxh\OFyvd{h4¨h\y{hI},°v~½FyOÊ¬hÍuvxh\ysh\%¢£~½h\y^v$twvxz"y%txhI}¾h\}txÚh\¢½hIvxy%y%vxFÊ

twvy{},1¢£~½h\yFvÓtwvxziyitwh\}x¾FhI}txÚhI¢£hvyÑ¨hIyhI},°vxhGurhIÍs~£twvx~£y{¨Ã³Ä¬Û$º³l»3Igi{~£¢½h\}\¿}¢½¢£hI¢£~twgÜ~tdys¢£h\Ñur

vd{h},¢£¢£hI¢Ù{}¨F}g1gi~£y{¨h\yu¾^~£}y{gihIy^vlÝ$ÞÙßÙ¶ àG¶áGâ¶ ã¿Uceduzt\{³´µ¶Å~ted{~½¨Fd{¢£rX}xv¢½hF¿Uced{h³v}¨hIv{{¢£~I°v~½Fyt

}xh4d{~£¨d"h\}wÊÎF}xg2yh4yuz{gihI}~£\¢Ùtx~½gÑz{¢£vx~£yt\¿

äå^æçxèÑé ®°ê¬«² sshIz{{¢£~£y{¨Ó$º³»e }¢½¢£hI¢Óg1hIvxd{sÒ~£yu¾sIvx~£yt\ºy{¼D¢£~½yhtx,dh\sz{¢£~£y{¨Ãl~twvx}~½{z{vxh\ÁI,dh

Ý$ÞÙßÙ¶à\¶¬á\â¶ ã

ësì,íî.ïDìðZî.ñòïZó3ôöõ÷Dô×ø2ùÓú

∗

ðDûüñòóïýïýþÿìGðZñòóï¬ñGïZñìó xÿ½ï

†

^û°ì$ñ^ïýóxìGÿûüì$ñüñ¬ñìüÿ£ï

(5)

3!"2#% $' 698;:Ë<Ð>

« ² h1},F}wv4{}|\txhIy^vxh2³´µ¶U·z{y_hIyu¾u~½}yy{hIgihIy^vsh2Fz{{¢¨hish2sshGt^z{~h\}xgihIv4¢/Fytv}xz.vx~£y

{¢½~Ivx~£yts~twvx}~½{z|Ih\t^z{~uFtxtxhIy^vl¢|G,d{hI¢£¢£h¿4´ µl¶OhGtvUFgi^tw|3zy1Igi{~£¢£vxhIz}Ã³ÄM$º³»eÁhIvz{y1twzs¼

X}xvhIÍu|Gzsv~ÉÊÙh\y"$º³»e+hvec$ll³p3lj¿sÄ·hIgi{~£¢£vxh\z{}Ósh³³´µ¶/hÍuv}~ÉvzsvxFg2°vx~^z{hIgih\yFv3sh\ts|Èy~Év~½Fyt

Ã³Ä/vxFzsvxh$¢£h\t~£ysÊÎF}xg2°v~½Fyt^z{~{XhI}gihvwvhIy^vhÍs{¢£~½vxh\}h¸OIFh\g1h\y^v¢Fgi^tw~½vx~£yi~½yu¾s\°vx~£ytsh$gi|vxdu{h¿Ä·h

Igi{~£¢£vxhIz}$hvl¢£htwz{F}wv$hIÍu|Gzsv~ÉÊhÍs{¢£~½vxh\y^vlshIzsÍ%ÊÎyvx~£ytÔ¢hÍuvx},vx~£y/sz/},¢£¢£|I¢£~£txgih³h\y^vx}h³¢½ztx~£hIz{},t$~£y^¾F¼

\°vx~£ytÓshgi|Ivxd{sshhIvÓ¢zsv~½¢£~txvx~£yOz{yO{}vs¢£h$}xhGtxtxhIzsÍÑFz{}Ó¢Fg1gÑz{y{~Ivx~£yOshGt},gifIvx}h\thIÖXhG.vx~½ÊýtU¢£},t

shGt~£y^¾FsI°v~½Fyt\¿ Ä·h$givhIz{}hIÍs|\z{vx~½ÊX}|¼ö},syyyIhIh\t~£y^¾FsI°v~½Fyt¬hvU¢£h\tIgigz{y~£\°vx~£yt¬Ftxtxs~£|IhGth\yihÍs{¢£~½vy^v

¢£h}¢½¢£|I¢£~£txgih4vxhIy^v~½h\¢ ~£ysz{~½vl}¢½hGt$gissh\tshtt¨hshGt}¨zg1h\y^vt$shGtgi|vd{ssh\t{|Èy{~tlyt$¢£h\tÃÄÓ¿h

}|¼ö},syyyIhIgihIy^v4twhiFtwhihIy^v~½f\}xh\g1h\y^v4txz{}c$llÙp3j¿¬×¢h\twv{y1XFttw~£{¢£h"¢hIÍu|Gzsv~½Fy· {vxhIy~½}shGt

Igigz{y~£\°vx~£ytÑ},¢£¢½f\¢½hGthIy^v}xh/sh\ti{{¢£~£\°vx~£ytÑ},¢£¢½f\¢½hGtÑIz{{¢£|IhGt}2³´µ¶¿ Ãlh/{¢£ztihIvwvxh/{}}x~£|v|h\twv

IytxhI}¾|\h}giXFtx~Év~½Fy¹~£y^¾FsI°v~½Fyt\¿ÑÄ vxhG,d{y{F¢½F¨~£hÑzsv~½¢£~tw|\hitxhitxhitwz{}4¢"¨|Iy|I},°vx~£yÅsh2twFz,d{hGtI¢½~£hIy^vxhGt

hIv2txhI}¾h\z{},tzÂsh\ttxztÑ{h\titwFz,d{hGt¨F|Iy{|\}x|\h\tÑ}1z{ygi{~£¢°vxh\z{}itv,y{}Â$º³»e hIvitxz{}i¢hIyu¾u~£}xFy{y{hIgih\yFvish

{}¨F}gigivx~£y¹ÝÞß·¶ àG¶á\â¶ ãÁXz{}¢"¨h\twvx~£yÅsz_},¢£¢£|I¢£~£txgih¿izIz{y{higiu{~ÉÈ\°v~½FyÅz{yÁº³»hIÍs~£twvyFvyh\twv

y{|GhGtxt~£}xhGt4h2^z{~U}hIyÅ³´µ¶ vx}f\t4X}xv{¢£hiz{yh1~£gi{¢y^vvx~£yÀ$º³»e%zy{hOzsv}xhF¿2Ä·h\t{{¢£~£\°v~½Fyt4~£{¢½hGt

txy^vsh\tl{{¢£~I°v~½FyteshFz{{¢¨Fh³shIssh4hIytw~£gz¢£vx~£y"y^zg1|\}x~^z{h1dzsvh\teXhI}xÊÎ}g2yIh\t\¿

Üé \« ç ± «M² Fz{{¢¨h1shissh\t\ $º³»eX},¢£¢½|\¢½~twgih~£yu¾sIvx~£yt³sh1g1|Ivxd{sshF º}sFy{yyh\g1h\y^vºys¼ö¢½~£y{h

Fg1gÑz{y{~Ivx~£y"},¢£¢½f\¢½hF3,d{hs~tv}x~£{z{|FÝ$ÞÙßÙ¶ àG¶áGâ¶ ã

(6)

< =

'Ñ 2#"%Ó'

mz¢Év~É¼×tx\¢£h³yOgÑz{¢½vx~½¼D{durstx~£\ttx~½gÑz{¢°vx~£yt}xhhIgihI}¨~£y{¨ÑFttx¢£zsv~½Fytvxi,d{~£hI¾Fhd{~£¨dOÈXshI¢£~Évr2~£y/gi{¢£hÍ2{durstx~£\¢

txrstvhIgtw~£gz¢£vx~£yt\¿lced{hÑÚ^y°Ï$¢½hGs¨hÊU{durstw~ItÊÎ}lhG,dM~½hGhÊvxd{hitw~£gz¢£vx~£y·Fg1zsvvx~£y¢¢£¨F}x~½vxdgitly

{}¨F}gig1~£y{¨gisshI¢t~£gi^twhvxdvgisshI}yÁtx~½gÑz{¢£vx~£yÀIu{hOh"shI¾FhI¢£Xh\ÒFt¢}¨hI¢£rÌ~£ysh\h\ysh\yFviF¢½¢£h\vx~£yÒÊ

txÊvÏe}hFg1XyhIy^vt\¿{}~½ytv,yIh*>¤¦.?X}hIX}xvttw~£gz¢£vx~£y2ÊÙvd{hlyhÍuv¨FhIy{h\}vx~£yiÊ ~½},},°ÊvUÏ$~£¢½¢X}h\^z{~£}xhltxhI¾FhI},¢

duz{y{}xhG{tÊtxÊvÏe}hgiXy{h\y^vt\¿epuz,dMtw~£gz{¢°v~½Fy/}xhGFz~½}h\te¢£vlÊÓkÇvx~£gihyÙ{vd{hI}hÊÎF}xhF{dtvx2hIÍu¢½F~Évvd{h

¨¨}hI¨^°vhlX°Ïh\}3Ê¬}h\txz}Ih\t3tx\°vwvhI}h\ÊÎ}xFg ü¾°~£¢£{¢£h4I¢½ztvhI},tÊIgi{zsv,°v~½Fy¢Ù¨F}x~@>£ A;.?D¿

ced{~t³}xh\F}wv³ÊÎszt³FyÅ{{¢£~£\°vx~£ytlFtwhGMFyMvxdhitwvy{}¹$º³l»3?ÊÎ}goº³mÌ1ÙÏ$d{~,dÌdü¾hXhIh\y¹ztwhGÌÏ$~½vxd

txzIIh\tt1~½ytwh\¾h\}¢Ó{}hG.vtÑÊÎF}1yuz{gih\}x~I¢3tx~½gÑz{¢°vx~£yB>;U¤°¦.?ö¿$º³»eËtwXh\I~ÉÈh\tiy XhIy·¾hIys}1~½yshIXhIy{hIy^v

yÀ¢y{¨Fz¨FhO~£yshIXhIyshIy^v2},,d{~Évh\vxz{}h2ÊÎ}is~tv}x~£{zsvh\ {{¢£~I°v~½Fyt\¿Å$º³»e IgiFy{hIy^vidt1yÁ~½y^vxh\}wÊýFh

shGtxI}x~£Xh\~£y+vxd{h¹×y^vxhI}xÊýIhMÃlhGtxI}x~£sv~½FyÄ y¨z¨hDCÎÃ³ÄFEOÏ$d{~,d¢£¢½°Ït2d~½¨Fd¢½h\¾h\¢lyg1ssz¢£}O{}¨},gigi~£y{¨¿

mF}xh\°¾h\}twFg1hd~½¨Fdh\}wÊÎF}xg2yh~£g1¢½h\g1h\y^v°v~½Fyt$ÊÓ$º³l»3?}hü¾ü~½¢¢½hG>;H;I?ö¿$ceduztIÙ$º³»e~tÏ3hI¢£¢txz{~Évh\

ÊÎF}Ud{~£¨dih\}wÊÎF}xg2yh3yuz{gihI}~£\¢{tx~½gÑz{¢£vx~£yiyiFgi{zsvvx~£y¢s¨}~£·¿puFgih3}h\IhIy^vU{}hG.vtdü¾h3{}xF^twhGv¨~£¾h

FIhGtxt¬vF}xhe¨}~ÑtxhI}¾u~£Ih\t5>¤¡I?v$º³»etxh\1{¢½~Ivx~£y·vx4}xh\¢½rÑyO$º³»eÂvxsh\¾h\¢½F1l{{¢£~£\°vx~£yOpuh\}x¾u~h

U}°¾u~£{hI}JCZpu5EK>LA?}lvx~£gi{¢y^v³txhG~½ÈIvx~£yMÊU~½y^vhI}xÊýhÊÎ}Igi{zsvhI}4~sh\M{}xsIh\tthIy¨~£y{hIh\}x~£y{¨MCÎÓz{}xFhGy

{}hG.v3Ó3ºUÓjNE&>;.?ö¿

ced{hGtwh%{}h\vtÑ{}XFtxh%^z{~½vxh/gi{¢£hÍÒ~£y^vxhI}xÊýIh\tvx_\h\ttvxd{h/{°v,MÊlh\F,dÁFg1XyhIy^v1Êvxdh"tx~½gÑz{¢°vx~£y

y/vx%hÍs{¢£~½v}¢½¢£hI¢¬Fg1zsvvx~£y·¿4ced{~tIgi{¢£hÍs~Évr/Fgih\tlÊÎ}xFg5vd{hÊýF.v³vxdv$º³»eÐsuh\ty{v4{s}h\tt$vd{h

{}¢½h\g;Êh¸O~£hIy^vlIgi^tw~½vx~£y%Êtwh\¾h\}¢X~£yu¾sIvx~£yt3XhvÏ3hIh\y"txhI¾FhI},t~£ys~tv}x~£{zsvh\"hIyu¾u~½}yg1h\y^v\¿

O

ced{hÈ}twve¢½~£gi~Év,°vx~£y%~£teszhlvd{htwh\giy^vx~ItÊ$º³»eayvxd{h4Fg1gÑz{y{~Ivx~£yOÊ hÖh\vx~£¾h³},gihvhI},t{z{}x~£y{¨

vxd{h_~£yu¾sIvx~£yÊÑÁgihIvxd{sÙÔ¢£¢4hÖh\.v~½¾Fh¹},gihvhI},tOÊiyP .)*ÊÎ}g2¢³},gihvhI}"ÊÑ gihvd{sa}xh

Fg1gÑz{y{~Ivxh\"ÊÎ}g5vxdhÑ¢£~£hIy^vvxvxd{h1twh\}x¾FhI}/Q¢£¢R .S)*e},gihIvxhI},t}xhIgigz{y~£\°vxhG/,Ú%vxOvxd{h1¢£~½h\yFvG¿

ced{hT ( .+ÊlM}gihvxh\}shIÈy{h\Á~½yÀvxd{h"ÃÄ¢£¢£°Ït4vx¹sv~½gi~£ÕIh/gigÑz{y{~I°v~½Fy_ÊÎ}1y{h%~½yu¾Fu\°v~½Fy

hIvÏh\hIy%y{h4¢£~½h\y^v$yOFy{h4twh\}x¾FhI}G¿¬ced{~t3¢½s\¢sv~½gi~£Õ\vx~£y%{^hGt3y{v$~£g1¢½~£h\t$Ñ¨¢£¢Fsvx~£gi~½ÕG°v~½FyÏ$d{h\y"

¢£~½h\y^v~½yu¾FÚhGt3txhI¾FhI},¢gihvd{s{t$yitxhvÊtxhI}¾hI},tvxi}z{y1Igi{¢£hÍ/tw~£gz{¢°v~½Fy·ÔU¢£¢Ù}g1hIvxh\}te}h4gi°¾h\

hIvÏh\hIyÌtxhI}¾h\}tlur"ttw~£y{¨2vd{}xFz{¨dMvxd{h1¢£~½h\yFvGÙÏ$d{~,dMhGFg1hGtvd{h1vwvx¢£hIyh\,Ú"ÊÎ}vxd{hitI¢~½¢£~Évr"Êztw~£y{¨

g2yurFgiFy{hIy^vt\¿ced{h4{}{¢£hIg;~t$hIÍsFh\}xvxhGO~£y"\txh³Ê~½vxh\}vx~£¾htw~£gz¢£vx~£y·¿ceduzt\uvxd{hIgigz{y~£\°vx~£y

twdz{¢ÌXh2{vx~£g1~£ÕIhGÌurÌIytx~shI}~½y¨vd{hiÏ$d{¢£hi~½yu¾s\°vx~£ytI¿Ñ×y¹vd{~t4}xh\F}wvG·Ïhi{}h\txhIy^v,tFz{}~sh\%vx/ÚFhIhI

tv,y},Ì$º³»e?txhIg2y^vx~ItÊ~½yu¾s\°vx~£yÏ$d~½¢£h¨FhIy{h\}vx~£y{¨Oy¢½rFgigz{y{~Ivx~£ytlyÌvxd{h1shIg2yÙUV AV~ÉÊ

y%y¢½rO~½ÊUi{°v,Ñ~te}h\^z{~£}xhGFy"iFgiFy{hIy^veÊÎ}y"Fh\}vx~£y·¿

O

ced{hetwhGys~½¸2Iz{¢½vrgihGt ÊÎ}gvd{h3txhIg2yFv~£Êvxd{h3~½yu¾Fu\°v~½FyÊgihvd{s~£yi$º³l»3B>ò¤WI?sXhvÏ3hIhIy1lI¢½~£hIy^v

ytwh\}x¾FhI}G¿·y~£yu¾sIvx~£y4~t giFtwvx¢£r4${¢£u,Úu~£y{¨~£ytwvx}z.v~½Fy·Ôvxd{h3I¢½¢£hI}Ï3~Év,t·z{y^vx~£¢Fvxd{h3twh\}x¾FhI}·}hvz{}xyt·¾°¢£z{h\t\¿

$º³»e?¢£~£g1~½vt4yys¼ö{¢£u,Úu~£y{¨~£yu¾sIvx~£yv/g1hIvxd{s¹Ï$d{~,d¹s/y{v³dü¾FhFzsvx{z{v4¾°¢½z{hGtI¿1ceduztIv/¨hIyhI},°vxh

},¢£¢£hI¢YX°Ït³Êey^v}xF¢Z·"{}¨F}g1gih\}³txd{z¢£¹gi~ÉÍÌ¢½s,Úu~½y¨%~£yu¾sIvx~£yt³Ï$~½vxdÅgz{¢½vx~½vxd{}h\F_gi{z{v°v~½Fy·

}d{h%twd{Fz{¢¹gi~½ÍÅyys¼ö{¢£u,Úu~£y{¨/~½yu¾Fu\°v~½Fy¹Ï$~½vxdÀyÅvxd{h\}Ï3ürÌvxdys¢£h2}xh\{¢£rMÊÎ}gotxhI}¾h\}ZCÎh\¾hIy^vs}~£¾hIy

giu{hI¢Ê3hÍsh\Izsvx~£y Fyh\svÊÓÊÎz{vxz{}h[>¤F¤/?DÓ¿½¿£¿E¿\+d°vhI¾h\}4~£t/Fy}hvh1,d~hvd{h2yvxz{},¢Ïeür//I¢½~£hIy^v

twdz{¢~£yu¾FÚh\t3gihvd{s{tedFt3vxih4ÊÎF}x~£{{hIy·¿×y%vxd{~t$}hIX}xv\sÏ3h4{}xFgivxhvxiÚFhIhI%vxdhy°vz{}¢·twh\g2y^vx~It3Ê

$º³»e~½yu¾s\°vx~£y"Ï$d{~£¢½hztw~£y{¨2itwXh\I~ÉÈIgi{~£¢½h\}y"}z{y^vx~£gih{I¢½¢£h\/4´ µl¶{Ï$d{~,d"¢½¢£°Ït3vxihI¸2I~½h\y^vx¢£r

hÍs{¢£~½vÑ},¢£¢½h\¢·gi{z{vxhI}v$}xz{y^v~½gih¿

mF}xh\°¾h\}\sFz{}l{}XFtx~½vx~£yt{Oy{v~½gi{¢£ryur%ztwh\} XtwFz{}Ihsshv}ytwÊÎ}givx~£y/~£yFv2vxdhÑtxhI}¾hI}l}$vd{hÑI¢½~£hIy^v

{z{v3Fy{¢½r2}h\Igi{~£¢£vx~£y·u°v¢½hGtwvÊÙvd{hI¢½~£hIy^vG^Ï$~½vxd"y{h\Ï+¨hIyhI},°vxhG2¢£~½h\y^v3twvxz{"y2txhI}¾h\}txÚhI¢£hvy·¿ced{~tÓÏ3}Ú

~t}xvÊvd{h$³´µ¶%{}h\v¬Ï$d~£,di~£g2t¬vUshI¾FhI¢£{~£y{¨³h¸O~£hIy^vtwF¢½zsv~½FytÊÎ}UIu{h3Iz{{¢£~£y{¨4Ês~twvx}~½{z{vxh\2$º³»e

FtwhGM{¢½~Ivx~£yt\¿4jhI¾FhI}xvxd{h\¢½hGtxt\Xz{}³}xhGtwz¢Év,tIz{¢h\Ftw~£¢£r"Xhi{{¢£~£h\/vvd{hI}³¨h\y{hI},¢¬s~tv}x~£{zsvh\Mh\yu¾^~£}y{gihIy^v

Ï$d{~,d/}xhG^z{~½}h\OvxOIgi^twh³ÊÎz{y.vx~£ytI¿

×yÌvxd{h1y{hÍuv4twhG.vx~£y¹ÏhÑ}xh\¾u~½h\ÏÇvxd{h1X°¾hÑ{~£tzsv~½FyMyÅOgiv~½¾°vx~£y{¨hIÍuh\gi{¢½hF¿puh\vx~£y@;%{}h\txhIy^vtvxd{hi³´µ¶

{}hG.vG¿Ìced{hIy ÏhO~£y^vx}sszhOvxd{h/twvx},v~½y^vhI}{}xhIvvx~£yÒÊ³$º³l»3 ¢£~½h\yFv1~½yu¾Fu\°v~½FytÏ$d{~,dÁ¢£¢£°Ït4vx¹{z{~£¢£

v1}z{y^vx~£gihvd{h"°v@X°Ï9¨F}{dÀXhvÏ3hIhIyÂ¢£¢~£yu¾sIvx~£yt\¿Òced{~t¨F}{dÀ}hI{}h\txhIy^vtvxdhÊÎzsvz{}h%Êvxd{h"hÍshGzsv~½Fy·Ô

vd{h%hIÍsh\z{vx~£yÁÊvFtwÚ_~tÑFtxtxs~°vh\_vMvxdh%hIÍuhGzsv~½FyÁÊg1hIvxd{s yÁtxhI}¾h\}Fsh\v\¿Òc9d{h\y·UÏ3h{}h\txhIy^vÑd°Ï vx

hIÍuhGzsvhtxz,d"vtxÚst3vxü¾F~yz{yuFz{y"ztxhÊ}xhGtwFz{},h4ur%tx{¢½~½vwv~½y¨2{¢½s,Úu~£y{¨2~½yu¾Fu\°v~½Fy%~£y^vxivÏ32y{y/{¢£s,Ú^~£y{¨

~£yu¾sIvx~£yt\¿psh\.v~½Fy#;¿¦Ñ{}h\txhIy^vtvxdhI}hv~£\¢}h\txz{¢Év,teXzsvehÍsXh\.vh\%hÍsh\Izsvx~£yvx~£gih³Ê¬y^r%$º³l»3¢£~£hIy^v$ztw~£y{¨

4´ µl¶¾h\}txztÓtwvy{}i~£gi{¢½h\gihIy^vvx~£y·Ôvxd{h¨F~½yOIz{¢2Xhl¢£~½y{hG}Ï$~Évd}h\txhG.vÓÊÙvxd{h³yuz{gXhI}Ê·{}sh\ttx},t~ÉÊ·vd{h

{{¢£~£\°vx~£y/hIÍud~½{~½vthIy{Fz{¨d/}¢½¢£hI¢£~£txg/¿puhG.vx~£yM1}hIX}xvt$txgihhÍsXhI}~½gih\yFv,t$Ï$d{~,d"È{vlz}evxd{h\}hvx~I¢ y¢£rutx~tI¿

ced{h\y/ÏhFy¢£zsh³vd{~£tXhI}G¿

(7)

> .0 '"( 2 Ñ -"&

ced{~tihÍ{g1¢½h/Fg1hGtÑÊÎ}xFgØvxd{h"{}h\v2psmM»3xº >.?$~½yFg1zsvvx~£y¢e,dhIgi~£twvx}rG¿ cedh%¨FF¢3ÊpumM»3xºË~tÑvx

{z~½¢_"{~£twvx}~½zsvxhG¹{{¢£~£\°vx~£yÌvxFgi{zsvxh2Igi{¢£hÍ¹tx~½gÑz{¢°vx~£y¹Ê3g1F¢½hGz{¢}twvx}z.vz{}h[CZ}xvxhI~£y E³txz{}x}zysh\

ur%tx¢£¾h\y^v\¿

ced{h{{¢£~I°v~½Fyz{¢½hGt·txhI¾h\}¢ü},¢£¢½h\¢sshGt·txhG~¢£~½Õ\h\³~½y4vd{hI~£} sFg2~£y·¿Fytw~sh\}x~£y{¨3vÏ{~ÉÖhI}hIy^v tI¢£h\t\ÔÙ°v·vd{h

vxgi~etx\¢£hÓvd{h$tw~£gz{¢°v~½Fy~t¨°¾FhI}y{h\ur^zy^vxz{ggih\,dy{~It\Ï$d{~£¢½h$v¬g2I}x^txI{~ÓtI¢½hFüvxd{hjlhIÏevyt¬g1vx~£y

hGFz°vx~£yt}hOtx¢£¾h\ÅvÌtx~½gÑz{¢£vxh2vd{hXhIdü¾^~£}Ê$vxdhgi¢£h\Iz{¢£}twvx}z.vz{}xhztw~£y{¨ÌM},¢£¢½h\¢Ugi¢£h\Iz{¢£}sruyg1~

{{¢£~£\°vx~£y >¦.?ö¿%ced{hOtx¢£¾h\yFv~tgisshI¢£h\_Ft,d}¨hG¹Iy^vx~£yuz{z{g g2vxhI}~¢D¿ced{h2hI¢£h\vx}Ftwvvx~ÈhI¢¹~t¨F°¾hI}y{hG

ur/~txtxyt$hGFz°vx~£ytIÏ$~ÉvdÌ,d}¨hG"}xvx~¢£h\t\¿ced{hÑ¢½¨F}~Évd{g ~ttxh\/Fy~½y^vxh\¨},¢ ÊÎ}gz{¢°v~½Fy"Ï$~½vxd¹2},¢£¢£hI¢

~£gi{¢½h\gihIy^vvx~£y·¿K»3vxdgiu{hI¢t2~½y^vhI},.vivd{}xFz{¨dÒtxz{}wÊýFh"vxd°vtxhI}vxh\tÑvd{hÌsFgi~½yÂÊjh\ÏevxFytOh\^z°v~½Fyt

CZmMÃNEyÌvxd{h2sFg2~£y¹Ê~txtxyt³h\^zvx~£ytGCö3m@E.¿ced{h2gi{¢£hvh2sh\t}~½{vx~£yÅÊÓvd{hiyuz{gihI}~£\¢U¢£¨F}x~½vxdg=ÊÎ}

vd{hFz{{¢£~½y{¨1~tezsv,tw~sh³vxd{htFh4Ê vxd~£te}hIX}xv\¿ciIgi{¢£hvhvd{hsh\t}~£svx~£y"ÊpumM»3xºÑs¢½hIv$ztey{vh³vxdvvxdhI}

{{¢£~£\°vx~£yt}xhÑ~½yI¢½zsh\Ì~½yvd{hitw~£gz{¢°v~½FyM{}sh\tt\Ô$y{hÑÊUvd{hIgy{h\h\{tv%tü¾h¢½¢vxd{h1XFtx~Év~½FytyM¾FhI¢£s~½vx~£h\t

Ê¬°vg2te~£y%F}sh\}egiÚh4y¢½rstx~£t3Ê vxdhv}h\vx}~£h\tÊ¬vxFgitAQsvd{hI},t3h\}xgi~½vevxi¾u~£txz¢£~£ÕIh³vxd{h4gi¢£h\Iz{¢}$tv}xz.vxz}xh

y%vxd{htxz{}xÊýh³ÊtxhI}vx~£y·¿jh\¾hI}xvxdhI¢£h\ttI^vxdh~½y^vxh\}F.v~½Fy%XhvÏ3hIh\yvd{hvxd/gisshI¢t$~t3vxd{}z{¨Fdvd{~ttwz}wÊýFh¿

! #"$ &%'(*)+",(- /.0)132*2!.04056748 :9

¬~£¨z{}h/ 1txd{°Ïtvxd{h2Iz{{¢£~£y{¨"¢½¨F}~Évd{gÊ$pumM»3xº9tx~£gz{¢°v~½Fy¹{¢½~Ivx~£yÅt4"gz{¢½vx~Utwvxh\¹~£y^vxhI¨F}vx~£yÅtx,d{h\gih¿

ced{hÑgi¢£h\z¢£}sruyg1~ItJC%G/{h\.v E$y/vxd{h1FyFv~½yuz{zg5gihvd{sDC{h\.v E}xhIy{y{hG.vh\ur/OtwXh\I~£¢ v,txÚ

C00 /)*+A! {h\.v Evd°v$~£gi{¢½h\gihIy^vt3vd{h³Igi{zsv,°v~½FyÊvxd{hIz{{¢£~£y{¨vhI}git3Ê vxdh³d^rstx~£\¢Xgiu{hI¢tI¿»3vd%Fsh\vt

}xh},¢£¢½h\¢ZÔvxd{hvxFgit 6; y twz{}xÊýIh #<Â{vO}xh~£yÊýF.v³{~£twvx}~½zsvxhGshG.v,tCÎ¾Fh\vx} E$g1Fy{¨ivxdhÑ{}shGtxtx},tI¿

ced{hGtwh"{h\.v,tÑ}xh%¨¨F}xh\¨Fvxh%$º³»e;Fsh\vt1s~tv}x~£{zsvh\Ágiy{¨vd{h"{}xsIh\ttwF}t\¬txz,dÁFtÑ°vÌ},¢£¢£hI¢3shIvt

hIÍ^vhIytx~£yT>¤F¤u-;{ ¤>=I?ö¿

?A@CB0B!D:EF0GIH!J8K0KL

MN@POQKSRNTUGIHV!GSW8XZY&G-[S\F8]_^QGIEQ`0aSV`LbY3G_c8cQdfe

gN@ EQhQDSi0j_KSE8L8k0V`_l8lNT#mNn3loS\_pqdrY B8B

in P, out F

^o

M D

sb@ GSOtTUjIEvuV`LbT&G*d8dfewB8BSV8R8kQ`*GO8Owx_\yuVQ`L

z @ EhQDSi0j8KE8L8k0VQ`S{_|urT#mbn#}~dY B8B

in P, out b

N@ jIEvDSi0j8KE8L8k0VQ`_ZT7aAn3mydY B8B

in S, in P

N@ jIEvDSi0j8KE8L8k0VQ`SmK8J8F_RQGS0FSVG_KHbT}bnlQo_x_\qdrYB8B

in b, out F

^o

CM

N@

N@ B0fxKk8LQJ0GH-KSO*VQ`SR_Eu-8B

?Xb@ j_Kk8LQJ0F_0`DSiSEGS]ZT#lo8x_\Nnlo8Zn7lo_\_pqdY B8B

in F

^o

CM, out F

^o

G, inout F

^o

M D

?8?A@ EhQDSi0GH0V`__RQFSV`AT#Nn3loS\_p>nmqdY B8B

inout V, in F

^o

M D, inout P

?SMN@ GOtTUjEuV`L>T3Gwd8d-e

?SgN@ jIEvDSiGIH0V`_8RFSV`AT7aZnlo_qdY B8B

inout S, in F

^o

G

?sb@

?z

@wB8B!Df`HhfEF0GIH!J8K0KL

¬~½¨Fz{}xh Ô7>A8_wr8A! A8r¡A¢0r8870/£¤v¥¦¡r¢0A wA§©¨_ª¬«¨_

r ®v8A°¯

md

^±

cm

r¤

couplage

¢8¬A¡A¡A¢8¡Zr8'²:«3³Z´>µSQ®Q8¯¶³&¢8¡ZqQ>8*A

qQ8>¢8w²«3³P_v·b®fr0wI¸

±

Q¹Nb8¤rº¸»S_¢8´©8v¯

ced{h{h\t}~½sv~½Fy%Êvd{h{vJX°ÏKÊÎ}Fy{h4~ÉvhI},°vx~£ysh\h\y{t$Fy"vxd{hIz{}x}hIy^vtwvxhIy"Ï3Fte¨~£¾hIy"ur%O$º³»e

FtwhG¢£~½h\y^v{}¨F}g twÚFhv,,d{h\/~£yÈ¨Fz{}xh ¿l¬~½¨Fz{}hÑ¤i}hI{}h\txhIy^vtvxd{hÑ{°v,GX°Ï¨},{dXhvÏ3hIh\y/vxd{hÑ~½yu¾Fu\°v~½Fyt$Ê

vd{hgihIvxd{s{tÊ·vd{hÈ¨z{}h ¿UKüÍ2y{ssh}xh\{}h\txhIy^vt{v{uyOyOh\¢½¢£~£twh³y{ssh}xh\{}xhGtwh\y^vtÓvFtwÚ¿yhGs¨hlÊÎ}xFg

%vFtwÚMvx/{°v,%gihGyt³vd°v4vxdhO{°v,%~t4Ï$}~ÉvxvxhIyÅurvxdhivtxÚ¿1ly_h\s¨FhÑÊÎ}go"°v%v/%v,txÚg1hGyt³vd°vvd{h

{v~£t}xhGiurÑvxd{hvFtwÚ¿¬Ó,d2v,txÚÑ~£y2vd{h{v1X°Ï¨},{dOI}}xhGtwXytvxvxd{h~½yu¾s\°vx~£y2ÊÙg1hIvxd{sy%$º³»e

Fsh\vCý°v$¢£~½yh\t ;sW{ LuÙ \¥Ù FX /;1~½y"È¨Fz{}xhi AE¿

¼0½r¾À¿qÁ6¾ÃÂÅÄ

ì ì üïýîÆýó0Ç×ð üñ eíþ

¾ÀÈ

]

¾UÉ

ÿ

(8)

MD −> computeFF P

Fmd S

b MD −> computeRhs

CM −> computePol

Fcm

Fmd Fg

MD −> integrate CM −> integrate

CM −> computeA

V

couplage −> mix

S P V

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

MD −> computeFF P

Fmd

Fcm

Fmd Fg

MD −> integrate V

couplage −> mix

P V

.! /012! "$#%&'(%)*3),(-

¬~£¨z{}h4¤{Ô543r0*£v¥ ¡A¢0A »r#§©¨Sª¬«7¨_PA6A:8¢0r8Z¬r 8 ¢8A¡A¢0r 6NQ8®0v~87¡Z©¢8:9Z¯<;Q ¤©¡wA 8¹AA

A>=?A@ B/C/D'Q8Q¢&8¡r¢0A tFE3A¢/´GE7&´ r&¢8>8q

±

8 º&:_®0v»A»H©®©8v»At!©S_¢8´8v r¢8®0º8®Q8©¢8Z¯

JI K >LMLON*9w4056748 /9 56 PL2!.8)Q-48SR

puhG.v~½Fy ;{¿¦{}h\txhIy^vtFg1¢½hIvxhlIgi{¢£hÍs~Évr1y¢½rstx~£tUÊÙvxdhv}x¨FhvÓ{{¢£~£\°vx~£yt{zsvvxd{~tÓ},¨},dÊÎsztwhGtUyivd{h

Xvxvx¢£hIy{hG,Ú~£y%vd{h{}¨F}g9Ê¬È¨z{}hi 4ztw~£y{¨2iFtw~4Ftwv$giu{hI¢·Ï$~½vxdtwvx}y{¨i{zsv}h\¢½~twvx~³Ftxtxz{gisv~½Fyt$Xzsv$vd{h

Igigz{y~£\°vx~£ytI¿

Ä hvztlttxz{gihvxdvhG,dMFgigz{y{~Ivx~£yXhvÏ3hIh\yvxd{h1mMÃ y¹3m{{¢£~£\°v~½FytdFtlFzsvlvd{hÑtgihtx~½Õ\h

L

ur^vxhGtI¿4cÓru{~I¢½¢£r

L

},y¨h\tÊÎ}xFg

KBytes

^v

M Bytes

¿³ceduztlFy{h~½vxh\}vx~£yMÊvxd{hÑ{}¨},gËÊÈ¨z{}h Ï$~½vxdMvd{h ÊÎz{¢£¢ehI¾°¢£zvx~£yÀÊ³3m vFtwÚst\y{hIhG{tv¹Igigz{y~£\°vxh

5L

ur^vxhGtI¿_kltx~½y¨

P

{}sh\ttxh\tÊÎF}ÑXvdÒvxdh"mMÃ=y 3m

{{¢£~£\°vx~£ytIshG,d"{}xsIh\tthIÍ{hI{v$vxd{hIz{{¢£~£y{¨i{}xsIh\ttIstxhIy%}$}h\IhI~£¾h\teFzsv

5L/P

ur^vxh\teÊ¬{v¿

ºyÂvxdhMvxF+Êtv,y},+$º³l»3~½gi{¢£hIgihIy^v,°vx~£y vd{hÌ~½¢£vOvd°v"sh\t}~½Xh\t2vxd{hÌ°vTX°ÏËÊ³~½vxh\}vx~£y·e~t

~£yu¾¢£¾hG2~£yFvÑhG,d"gigÑz{y{~I°v~½Fyt\Ô vd{h³Ftxtxs~°vh\2{}shGtxt}xhGh\~½¾Fh\t3yOÊÎ}Ï3}{tXzsv

5L

urFvh\tÊ{°v,{¿ced^zt ÊÎ}gvd{h$X~£yFvÊ¾u~½h\ÏÁÊvxdheIgigzy{~£\°v~½Fy·°vxdh3~½¢£v~t¬vxd{h$Xvxvx¢£hIy{hG,ÚÊvxd{h$ssh$Iz{{¢£~£y{¨{{¢£~I°v~½Fy·¿ced~£t~t

~£y{d{h\}xh\yFvÊÎ}g?vxd{htxhIg2yFv~£eÊXgihIvxd{s1~½yu¾Fu\°v~½Fyt~½y$º³»eÏ$d{~,di}xhG^z{~½}h\thIÍs{¢½~~½vÓFgigz{y{~Ivx~£y1ÊhÖh\vx~£¾h

}gihvxh\}t\¿

tltxd{°Ï$y~½yÌy{hÍuvtxh\vx~£yt\ztx~£y{¨³´µ¶Òvxd{h~½¢£v4suh\tyvl}wv~£I~½°vxhÑ°v¢½¢~½y^vxOvxd{h1{°v,OFg1gÑz{y{~Ivx~£y*T

XhvÏ3hIh\yi{{¢£~£\°v~½FytIÔ h\,d1{}sh\tt¬Êvxd{h&Gy {¢½~Ivx~£yttxhIy{tF}}xhGh\~½¾Fh\t~½yi}¢½¢£hI¢sXz{v

5L

ur^vxhGtÊ

{v¿jlhI¾FhI}xvxd{h\¢½hGtxt\°vxdhlXvwv¢½h\y{h\,Ú1~tÓsz{hlvxvd{h~£gi{¢½h\gihIy^vvx~£yOÊXvd{hlIz{{¢£~£y{¨vFtwÚ[Cý{~£twvx}~½zsvxhG2}UyvEFÏ$d~£,d

~t~£y_vxd{h%,d}¨hiÊ3vxdhO{}¨},gigihI}yÅy{v1sz{h2v/vxd{hOztx¨h2Ê3vxdhOz{ysh\}x¢üru~½y¨g1~{s¢£hIÏe}h1vxM~£y^vxh\}Iy{y{hG.v

{{¢£~£\°vx~£ytI¿

U VWQf)#5N-40 /9 /9YX*4 Z\[4 ]ANf)^X 0[5(w4_)#5 _N`[)

txtxz{gi~½y¨lvd{h3°v9X°ÏÒ¨F}{dÚuy{°Ï$y·Gvxdh3g2{{~£y{¨lÊ{vFtwÚsty^vxlvxd{h3{}uIh\ttwF}t Ê{~£twvx}~½zsvxhG},,d{~½vxhG.vxz}xh3¢£¢½°Ït

v%hIÍu¢½F~Év³},¢£¢½h\¢½~txgËXhvÏ3hIh\yM~£y^¾FsI°v~½Fyt\¿³4´ µl¶Ò}xh\¢½~£h\ty_Ý$ÞÙßÙ¶ àG¶áGâ¶ ã¹vx"g2y¨hvd{hÑ},¢£¢½h\¢hIÍuhGzsv~½FyMÊ

v,txÚutÏ$~ÉvdÀ}xhGtwXh\vvxÌ°v#X°Ï Iytwvx},~£y^vt\¿"»3rÌztw~£y{¨Ìtv}F.v~£yFvhI}{}hvvx~£yÒyÒgi{~£¢°vx~£yÅvh\,d{y{~It\¬h\,d

~£yu¾sIvx~£yv%gihvd{sÌ~t4Isvxz{}h\vx"¨hIyhI},°vxh1y_Ý$ÞÙßÙ¶ àG¶áGâ¶ãÅvFtwÚÔtxh\vx~£yM¦/shG¢tlÏ$~½vxd¹vxd{hi~£gi{¢£y^v°v~½FyMÊ

vd{hFgi{~½¢°v~½Fy%}xshGtxt3v2zsvg2°v~£\¢£¢½rOz{~½¢°v$}z{y^vx~£gih4vxd{h°vJX°Ïa¨},{d uvxd{htxh\vx~£y/¦¿ò¤Ñ¨~£¾h\t$ishIv~½¢£h\

{}h\txhIy^v,°vx~£y"Êvxd{h¨FhIy{h\}vx~£y%Ê¬vxd{hI¢½~£hIy^vtvz{y/txhI}¾h\}3txÚh\¢½hIvxy ¿

ci¨hIyhI},°vxh41h¸O~£hIy^vÝ$ÞÙßÙ¶à\¶¬á\â¶ ãÌ{}¨},g/u³´µ¶_Fgi{~½¢£hI}$ztwhGt3vÏ1vxhG,d{y{~It\Ô

ab0c_dGef2g a d*bOhjikeFdlb5gmab0nof2gma dlb vxi}xh\{¢h4{¢£s,Úu~½y{¨1~£y^¾FsI°v~½Fy%ur2vÏ3iy{y{¼D{¢£s,Úu~½y{¨1~£y^¾FsI°v~½Fyt\

pq_r

ÇóGð £î.ï üî.ñeïZó$î,ðZóUñsîrÇwìðDñòî t

Ä

ûüñºÇöûñ Gî,ðÇî ZñüóïZóñðDûGñ íüì DñºÇUì°ìþ Dñ wÿ

(9)

eFd n^b0a eFf2gma dlb hji be amgmi vx2ü¾F~Oy{i}h\^z{~£}xhG%Igigz{y~£\°vx~£y"Ê{°v,{¿v}ytÊÎF}xg2t

ced{hMtxh\vx~£y ;{¿¦_y¢£rstwhGtvd{h~£g1.v2Êlvxd~£tivÏ3¹vxh\,dy{~£\tiy vxd{hIgi{¢£hÍs~ÉvrÀvx_hÍsh\Izsvxhy^rÀ4´ µl¶K}xF¨},g

Fy_{~£twvx}~½zsvxhG¹},d{~½vxhG.vz{}xhF¿iÓtwXh\I~£¢½¢£r ÏhOtxd{°Ïvd°v~½Êvd{hO³´µ¶ {}¨F}g CÎÊÎ}~£ytwvyh1vxdh2{}xF¨},g=~£y¹vd{h

È¨Fz{}h2 AEe~tl2^},twh³¨},~£y"d{~½¨Fd{¢£r}¢½¢£hI¢·}xF¨},g/^vxd{h\y/vxd{htxXhIh\/z"Êztw~£y{¨O4´ µl¶¹¾FhI},twzt$tv,y{}$º³»e

~t$y{hG}¢½r2¢£~½yh\}$Ï$~½vxd/}h\txhG.vevxivd{hyuz{gXhI}$Ê¬}xshGtxtx}G¿

ced{hpsmM»3xº?{{¢£~£\°v~½Fy%~tztxh\"~£yMtwhG.v~½FyÑvOgih\Ftwz{}h³vxd{h{}vx~I¢·¨F~½y/Êztx~½y¨O³º³mM¾FhI},twzt$tv,y{}

$º³»eÇ~£gi{¢£y^v°v~½Fy·ÔÏh4hIÍud~½{~½v¨us"twXhIhG%z/Fte{}h\s~.vh\%^rz{}y¢£rstw~tI¿

(10)

!" Æ/ -%·$U

4´ µl¶~£t3}h\txh\},d2F.vx~£yOvx}x°¾u~shly2h\yu¾^~£}y{gihIy^v3Ï$d{~£,d%¢£¢½°Ïtv}hIztxhvd{hIgiXy{h\yFv,tyOFtxtxhIgÑ{¢½hvxd{h\g

~£yF}sh\}Uv{z{~£¢Od{~£¨dOXhI}xÊÎ}g2yIhlyOtx\¢{¢£hls~twvx}~½{z{vxh\%{¢½~Ivx~£y2ÊÎF}Óyuz{gihI}~£\¢tw~£gz¢£vx~£yOztx~£y{¨1$º³»e

IgiFy{hIy^vvxh\,dy{¢£¨Fr@>ò¤ LA?ö¿lced{h1ttwz{gisv~½Fy~½gi{¢£~~½vx¢£rgiFsh~£yÌ³´µ¶À~£tlvxdvg2yur/Fg1XyhIy^vt}hü¾°~£¢£{¢½h

y%vxd{h4v,}¨hv${¢½~Ivx~£y"~£t{z{~£¢ÉvF}$hÍuvxh\yur"ttwh\g{¢£~½y¨vd{h\txhgiXy{h\y^vt\¿

I ]:ZG[35 P49:¤)^[2 [) ¤748 :9

×y/},sh\}v2,d{~£hI¾Fhlvd{hIF}xhIvx~I¢·y%{}F.v~£\¢h¸O~£hIy^vhIÍuhGzsv~½Fy%Fy"1}¢½¢£hI¢Ù},d{~½vxhG.vz{}xhFuvxd{h4Úuy{°Ï$¢£h\s¨FhÊvd{h

{v/sh\h\yshIy~£h\t³}xh\¢£vxhGMvvd{h2{{¢£~I°v~½Fy¹{hG},t4tvxd{hiÚFhIrX~£yFv4ÊÎF}4Igi{zsv~½y¨""¨usÌt,d{hGsz{¢£h¿Ù³´µ¶

dys¢£h\t%°vO}z{y^vx~£g1hMvxd{hÌtwvx},.v2~£y^vxhI}{}hv,°vx~£yÂvÒ¨F~£y~½y{ÊÎ}givx~£y+Xz{v2vxd{hM},gihvhI},ti}xhGFz~½}h\ ÊÎ}h\,d

~£yu¾sIvx~£y·¿{}g9yÃÄ¹shÈy~Év~½Fy·s³´µ¶¨FhIy{h\}vxh\t°vegi{~£¢£hvx~£gih³y{hIÏI¢½~£hIy^vetvz{Ï$d{~,d¢½¢£°ÏtvÑIsvxz}xh

vd{h2s~½}h\vx~£y¹g1ssh1ÊÎF}³hG,d¹},gihvhI},tl~£yu¾F¢½¾Fh\~£yÅ"txh\^z{hIyh1ÊÓ~£yu¾sIvx~£yt\¿3v}xzyFv~½gihFvxd{h2Fy^vx}¢¬ÊÓvd{h

{}¨F}g5~t³~½y^vhI}{}xhIvxhG~½yÌvxd{h2twvy{},/Ïeür"Ï$d~½¢£h1¢½¢~£yu¾sIvx~£yt}h~£yFvhI},h\svxhG/vx"{z{~£¢£Ìvxdh1{vZX°Ï¨},{d

Ê$vxd{h%hÍsh\Izsvx~£y·¿¹ced{~£tÑ¨},dÒ~£tÑ{~£}xvx~½vxhFÔÑvd{hyu{h\tÊÎF}xg vÏ3Ìtxhvt\¬vxd{h,v,txÚutiy_vxd{h{v°¿M;yu{hÊ

vruXh .vFtwÚ~£y¹vxd{~t4¨},{dÌ}xh\{}xhGtwh\y^vlvxdh1~£yu¾sIvx~£yÌvx/gihvd{sÌFy¹/txhI}¾hI}G¿×y{{z{v}\t}xh1~£y{{zsv}g1hIvxh\}t

C%~½y/Ã³ÄFE.zsv{zsv},Ite}h4zsv{zsv1CE},gihvhI},tI¿Çy{ssh4Êvruh°v}hI}xhGtwh\yFv,tvxd{h¾°¢£z{h4¾h\}tx~£yOÊ

}gihvxh\}\¿

ced{h1È¨Fz{}hi¤}xh\{}h\txhIy^vtlvxd{hO°v X°ÏÜ¨F}{dÌÊÓz}³givx~£¾üvx~£y{¨/hÍshIgi{¢£h¿1ÓF,dÌy{sshGtGCý{v"yÌvFtwÚEldü¾h

vd{h2°vwv}x~£{zsvh\t\Ô$vxdh1hIÍsh\z{vx~£yÌtx~ÉvhÑÊUvxdhÑv,txÚ Cvxdhitx~½vxh1Ï$d{hI}h~t³~½ytwvy^vx~°vxhGvd{h1txhI}¾h\}lFsh\vEyMvxd{h2tx~½Õ\hÊ

vd{h2{°v,{¿mF}xh\°¾hI}h\F,dMy{ssh\t³dü¾FhÑ"tv,°vh#Cý}xhGsrFÙy{v4}xhGsrE¿ °v~£t4}h\Fsr/~ÉÊ~Év~tÏ$}~½vwvxh\y¹urMvFtwÚ¿

v,txÚO~£t}xhGsr2~½Ê¢½¢ ~Év,te~½y{zsv{vi}h}h\Fsr¿

I V 548)#9:P9* /9N2 [) ) L2*4/)+)Qf)#5Nf40 /9

ÊvxhI}it,d{h\sz¢½~£y{¨/vxdh{°v,[X°Ï ¨},{d CZtwhG.vx~£yD;¿¦"E.¬vxd{h}xz{y^v~½gihOh\¾ü¢½z°vxhGth\F,dÅvtxÚstur¹}h\txXh\.v~½y¨/vxd{h%},shI}

~£yszIh\^r³vd{h3°v X°ÏÀFytwvx},~£yFv,tI¿ced{hÓ{¢£s,Úu~½y{¨~½yu¾Fu\°v~½Fy4vxtwh\}x¾FhI}~£t¬tw¢½~½v¬~£yvÏ3ly{Fy{¢£s,Ú^~£y{¨~½yu¾s\°vx~£ytI¿

ced{~t¬vx},ytÊÎF}xg2°v~½Fy~£tsFy{h3~½y^vx4¢£~£hIy^vUtvz{ÑytxhI}¾h\}¬txÚh\¢½hIvxy¨hIyhI},°vxhG4ÊÎ}gÇvxdh3Ã³Ä%^rFz{}Fg1~½¢£hI}G¿ \Åh$I¢£¢

vd{~£tlvx},ytÊÎF}xg2°v~½Fyvd{h -,. A # . -.( .>£ ILA?tevd{hÑF{svh\/¾FhI},tw~£y"Êvxdh! "#Z 0 $>W?

{}~£y~£{¢£h¿/×y -,. /0 % . -.( .txz,dÀFt4È¨z}xhZ;"v,txÚ¹~£yu¾FÚ^~£y{¨{¢£s,Úu~½y{¨gihIvxd{s_~tvx},ytÊÎF}xgih\

~£y+vÏ3ÒvFtwÚst2Ï$d{~,d+~£y^¾FÚFhy{ys¼ö{¢£s,Ú^~£y{¨Ògihvd{s{t\¿?ced{hMhIÍuhGzsv~½Fy+Ê4vxdhMÊÎ}gihI}vtxÚÁ~£yu¾FÚh\t2vxd{hÌÈ}twvy{Fys¼

&'&'&

('('(

)')') )')') )')')

*'*'*

+'+'+

,',', ,',', ,',',

-'-'- -'-'- -'-'-

.'.'.

.'.'. /'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/

/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/'/

0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0 0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0 0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0'0

1'1'1'1'1'1 1'1'1'1'1'1

2'2'2'2'2'2 2'2'2'2'2'2

33333333333333333333333333333333333333333333333

4'4'4'4'4'4 5'5'5'5'5'5

66666666

77777778888888

99999999999 :':':':':':':':':':':':':':

:':':':':':':':':':':':':':

;';';';';';';';';';';';';';

Recived

Blocked

Blocked call

Reply Recived Reponder Reponder

Caller

Reply

a) Normal synchrony Result

Ready Not−Ready Continuation task Caller

Task creation

Ready

b) Invocation−by−continuation Try to access

Not−Blocked call

¬~£¨z{}h&;{Ô=<>@?A=BBDCEA>'FGIHFJ=JA> BDCK>ML@B'BDCEA>¶ ®Aq ¤r¢8_A 8yr¢8~AS¸©®0¢8A>¸b¯

(11)

{¢£s,Úu~½y{¨gihIvxd{sÙ¬~½y~Év~£vxh\tvxd{hO~£yu¾sIvx~£y¹yÅvxd{h%twh\}x¾FhI}y_F{sh\t"vtxÚM~£y^vx/vxdhOg2}/{°v,#X°ÏÐ¨F}{d¹ÊÎ}

vd{h[ -( --.( .¿lced{h1y^v~½yuzvx~£y/vFtwÚ/Ï$~£¢½¢¬Xh\IgihÑz{vxg2vx~I¢£¢£r}h\{r%ur"vxd{h1twhGFy/y{y{¼D{¢£s,Úu~½y{¨g1hIvxd{s

~£yu¾ÚFh\^rvxd{htxhI}¾h\}3txÚh\¢½hIvxFy·¿

ced{hÑgiFtwv~£g1X}xvlÊýF.v³~£tlvxdvvd{~tv}ytÊÎF}xg2vx~£yM¢£¢£°ÏtOy{FyM{}hIh\g1{vx~£¾hhIÍsh\z{vx~£y >£ AWI?Êvd{hv,txÚstlÏ$~½vxd

hI¸2I~½h\y^vhÍsh\Izsvx~£y·ÔXh\\ztxh¢£¢vFtwÚst$}h³y{hI¾FhI}$Ïe~½vx~£y{¨1ÊÎ}evxdh}xhGtwz{¢½vt\{¢£¢Ù{}sh\ttx},tÓ}hIg2~£yt$F.vx~£¾h4Ï$d{~£¢£hvd{hI}h

hIÍu~twv}h\{rOvFtwÚstl~½y/vd{h¨F}{d·¿${F}l~£ytv,yIhX~Év³~£tl^txtx~£{¢½hvxt,d{h\{z{¢½hvxd{h1{°v,X°ÏÇ¨},{d/ztx~£y{¨OyhyMy{¢£r

Fy{h4vxd{}h\FÊ¬Iy^vx}¢Xvx2~£yu¾FÚh³~½y/}¢½¢£hI¢gihvd{s{t$y/txhI¾h\}¢Ùtwh\}x¾FhI},tI¿

IJI N- >L 45 X-7 L :)^L )#9:

Ãz{h%vxMvd{h/{°v, X°Ï }hI{}h\txhIy^vvx~£yÒÊ$vxd{h%hÍsh\Izsvx~£yÀÊlÌtxh\^z{h\yh%Ê~£y^¾FsI°v~½Fyt\¬~½vÑ~t1^txtx~£{¢½hOvxÅ¨hIyhI},°vxh

Fy{¢½rMvxd{h2Fgigz{y{~Ivx~£yM}h\^z{~£}h\v%}h\¢½~£ÕIhÑvxdh1~£yu¾sIvx~£yM~£y^vx"twh\}x¾FhI}G¿ced{hM0 J'- #M . -.( .

twvx},°vhI¨rg2Úh\tvd{hey{hIhGv}ytwÊÎ}givx~£yzsvxFg2°vx~I¢½¢£r~£yFv4z{}³´µ¶%Ã³Ä"Igi{~£¢½h\}\Ô~Évv}ytw¢°vh\t¢£¢s}g1hIvxh\}t

~£yu¾¢£¾hG/~½yÌ~½yu¾s\°vx~£yt$~½y^v¨¢£¢ }hÊÎh\}xh\yhGtI¿Ü}hÊÎhI}hIyh~tIgiXFtxh\/urOyg1h1y¾h\}tx~½Fy/y^zgXhI}G¿löÊ

txhI}¾h\}Ï$d{~,d{}xsszh\t2}g1hIvxh\}C ly .E$Ú^y°Ït~£yMs¾°yh¢½¢vxd{hÑtwh\}x¾FhI},tevxdvÏ$~£¢½¢¬Fytwzg1h~ÉvGvd{h

txÚh\¢½hIvxytxhIy%vd{h{°v,1vxivd{hFytxz{gihI},t¬ztv³°Êvxh\}~½vt${}sszvx~£y·¿3Ç}xhGhI~£¾h\}$Ï$~½¢£¢ twvxF}xh4~½vl~½y^vO2I,dh³zyFv~½¢~Év,t

Iytxz{gisvx~£y ¿¬ced{~tUgissh$ÊIgigz{y~£\°vx~£y1~tUI¢½¢£h\Ñvxdh )*Y /°¿öÊ·³txÚh\¢½hIvxFy1}h\^z{~£}h\t{°v,4Ï$d{~,d1Ïetyv

rFhv$}xhGh\~½¾Fh\Ù^~Év$g2ÚFh\t3}h\^z{hGtv3vxÑvxdh³}xshGtxtvd°vedü¾h{}u{zhG~½v\Ô¬vxd~£te~tvxd{h1!" - AÊ¬gigÑz{y{~I°v~½Fy·

txz,dMtÈ¨z}xh¦¿$×yMXvxdÌg1hIvxd{s{t\vxd{h1¢£~½h\yFvvxdvl¨h\y{hI},°vh\tevd{hÑtxh\^z{h\yhÊU~£y^¾FsI°v~½Fyt$~ty{h\¾h\}~½yu¾F¢£¾h\"~£y^vx

vd{hlFgigz{y{~Ivx~£yt\Ï$~½vxdivd{h$hÍ{h\svx~£yi~½ÊÙ~ÉvU}h\^z{~£}xhGt¬vx}h\FÑ{v¿¬ced{h$zsvÓgihvd{s2twd{Fz{¢ÑXh$ztxh\1~½ÊXvd{hl{v

~ttwg2¢½¢y¹Iz{¢MXhi{}x^{\twvxhG/vxtxhI¾h\}¢vxd{h\}twh\}x¾FhI},tÊÎF}ÊÎz{vxz{}hi~½yu¾s\°vx~£y ¿»3zsv\·Xh\\ztxh1~Év}h\^z{~£}xhGtlvd{h

twvxF}¨hÊ{°v,I{~£h\tyÅtwFg1h1twh\}x¾FhI},tItxz,dMgihvd{sÌtxd{z{¢MXhiI}hÊÎz¢½¢£r/ztwhGMÏ$~½vxd¹{~½¨/{v2v"ü¾F~/gihIgi}r

Iytxz{gisvx~£y ¿mM}hI°¾h\}\vxd{h' -,. A #G . -.( ."vxhG,d{y{~l¢£¢£°ÏtU}¢½¢£hI¢XgigÑz{y{~I°v~½FyOXhvÏ3hIhIy%twh\}x¾FhI},tI¿

Code−2 Code−1

Pilot Pilot

Code−2 Code−1

b) Communication−by−necessity 5− Data 4− Key

4− Ack 3− Data

2− Data

1− Request

3− Ref

6− Ack 2− Ref

1− Request

a) Normal communication

¬~£¨z{}h4¦Ô/7Zqw®r8Z

´b¸

®Q__º¸ C(B ? C(B@A E3¹NQ¢8_8r¢8~A®Zqw®r8Z¯

IU (-)# [4_4563.8Z5°(-)^XAN*.409 [)^ZGNw.__Z

4´ µl¶¹}hI¢£~£h\tey"vd{hg2}2{°v,°¼(X°ÏhIÍuhGzsv~½Fy%ÚFhI}y{hI¢ÙÊlÝ$ÞÙßÙ¶ àG¶áGâ¶ãD>£ AWs A=I?öi}¢½¢£hI¢Ù}z{y^vx~£gih³h\yu¾^~£}y{gihIy^v

vOg2y¨h4},¢£¢£hI¢·hIÍuhGzsv~½Fy·¿Ä hvlzt}h\I¢½¢·vxd{hyvvx~£yteztwhG/~½y >£ AWI?shÈy{h\/Fy/°v'X°Ïa¨F}{d·Ô å

å

Z¯

å

T ₁

{hIy{vxh\tvxd{h%twhGFzhIy^vx~¢v~½gih2vd°vÑ~£tÑshÈyh\ÅÊÎ}gØtwh\}x~¢UhIÍsh\z{vx~£y_ÊevxdhO{}¨},g/¿

¯s®°¯

å

T ^∞

~£t$vxd{h}x~½vxd{gihIvx~shIsvdÊ¨},dv,Úu~½y¨1~£y^vxOFIFz{y^v$vxd{hÏ3hI~£¨d^v,t1CýIgi{zsv,°vx~£yIFtwvtEÓÊvtxÚOy{sshGtI¿

T ^∞

^~t

vd{hIyÀ"¢£°Ïh\}³XzyÅÊ3vxd{h2gi~£y{~½g2¢vx~£gih2}xhGFz~½}h\¹ur¹yury{Fys¼ö{}xh\hIgisv~½¾Fhit,d{hGsz{¢£h2y_yÅz{yuFz{yshG¹yuz{gÑh\}

Ê{}sh\ttx},tl~£¨y{F}x~£y{¨"gigÑz{y{~I°v~½Fytvx~£gih\tGCÎlm gisshI¢R>£ G¤/?E.¿Ñé Z±¯séé å

C ₁

^y ^ê ^å ^Z¯ ^æ

C ∞

}xhh\¾°¢£z°vh\"ÊÎ}gË¨},{dMtx~½gi~£¢£}x¢£rOv

T ₁

^y

T ∞

{zsvvÚu~£y{¨O~£y^vx%FIIz{y^vy¢½r"vxdhÏ3hI~£¨d^vt1CZtw~£ÕIhGt0EÊÓ{v

¾FhI},tw~£yOyu{h\t\¿

C ₁

~£tvd{h³txz{g9Ê·vxd{h³Ï3hI~£¨d^vt°¾h\}¢£¢{°v,y{sshGtQstxtxz{gi~½y¨vd°v3vxd{h4txd}h\2gih\g1F}xri~tÓh\gz{¢°vh\

~£yÌyMzsÍs~½¢£~}r2È¢£h

C ₁

~£tvxd{h\yMyz{h\}lXz{yMy/vxdhvxv¢yuz{gXhI}ÊU\h\ttxh\teXhI}xÊÎ}g1hG/~½y/vd{~tÈ¢£hsz}x~£y{¨

txhI}~£¢ÙhÍsh\Izsvx~£y ¿

C ∞

~t3vxd{h¢£hIy{¨vxd/Êvxd{hI}x~½vx~I¢·Fg1gÑz{y{~Ivx~£y"°vd·¿

Ä hv%ztttxz{gihvxdvvd{h¹IFtwvOvxÂgigÑz{y{~I°vhÌÒgih\tt¨hÌÊtw~£ÕIh

L

^~t

hL

¿?cedy{Úst2vxÁvxd{h¹ÏF}xÚÂtvh\¢½~£y{¨

¢½¨F}~Évd{gÆshv,~£¢½hGÀ~£yB>£ AW.?D3yurÀ{°v,MX°Ï;¨},{d z¢£ h/hIÍuhGzsvh\Áy

p

{}uIh\ttwF}tg2,d{~£y{h/~½yÁvx~£gih

T p = O(T 1/p + T ∞ + h(C ₁ /p + C ∞ )) + O(σ)

¿Z\+d{h\}xh

σ

~t³vxdhOtw~£ÕIhiÊvxd{h2{v X°ÏÜ¨F}{d·¿iced{~t³vx~£g1h2~£yI¢½z{h\t³vxdh

(12)

°¾FhI}d{h\F/vxFgi{zsvxh1vd{h2tx,d{hGsz{¢£hÑÊÓvd{hi{}xF¨},g/¿ced{hi}h\txz{¢½v4~t³¾°¢£~£¹y_dgi¨FhIy{h\zt},¢£¢£hI¢g2,d{~£y{h[Cý

I¢½ztwvxh\}E{~½ÊyFy{¢£rO~ÉÊvd{h³vtxÚst$}h4y{y"{¢£u,Úu~£y{¨{y%~ÉÊ¬vxd{hIgigzy{~£\°v~½Fyt$}h³{~½}h\vhIvÏh\hIy"{}xsIh\ttwF}t\¿

® éÓé «Îé -9( G9 ' N 2 476985: - F H -,. /0 N [

p

^{)* /} ^. ^GH ^*N ^!

Ì´µ¶

T _p ^homa = O(T 1/p + T ∞ + h(C ₁ /p + C ∞ )) + O(σ)

^V

ced{h³^tv3g1ssh\¢Ê·hÍshGzsv~½FyOÊ4´ µl¶~tÓ~£y{d{h\}x~½vxhG2ÊÎ}g;Ý$ÞÙßÙ¶ àG¶áGâ¶ ãT>½ /WI?ö^Xh\\ztxh4´ µl¶v}ytw¢°vh\tÓ}xh\g1vxh

{¢£s,Úu~½y{¨2~£yu¾sIvx~£y%~½y^vx2yys¼ö{¢£u,Úu~£y{¨i~½yu¾Fu\°v~½FytI¿Ópsh\.v~½Fy ;{¿ò¤}xhGtwh\yFv,ted{°ÏÇi{¢½s,Úu~£y{¨i~½yu¾s\°vx~£y"~tFy^¾FhI}xvxhG

~£y^vx1vÏiy{Fy%¢½s,Úu~½y¨Ñ~£yu¾sIvx~£yt\^y"twhG.vx~£y[;{¿;itwd°ÏtÓFz{}evxhG,d{y{~FzhvigiÚh³^txtx~£{¢½hs~£}h\.vIgigz{y~£\°vx~£y

XhvÏ3hIh\yOtwh\}x¾FhI},tI¿puz,divxhG,d{y{~^z{h\tU}xhvUvxdhhÍsXhIytxhÊvd{hl}h\vx~£yiÊ·y2hÍuvx},³vFtwÚÊÎ}vd{hIy^vx~£yuz°v~½Fyiyiy

hIÍ^v}iIgigz{y~£\°vx~£y"~£yMItxh4Êvxd{hJ!"G A ¿»z{v~Év{^hGtey{v~£yI}xhGtxh\t$txrugisvxvx~I¢£¢£r2y{hI~½vxd{h\}$vxdhÏF}xÚOÊvd{h

{}¨F}gÐy}3vxd{h³¾F¢½zg1h³Ê¬gigÑz{y{~I°v~½Fy·¿ced^ztI^vxdh³}xh\¾^~£ztt,d{h\{z{¢½~£y{¨ÑFz{y%y

T p = T _p ^homa

}hIg2~£yt¾°¢£~£

ÊÎF}eyurOs~£twvx}~£{zsvxhG%{{¢£~£\°v~½Fy~£y/$º³»eÏ$d{hI}hvxd{h¢£~£hIy^v3~t$Fgi{~½¢£h\%yhÍsh\IzsvxhGÏ$~½vxd/³´µ¶ÌhIyu¾u~½}yg1h\y^v\¿

jlvxhÓvxdv~½Êtwvy{},$º³»eÒhIyu¾u~£}xFy{gihIy^v ~t·ztxh\yXh\\ztxhUÊ{¢£~£g1~½vvx~£yt hÍs{¢~£y{h\4~£yvd{h~£y^vx}ssz.v~½Fy·

vd{hhIÍuhGzsv~½Fy~£ttwhG^z{hIy^vx~¢¬y°v2vx},ytx~Évlvxd{}z{¨Fd/vxd{h1¢£~½h\y^v\¿ced{h\}xhIÊÎ}h{vd{hIgi{¢£hÍs~Évr"ÊÓyurhÍshGzsv~½Fy~£t\Ô

T p ^corba = O(T ₁ + T ^∞ + h(C ₁ + C ^∞ )) + O(σ)

^¿

ced{h³ÊÎF¢½¢£°Ï$~½y¨1}xF^tw~½vx~£y%~£tis~£}h\.vIytxh\^z{h\yh4Êvxd{h}xh\¾^~£zte}xhGtwz{¢½vt\¿

® éÓé «Îé V$& ) !H N S!I ).

T ∞ << T ₁

.* -,. .S,I+! G .

C ∞ << C ₁

-T -

!". b$5 ! Ì´µ¶ ,I 2 476985: * S *. U ')- NR 5 b$ ) /0 .

T _p ^corba /T _p ^homa = p

V

(13)

= -/& 'Ñ '

U-

Ý$ÞÙßÙ¶à\¶¬á\â¶ ã%~tÓg2I}x{v¼X°ÏÂ¢y{¨Fz¨FhN>£ Gs \¡{ A=.?ÊÎ}3txruy,d{}y{Fzt¬},¢£¢½h\¢{{}¨F}g1gi~£y{¨¿ced{h³KU

XhI}gi~Év,tUvshÈy{hvd{hIyIz{}x}hIyrXhvÏ3hIh\yOFg1zsvvx~£y¢{vFtwÚstUvxdvtwruy,d}xFy{~½Õ\h$yivd{hFIhGtxtUvxd{}z¨d2¨¢£¢

s~twvx}~½{z{vxh\"gihIgiF}xrF¿¬}¢½¢£hI¢£~£txg;~tehÍs{¢£~£I~ÉvlyÊÎz{y.v~½Fy¢ {zsvlshIvxh\vx~£y/Êtwruy,d}xFy{~½ÕG°v~½Fyt3~£te~£gi{¢½~~½v\¿

c¬txÚst}hiI}xhG°vh\ÅurMvxdh ~£ytwvx}z.v~½Fy_yÒtxd}h\

?A@ uV8R_kvjV-lQGI}KHQF0j8j0Gfe

MN@ K0G_h*KLQ`SRQFSVKSRNTÃdTUGIH0VH>na|QF_R`_h0oQ[0GIH0ViRvd

gN@ e!GO¬THq[8Md:R>@8RQGV`ZTHvd

sb@ `0J0u_`-e

z @ a|QFSR`8h0[0GIH0VQiR?YaS|QFSR`_h[0GIH0ViRQMAY

N@ lKSR[_lQGI}QKHF0j8j8G_iZTÀdTHvD0?n R?8dY

N@ lKSR[_lQGI}QKHF0j8j8G_iZTÀdTHvD_MAn RMdY

N@ lKSR[0ak8EQiATÃdTRNn#R?rnRMdY

N@

?X>@*AY

¢8Q_b8v

±

®r¢8Q/8y´:¥¢88*r¤ 8A8Q¢88y´¢8vA¯

Fsh\vt~½y2vd{hl¨F¢½F¢gihIgi}rÑur1vxdhshG¢},°vx~£y2Ê%$&(')(*,+

¾°}~{¢£h\t\¿1cedh2hÍsh\Izsvx~£yÅ}xh\¢½~£h\t4FyÅy¹~£y^vxh\}x{}hv,°v~½Fy¹¢£¨¼

}~Évd{gØvxd°v2gi{z{vxh\tiÌgiF}Ì{v°¼(X°Ï ¨},d >½ ü/?ö¿_cedh

¨F}{d2~£t3s~£}xhG.veyOFrs¢£~CýÃl&EUy2~ÉvehIyssh\tÓvxdhFg1¼

{z{v°v~½FyÀy¹vd{h%{vsh\h\ysh\y~£h\t CÎ}h\_yÅÏ$}x~½vxhIE.¿"öv

~t4ztxh\Murvd{hi}xzyFv~½gihitwz{F}wv³vxt,d{h\{z{¢½hÑvxdhÑv,txÚst³y

g2Ávxd{h"{°v,MFyFvMvd{hOv,}¨hvi},,d{~½vxh\vxz{}h¿¹×gi{¢½h\gihIy^v¼

v~½Fy ~titxh\ÁyÁvxd{h/ztxh%Ê¢£~½¨Fd^vÏh\~½¨FdFv1{}uIh\tt[Cvxd}xhG{tE

y"y{hI¼ötx~£{h\Igigzy{~£\°v~½Fyt&CýF.vx~£¾hGtegih\ttx¨h\tE.¿

¬~£¨z{}hMÌ~£¢£¢½ztwvx},°vh\tOÝ$ÞÙßÙ¶à\¶¬á\â¶ ãyÂvxd{hI¢£Ftxtx~£\¢$¬~É¼

XyFII~{{}¨},gztw~£y{¨³y~£¾h¢½¨F}~Évd{g/¿Âv,txÚ~tUÊÎz{y.¼

v~½Fy ¢ttFt~£yÀvd{h"psc$ÄayÀ~Év2sh\I¢£}xhGtvd{hgisshÊl¼

Ih\ttwhGtey/shG.v~£y"vxd{h¨F¢½F¢ÙgihIgiF}xrF¿Óced{h~£yFvhI}{}hvvx~£y

¢½¨F}~Évd{gËIgi{zsvh\tvxd{h1{°v,'X°ÏshIXhIy{hIyI~½hGtlFy- .F/10

{}sszIh\/urv,txÚstl}h\vxhG°vl¢£~½yhJW{ Liy"vxd{hvtxÚ puzg

v¢½~£y{h~=Ñvxdv}xhG^z{~½}h\tv1}h\FOvd{h¾°¢£z{h¿

Ý$ÞÙßÙ¶à\¶¬á\â¶ ã shÈy{h\t4vd{h2ÊÎF¢½¢£°Ï$~½y¨"gissh2ÊeFIhGtxt\Ô/}h\Å\hGtxtGC2$3&4')(*,+15E.·/Ï$}~½vxhO\hGtxtGC2$3&4')(*,+1536-E.

yÅhIÍ{¢£ztw~£¾h2FIhGtxtGC2$&(')(*,+(534536-E$yÅIz{gz¢£vx~£¾h2\h\tt>£ GuU Z=I?ö¿;txd}h\¹¾°}~£{¢½h2Iz{¢ÌXhOÊey^rÌztwh\} t

shIÈy{hG+vruhÅ~½Ê~Évt°vx~twÊÎrtxgih¹}xhGFz~½}hIgihIy^v,tOvÁXh87Fg1gÑz{y{~I{¢½h97D>½ üu4 A=I?ZCý{hÈy{~½vx~£yaÊFh\}vx},t2ÊÎF}vd{h

txhI}~£¢½~£Õ\vx~£y E¿¬cedh³}z{y^vx~£gih³txz{{X}xv$¨F}x¨hGtUzsvg2°v~£\¢£¢½rivd{h4z{yuztxh\txd}xhGO{°v,{¿gz{¢½vx~½¼Dvxd{}h\Fsh\}xz{y^v~½gih

txz{{X}xvlhÍshGzsvh\t}h\FsrOv,txÚst$Ï$~Évd{z{v{¢£s,Ú^~£y{¨ >£ G/?öXhGIztwh4vd{hÑshG¢},°v~½FyteÊUtxd}h\"¾°}~£{¢£h\ty"vFtwÚst}xh

y{Fy/{¢½s,Úu~£y{¨Ñ~£ytwvx}z.v~½Fyt\¿

U- K >L 2w40.0740 /9 2A[ f56)^ZGZ

cO,d{~£hI¾Fh4},¢£¢½h\¢hI¾°¢£z°v~½Fy/Ê¬vxd{hgihvd{s"~½yu¾s\°vx~£yt$y%¢£ÕIr"gigÑz{y{~I°v~½Fy%Ê¬},gihvhI},tIuÏ3h{}xF^twh

,d~½y2Ê·gi{~£¢°vx~£yMCÎÈ¨z}xh9W EÊÎ}g y2Ã³ÄÌshIÈy{~½vx~£yivx1¢£~½h\y^vtvz{y2twh\}x¾FhI}UtxÚh\¢½hIvxy ¿¬ktw~£y{¨~½v\uy¢½rÑvxd{hssh

Ê¬{~£¢£vCýI¢½~£hIy^v Eeyvxd{hIz{¢½hG%{{¢£~£\°vx~£yt&CýtxhI¾h\}tEÓgztwvh}h\Igi{~£¢½hGÙ¿

IDL*

Stub

Object Request Broker (ORB)

POA

Implementation of

Implementation of Extended Skeleton

Skeleton

Extended Skeleton Athapascan stub

Implementation of Extended Stub

Server

Client side Server side

IDL Client code

HOMA Compiler

CORBA Compiler

¬~£¨z{}h&W{Ô;: Zf®Zq 8Z ¢8Z ¨J;<'8!H>8v S8´ A¤ 6NQ8A°¯

(14)

×yÑvxd{heÈ}twvUtvhI·°vd{h³´µ¶"Fgi{~½¢£hI}}xsszIh\tvxdh$hÍuvxh\ysh\Ñ¾h\}tx~£yÊ~£y^vxhI}xÊýIh&CÎÃ³Ä

∗

E¬Ï$~Évdiy1Ftwruy,d}xFy{zt

¾FhI},tw~£yZC

oneway

EÙÊ{h\,dÑtwruy,d{}yztÙgihIvxd{surFy^¾FhI}xvx~£y{¨$}hvxz}xy{hG¾°¢£z{h

out

^y

inout

},gihvhI},tvx³ltx~½y{¨F¢½h

in

},gihvhI}eÏ$d{~,d"}hI}xhGtwh\yFv,tvxd{hIy^vx~£yuz°v~½FyÊ¬vxdh~½yu¾s\°vx~£y uFte{}h\txhIy^vxhG~£y"È¨z{}hq=s¿

!#"$% &!#'(&)

*+-,

. -/%#0#213

4+ (056/7289

:+ ;%3&)9</7! 8 ;=

>+?,

BDC/% $#;"E 7F#GHI/$'

B8BKJML6N6Ofh0`SOGIHGVQG8KHwKSOQPQ`IR*FHhwx0KH0VGIH8kQFSVG_KH

-/%#0#S13

+ %80T56/%U#9V ##(&)9V/% ;=B

*H WX/$#G0#56/%;Y#9Z/%Y;T9</%[# /7 /\=B

. ],

¬~½¨Fz{}hy=Ô¨/;<+^-7º8Z ¡A¢0r8v»¢8Z 7¤¡A¢8`_>¯

mF}xh\°¾h\}\.vd{hUvruXhUÊuÊÎF}xg2¢F},gihIvxhI},tÙ}hvx},ytw¢°vh\³vxy{Fy^rugizt}xhIÊÎhI}hIyIh\t7Cba1*!c³~½y4È¨z{}h/=HEÙvxl¢½¢£°Ï¹¢Õ\r

Igigz{y~£\°vx~£y ¿³ced{h\yMÃ³Ä

∗

~£t³Fgi{~½¢£h\Ìztx~½y{¨Ovxd{hitv,y},ÃÄ·¼Zv¼wÜIgi{~£¢½h\}}x°¾u~sh\/ur/giFtwv$º³»e

~£gi{¢½h\gihIy^vvx~£y·¿öv}xsszIh\t¢£~½h\yFvetvz{yOtxhI}¾hI}twÚFhI¢£hvxFy2ÊvxdhhIÍ^vhIy{h\i~£yFvhI}xÊýIh¿ced{hl4´ µl¶MFg1~½¢£hI}3¢tw

¨FhIy{h\}vxh\ttxhI}¾h\}~½gi{¢£hIgihIy^v,°vx~£yiÊvd{hlsh\itxruy,d{}y{Fzt¬gihvxdut~½yiÃ³Ä

∗

^C'15!d''³~£yiÈ¨z}xhf= E¿m}hI°¾FhI}G\vd{h

4´ µl¶¹Igi{~£¢½h\}3¨FhIy{h\}vxhGtiÝ$ÞÙßÙ¶ àG¶áGâ¶ ãM). +Y- ( lvxdv$}xh\¢½~£h\t3y"txruy,d{}y{FztÓgihIvxd{s{t3Êvxd{hI¢½~£hIy^v

twvxz{ÌÊvxd{hhÍuvxh\ysh\MÃÄ

∗

¿$ced{hÑ~½gi{¢£hIgihIy^v,°vx~£yÊvxd{htxhI}¾h\}$}xh\g2~£ytz{y,dy{¨Fh\ÙÔÓvxd{h}~½¨F~½y¢Ùgihvxdued''O~½y

vd{hiÃÄÁÈ¢£hitxd{Fz{¢£¹¢£Ï3ürstlh1~½gi{¢£hIgih\yFvh\ Q¬yMvxd{h2I¢½~£hIy^v4dtvxdhÑ~£¢½¢£ztx~½FyÌÊÓg2Úu~½y¨%~£yu¾sIvx~£ytvx/tv,y{}

$º³»eÇgihvd{sÙ¿

fhg g

¯s®°¯

å

e±

å

1«\ ªji

å¬å

®ü¯{

é

ced{h/{z}xXFtxh%Êlvd{h¢£~½h\yFvOtwvxz{Â~tv_{z{~£¢£Ávxd{h/}h\^z{hGtv2F}x}h\txFys~£y{¨MvÒÌgihvd{sÁ~£yu¾sIvx~£yÀ¾u~Mvd{h¹º³»³¿

×y_},sh\}4vx/ztxhÝ$ÞÙßÙ¶ àG¶áGâ¶ãÙvxdhO¢£~½h\yFvvd°v~£yu¾ÚFh\t4/gihvd{sÅtxd{Fz{¢£Å}h\vxhGt%yhIÏÐvtxÚ¿2ced{h2hÍsh\Izsvx~£yÅÊ

v,txÚF}x}h\txFy{tÓvx1vxdh³hIÍsh\z{vx~£y"Ê}hIgivxh4gihvxdu%y%vxdhÑ$º³»eKFsh\v\¿U»3h\\ztxh$º³l»3~£yu¾sIvx~£yO~teur

shIÊýz{¢½vO{¢£s,Ú^~£y{¨"I¢£¢DX4´ µl¶ÁFgi{~½¢£hI}¨h\y{hI},°vh\t$ÊÎF}hG,d{¢£s,Úu~½y{¨%gihvxdu¹Oy{Fys¼ö{¢½s,Úu~£y{¨2gihvxdu¹shÈy{h\Ì~½y

Ã³Ä

∗

^{Ï$~Évd@ .} ^# Ñ°vxvx}~½zsvxhF¿mM}hI°¾h\}\°¢½¢

inout

^y

out

}g1hIvxh\}t}xh$Fyu¾hI}xvxhGv

in

},gihvhI},tÏ$~Évd2¾ü¢½zh

Iu{~½y{¨%vxdhÑ~£ysÊÎ}g2°v~½FyÌÏ$d{h\}xhvx/tv}hvxdh1Fzsvxzsv³¾°¢½z{hF¿{}g=Ã³ÄÂ~½yÌÈ¨z{}hLsvxd{hi³´µ¶ Fg1~½¢£hI}4¨h\y{hI},°vh\t

vd{h4},¢£¢½h\¢I¢½~£hIy^v$tvz{Ê·È¨z}xh³¡{¿ \¹h4ttxz{gihvxd°v¢£¢Xtwvy{}2Ã³ÄÙ¼Dvx¼ashIÈy{~½vx~£yt3Ê{°v,twvx}z.vz{}h\t3y

~£y^vxhI}xÊýIh\t$}xh³~½y%vxdhygih\txFhlk3$monpn Cý~½y/{},vx~h{txgih³Êvxd{hshIÈy{~½vx~£yt$}xh³~£y%vd{h$º³»eygih\txFh'>¤HWI?

F}Ó~£y2vxd{hygihGtwFhGtÓsz{hlvxÑg1ssz¢½hGtU~£y2vxd{h³Ã³ÄÈ¢£h\tE.¿KI¢½~£hIy^vvxdv~£y^¾FÚFh\tvd{hlgihvd{s<d'vd{}xFz{¨dO¾ü}x~¢½h

Ê·vruh& q 'rnpn%s5t(')~£g1¢½~~½vx¢£r}h\vxhGty"Ý$ÞÙßÙ¶ àG¶áGâ¶ ãtUv,txÚ¿UFyu¾hI},tx~½Fy2XhI},°vxF}tÓhÍs~tvehIvÏh\hIyvxd{hÝ$ÞÙßÙ¶+u

àG¶áGâ¶ ãt$&4'(*,+Bv a1*!cxwÑy{Fyur^giFzt$shÈy{~Év~½Fyt'Cýtxz,dMt & q 'rnn6ymEy"vxd{htwvy{}MÜvruhGshÈy~Év~½Fyt

Czk3$monpnIymE.¿cedh1}h\^z{~£}h\Fh\}vx},t$v"txhI}~¢£~½Õ\hÑ{v2vruXhiÊtxd}h\M¾ü}x~¢½h1}hgi~½vwvh\Ù¿Ä ~½yh% G¥shG¢}h\t

iFy^vx~£y^z°vx~£y"¾°}~£{¢£h³Ï$d~£,d"~£t$yMÝ$ÞÙßÙ¶ àG¶áGâ¶ãMtxd}h\%¾°}~£{¢½hvxd°vhIyu¾FhI¢£tvxdh& q 'rnpnI{$'4'@$ztxh\

~£yMgihvd{s '15 d'¿3ced~£t³twd}h\"¾°}~£{¢½h~t³sh\I¢£}xhG"Fty{Fy}xhGsrF¿$»r"vd{~£tlgih\,dy{~£txg/vd{hÑÝ$ÞÙßÙ¶à\¶¬á\â¶ ãt$v,txÚ

{Bk |p}(5!d'ÑhGgihGte}xhGsr2Ï$d{h\y"vxd{htx~½¨Fy¢£~£Õ\°v~½Fy%}x}~½¾Fh\ CýtxhIh4y{hÍuv}¨},{d*E.¿

ktw~£y{¨4vxd~£tUtwvxz·^4I¢½~£hIy^vÓhIÍuhGzsvh\ty2ÝÞß·¶ àG¶á\â¶ ã{}¨F}g"¿¬jhIÍ^vÓtxh\vx~£yi{}h\txhIy^vtd°ÏÁv¨hIyhI},°vxhvxdh$vFtwÚst

ÊÎ}g vxd{h4Ã³ÄÒshÈy~Év~½Fy"Êvd{hgihvd{sÙ¿

fhg

g ~`ooAo«Ñ\¯«·«Vi åå ®°¯sé

×y2F}sh\}vxztwhlÝ$ÞÙßÙ¶à\¶¬á\â¶ ã"tU}xz{y^v~½gihtxz{{X}xvUvxzsvxFgivx~I¢½¢£rÑshIvxhG.vtxz,d2shIXhIyshIyI~½hGtI^Ã³ÄMshÈy{~Év~½FytU}xh

v}ytw¢°vh\MvxMÝ$ÞÙßÙ¶ àG¶áGâ¶ ãÀshIÈy{~½vx~£yt\¿1Ó,dÅ~½yu¾Fu\°v~½Fyvx/gihvd{s¹Fy¹/¢£~£hIy^v{}xF¨},g}h\vxhGt%vFtwÚ¿ÑÓ,d

}x¨Fz{gihIy^v1Êgihvd{s yÀhG,d ~½y^vxh\}wÊýFh"shG.vO}h%vx},ytx¢£vxhG_vxÒÅtwd}xhGÀFsh\v\¿ cedh%ÊÎF}xg2¢3},gihvhI}1~½y

vd{h2ÃÄshIÈy{~½vx~£yÅ~£t³v}ytx¢£vxh\Mvxy_Ý$ÞÙßÙ¶ àG¶áGâ¶ ãt³txd}xhGM~£yÌvd{hivFtwÚMshIÈy{~½vx~£y·Ô vx $&(')(*,+(53

vÀ $3&4')(*,+15Òy Fzsvxzsv}g1hIvxh\}t[C

out

inout

^y vxd{hÌ}xhIvxz{}y ¾°¢½z{hIE2}h/ttxh\ ~½y{~½}h\vx¢£rÀvxd}xFz{¨dÂvxdh

Iy^vx~£yuz°v~½FyOshG.v$sh\I¢£}xhGO°ve¢£~½y{h1 \¥¿¬cedh}hÊÎh\}xh\yhlvxÑvxd{h$º³»eKFsh\v C5B3*!dE~thIÍs{¢½~~½vx¢£r2Ftxtxh\ivvd{h

ÊÎz{y.vx~£yMCý¢½~£y{h G¥~£y1È¨z}xh¡sF¢½~£y{h$¦~£y1È¨z{}h4 \¥HE¿×y2ÝÞß·¶ àG¶á\â¶ ãvtxÚ~t³ÊÎz{yvx~£y·vxduztgihIvxd{si~£y^¾FsI°v~½Fy~t

HOMA: automatic re-scheduling of multiple invocations in CORBA

HAL Id: inria-00070801

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

Submitted on 19 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.

HOMA: automatic re-scheduling of multiple invocations in CORBA

Thierry Gautier, Hamid-Reza Hamidi

To cite this version:

Thierry Gautier, Hamid-Reza Hamidi. HOMA: automatic re-scheduling of multiple invocations in

CORBA. [Research Report] RR-5191, INRIA. 2004, pp.24. �inria-00070801�

a p p o r t

d e r e c h e r c h e

Thème NUM

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

H OMA : automatic re-scheduling of multiple invocations in CORBA

Thierry GAUTIER — Hamid-reza HAMIDI

N° 5191

April 2004

Unité de recherche INRIA Rhône-Alpes

∗

†

∗

†

in P, out F

M D

in P, out b

in S, in P

in b, out F

CM

in F

CM, out F

G, inout F

M D

inout V, in F

M D, inout P

inout S, in F

G

md

cm

couplage

MD −> computeFF P

Fmd S

b MD −> computeRhs

CM −> computePol

Fcm

Fmd Fg

MD −> integrate CM −> integrate

CM −> computeA

V

couplage −> mix

S P V

MD −> computeFF P

Fmd

Fcm

Fmd Fg

MD −> integrate V

couplage −> mix

P V

L

L

KBytes

M Bytes

5L

P

5L/P

5L

5L

Recived

Blocked

Blocked call

Reply Recived Reponder Reponder

Caller

Reply

a) Normal synchrony Result

Ready Not−Ready Continuation task Caller

Task creation

Ready

b) Invocation−by−continuation Try to access

Not−Blocked call

H ^OMA : automatic re-scheduling of multiple invocations in CORBA

T ₁

T ^∞

T ^∞

C ₁

T ₁

C ₁

C ₁

T p = O(T 1/p + T ∞ + h(C ₁ /p + C ∞ )) + O(σ)

T _p ^homa = O(T 1/p + T ∞ + h(C ₁ /p + C ∞ )) + O(σ)

T p = T _p ^homa

T p ^corba = O(T ₁ + T ^∞ + h(C ₁ + C ^∞ )) + O(σ)

T ∞ << T ₁

C ∞ << C ₁

T _p ^corba /T _p ^homa = p