Parallel Operators

HAL Id: inria-00073829

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

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,

Parallel Operators

Jean-Marc Jézéquel, Jean-Lin Pacherie

To cite this version:

Jean-Marc Jézéquel, Jean-Lin Pacherie. Parallel Operators. [Research Report] RR-2862, INRIA. 1996.

�inria-00073829�

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Parallel Operators

Jean-Marc Jézéquel, Jean-Lin Pacherie

N 2862

Avril 1996

THÈME 1

!"#$%'&(%)+*,'-/.01234576#8,'"45. .

9(:+;

< =><?A@CBED< FG<HIJK< LMFGN'FOL

;

<P=>< F

QSROTU

<PL

QVXWYQV

BMH[ZZ T\R

L^]<

R

< _ : < R _ :

<a`bdc\egfgch@

VMi'RGjlk

?m\mgfA@ncgcZoHp\< F

qsrStPuwvxoyu\z|{

`_wHZFGI

k

HL

j

`p(ZH R H

k}k

<

klj

FG=7H[`]FON'`_

:ROT

`

j}~

HL j}T

`_

T

]<^

jL :j

`

Tg€gU

< _ L‚

TgRGj

< `'LO< ]F T[ƒ

L‚

(H

R

<M_

T

=>Z

T

`< `'LGF

j

F„HAZ RGT

= jF j

`pXH

i

< `'I<(L

T

(H

R

]F=…H[FOLG<

ROj

`pL

:

<(_

T

=KZ

k

< J

j

L‚N T[ƒ

L :

<(]

j

FGL ROj}€

I2LO< ]

=K< = T\R

NFOIZ<

R _ T

=>Z2ILO<

R Z ROT

p R H[=>=

j

`p†‡

T

^<

i <

Rwˆ'j

`…L R N j

`pL T p

j}i

<HZ2Z k}j

_wHL j}T

`‰Z ROT

p R H[=>=K<

RF

€

< `<‹ŠL Tƒ

FGIZ<

R _ T

=>ZI2LO<

R Z T

^<

Rˆ

L: <

klj}€R

H R N>]< F

j

pg`<

R

pg< `<

R H k}k

N R

< F TgR

LOFL T>k}T

 k< i < k ZoH

R H klk

< k

_ T

`FOL

R

I_PLOF

ˆ

HL

j

=K<X_

T

`FGI=

j

`p‰H`]E<

RGROT\R

Z

ROT

`2<Z ROT

_ <PFOF†

9,T

F

Tgk}i

<L :2j

FAZ ROT\€k

< =Œ„<

j

`'L RGT

]I_ <

HK`< H

€

FGL

R

H_ L jlT

`$_wH k}k

< ]$Ž(\O‘’‘l“P‘•”–“Gg—5˜g‹™ † VšQ

H R H klk

<

k,›

Zo<

R

HL TgR

< J

j

FOLGFF

j

=‰I

k

L‹H`<

T

IF kN T `

H

klk

Z

ROT

_ < FGF T\R

F j` igTgk}i

< ]

j

`œHK]

j

FOL ROj}€

ILG< ]œ_

T

=>Z2ILH[L j}T

`Ÿž

j

LH_PLOF‰HFHEF

j

`p

k

<‰I

€j} 

I jLT IF< `'L

j

L‚N

_H[ZoH

€2k

<

T[ƒ

Z

ROT

_ < FGF

j

`pœF : H R

< ] T\R

] j FOL

RGj}€

ILO<P]¡]oHL‹H

j

`¢ZoH R H

k}k

< k

†¤£‚`L :j

F‰ZoHZ<

R

„<

R <

j¥ƒ

NœL :2j

F

_ T

`_ < Z2L j` T I

RM{,j§¦

<

kŸQ

H R H klk

<

k+{

J'< _ I2L j}T

` { `

i'j}ROT

`=><P`dLA¨

{Q{{©

_ T

`'LG< J'L

ˆ

H[`]E„<AF :T

ªL

:

HL jL

jF

€T

L:

`oH[LOI R H k

H`]Y<‹«>_

j

< `'LML

T

< J'Z

R

< FOF_

T

=>Z2ILH[L j}T

`F Ti

<

RMk

H R pg<F

: H R

< ] T\R

] j FGL

ROj}€

I2LO< ]¬]HLH

FGL

R

I2_ LOI

R

< F>I2F

j

`p Q H R H

k}k

<

k„›

Z<

R

H[L TgR

F†Y­<

j}k}k

IFOL

R

HLG<

T I R

HZZ RGT

H[_

:  jL : H Q H R H

k}k

<

k„›

Zo<

R

HL TgR

€

H[FO< ]YF Tgk

IL j}T

`

ƒ5TgR

L :

<X^<

k}k

/®'`

T

(`K¯(

€oT

]NKZ ROT\€k

< =$†

°K±'²³´µvg¶,tz ·Aj

FGL RGjl€

IL j}T

`

ˆ·

H[LH Q H R H

k}k

<

klj

FG=

ˆV

pg< `'L

ˆ¸^T

=>Z

T

`<P`dLGFMH`]E¹

R

H=K<  T\R

®'F

º}»‰¼

½¿¾‚ÀÁ

¼

½ÂÄÃ}¾‚Å5Æ Ç

ÈOÉËÊ5ÌÎÍÐÏÑPÒӟÔÄÕ\Ö ×'ØGÙ}ÚÜÛÝ Ý‹ÞßPß à áâwãGßäåšæÏ ç\ÚoÛÝ Ý‹Þß ßPà áâwãâèãåšéêËë(Ï ÌÎÙ}ÚwìÐØGíOØGîïØGÙ¥ðŸÌÎÊ5ÌÎÍ5ÏñòlÊ

ÈGÈÉËÊ5ÌÎÍÐÏÑóÉËôÊÐÌÎÏ[ÖO×'ØOÙ}ÚÜÛÝ ÝóÞß ß à áwâ‹á õ àöå÷æÏPçgÚoÛÝ Ý‹Þwß ß à áâèãâwãåšé2êËë(Ï ÌÎÙ}ÚdøÏPù‚úØOÊ5ÌÎ؝ðÌÎÊÐÌÎÍ5Ïñò}Ê

±1t ±œz

< `2_HZFGI

k

HL jlT

`E]I$ZH R H

k}k

D

<

klj

FG=><M]H`FA]< F_

T

=KZ

T

FH[`dLGF k}T

p j_ j< k F(]

I`

k

H`p'Hp\<

;

H

T\€gU

< LOF< FGLI`<

i\Tgj

<Z ROT

=>< LGLO< IFG<

i < R F k

H=…H}L ROj

FO<A]<

k

H_

T

=KZ

k

< J

j

LD<]<

k

HZ RGT

p R H=K=…HL

j}T

`‰]< F

H R_ :j

LO< _PLOI

R

< FZoH R H

k}k5;

< k

< Fw†

¸

<PZo< `2]oH`'L

ˆ Z T I R( 

I I`EZ

RGT

p R H=K=>< I

R ]

H[ZZ k}j

_HL jlT

`F^ZI

j

FOFG<

€ D< `(D<óŠ

_ j< R ]<

k

HsZI

j

FOF‹H`_ <‰]2<LG<

k}k

<PFX=EH_

:j

`< F

ˆjlkk

I j

< FOLF T I i

< `'L`•D< _ < FGFH jlR

<‰]<‰pD< R <

Rk

I

j

=< =><A]< F

=¡D< _H`

j

FG=>< F,]<A]

j

FOL ROj}€

IL jlT

`]2<

€

H[F`

j}i

<H[I

ˆ

_ <

  I j

< FOL^F T I i

<P`dL R D< FG<

ROi

D

< ;

H]2< F„FGZ(D< _ jH

klj

FGLO< F^< L

ˆ

]<

Z k IF

ˆ

< FGLXF T I R

_ <‰]

<

RGR

< I

R

F†

·

H`F k< €

IL]<

R D< F

T

I]

R

<‰_ <‰L‚N'Z<]<Z RGTg€k5;

< =K<X`

T

IF

j

`'L ROT

]I jF T

`F

I`2<¬`

T I i <

k}k

<…H

€

FOL

R

H_PL j}T

` ˆ HZZ<

k D< <¡”–“Gg—5“'Ž gO[‘Ë‘“P‘l“

ˆ H j

`F j( 

I I`¤FO_

: D< =EH¬]<E_

T

`_ < Z2L j}T

`

¨g“P™ "!–g—5—5“#!

©

]<PFOL

j

`(D<PF

;

H ƒ H_

j}k}j

LO<

Rk

Hh]•D<

ROj}i

H[L j}T

`K]<MZ RGT

p R

H=K=>< F,FD<  

I< `'L j< k

F(< `EZ RGT

p R H=K=>< F

ZoH R H

klk5;

< k

< Fw†%$M`

›

Z(D< R HLG< I

RQ

H R H k}kÐ;

< k

<< J

j

FGLO<F

j

=‰I

k

LH`(D< =>< `'LFGI Rk

HL

T

L‹H k}j

LD<]< FAZ ROT

_ <PFOFO<PI R F j

=‰

Z

k}j} 

I(D< FK]oH`F kH Z :

H[FO< ] j FOL

ROj}€

I(D< < ]< _H

k

_ I k/ˆ

LT

I2L>< ` < LH[`'L…=EH`D

j

ZI k D<KZoH

RKk

<¬Z ROT

p R H=>=K< I

R

_ T

=>=K<I`2<…<P`dL

j

LD<EI`

j} 

I<>_wHZoH

€k

<>]<E=…H[`

j

ZI k<

Rj

`]

j§¦

D

< R

H[=>< `'L]<PF‰]

T

``(D< < F>]

j

FGL RGjl€

I•D< < F T I

ZoH

R

L‹HpD<P< F†

·

H[`F(_ <

R

HZZ TgR

LM`

T

IF R D< jŠ T

`F(_P<_

T

`_ < Z2LM]oH[`F

k

<_

T

`'LG< J'LO<]<`

T L R< { ` idj}RGT

``<P`dL

Q H R H k}kÐ;

< k

<]

{

J„D<P_ IL j}T

`]<

{,j§¦

< k ¨

{Q{{© ˆ

<PL`

T

I2FX=

T

`'L RGT

`F   I j}k

< FOL

;H kH

ƒÐTgj

F`oH[LOI R < k

<PL<

ƒ

Šo_wH_ <E]

< J'Z RGj

=K<

R

]< F_H

k

_ I

k

FFOI

R

]< F]

T

`2`•D< < F]<>p

R

H[`]< FL‹H j}k}k

< F

ˆ ] j

FOL ROj}€

I(D< <PF

T I ZoH

R

LHpD< < F

ˆ

< ` IL jlk}j

FH[`'LM]< F

T

Z•D< R H[LO< I

R

FZoH R H

klk5;

< k

< Fw†M¯

T

IF j}klk

IFGL RGT

`F¬D< pdH

k

<P=>< `'LM`

T LR

<&\“ ™#' (!s–1\—З5“!>Z T I R

= T

](D<

k}j

FG<

R

I`<H[ZZ k}j

_HL jlT

`‰]<F

j

=‰I

k

H[L j}T

`]IEZ RGTg€k5;

< =K<M]< F(¯ 

¸^T\R

ZFw†

)ªµuètó³óy+*± z ·Aj

FOL RGj}€

IL j}T

`

ˆoQ

H R H k}k

D

<

k}j

FO=><(]2<

·AT

``(D<P< F

ˆV

p\< `'L

ˆÎ›

Z(D< R HLO<PI

Rˆ-,

_ : D< =…H]<

¸^T

`_ <PZ'

L

jlT

`

(

W

H[`'NZ ROT

p R H[=>=><

R

F>H

R

<¬<H[pg<

R L T

L‹H®g< H]

i

H[`dL‹Hp\<

T[ƒ

L:

<$_

T

=>ZI2LHL j}T

`oH k Z T

^<

RET¦

< R

<P]

€ N

·Aj

FOL ROj}€

ILG< ]

¸^T

=>ZI2L

j

`p

,

N'FOLO<P=>F„¨

·¸%,

F

©€

IL,H

R

<„p\< `<

R H k}k

N R < k I_ L‹H`'L,L

T

I2`]<

R

LH®\<„L

:

<^Z T\R

Lj

`p

T[ƒ

L: <

j}R

H[ZZ k}j

_HL jlT

`$Z ROT

p R H[=>F

T

`dL

T

FOI2_

:

=EH_

:j

`< Fw†¬£‚`]<P< ]

ˆj

L j F

j

]<

kN € <

k}j

< i

<P]œL

:

HLL : <

·¸%,

F_

T

=>=K<

R _ jH k}k

N>H i H

j}k

H

€k

<L

T

]oHwN H R

<‰]

j

«>_PI

k

LXL

T

IFO<

ˆ  :2j

_ : j F`

T

LFGI R Z

RGj

F j

`p¬F

j

`2_ <‰L

:

<PN

H R

<‰L

R

H]

jL jlT

`oH k}k

NEZ ROT

p R

H=>=K< ]E

jL : F T[ƒ

L‚(H

R

<L T'T\k

F]oHL

j

`2p

€

H_‹®¬L T L :

<‰]oHwN'F T[ƒ

Z2I`_

:

_H

R

]F

H[`]EZoHZ<

R

L‹HZ<g†

£‚L

j

F`

T

¢„<

k}k

<PFOLH

€k}j

F :

< ]KL

:

H[L•H[`

Tg€gU

<P_ L‚

TgRGj

<P`dLG< ]…H[ZZ RGT

H_

:

_H[`>p

R

<H[L

k

NH k}k

<

i'j

HLG<(L

:

<AZoH j`

T[ƒ

Z

RGT

p R H=K=

j

`pFOI_

:

FGIZo<

R _ T

=>ZILG<

R

F

ˆ

mO†

›

`2<

Tƒ

L :

<‰=

T

FOLAFOI_P_ < FOF

ƒI k

H[ZZ ROT

H_

:

< F R <

k}j

< F

T

`L : <

,'j

`p k<

Q,ROT

p R H[=

W I kL jZ k< ·

HLH ¨

,QWY·X©

Z

ROT

p R H[=>=

j

`pK=

T

]<

k

H`2]

jF €

HFG< ]

T

`¤L : <

j

]<HsL

:

H[L(L RGj

_‹®'N>ZH R H

k}k

< k _ T ]< FA_H`

€

<<P`_HZ2FOI

k

HLG< ] j`

Tg€gU

<P_ L‚

TgRGj

<P`dLG< ] F Tƒ

L‚•H

R

<_

T

=KZ

T

`< `'LOF

Z R

< FO<P`dL

j

`p¬L : <

j}R

_

klj

< `'LGFX

jL : H ƒ

H=

jlk}j

H

Rwˆ

=

T\R

<

T\RMk

< FOFFO<

 

I< `'L jH k

k}j

®g<

j

`'LO<

R‚ƒ

H[_ <}?

ˆ

?wc

ˆ c

ˆ

¿†

£‚`

{Q{{ªƒÐT\Rj

`2FOLH[`_ <

ˆ L :

<‰=

T

]I kH

ROj

L‚N…H[`] < `_H[ZFOI

k

H[L j}T

`Z RGT

Z<

R L j

< F H i H j}k

H

€k

<L :2ROT

I2p : L: <

_ k H[FOF_

T

`_ < Z2L•H

R

<(IFG< ]‰L T H €

FOL

R

H[_ LL

:

<(]oHL‹H

R

< Z

R

< FO< `'L‹HL j}T

`>L

:

HL_H[`L

:

< `

€

<(<

jL : <

R„R

< Z k}j

_HLG< ]

ˆ

] j FGL

ROj}€

I2LO< ]

ˆ'T\Ri'j}R

LOIH k}k

NXF : H R

< ]$¨’Z ROTi'j

]< ]>H

·Mj

FGL ROj}€

I2LO< ] ,':

H R

<P]

W

< = TgR

N>¨

· ,W¬©Sj

F^H i H

j}k

H

€k

< ©

H[=

T

`2p>L

:

<‰Z ROT

_ < FGF T\R

F

T[ƒ

H

·¸%,

O†‰£‚`L

:j

F_

T

`'LO< J'L

ˆ

FO<

 

I< `'L jH k _ T

]2<‰_H`F‹H

ƒ< kN € < R

< IFG< ]

L

:ROT

Ip :Ej

` : <

RGj

LH`2_ <

j

`…H]

j

FGL ROj}€

I2LO< ]E< ` i'j}ROT

`2=>< `'L†

£‚`

T\R

]<

R L T p

j}i

<HZ2Z k}j

_wHL j}T

`>Z RGT

p R H=K=><

R

F„L : < €

< `<‹ŠoL

T[ƒ·¸%,

_ T

=>ZIL‹HL jlT

`oH k Z T

^<

Rˆ

L: <

k}j}€R

H R NEZ

RGT

p R H=K=><

R

FOL jlk}k,:

H[FXL T>R

< ]<‹Šo`2<>H`]

R

< Z ROT

p R H[=F

T

=K<

ƒ

<H[LOI

R

< FIF

j

`pE< J'Z k}j

_ j LMZH

R H k

k<

k}j

FO=

ˆ  :j

_

:¤j

F

€T

L : L j

=><‰_

T

`FOI=

j

`p H[`]œ<

ROROT\R

Z

ROT

`<g†

{,i

< ` j§ƒ

FT

=><

i < R N €

HF

j

_EZoH R H

klk

< k

ZoH[LOLG<

R

`F‰_wH`

€ < R

<PIFO< ]

j

``< šH[ZZ k}j

_HL jlT

`F

ˆ L:

< NIFOIH k}k

N R <   I j}R

<>FON'`'LH[_ L

j

_K_

T

`'L T\R

L

jlT

`FÎf

T\Rk

H`p\IoHp\<< J'LG< `F j}T

`F}?¿†

9ÄT

F

Tgk}i

<‰L :j

FXZ ROTg€2k

<P= ^<

j

`'L ROT

]I2_ <>HE`< šH

€

FOL

R

H_PL j}T

`_H k}k

<P]

Ž(\O[‘Ë‘l“P‘Ÿ”–1“wO\—И\‹™ † VªQ

H R H klk

<

k›

Z<

R

H[L TgR

< J

j

FOLGF„F

j

=‰I

k

L‹H`<

T

IF kN T

`>H klk

Z

RGT

_ < FOF TgR

F j` i\Tgk}i

< ] j` H

] j FGL

ROj}€

I2LO< ]K_

T

=KZILH[L j}T

`ž

j

LSH[_ LOF(HF^HF

j

`p

k

<(I

€j} 

I jL T IF,< `'L

j

L‚N_H[ZoH

€k

<

T[ƒ

Z

ROT

_ < FGF

j

`p]

j

FOL ROj}€

I'

LG< ]$¨

TgR

F: H R

< ]

©

]oH[LH

j

`‰ZoH R H

k}k

< k

†+£‚`‰L :j

F^ZoHZ<

R

^<

R<

j§ƒ

NL :j

F_

T

`_ < Z2L

j

`‰L : <

{Q{{ ƒÐR

H=><P

T\R

® ˆ

H[`]E„<F :2T

¡L

:

H[L jL jF

€T

L :

`oHLGI R H k

H`]E<‹«>_

j

<P`dL(L

T

<PJdZ

R

< FGFX_

T

=>Z2ILH[L j}T

`F Ti

<

R(k

H R pg<AF

: H R

< ]

T\R

] j FGL

ROj}€

I2LO< ]K]oHL‹HMFGL

R

I_ LOI

R

< FAIF

j

`p Q H R H

k}k

<

ko›

Z<

R

H[L T\R

F†

,

< _ L j}T

`…ch]<‹Šo`<PF(=

TgR

<„Z

R

< _

j

FG<

k

N‰L : <

` T L j}T

`

TƒT

Z<

R

H[L T\Rˆ

H`]Y]

j

FO_ IFGF :T

!_

T

=KZIL‹HL j}T

`F Ti

<

RMk

H R

pg<]oHL‹HFOL

R

I_ LGI

R

< F_H[`¬`oHLGI R H

k}k

N

€

<(FOL

R

I_ LGI

R

<P]>

jL :T

Z<

R

H[L T\R

F†

,

< _PL j}T

` F

:T

(F :2T

L

:

<(_

T

`_ < Z2L Tƒ

H Q H R H k}k

<

kd›

Z<

R

H[L T\Rj

FÄI2FO< ]

L T p TsƒÐROT

= HsFO<

 

I<P`dL jH k

HZZ klj

_H[L j}T

`KL

T

H`¬<‹«>_

j

<P`dLAZoH R H

k}k

<

kŸT

`<g†

9(:2ROT

I2p :T

ILML :j

FMZoH[Zo<

Rwˆ

^<

j}k}k

IFOL

R

HLG<

T I R

HZZ RGT

H[_

:  jL : H Q H R H

k}k

<

kě

Z<

R

H[L T\RM€

H[FO< ]¬F Tgk

IL jlT

`

ƒÐTgR

L :

<^<

k}k

‚®'`

T

(`>¯ 

€T

]N

Z

RGTg€k

< = †

C KSh "! …

# $&% ')(+*-,/.&01*3246587-9:*-,:;9=<

9(:

<_

T

`_ <PZL TƒT

Z<

R

H[L TgR

]<

i <

k}T

Z< ]

j

`¡L :j

F…ZHZ<

REj

F j

`FGZ j}R

< ]

ƒÐROT

=

€oT

L : L :

<6>s†?

TdT

_

:-

F

_ k H[FOF

j

Šo_wHL j}T

`

Tƒ+Tg€gU

< _PL R< k

HL j}T

`F :j

ZF

ˆ

H[`]>H

R

<A@< _ L j}T

` T

`‰L : < i H

ROj}T

I2FÄ]2< F

j

pg`‰ZHLOLG<

R

`2F j`

igT\kli

< ]

j

`EL

:

<Z RGT

_ < FOF

j

`p T[ƒSk

H R pg<A_

Tgk}k

< _ L j}T

`F T[ƒ

]oH[LH†