From Modular to Distributed Architectures: Centaur and Smeci Experiments

Texte intégral

(1)From Modular to Distributed Architectures: Centaur and Smeci Experiments Anne-Marie Dery, Wided Lejouad. To cite this version: Anne-Marie Dery, Wided Lejouad. From Modular to Distributed Architectures: Centaur and Smeci Experiments. [Research Report] RR-2398, INRIA. 1994. �inria-00074277�. HAL Id: inria-00074277 https://hal.inria.fr/inria-00074277 Submitted on 24 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. From Modular to Distributed Architectures: Centaur and Smeci Experiments Anne-Marie Dery, Wided Lejouad. N˚ 2398 Novembre 1994. PROGRAMME 2 Calcul symbolique, programmation et geńie logiciel. ISSN 0249-6399. apport de recherche. 1994.

(3)

(4) .

(5) !" #!$% &$' ( )*+ &,-) . !/1032456 )*%. 7 889;:=<?>A@BC9ED&9F@GIHKJL,BNMO9PMRQS9#TUWV>WMHXH YOZ\[K]^Z`_ba+a+cIde f%_gih#jFglk\mFaIno[bgqpirsjtcûwvtZ\[K]^Z`_ba+ax_zy\p{[^|}c~y]c# |FpicSg{[^]bpih~p{c~g YOZ\[b\c~y;c#h#[ p_ _ vPv[^Zytc6Z\c=hPc#Z\hPc?|I;d^Kê [Kc#aIntZ\cxz^ e d^v_ ]Kc#k x~zzP bK¡¢ |&y`Fpik6Z\c=vo[^Zy/£cvo[bpi|^y[^jFySy`Pc+Z\c_bk¤[K|Pk$y`_zy6g{c_ jPkSy`[}Fpik\y`ZpinPjFy`c +a [FPjFg¥_ Z¦_ vPvFgqp{h_zy\p{[^|Pk=u £^mI£cy`Fpi|P§y`_ya+[FPjFg¥_bZpqy¨mIpik_Sh#Zpqy\p{h_zgk\y`c#v©ntjFy|t[by _ª|w_gl[^|Pc/©*pi|}y`tcIPc#k\pi]K|«[ ¬Fpik\y`Zp{ntjFy`c# _bvPvsg®pih_y\pi[K|tk=uw_b|P«P[£3£cFp{kNy`Zp{nPjsy`c^¯ °Ecpqg®gijPk\y`Z`_zy`c[KjPZpiPc_bk+£$p®y`5y¨£[±c²tvc#Zpia+c=|^y`ktcX^c~g{[^vc#5pi|5y`Pc ³S´WµW¶l·¸_ |P ¹oºo» µl¼¥¶vPZ\[b\c#h~y`k_y½¾^¿½zÀ¦ÁÁÁX¯^Â$Pc~mÃh#[K|th=c#Z\|Z\c#k`vc#h~y\pqKc~g®m³ ºwÄlÅ ¶WÆl´Ç_ |P ¹AÈSº» ¼ y`[F[ g{k#¯ É«Ê^ËÍÌ\ÎÏÐb¡ Y¦Z\[^]^Z`_ba+ap{|t]Ñc#|^;p{Z\[^|Pa+c#|Ky`k#u$c~²tvoc#Zyk\mFk\y`c#a-k#u$Fp{kNy`Zp{nPjsy`c=1k\mFk\Ò y`c#a+k=uwh#[Ka+ajP|Fpihz_zy\pi[K|ÓvPZ\[by`[Fh#[ g{k#uPh~gqp{c#|^y\ÒCk¤c=Z^c#Z_ Z\hFpqy`c#hXy`jtZ\c^¯ ÔiÕ-×ÙÖ ØNÚÛ ×Ö Ü ÝÞØßáà~â ãäååæçièéXêëÞæì íëÞåzåé=îæ\ïÙïë®ì ð®ê Cã ãòñÓëÞóæ\óKì ôFæáõáö~÷é~óbîïÙö~øùëÞéì ëÞåêáëÞéì ð®ê ã¨ãCãòúáåïûÙëüû¨÷ûWýéûÙëÞö~åéþ^óæÿæCùæ\êCùzææ\å$úáåð®ö~ê$éûòë=÷zælæûlä÷û¨ö$éûòë#÷æì. Unite´ de recherche INRIA Sophia-Antipolis 2004 route des Lucioles, BP 93, 06902 SOPHIA-ANTIPOLIS Cedex (France) Te´le´phone : (33) 93 65 77 77 – Te´lećopie : (33) 93 65 77 65.

(6) 4 -Ox )& !" #!$%

(7) =- . ) !" #!$% ± 6 ' S2 4±

(8) & & ( )- S . !S Ê;

(9) Ê

(10) ¡ _b|tk/h#cZ`_bvtv[^Zy=uo|P[^jPk6vPZ;c# k`c#|^y`[K|tkgic#kSZ`_pik`[^|PkSrsjsp¦|P[^jPkS[K|^y_ a-c#|c _x Z;c# v_ Zy\piZ6Pc#k_ vPvFgqpihz_zy\pi[K|PkSa+[FPjFg¥_zp{Z\c#kSc²Fpik\y_ |^y`c=k#uov[^jPZ\r;jP[ p¦|P[^jPkSvoc=|tk`[K|tk/r;jPc g¥_+a+[FPjFg¥_bZpqytcI c#k\yjP|Pc c~ y_ vcc=k¤k`c#|Ky\pic~g®gicax_zp{k|P[^|Çk`j *k_b|^y`c_ |Pk$g_+h#[^|Ph#c#vFy\p{[^| _ vPvFgqp{h_zy\p{[^|PkFpik\y`Zp{ntj%c# c=kc~y|P[^jPkc# h#Zp®^[K|tkg_%c# a*_ Z\htcr;jPc|P[^jPk_#K[^|Pkk`jFpq;p{c vo[KjtZZ;c _zg®pik`c#Z h#c~y\y`cFpik\y`ZpinPjFy\pi[K|Í¯Í[KjPk%p®gqgijPk\y`Z\[^|PkSh=c#kv[ pi|Ky`kv_ Z |P[^kPc#js²c²tvc~ Ò Zpic#|Ph#c=krsjspth#[^|Ph#c#Z\|Pc#|Kyg{c#kl[^jFy\pqg{k³ ºÄlÅ ¶WÆ´-c~y ¹ÈSº» ¼Fc~ Kc~gi[KvPvc= kZ\c=k¤vc#h~y\p®^c#a-c#|^y _ |Pk%g{c#kvPZ\[b\c~y`k³´WµW¶l·}c~y ¹oº» µl¼¥¶¯ RÏtXÌ` Ê

(11) ¡ |^;piZ\[K|P|tc=a+c#|^y`kIPcvPZ\[^]KZ`_ a+ax_y\pi[K|AuAk\mFk\y c# a+c#k6c~²tvoc#Zy`k=uWkNmtkNy c= a+c#k Fpik\y`ZpinPjc# k=uwvPZ\[ y`[Fh#[bgic#k Pc6h#[â+aIjP|Fpih_y\pi[^|Íuo_bZ\hFpqy`c=h~y`jPZ\chXgqpic=|^y\Ò¨k`c#ZKc#jPZX¯.

(12)

(13)

(14) !#"%$&'"

(15) (#). . ( )*)*% * +-, ÏAÐ l / .¥Ï , 0 1 2 Ê;# K/ .3l .¥Ï , Ï54 l#Ê;Ð¸ÏAÏ ¥ 0 dt¯® ;a+c=h~p ²tvc#Zpia+c=|^y 676676667676667676667676867676768676767686 dt¯ d fc#|^y_bjPZ ²Pvoc#Zp{a+c#|^y 6676667676667676667676867676768676767686 dt¯ f[â-a+[^|Ç[^nF\c#h~y\p®^c=9k 676676667676667676667676867676768676767686 : Ð .¥~= .¥ W .¥Ï , ; < Ï ÏAÐ ¥P= .iË Ï±> ? t¯® @[FPjFg¥_bZpqyCm 676676676676667676667676667676867676768676767686 A t¯ d p{k\y`ZpinPjFy\pi[^ | BS[;_zg{k 676676667676667676667676867676768676767686 t¯ dt¯® CSjFy`[^|P[âm 676676667676667676667676867676768676767686 t¯ dt¯ d Y_bZ`_zg®gic~g®pikà 676676667676667676667676867676768676767686 t¯ dt¯ $c#jPk`cI_ |P}tcXy`c#Z\[^]Kc#|Pc~pqyCm 6667676667676867676768676767686? D t¯ dt¯ _zy_k`_ Zp{|P]x_ |P&f[ g®g¥_bno[^Z`_y\pi[KE | 6667676867676768676767686?^ t¯ dt¯ @&_zp{|^y`c#|_ |Ph#c 6676667676667676667676867676768676767686?^ t¯ Y¦Z\[^nFgic#a-k$¬Ù_ h=c#*£ pqy`ÇFpik\y`ZpinPjFy\pi[K| 667676667676867676768676767686?d 3>3 .¥ Ks/ .¥Ï ,G2 Ê;) .H , 0 2 .¥~= .¥ ÍÊsÐ F *&0 w¯® @[FPjFg¥_bZpqyCmÓk\y`c#I v 676676676667676667676667676867676768676767686?# w¯ d f[â-ajP|Fpih_y\pi[KJ | 676676676667676667676667676867676768676767686? w¯ dt¯® f[Ka+aIjt|Fp{h_zy\p{[^|«Âmtvoc# k 676667676667676867676768676767686? w¯ dt¯ d f[Ka+aIjt|Fp{h_zy\p{[^|«vPZ\[by`[Fh#[ g{k 667676667676867676768676767686?= A w¯ Y¦Z\[Fh#c#k`k$k\mF|PhPZ\[^|FLp K_y\pi[K| 6667676667676667676867676768676767686? M N Ï , l) .¥Ï , 1PO. ÿlÿ åRQ-STU%V.

(16) . . 8).

(17) )

(18) . ) !$%). pik\y`ZpinPjFy`c#k\mFk\y`c#a+knoc=];_ |+y`[Ã_ vPvc_ ZOp{|xy`tcÃ A D k=uz¬á[ g®gi[£ pi|P]y`Pc6_#b_pqg¥_bnFpqgqp®y¨m[b¬ h#[â-vtjFy`c#Z|Pc~yC£[^Z\§;k=¯A^pi|Ph#cbuFy`tc6§bc~m}h#[Ka+vPjsy`c=Zy`c=hP|P[ g{[^] m*w_bk$nc#c#|xpi|F¬á[KZ\ax_zy\p{[^| ];_y`tc=Zpi|P]PuvPZ\[Fh#c#k`k\pi|P]Pu_ |P¸Fpik\y`ZpinPjFy\pi[K| A DÙ¯Â$Pc«p{Pc_ [b¬6Fpik\y`ZpinPjFy\pi[K| pik. Z\c~gicXb_ |^yy`[}ax_ |^m_ Z\c_bkS[ ¬h=[â+vPjFy\pi|P]Puopi|PPc#c#±_gqg¦[ ¬y`Pc#a}¯A°EcÃh_ |ª|P Fpik\y`ZpqÒ nPjsy`c=Ó_zy_bn_ k`cSk\mFk\y`c#a+k=usFp{kNy`Zp{nPjsy`c=«_bZy\pqªh~p¥_gApi|Ky`c~gqg®pi]^c=|th=c6kNmtkNy`c=a+k=usFpik\y`ZpinPjFy`c# k`[ ¬¥y¨£ _bZ\cc#|P]bpi|Pc#c#Zp{|t]y`[F[ g{k=uc~y`h^¯Ylc#Z\_ vPk6y`tc-a+[^k\yS£c~g®gqÒC§;|P[£| Fpik\y`ZpinPjFy`c#Ñ_ vFÒ vFgqpihz_zy\pi[K|Óp{|*y`Pch#[â-vtjFy`c#Z£[^Zg{Óp{k$y`Pc xp{|tP[ £ ~mFk\y`c# a :Ù¯ ¢ | y`FpikIZ\c#v[^Zy=u£cxFpik`h#jPk`k6y`tcxh=[â+a+[K| h#[^|Ph#c#vFy`kÃ_ k6£c~g®g_ k6y`Pcxa+[^k\yIk\y`ZpqÒ §^pi|P]±Fp Ac=Z\c#|Ph#c#kxnocXy¨£c#c#| a-[FtjFg_ Z+_b|P sp{k\y`ZpinPjFy`c# k\mFk\y`c#a+k=¯°Ñc}tc=k¤h=Zpinoc}y`Pc _ Fb_ |Ky_ ]^c=k6[ ¬Fpik\y`Zp{ntjFy\p{[^|Íu_b|t k`[â-cZ\c_bk`[^|PkS¬á[^ZShP[F[^k\pi|P]xy`FpikI_ vPvPZ\[;_bhÍ¯o°Ec _zg{k¤[[ Ac#Z6k`[â-c]Kjsp{Pc~gqp{|tc=kS¬á[^Zy`Pc+Pc#k\pi]K|&[ ¬k`jPh Fp{kNy`Zp{nPjsy`c=_bvPvsg®pih_y\pi[K|tk=¯o°Ec pqg®gijPk\y`Z`_zy`cc_ h[b¬[^jPZv[ p{|^y`k£ pqy`-h#[^|Ph#Z\c~y`cc~²w_ a+vFg{c#k¬áZ\[Ka3[^jPZPc#k\p{]^|Ã_ |Pp{a+vFgic~Ò a+c#|^y_y\pi[K|c²tvc#Zpic=|th=c£ pqyÌy`Pcsp{k\y`ZpinPjFy\pi[^|-[ ¬Fy¨£[_bvPvsg®pih_y\pi[K|tk=u _vtZ\[K]^Z`_ba+api|P] c#|^;p{Z\[^|Pa+c#|Ky]^c#|Pc#Z`_y`c#xn^my`PcI³ ºÄÅ ¶WÆl´}k\mFk\y`c# a Í_ |P+y`Pc ¹AÈSºo» ¼oc²tvc#Zy k\mFk\y`c#a k¤Pc~g®g z! ¨¯. O!=4&%=) $#R «

(19) , ¢ | _btFp®y\pi[^|Çy`[ ¹AÈSº» ¼_b|P±³ ºÄlÅ ¶WÆl´¦ut£Fpih£ pqgqgncPc#k`h#Zp{noc#«p{|&Pc~y_zp®gp{|&v_zÒ Z`_ ]KZ`_ vPPk$dt¯®_b|P«dt¯ dFu;£c6£[^Z\§x[^|%#Æ Ä £[KZ\§;k\y_zy\p{[^|Pk$jP|PPc#Zy`tc6Æ Ä ¼&Ñ[^voc=Z`_zy\pi|P] k\mFk\y`c#a _b|P&_ '| (xpi|PP[£ c=|^;piZ\[K|Pa+c#|^y=¯l;[-£cÃ_ Z\cIh#[K|th=c#Z\|Pc#Ó£ pqy`&|Pc~p®y`tc=ZSv_zÒ Z`_zg®gic~gWg_ |P]^j_ ]Kc#k|P[^Z v_ Z`_zg®gic~gax_ hFpi|Pc#k=¯ ". )+*-,. .0/21436587:9<;$16= 5>/21@?+A. ¹AÈSºo» ¼Wp{kS_ |}c²tvc#ZySk\mFk\y`c#a k`Pc~gqgjtk`c#}¬á[^ZPc#k\pi]K|«_b|tÇvFg¥_ |P|Fpi|P]wus£Fp{h}pikh=[^|Pk\pqÒ Pc#Z\c#Ç_ k _aIjFgqy\pq¬á[KZ\ax_zg®pikà c#|K;piZ\[K|ta-c#|^y ¬á[^ZPc~Kc~gi[Kvsp{|P]§;|P[£$g{c#P]^c6n_ k`c#_bvPvsg®pqÒ h_zy\p{[^|Pk=¯ ¢ y/]^Z\[^jPvPkk`c~Kc#Z`_glh#[^|Ph#c#vFy`k=uw|_ a+cXgqmKuw¬áZ`_ a-c#k=utpi|F¬ác#Z\c#|Ph#cZ\jFgic#k=uwy_ k`§;k/_ |P k\y_zy`c#k=¯ ¢ yx_ kxnc#c#| hP[^k`c#| _bkx_ | c²_ a+vFgic}¬á[^Z+Fp{kNy`Zp{nPjsy\p{|P]5_ | c²tvoc=ZykNmtkNy`c=a k`tcXgqgÙ¯ Â Pc-¬áZ`_ba+cxg¥_b|t]Kj_ ]^c+p{k|Pc#c#Pc#±y`[&k\y`Z\jthXy`jtZ\c}§;|P[£$g{c#P]^cbuy`Pc}Z\jFgicg¥_ |P]Kjw_b]^c pi|F¬ác#Z\k|Pc~£¸¬Ù_ h~y`kp{|xy`tc/§;|P[=£ gic=t]Kcn_ k`cb¯;Â tcy_ k`§^ÒC[^Zpic=|^y`c#xvPZ\[^]KZ`_ a+ap{|P]_gqgi[£k y`Pc$Pc#h#[Ka+vo[Kk\pqy\pi[K|[b¬A[^|PcvPZ\[^nFgic=a p{|^y`[k¤cX^c#Z`_gk¤jPnFÒCvtZ\[KnFgic#a+k=u;_ |PÃh#[^|Pk`c#r;jPc#|^y\g®m úáýÿWúáä.

(20)