System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification, Model-Checking, Co-Simulation, and Test Generation

(1)

HAL Id: inria-00072597

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

System Design of a CC-NUMA Multiprocessor Architecture Using Formal Specification,

Model-Checking, Co-Simulation, and Test Generation

Hubert Garavel, César Viho, Massimo Zendri

To cite this version:

Hubert Garavel, César Viho, Massimo Zendri. System Design of a CC-NUMA Multiprocessor Archi- tecture Using Formal Specification, Model-Checking, Co-Simulation, and Test Generation. [Research Report] RR-4041, INRIA. 2000. �inria-00072597�

(2)

a p p o r t

d e r e c h e r c h e

)+*-,.0/21 34/5,0687:9 ;'<>= ?@?BACEDGF H F IKJL.M6ONKP;-QR/5,,;SP

HTPQVUK6L./2QW.MIKP/XIY,06O9Z7 [-;SP1 ='J\)ZN]/2Q^6L_]Q2=.M6`;S9\a

F ;-bZ/cJdA?eUY/2QVfg6O9Z7haK?i;jA)Z6O1 IKJk=.M6`;S9\aZ='9Kb lm/^,.ono/c9Z/cP=.M6`;S9

p2qsrt`uwvcxyzudyO{|t`}h~ Wyu$i~ yz:: t`$$u

2`L

5{|t'rt`ucz||

(3)

(4)

v}{~Hc]_^E~S]_x}H^x[dcfzezg'}H`jyX|^E~JcB~Wj']_c6g f5

twg\ÊyolzÊ~{\c6felgoX\c`xy6j]_c6gfjfz5Ê[:]Êf^Q}Hj]_c6g f

p5q$r!tuwvcx%yudyO{t}!W`dyu$ ywS: t$su

Q- ¡R ¢eE " %£6¤< ¡

¥*+2¦<Q§ " 3¤

" +'¨ª©«¢e+ # ¡¬1®

`8

¢ , "2¯

°±{²³´¶µ·³¸

Q " -¹ " º++2»{»¼+¡ " ¡6+Q+½¤<¡Z # :¯ z+»{ " ¾ " 6+ ¡Z+2

-0º<º

"

+¿º3%-'»¼+À¾Eº6+66

"

6Á<%-º

"

'ÂÃ¬30

"

º-%<

"

H6£¡ +-

¯

-

"

ºº

"

+ ¿+2»W+6

" ¯ 1

"

¹

" ¯ %

"2¯

ZÄWÅdÆ:Å_Ç

4ÉÈBÇÅ<

"

-

"

..

0Ê

7ª+ÀQ

¯

+»ËÀÅ_ÌÍ_Î{ÏÑÐ

!$"'ÒÓ-ÔÕZÖ:×Ø

46Ù*ÚÛÜÝÙ*ÞÜ-Ý6ßÝà-á_âÀãÞ2à5ä_àåæ6Þ¶ßBç

è¿ÝçÞ2ßBéêÛÛÝBëë7À¡¬%-+6+

"

B%-Z

#

º+/1&¤ì

Ö

Ì0ÌÂWQZ»¼+¡

"

í6ºº+-

#

+ Z»¼+QËÀÅ_ÌÍ_Î{ÏÑÐ

"$#

#

" " 1 "

ºS+2S+ º¤»¼+ S¡+-î&

¯'#

ï

"

º+%-

¯

ÒØ Ðdð4Òñ Ç Ødò_ó0ô Ì0Ðdõö ØdòªØd÷ø õù_õÌ&Ådð × õ ÷ Æ/Ë Ø:Ó Î Ø:ú õ7 ! 1% " ¹+À»¼+ í " ¾ " 6Á3+»Ñ<¾ " W6+2

º¡%" + ¿%- ¯ ½ûüdõ Óó-Òñ Ç Ø_ò +&+ !d" -»¼+ " %+¡ " º ¯ " + ¿+»S6£% " 1º¬3

%3º ¯ ý ú ù+&+ÉÂ

þÿ ´ {²¸ "

- 6+--¤

!ÒÓ-ÔÕZÖ:×Ø*!

6+

¯

"

º+

!

6+2Á3

¯ !

+¡%

"

-B

%

!

+»¼+ ¡

"

-6z<

¯!

+2Á3º¡%

"

+

!

»¼+ ¡

"

Q¡6+

!

»¼+ ¡

"

E6ï

"

º+

! "

¾

"

¯ ! ÄWÅdÆÅ{Ç

!

-+6

" ¯ 1

"!0ÕZÖ:×Øí!

"

º+2+<¤&

¯-!

3¤3¡nº

#

ª

¯ !

<

¯

"

+

!

<

¯-!#¶"

º¹

"

+

!#

ï

"

º+:Â

A;6CÉV=@BA@)?$VCÉCU?C<>2@:V)@>$>2CV=AÉ?$C >V=A!BC"$#C;%!JV=A&ÉCA ÉV=@BA;('@))A;+*-,/.1032456

78,,9:;.<,5761=<>@?,&9,1ABC7 54? :D.<6E5<F

GIHKJ-LMNPO ?(QBA$C<" ;=>2CER LBNBNI6C<A@)$CTS$C/;3UV;)()@B>2CRXW+"¼GYBGBGBPIZ@BA[/\2@BA$A$@][^Z_`)V=ARXW KAU3CRaVb"3cdV=;¹D

efg[hijlk3m&ni&no&h&pq(r<s&irn+k3ti RvuC\ D

e&jjwbx`yyEzzzbkKr<s&irn&pEw[h[{k3t&i[yo&n({E|

}

HKL8M%~<NH1&~M% A$V6C/)VÉ9S$C O C3AA$C1RcE>)S$CªC)$;=V=C)R W+"¼GBNBPI6O O C<A$A$CU<CS$C<-RW /A$U<CRVb"3cdV=;¹D

or<e@q(rir{n+k3ti R8uC\0D

e&jjwbx`yyEzzzbkKrir{n+k3ti[yEw[n@w[n

8

O R#HV%V v\@/)@)Vv{;=V6C)V3R&3"¼OBPBPM3P; C!BAA (R ZV=;%A$C)C&R&3K;&F;_@E8ZV=U@C3;=C<U</)@BA$V=UR

NJU?$CcEV=AS$Cí;% ?[)(&R W+"¼GYBOI6PZC<;%AR W /A$U<CR8Vb"cdV=;¹D

n[{{[r/ vk3 &hs&¡irq[{Ejlk¢<

(5)

` xzy]{cB|z}Hg\~JÊ[d[dÊxz}H[lnlpo-q rbtwv j Ê~s[:|E~Wc6~Jj]_c6gfhi¶g'}í`Êy6y6^

Q}{c6~Jj]_c6gf~Wgo[_c`xy6j]_cg fh^J]Te EfQ}Hj]_c6g fhz^ ]_^E[:]_[

² ¸ *(

"

-¹

"

º+ ½¡Z+»¼+¡º5

"

6+6º+

" %

# " % 3¤3 ¡/

+¡+

"

0J¡

"

ºE<%--+ 1 ¡'+%

#

Q+%-E0%d6%

"

6+6 6E3+ 0

-6

"

ºÂ+%-Q0+-Q¹6%-'6£º6%-3º'6+6

"

QÉ(

"

ºº

"

º+'É(

"

¯

1''+6%-ÄWÅdÆ:Å_Ç4+¡ÈBÇÅ

. .

&Ê

7

"

+-+ ËÀÅ_ÌÍ_Î{ÏÑÐ

!

%

"

-B%

¡¬%º+3% ÒÓ-ÔÕ¬Öd×Ø 4Ù*ÚÛÜÝ¿ÙíÞÜÝßÝà-áâã¬Þ¶àpä_àåæ6Þ¶ßBçè¿ÝçÞ2ßBéêÛÛÝBëë7À # º+-

" 'ì Ö Ì ÌÂ|d6ºº+-»¼+¡ºÀ # + À+% ËÀÅ_ÌÍ_Î{ÏÑÐ5+ ' # ½"½# ï " +

1 " 3%EºQ¡+ Q%º¹ " 0 ÒØ Ðdð4 Òñ Ç Ødò_ó0ô Ì0Ðdõö ØdòªØd÷ ø õù_õÌ&Ådð × õ ÷ Æ Ë Ø:Ó Î Ø:ú õ7 !

z" +2Á3º¡%" + /¡ " + ¯ ¹6º{%º¹ " 0')(+%Sûüdõ Ó:óÒñ Ç Ødò +&+ !ª" 30%:("z¯ 6

- " º+ " %+¡ " 0%'3E£6% " 1-W%º¹ " 0)(+%ºdý ú ùWÂ

³² · ² ¸ " ¯

1z+6%-

!_"

B%-½(+º

"

%

!*ÒÓ-ÔÕZÖ:×Øí!

+2Á6+ -6º+

!

+2Á3º¡%-

"

º+

!

6+ 6'

"

!

+-+ '¡

"

º

!

6+ -6º+¤&3 ¡

!¯

"

º+

À6+

!&¯

-

"

º+½3

!

ÄJÅ:Æ:Å{Ç

!

¡6-+&W»¼+¡º

!Õ¬Öd×Øí!

+2+<¤&

"2¯

E

"

º

!

3

ï

"

+ »¼+ ¡º

!

3 6+ »¼+¡

!#¶"

ºº

"

º+

!#

ï

"

º+:Â

(6)

,

f¬]d}Hg\xz~S]_c6g f

"

¾

"

J3

¯

-

"

E6+»¼+ ¬+'º¡+ 3

"

0S

"

º

¯

í%-E+'º-6

"

3º

¯

6+ ¡£<¤

+»-

"

¾

"

W¤<¡\

!

"

+ +ÀQ¡

"

0í6+<

"

0_+2»%-

¯

6+0<

"

- º¡Z)+2

¡ "

î 6Â$Q3'

"

º

¯

Q

"

z+ º¤½1+

#

6+¡À10¤

"

+ º

¯

Eº

#

:3

¯ "

-+

"

+¡¬1-k¾E 6+ ¡%3

"

¹+&+¹

"

º¡Z-+

# "

%+¡

"

+

!

"

1/

"

¡\+ ¡ " "2¯

+¡º6£¬

¯

-

! "

º+¶¾k

¯

¬1-+î{+'1%-

! "

-¬6

"

E6+ ï-6EºZ+B-

+»d'¡º¡ " + :Â

Q " #¶" º+%- # ¹Eº " ¾ " ¯ :Â ¹<-6º+/+%-º1 ¡ " 16<¾J

%-¡+0<3¯ º # S4ÁëBé$ëBáÁÝ6ç Ý$Ý 7 ! ¾E¹¹E¡ " ºº¤ " 1+ %E ¯ º+1 " :¯ z+» " "

6% " -\+»:6+ ¡¡%¹ " º+½-++6+ ºW1<¾W½ " ¾ " 0º !" -\+¶¾JJº # º

4ÝÜ-ÚåÞßÚ Ý¶Ý WßÝ2å¹ëBáÁÝ6ß'áÉßÚ¶à-ë¼æ6Ý6ß Ý$Ý 0Ú¶áÁÝ Ý¶Ý 7Q%-+\+%-6 " zº¡¡0" º+:Â

_+ " ¤ ! zº-%<" J " Bº\»¼+ " º ¯ ¾E zº+¶¾J º # ¹¹¬3+ ¯ º¤<" 1ºº

" - %+51&¤56+ ¡Z¡" í+&+¹3¯ +» " 6º%Zº <¤&º " º¤6º15%-3º ¯¿"

" ¾ " 6ºº+z" ¯ % "¯ 3% " ! #":Ð_Ì%$ '& ,( + ) Zõ ò ÏÑÌ&Å ú $ *& +(, -º6+

"

1'%3½»¼+ 3º¡%

"

+

!#

ï

"

º+

!"

%+¡

"

º6º6%3¤&03¹

!"

-<

¯ Â

À¬E+ +

!

E

¯

¬+»+¡º6£

"

¾

"

W¤<¡\

"

*¤<¡¨º

#

"

_-+2í

"

\

"

¡Z

¯

¬+2»W¡

"

%<¤

"

-

!

º¡

"

&¤36

!

º3º

"

+ ¿+1º¡ÂW+ %

¯

¹

"

z

¯

3º

#

E»¼+¡

"

ºº¡\½¾E

"

1-3

"

B+ " "

1ºº

"

/ + ¡ " "2¯

-

"

¯

6+ ¡£<¤ +»

"

¾

"

¤&3¡\

!

º+

¯

"

Q6+ --%-¬+

"

-+

"

\»¼+¡

"

ºº¡\'+¿1z%-:Â' 603%

#

¤-$ §

`

(

+ ºZ¹%z

#

º¾¬3

#

"

»¼+ ¡

"

¹3¡\\43çÞ/.Ý =ëÞ<æÛÞ2ç01áÚ2á)åÞ2àª7À

" "

Z+20

"

S

"

-¹

"

»¼+ ¤&3¡uº

#

*

¯ !

%-

"

E¹É

#

0Q3¤3¡\

! "

"2

+¶¾ +S<¾W+ î

!

¥{6

!

¤&-++ %-43$

"

6

#

" ¯ % "¯ ! 3¤&-+-+%-43$º " ¹ " 65QÇ × 4 0 " dW " 7 ! +6 " ¯ 1 " ! ¹<º1% " 1

3 " 6< " '¡ " - ! º¡Z73$&¤&1º " %+ ¡ " "-! 6Â!-+% ¯ " " -¹ " E " " º¤

1 +z»¼+¡ 'ºº31 " %-¤z++¡ " %- "2¯ 0%º¡0Q+ +\+E " '%-

+ " ¯ 3¯ - ! &%¡¬1S+»ª£º¡0SºS+ 1 " 1-¤Z+2W" ¯ E+ % ¯ \¤ 6*+ "$# " 6º "

# ¹3º++2»_'¡+0<% " 1-»¼+¡ " ºº¡\W»¼+¤&3¡ º # :3¯ :Â

Áº+ 3

!

¾J'30

"

%-3

"

d

"

3 3%-¤zºº%-3

"

¯

"

-¹

"

º++2»H»¼+ ¡

"

¡+J+¬'3¤3¡¬º

#

¯ !#¶"

ºº

"

º+

!"

-½3º

¯

+2»

"

¡%º+&3+

"

-B%

"

¡ËÀÅ_ÌÍ_Î{ÏÑÐ¿

#

+ 1&¤zì

Ö

Ì0Ì-Â

Q¹

"

3%¤¾

"

J

"

î&º +0£&Q+»_8

Ø

ÇBÍ 4:9Ú å;. Ú¶áÉåÞ¶à Þ<æ é$ëBáÝçë$7J+¦<6

+»

ø Í Ø Ðdõ

!

ì

Ö

Ì Ì¶ÁÈ

÷:ò

Ï

Ø=<

+º0§í0%'»¼+ E

#¶"

6E3

"

:Â

ø Í Ø

Ðdõ»¼+6%3+

-+º+

¯

¤

"

-3»¼/{È

÷:ò ÏØ

3

"

-\ì

Ö

Ì Ì

¯

º_¾J+î'+

¯

í\+¡¡+Z+¦<6Hº

¾E-ºJ6º0ï*3%d+2»È

÷:ò

Ï

Ø\"

"

º++ 1º¡\:+»0<d+ì

Ö

Ì0ÌÂ "

+¦<6

¾E-

ø Í Ø

Ðdõz¡%-31'»¼%-1&¤4

"

º

"

<B7J+1%-%+2»Sì

Ö

Ì0Ì

,

¹0%º¡Z0º

¡ " 0Q+\3%À'º-%-3" :º #¶" 6+2»{'++ ¾W+ îªÂ

Q¡ " º6º0ï ¯ + " ¹J+2»{¹ " 3%-¤ " :

>

+ " dE3%- " 1º<¤ +»+6 " ¯ 1 " d¢ 3ï " º¤ ! -EÄJÅ:Æ:Å{ÇW" ¯ % "2¯ ?$ z ..!

@A@ . .+( ¢ »¼+½¯ " \¤&3¡uº # H+2»Wº-%<" CBZ " ¾ " " B%-

" -+2+6+¹ ,

(7)

Ú2ßÚ¶Ý 9dåÜ-Þ{Ýà .2ßBå

>

+'£&º¡Z0íE+&+º1+$£ ÒØ Ðdð $# & +( 4 # º+Z1&¤ZÈ ÷:ò ÏØ E- " -¬

Zõ ò Ï×Ø:ú " 1+ " + ¤7í»¼+E¡+-î& ¯¬# ï " + +2»H " ¾ " -++6+ º ,

>

+ 6£&- - ¡Z+

"

-

" ¯

+¡\+2»¬53

¯

"

º+ +&+ý

ú

ù$# < < § &

!

# < < &

Ê ( 4 # + 1&¤ È ÷:ò ÏØ E- " -k- Zõ ò Ï×Ø:ú " 1+ " + ¤7¬+¯ º " º¤ 6

3¯ -»¼+ º+¡¡%-º " + -++6+ º 615ºÐdÌ ! + '+%3½ " º+»¼+

" ¾ " ¤<¡\E6ï-ºÄJÅ:Æ:Å{Ç¶Â

QZì

Ö

Ì Ì¶ÁÈ

÷:ò ÏØ

+2+

"

º++»¼+ ¡

"

d¡Z+»¼+

"

¾

"

¤<¡\3

"

3º" &:&

¾E

"

»¼

"

1-º<¤ 3%¤

" ¯ 6

" "

3º

¯

"

º¹

"

1-º<¤+»ÄWÅdÆ:Å_Ç

"

ÒØ

Ð_ð+À-W»¼+ 3

¡ "

:3ï

"

+

"

#

ï

"

+ ½+2»_ ËÀÅ\õ

ò ÓØ

Ì õ½1%-

"

1

"

+ +2+6+$0 &

(

Â

Q-»¼

"

1ºº<¤/3%-¤¿6+

#

º-6ì

Ö

Ì0Ì½

¯

º

"

'¡+-î&

¯#

ï

"

º+6+%-º6

6

¯

+

" "

"

º¤<

"2¯

'

"

+%-Bº»¼6¤6º

!"

-z&%-6+%-º1 0+%-º

3

¯

+2»{

"

¾

"

À+2+6+¹J+2ï

"

1º¤Â

@ "

+ 3W+03

#

S3%

!

{¾

"

:6¹+À+0º&%í-W6+

"

1+

"

+ À+

"

ª0

!

" ¯ í " E<%-¤ ! -ËÀÅ_ÌÍ_Î{ÏÑÐ " B% Â QE¾J+î + ËÅdÌÍ{Î_ÏÑÐº1ºZ30

+J»¼+¡n' # º+%-W»¼ " 3º1º<¤z3%¤½º # " ªB

>

Qíï-3:¡Z+

#¶"

º+¾

"

+

"

-¤»¼+¡

"

¶¡6-+&-+

" "

6%H%-_

#

º+-¡Z0

" " + " »¼+ B/¯ " º " ¤¡¬1 " 6+ ¡¡Z" d+%-6Z4" ¾ "

" 3»¼+W'ËÀÅ½õ ò Ó-Ø Ì õZ+2+6+Ñ7BÂ$Q¹J¾W+ %ºº¡º¤½<+ ¯ *0 " B+ -*¾E

ì Ö Ì Ì½ # º+ !" E¾W " ¯ " 6+<" 0J+»¼+º+¶¾ --º " " -¡ " î6 ¯

" ¯ J1+% ¯ 0Q+Z'-+¦<BÂ

>

Q'36+ -\¡+2#¶" + ¾ " S+ ¯ +¬1¤+½¡À¡+Áî&º ¯ # ï " + ½z+W+

-+¡

"

1+

"

3À+2»HZ

¯

º»¼Z6¤6ºÂ¡Z+

"

¡1-+ %-

"

+

"

1

"

3

+»¼+¡

"

ª¡6+E¾

"

E+%

¯ !

¾Eº¾J'

"

%¡¡

"

CB

"

J»¼+º+¶¾

J\¿¤<¡º

#

3

¯ !

/6+ 6Z+»À

"

B%-

"

-

"

+6

"

-++6+ º{¾ " _+1Q»¼+¡ " º¤ º1%3º ¯ ÄWÅdÆ:Å_Ç " - # ï¬%-3º ¯ E¡+

-î& ¯ +0+ ºQ+» ÒØ Ðdð ,

J'½º+¶¾W'¯ º # ¹ ! ½+B+2»J #":ÐdÌº¡º¡0" º+5¾ " +

1À-î%- ¯ " º+ " -¡+W%-\1&¤\ì Ö Ì Ì " -Z " ¾ " Q¯

+¡¡%-<¤ ! 6º%-º ¯ 3º¡%-" º+ " -z¡ " &% " ª3º ¯ ,

@J%¬

¯ + "

*¾

" "

¹3+/+¿<

"

1º¹3

"

6+-6º+ 16<¾J +03ª0Z

¯

º

#

¹

! "

¡Z¤1&¤%-

¯

ÄWÅdÆ:Å_Ç6ºº+-

#

º+

"

¤<¡º

#

:»¼+

4 7+&%-6º

¯

+2»Ñ<¾

"

¡%

"

+ -À+2»S

"

¾

"

+¡+ 0Àº¿+ À+3»¼+ ¡

Ü-Ú¶ß.SÚ¶ßÝ-ëÞ3æáSÚ2ßÝ/ÛÞëBåÑç Ú¶áÉåÞ¶à ! 4É®7 ¯ " ¯ 3 " %+ ¡ " ¹ " º¤/º+ +

-îk #":ÐdÌº¡Z-¡Z0 " + + # - " 6%-Â\W+2Á3º¡%" + "

" %+ ¡ " ¹3 ¯ " + " -¾¡ " -À+ " #¶" º%Z»¼+ ¡º0+&%-B+

+»_»¼+ ¡ " ¡+Eº # + ¡0Â

Q¹*+*¹*+

¯ "

CB

"

í»¼+º+¶¾Â$B+ ®

¯ #

"

+

#

º¾ +2»ªËÀÅ_ÌÍ_Î{ÏÑÐ

"

-B

% " -+»í " +-6¤z++6+ )Â&Bº+ , " º¾E»¼+¡ " d6ï " º+ "

(8)

# ï " + d " ¹3+¦<%-3ï-W-+ º+»{ÄWÅdÆ:Å_Ç " " 3ï " + ½" ¯ % "2¯ »¼+E3¤3¡ º #

¯ " 0d ÒØ Ð_ð'+0+ ºH%3ºËÀÅ_ÌÍ_Î{ÏÑÐ½£º¡0 !" {¾W " _" ¾W+ î

+ ½ # ï " º++»{ " 6+--¤\++6+ ºÂ&6º+

º1W-º " " -+ "

»¼+ º+¶¾J++%-6

"

3+»Ñ<¾

"

¡%

"

+ ½+2»d¡+2

"

À+0+ººS+»{ËÀÅ_ÌÍ_Î{ÏÑÐ

"

-½

%3»¼+Q

"

¾

"

3¶+2»Ñ<¾

"

6+2Á¡¬%

"

º+:Â&Bº+

0W-'º-ºQ+»dý

ú

ù+&+

!

"

-¹

"

º+Z+2»¹í+&+&»¼+

"

%+¡

"

ºW<

¯

-

"

º+

!2"

-¬-E6£%º++2»-

¯

-

"

3Jº

"

:ËÀÅ_ÌÍ_Î{ÏÑÐ31-:Â #{º

"

ºº¤

!

&Bº+

3%¡¡

"

CBS-¡

"

6+ -6º%-+ -S+»

ËÀÅ_ÌÍ_Î{ÏÑÐ<%-¤

"

-3%

¯ ¯

<J6º+-J»¼+ Q»¼%%'¾J+îÂ

au^E[d~W}HcB|]{c6g f g i ]{z^ lnlpoqsrutwv j'}H~Hzc]{^E~*]_xz}H^ j f c]_[

~Wj~{^~Jg z^Q}H^Ef~SYm|z}Hg]_g\~Jg y

!#"$# %&('*)+,($-,./0# '*!132.(.4,.65%

/%-+6+6+ ¡Z-%

"

º¡

"

+1

"

º

¯

¿3»¼+ ¡

"

6Àº

"

" "

1º¾

"

¤Â0-&

º

¯

+ 5z¾

"

¤+&3+ £

" ¯

½

"

"!

-

"

\1

"

¹

"

ºº¤/<¾J+/î&-- +2»¡¬%º+3+

"

-B%¡

"¯

É

"

º

¯"

B%-

!

º5¾Eº

#

¤+&3+ À

"

'+¶¾E¿-

#¶"

¡¡Z+ ¤

"

- +¡¡%-º

"

'¾E5½+2¬+&3+ 1&¤53-º

¯/"

-5

#

¯

¡

"2¯

!

"

-3

"

¡¡Z+ ¤

"

-B%

!

º¾E¹

"

-+6+J3

"

6+ ¡¡Z+

"

Q3

"

6 Â

6+ ¡º

¯

»¼

"

%-J+2»

"

'¡¡+¤

"

6%_º_

"

H6£¹<

¯

0%0

"

+

¯ "

¡\

-5-+2 1½¾E35¾E 3¾Eº

¯

»¼+¡

"

5%º+6++

"

¡%º+&3+ ¡

"

ºÂ

À-À+»Ñ¹< ¯ %¹3-J1<¾W<¾W+6" 3S+»_ " \¡¡Z+ ¤\¡¬%º+3+ 7 ×Ø 4¶ä_àå

æ6Þ2ßBçè¿Ý6ç\Þ¶ßBé/êÀÛÛÝ6ëë7 " B%¢ " ¹+¿î&+¶¾E " × ð 4 é¶ç¬ç\Ýá)ßBåÛè áÉå98JßÞÛÝBëëÞ¶ßë$7 !

º ¾E¹ # ¤¿+6 " " 6' # ¤¡Z¡+¤º+ " + 5 " ï-£& " ¡+ %0 +2»Eº¡ !í"

ÕZÖ:×Ø 4ÉãÞ2àä{à-åæ6Þ¶ßBç è¿ÝçÞ2ßBé'êÀÛÛÝBëë7 ! º\¾Eº\¡¡Z+ ¤ºS+ ¯ " -B¬ " -º " º¤ ! 3+ "

+¡¡¡+¤ + " º+4Â¯ Â! +6+¬+ " " 7 " 1 " 6 »" 3Z " k+2Â

ÕZÖ:×Ø " 6% " +2»*º0<1 " %3¤ " /+20" ºº¤ " + "½¯ " &%¡1

+»_+6+* " 7 ×Ø +Â

#-+;:½6º6¤ " + !*" " " 3+ º¡¡+¤ ¡¯ 0Z1¹ " º # " J+º

3+ /º5+3+

"

ÂQ6£¹<-+2»Q¡%ºº+º

"

¹¾Wî0-+¶¾E¿¹%\4)3

!

Â

¯ Â! $¥'&

(

»¼+

"

+

#

º¾«+2»S6+ 6¤

"

-/+-º3-6¤¹%7BÂ

ÕZÖ:×Ø "

-B%'º

"

¹z+½1zÛÚÛÜÝ\ÛÞÜÝßÝ6àá 4¼+

ÒÓÔÕ¬Ö:×Ø 7Q»í¡

"

0

"

º-6+ 6¤½16<¾J

#¶"

º+%-

+ºW+2»

"

¡Z

" "

ÂÀ-º

¯

+À+ + +

¯

¤Z+2»-

"

B%

!

"

E<¾W+¬¡

"

º

"

J+»H

"

6+ -¤\+2++¹

>=<

&ëZëBàÞÞªåÑà ßÞ2áÞÛÞ =ë\¾J+î»¼+'¡¬%-+6+'¤<¡\+ ¯ " B " + %- " 1%-ÂÁ

¹

"

-+

"

! "

+6+{6+0&%+ %-3º¤'%ºB_-J1-%-_+1

" ¾ "

*+2»&ëQá)ßÚ2àë4

ÚÛá)åÞ2àë4¼Â

¯ Â!

" "

\¾EÀ6+¡¡

"

7*º%1&¤+2W+3+ Â +0<J6+¡¡6

"

3¤3¡{º¤+ > õ-ÇÏ

"

J6+--¤-++6+ 4)3

!

Â

¯ Â! $¥! & Ê !

"

&

(7 !

¾E¹

º%-3º/È

÷

ÆõÌ(Ëõ

÷

ÆÏ

Ö:×

Ë ò Å "

-Èö

× (ËÀÅ\õ ò Ë Ò

¡¹6++6+S-+2

"

1º¤Â

Q> õ-ÇÏ&+2+6+0º¡Z-¡Z0

"

ï- »¼+¡ +2»-¡¬%%

"

&

"

3¾E£6º%-3º+

" ¯ +

-¡ í¡¬%º'-+6+ " " º+¶¾W\+3+ ºzº " Jº+ " :+ºQ+»_¡¡+ ¤

(9)

Remote CPU#0

Cache

CPU#1 Cache

Local Memory

Local Bus

Local To Remote Interconn.

Presence

Remote I/O

Network Module#0

Interconnection Network

Cache Controler

Cache

Access Cache

CPU#3 Cache CPU#0

Cache

CPU#1 Cache

Local Memory

Local Bus Local To

Remote

Interconn. Presence

Remote I/O Network

Module#2

Cache Controler

Cache

Access Cache

CPU#3 Cache

CPU#0 Cache

CPU#1 Cache

Local Memory

Local Bus

Local To Remote Interconn.

Presence

Remote I/O

Network Module#1

Cache Controler

Cache

Access Cache

CPU#3 Cache

Remote Interconnection Network

#_¯ %-R : Q-'ËÅdÌBÍ_Î_ÏÑÐjB%-

+1¦<B

!

1%+ ¤

"

3º

¯

º\+-½3+ %¹¿¡+»¼¤¿\+1¦<B

" "

º¡Z

,

¾E5

"

¯"

+1¦<B

!

+6+H¡%-3S¡

"

î 3%-E

"

W¤

"

H¡Z+0<W60W+&¤

,0"

º+

"

º¤

!

+¬%-6À¡

"

+\1%-W1

"

-¾E¹&

!

+6+H¡%-3

"$#

+¹¬¡¡Z+ ¤

"

6

"

*¡%

"

+ 3º1º1&¤6£

" ¯ º

¯"

-%ª

"

¯

\6+00À+2»*º36

#

¬

"

ÂMQ

" ¡$> õ-ÇÏ3 " -_»¼+_J " ¡Z{+2»S»¼+ %{+01-Q< " _+2» " J6+00íè¿Þ.2åWÝ .+

&Û &ëå¶Ý Ü-Ú¶ßÝ . !" -Bà7$Ú å;.¶Â

>

åÑßÝÛáÁÞ¶ßBé Ú$ëÝ.'ßÞ2áÞÛÞ =ëJ " '1S%3»¼+_6<¾J+îª+2»+6+ª+2_+-B+ " 1% !

" % " º+ " í # 0_+6+»¼+¡¨+&+º ¯ + " 0%º "¯ + 1 " 0î&+¶¾Eº ¯ S+2»

" - " 6º+-+ ÂÁ-3 " ! " 6+ 6¤¿-++6+ º'¡ " 0 " " " <%-6%

" ¡ .¶åÑßÝÛáÞ2ßBåÝBë " J6+ 0 " º½3 " %-*º»¼+ ¡ " + \" Z+ ¡ " º½¡¡+ ¤¬+1¦<B*»¼+

¾E¹6+ '6£¹<¬ -+6+

"

Â#-+ º-3

"

6

!

ºB+

"

1z%-+

#

WE6H+2»+3+ :

"

H

"$#

"

º+&

"

6+ &¤'+2»

"À¯

#

+ 1¦<6Â Á

" "

1-

! "

-

6+ 0

"

6%

!

ºB+ º

"

'¹<º1%¾E'-+6+

"

-z¡¡+Â

/ $ . #$ !"#

ËÅdÌBÍ_Î_ÏÑÐ½¾ " " ¬£º¡0 " ÒÓ-ÔÕZÖ:×Ø ¡¬%-+6+ " B%-J # º+ 1&¤'£

# E# º+ +2»Sì Ö Ì0Ì\º¥* ¯ " " 4 " º¤7BÂ¨¾J+î& ¯ -++2<¤& +2» " ËÅdÌBÍ_Î_ÏÑÐ¡ " -

%- ¯ ô Ï¹ük+ " º ¯ ¤<¡b¾ " 1%ºº & & ." ¿»¼+ %-+3»¼+ ¡s6+B¤ Â2

+% ¯ 5-º¡ " º½¾ " ¹ " º¤+ " º+ " ! ¬¾ " '+¡ " z6+¡¡6" ºº¤ "$#¶" º" 1º

%+¡ " îº ¯Z" -zº¡ ¯ +-º " º+Â