• Aucun résultat trouvé

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem

N/A
N/A
Protected

Academic year: 2021

Partager "Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem"

Copied!
22
0
0

Texte intégral

(1)

HAL Id: inria-00073725

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

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- 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.

Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment

Problem

Michel Raynal

To cite this version:

Michel Raynal. Fault-Tolerant Distributed Systems: a Modular Approach to the Non-Blocking Atomic Commitment Problem. [Research Report] RR-2973, INRIA. 1996. �inria-00073725�

(2)

ISSN 0249-6399

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

Fault-Tolerant Distributed Systems:

a Modular Approach to

the Non-Blocking Atomic Commitment Problem

Michel Raynal

N ˚ 2973

Septembre 1996

TH `EME 1

(3)
(4)

+* &-,/.0.1324$

2656 8791;:<=4,>$%'1'?@%+%ABC%ADFEG;0&%

HJILKNM$OQPSRUTQVWTXPZY

[\$]

^`_a^cbd egf^Nhi^`jk8lm^Nnohpqhin

]

^`_0^Nh

r!sBtXu

^Nn&vwx

ejXxyx tqs

nwy^

s

^Nz

\ ^ s z \

^|{}8~€‚d„ƒ8^`x8n^`_0…

s

^mb`X†d b`‡ˆxyjQ‰^Nh

ŠŒ‹3NŽ`‘’QŽ“

s

^N^`_0^`{Xnx st

…8”•^`_0hj–”—”

tQ˜

jˆh^Nn tQ™

x

sBt

zN^Nhh^Nhn

t

j–‰

s

^N^

t

{šjˆz

t

__

t { t

k8n›xyk8nœj–”žk8^Ÿ

[\

^Nh^

x

st

…8”•^`_0h!j s ^

tQ™

x

sB 

_ˆj s p  

_x tqs

n<j{8zN^

 

{0w

 

hn sB 

…yk8n^Nwghp8hn^`_0hj{8wˆw  ¢¡

z`k8”•n£n t h t

”•œ^

 

{ˆx

s

^Nh^`{8zN^

tQ™™

j  

”¤k

s

^Nh`Ÿ

[o\8 

hxyjXxy^

s z t

{8h

 

wy^

s h t

{8^

t–™

n \

^Nh^ˆx sBt

…8”•^`_0h

˜¥\8t

h^ˆx

s

jQzNn

 

z`jQ”

 

{n^

s

^Nhn  h ˜

^N”•”¦q{

tQ˜

{$§{yjX_0^N”•pn

\

^g¨©ªy«

¬­

©`®°¯±²ª³Œ´µL©¶0±²®¸·!©¶0¶0±¹µL¶0º`ªµ»&¼B©q½

­

º`¶0Ÿg¾  ¤s

hn`§3jŒ‰^`{8^

zŒx sBt

n t z t

ӣh

t

”•œ

 

{8‰¸n

\8 

hˆx sBt

…8”•^`_

 

 

œ^`{Jj{8w

n \

^`{

 

{8hn›j{Xn

 

jQn  •t

{8h tQ™ 

nhg‰^`{8^

sB 

z¸hn›jQni^`_0^`{nihmj

s

^x sBt

œ   wy^Nw

™Ltqs

… t n \ hpy{8z

\yst

{ t

k8hŒj{8w9jQhip¿{8z

\ysBt

{ t k8h

w   hn

sB 

…yk8n^NwÀhipqhni^`_0h`Ÿ

[o\

^Nh^

 

{8hn<j{n

 

j–n  •t

{8hck8h^n

 

_0^

t

k8nc_a^Nz

\

j{

 

h›_Á§

s

^N”

 

j…8”•^_ck8”•n

 

z`jQhincx sB 

_  n  

œ^Nhˆj{8w

ky{

s

^N”

 

j…8”•^

™ j  

”žk

s

^wy^Nn^NzNn tqs

hjQh…yjQh

 

zz

t

_ˆx

t

{8^`{Xnh`Ÿ£ÂÃ{8z

 

wy^`{n<jQ”•”—p§n

\8 

h¥xyjxÄ^

s

z`j{ŒjQ”•h

t

…Ä^z

t

{8h

 

wy^

s

^NwÅj–hDjX{

 

{Xn sBt

wk8zNn  •t

{Œn

t

hin›jQn^<Æ tQ™

ÆÃn

\

^<ÆÇj

s

nÈz

t

{8zN^`x8nhjX{8w_0^Nz

\

jX{

 

h<_0h t–™

w   hn

…yk8ni^Nw

™

jk8”•n¥n

t

”—^

s

j{8zN^Ÿ

ÉÁÊqËCÌÇÍ0Î$Ï3“

vn t _  

t

_ˆ_

 

n›_0^`{Xn`§!Ð

t

{8h^`{8h›k8h r£sBt

…8”•^`_Œ§£Ñ

 

hn sB 

…yk8n^Nw҃8p8hn^`_0h‘§!¾$j

 

”žk

s

^Ñ^Nn^NzNn  •t

{$§

¾$jk8”•nBÆ [Ct

”•^

s

j{Xn r!sBt

n t z t

”—h‘§¿Ó

t

{XÆDž8”

t

zÔ¦

 

{8‰

r!sBt

n t z t

”•h`§ye&^N”

 

j…8”•^ˆÕÖk8”•n

 

z`jQhn`§

[3s

j{8h›jQzNn  —t

{$Ÿ

ײØ0Ù

ÚÛÇÜ`Ý

Ù

Ú!Þ3ߕÛÇàZá`â

ã)äæåSä²çNè£éê$ë<ì!í‘îï3ð`ñò$ñBëî‘óõôöñ÷îqéqøNùiú›ûNü&åñ÷ý`ýQñBï)ê$ñBð‘ñÇþQéQÿÃëýBñ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) T´el´ephone : (33) 99 84 71 00 – T´el´ecopie : (33) 99 84 71 71

(5)

ÊyÊ “

^Nhx sBt

n t z t

”—^Nh{

t

{XÆDž8”

t

kyj{nihwy^cœQjQ”

 

wjQn  •t

{ÖjQn t _

 

k8^Uz

t

{8hn

 

n›k8^`{Xnky{Œz

t

_ˆx

t

h<j{n^Nhh^`{Xn

 

^N”

wy^n

t

k8nhp8hn

]

^`_0^¥wy^‰X^Nhn  •t

{Œwy^w

t

{y{!f^N^Nh`Ÿ!ÐD^

s

jxyx t8s

n^`{

tSs

^ky{8^0x

s f^Nh^`{Xn›jQn  —t

{ˆhpy{Xn

\ f^Nn  

k8^Ÿ

{_

t w ]

^N”—^0‰f^`{!f^ s j–”^Nn_

t

wk8”¤j  ¤s

^ˆ^Nhnn

t

k8nwöj… tqs

wÅx st

x t hyf^cx

t k s

wy^cni^N”—hx st

n t z t

”•^Nh`ŸÐ&^c_

t w ]

^N”•^ˆk8n  ” 

h^

kyjQn

s

^¥x sB 

_  n  

œ^Nh‰f^`{!f^ sB 

k8^Nh k   h t

{Xn!^`{8h›k

 

n^xyj s n  

z`k8”žj sB 

h¿f^N^Nhx t k s

”•^Nhhipqn

]

^`_0^Nhw

 

hn sB 

…yk£f^Nhhpy{8z

\ysBt

{8^NhÈ^Nn

x t k s

”—^Nhhipqn

]

^`_0^Nh&w

 

hn sB 

…yk£f^Nhj–hp¿{8z

\ysBt

{8^Nh‘ŸÐ&^Nh¥w

 

œ^

s

h^Nh

 

{8hn›j{8zN^Nh_0^Nnin^`{no”¢jQzNzN^`{nh›k

s

”•^Nhx sB 

_n

 

œX^Nh¥wy^

z t _ˆ_0ky{

 

z`j–n  •t

{0^Nn!h<k

s

”•^Nh_Àf^Nz`j{

 

h›_a^Nhwy^¥w&f^Nn^NzNn  •t

{Uwy^¥w&f^ ™j  

”•”¤j{8zN^Nh`Ÿ£ÂL”^Nhin

 

{nyf^ s

^Nhh<j{n3wy^{

t

n^

s

k8^¥zN^Nnni^

f

^Nn›k8wy^!xy^`k8n0f^N‰qjQ”•^`_0^`{Xn^Nn

s

^œyk8^&z

t

_ˆ_0^&ky{8^

 

{Xn sBt

wk8zNn  •t

{ ] j¥ky{UzN^

s

n<j

 

{c{

t

_c…

s

^!wy^!z

t

{8zN^`x8nh

™Zt

{8wj_0^`{Xn›jk8l

s

^N”žj–n  ¢™

h ] ja”žjn

t

”<f^ s

j{8zN^jk8lmw&f^ ™ j  

”•”¤j{8zN^Nhwj{8ho”—^Nhhp8hn

]

^`_0^Nh s f^`xyj

s n  

h`Ÿ

Ύ`N̒! Ê֓

Ð t

{8h^`{8h<k8h`§8ÑÅf^Nn^NzNn  •t

{Uwy^wÈf^ ™ j  

”•”žjX{8zN^Nh`§8Ñ  "

k8h  •t

{$#j…8”•^§

r!sBt

n t z t

”—^{

t

{m…8”

t

kyjX{n`§8ƒ8pqhin

]

^`_0^Nh

s f^`xyj s n  

hԤ

[Ct

”›f^ s

j{8zN^jXk8lŒwÈf^ ™ j  

”—”¤j{8zN^Nh‘§

[3s

j{8h›j–zNn  •t

{$§%!jQ”

 

wj–n  •t

{¸jQn t _

 

k8^Ÿ

(6)

¨©ªÄ« ©`®N¯Q±¹ªX³c´µL©X¶c±²®g·!©¶0¶0±¹µL¶0º‘ªµ 

13i

ƒ8p8hn^`_ah jQhgw

 

œ^

s

h^ÖjQhŒ…yj{y¦

 

{8‰§¥…

tqt

¦   {8‰QÆ

s

^Nh^

s

œjQn  •t

{8h tqs

x

{XnBÆ tQ™

ÆÃh›jQ”•^¸z

t

_ˆ_0^

s

zN^¸jQzNn›kyjQ”•”•pÒz

t

{8hn

 

n›k8n^

wj–n›jÀ_j{yjQ‰^`_0^`{Xnˆhp8hn^`_ah

™ÃsBt

_ jÖz

t

_ˆxyk8n^

s

^`{8‰

 

{8^N^

sB 

{8‰

t8sms

^Nhi^`j s z \ x

tX 

{Xn tQ™

œ  ^ ˜

Ÿ£^Nz`jk8h^¸wjQn›j

j s

^‰^

t ‰ s

jx

\8 

z`jQ”•”•pw

 

hn

…yk8ni^Nw tqs

…y^Nz`jk8h^n

\

^Npj

s

^U”

t

z`jQn^NwJjQnw   ^ s

^`{nx8”¤jQzN^Nhn tm 

_ˆx sBt

œ^ˆj‘œj

 

”¤j…  ” 

nBp§

wj–n›j0_ˆj{yjQ‰^`_a^`{nhipqhni^`_0hj

s

^k8h›kyjQ”•”•pw

 

hn sB 

…yk8n^NwŸ!v

™

ky{8wj_0^`{Xn›jQ”

 

hh›k8^

 

{Œn

\

^Nh^Uhp8hn^`_0h

 

hn

t

^`{8h›k s ^

n \

jQn0wjQn›jÖjQ”

˜

j‘pqh

s

^`_j  { z t

{8h

 

hni^`{n`Ÿ

[\8 

h   hgn

\

^Åj  _

t–™

n \

^ÖµL¼ªX®`µL±²©ªÖz

t

{8zN^`x8n

 

{n sBt

wk8zN^Nw

 { n \ ^

b‘€ Qh¤b‘q§£~ NŸGv'n

s

j{8h›j–zNn  •t

{  h j¸wj–n›jÖ_ˆj{

 

xyk8”¤jQn  •t

{@ky{

 

nBban

\

jQn`§

˜\

^`{Ò^Nl8^Nz`k8n^Nw@jQ”

t

{8^§¦Q^N^`x8h

wj–n›jgz

t

{8h

 

hn^`{XncjX{8wL~n tŒ˜\8 

z \ n

˜&t

jQn t _  z  

nBpÖx sBt

xÄ^

s n  

^Nhˆj

s

^ˆjQnn›j–z

\

^NwŸ

[\

^ # s hn

t

{8^§!®<©ª®q¼<¼Bº`ª®

XµL©¶0±¹®‘±¹µ£^`{8h›k

s

^Nhn

\

j–n)jxyj

s

jQ”•”—^N”y^Nl8^Nz`k8n  •t

{

t–™

jh^Nn t–™

n s jX{8h›jQzNn

 •t

{8h3z`j{y{

t

n!_ˆjX¦Q^!wjQn<j

 

{8z

t

{8h

 

hni^`{njh^Nn

t–™

n s j{8h›j–zNn

 •t

{8hS^Nl8^Nz`k8n^Nw

 

{ˆxyj

s

jQ”•”•^N”_ck8hin)jxyxÄ^`j

s

jQh  ¢™

n \

^Nh^&n

s

j{8h›j–zNn  •t

{8h

\

j–wa…Ä^N^`{0^Nl8^Nz`k8n^Nw0h^

sB 

jQ”•”•p8n

\ ^

ky{8wy^

s

”—p

 

{8‰¸n

\ ^ tqs

p§$z`jQ”•”•^NwNº`¼<±

­

±q½N±

­

±¹µgµ! qº<©¼"Q§

\

jQh…Ä^N^`{Ö^Nl8n^`{8h

 

œ^N”•p¸hn›k8w

 

^NwŸ

[\

^0h^Nz

t

{8w

t

{8^§$z`jQ”•”•^Nw

#

±

­

q¼Bº$µL©¶0±²®`±²µ§$^`{8h<k

s

^Nh¥n

\

jQn

™j  

”žk

s

^Nhz`j{y{

t

n_ˆj¦Q^wjQn<j

 

{8z

t

{8h

 

hn^`{XnjQ”•”3n

\

^ckyxÄwjQn^

t

xy^

s

jQn  —t

{8h tQ™

j

n s j{8h›jQzNn

 —t

{Œj

s

^cxÄ^

s÷™Ltqs

_0^Nw tqs

{ t {8^

tQ™

n \

^`_

 

hxy^

s÷™Ltqs

_a^Nw%n

\8 

hjQn t _  z  

nÇpŒx sBt

xÄ^

s

nBp

 

hh

t

_0^Nn

 

_0^Nhz`jQ”•”•^Nw

­¹­

«Ç©X¼«Bª©µ! q±²ª³0x sBt

xÄ^

s

nBpŸ

Â÷{Œjw

 

hn

…yk8ni^NwŒhpqhin^`_-jUn

s

jX{8h›jQzNn  •t

{ˆk8h<kyjQ”•”—p

 

t

”•œ^Nh&h^Nœ^

s

jQ”h

 

n^NhjQhÈxyj s n  z  

xyj{nih`Ÿvn£n

\

^¥^`{8w t–™

j

n s j{8h›jQzNn

 —t

{   nihxyj

s n  z  

xyjX{nhj s ^ s ^ k

 ¤s

^Nw¸n

t

^`{Xn^

s

jÁ®›©¶0¶0±²µL¶cº‘ªµ'&¼B©µL©‘®›©

­8 

{

tqs

wy^

s n t z t

_ˆ_

 n  

n(

˜¥\

^`{

^NœX^

s

pqn

\8 

{8‰

˜

^`{Xn

˜

^N”•”) tqs

n t

t8s

n   n*

˜\

^`{ˆh

t

_0^Nn

\8 

{8‰

˜

^`{Xn

˜sBt

{8‰+NŸ

[\8 

hx sBt

n t z t ” t

…y^Np8hk8h›kyjQ”•”•p jUn

˜&t

x \

j–h^mxyjQnni^

s

{²n

\

^0h

t

ÆÃz`jQ”•”•^Nw

[&˜&tr!\

jQh^gÐ

t

_ˆ_

 

n`§

 { h

\8tqs

n~

r

Ð,NŸ$ÂÃ{ n \ ^ # s hnx

\

j–h^ˆ^`jQz

\

xyj s n  z  

xyj{Xn

œ t n^Nh^

 n \ ^

s.-0/21gt8s*3%4

ŸÂ

™o™Ztqs

j{Xp

s

^`jQh

t

{5Zwy^`jQwy”

t

zN¦§ hn tqs

j–‰^ˆx sBt

…8”•^`_Œ§z

t

{8z`k sis

^`{8zNpÀz

t

{n st

”z

t

{76

 

zNn`§

^Nniz!jxyj s n  z  

xyj{n£z`j{y{

t

n£”

t

z`jQ”•”•pmz

t

_ˆ_

 

n&n

\

^n

s

jX{8h›jQzNn  •t

{$§

 

n£œ

t

n^Nh 3%4

t n \ ^ s˜ 

h^§qj -0/21

œ t

n^_0^`jX{8h!n

\ ^

xyj s n  z  

xyj{nUz

t

_ˆ_

 

nhn t ”t

z`jQ”•”•p‚_j¦Q^ˆkyxywjQni^Nhcxy^

s

_ˆj{8^`{Xn  ¢™ 

n  h s ^ k  ¤s

^NwÀn

t w t h t Ÿ [\

^`{¸n

\

^ˆh^Nz

t

{8w

x \ j–h^ˆx

sBt

{ t

ky{8zN^NhUn

\ ^ tqs

wy^

s n t z t

__

 

nn

\

^ˆn

s

jX{8h›jQzNn  •t

{

 ¢™

jQ”•”&xyj s n  z  

xyj{Xnhœ

t

n^Nw

-0/21atqs

n t

tqs

n  n  ¢™

h t _0^mxyj

s n  z  

xyjX{n0œ

t

ni^Nw 3%4

Ÿ8

™ z t k s

hi^ˆn

\8 

hˆx sBt

n t z t

”!h<¦Q^Nnz

\Ö\

jQhn

t

…y^g^`{

sB 

z \

^Nw n t n›jX¦Q^

 

{n

t

j–zNz

t

ky{n

™j  

”¤k

s

^Nh  {

tqs

wy^

s n t z tqsis

^NzNn”•p

 

_ˆx8”•^`_0^`{nn

\ ^ ™ j  

”žk

s

^cjQn t _  z  

nBpx sBt

xy^

s

nBpŸ

[\

^cky{8wy^

s

”•p

 

{8‰

 

wy^`j

 

hn

\

jQn¥j

™j  

”•^NwÅxyj s n  z  

xyjX{n

 

h¥z

t

{8h

 

wy^

s

^NwÅjQh

\

j‘œ

 

{8‰ˆœ

t

n^Nw 3'4

Ÿ

ƒ8^NœX^

s

jQ”jQn t _  

zgz

t

_ˆ_

 

n<_0^`{nˆx sBt

n t z t

”—h

\

j`œX^ …Ä^N^`{ x sBt

x t

h^NwÒj{8w

 

_ˆx8”•^`_0^`{Xn^Nw

 

{Jœj sB •t

k8hˆhp8hn^`_0h

9ö8§yb`NŸ

{

™Ltqs

n<ky{yjQn^N”•p0h

t

_0^

tQ™

n \

^`_:²h›k8z

\

j–h!n

\

^¥~

r Ð

˜ 

n \ jU_ˆj

 

{0z t8tqs

w   {yjQn

t8s

j

s

^¥…8”

t

zÔ¦

 

{8‰

 

{h

t

_a^

™j  

”¤k

s

^hzN^`{yj sB •t

h;9¤bQ§q~<NŸ>="£”

t

zÔ¦

 

{8‰?ˆ_0^`j{8h&n

\

jQn&{

t

{XÆ

™ j  

”•^Nwxyj s n  z  

xyjX{nh

\

j`œX^n

j  n

™Ztqs

n \ ^ s

^Nz

t

œ^

s p

t–™È™

j  

”•^NwÒxyj s n  z  

xyj{Xnh  {

tqs

wy^

s n t

n^

s _  

{yj–n^ˆn

\ ^  ¤s

z t _ˆ_

 

nˆx sBt

zN^Nwk

s

^§±@¤ºA@¤§jÁz

t

_ˆ_

 

n›_0^`{Xncx st

n t z t ”  h

½ ­

©`®N¯Q±¹ªX³  ¢™S 

njQw_

 

nh&^Nlq^Nz`k8n  —t

{8h  {

˜¥\8 

z \ { t {XÆ

™j  

”—^Nw¸xyj s n  z  

xyj{Xnh&z`j{y{

t

n£wy^Nz

 

wy^ŸCB

\

^`{gh›k8z

\

jh

 

n›kyjQn  •t

{

t

zNz`k

s

h`§{

t

{XÆ

™j  

”•^NwÒxyj s n  z  

xyj{Xnhz`jX{y{

t n s

^N”•^`jQhi^

s

^Nh t k s

zN^Nh0n

\

^NpÖjQz k

 žs

^Nw

™Ltqs

^Nl8zN”¤k8h

 

œ^k8h^

t

{À…Ä^

\

jQ”

™¥tQ™

n \

^¥n

s

j{8h›jQzNn  •t

{$Ÿ

[\8 

h{

t n t

{8”•pŒx

s

^Nœ^`{Xnh!n

\

^z

t

{8zN^

s

{8^NwŒn

s

j{8h›jQzNn  —t

{

™ÃsBt

_ n^

s _  

{yjQn

 

{8‰m…yk8njQ”•h t x s

^NœX^`{nh

t n \ ^ s n s

jX{8h›jQzNn  •t

{8h

™ st

_>jQzNzN^Nhh

 

{8‰”

t

zÔ¦–^NwwjQn›jğ

[\

k8h  n  h

\8 

‰ \

”—pUwy^Nh  ¤s

j…8”•^n

t

wy^Nœ

 

h^{

t

{XÆDž8”

t

zÔ¦

 

{8‰cjQn t _  z

z t _ˆ_

 

n›_0^`{XnD  { h

\8tqs

n

3%EF%G

x sBt

n t z t

”•h`§±@æºH@æ§Èx st

n t z t

”•hˆn

\

jQnˆ^`{8h<k

s

^n

s

j{8h›jQzNn  •t

{8h

˜ 

”—”n^

s _  

{yj–n^IL…Xp

z t _ˆ_

 

nn

 

{8‰

tqs

jX… tqs

n  

{8‰Jwy^Nh›x

 

n^ˆj{Xp

™ j  

”žk

s

^chizN^`{yj sB •t

Ÿ¥ƒ8^NœX^

s

jQ”

3%E2F%G

x

sBt

n t z t

”—h(²z`jQ”•”•^Nwց

r Ð x sBt

n t z t

”•h"

\

j‘œ^0…y^N^`{šwy^Nh

 

‰q{8^NwÀjX{8w

 

_ˆx8”•^`_0^`{Xn^NwŸ*&jQh

 

z`jQ”•”•p¸n

\

^NpÅjQwyw

\

j{8wy”

 

{8‰

tQ™™

j  

”¤k

s

^0hzN^`{yj sB •t

hn

t

jg~

r

УÆÔ

 

¦Q^

x

st

n t z t

”j{8wÅk8h^0z

t

_x8”—^NlŒh<ky…XÆÇx sBt

n t z t

”•hn

\

jQn¥_j¦Q^n

\

^`_ w  ¢¡

z`k8”•nn

t

ky{8wy^

s

hn<j{8w§x sBt

‰ s j_Œ§yx

sBt

œ^j{8w

ni^Nhn`ŸÕ tqs

^ t

œ^

s n \

^Nhi^cx sBt

n t z t

”•h¥j–hh›ky_0^_

t8s

^

tqs

”•^Nhh

 

_ˆx8”

 z  

n”•pÅn

\

jQnn

\

^0ky{8wy^

s

”•p

 

{8‰Œw

 

hn sB 

…yk8n^Nw¸hp8hn^`_

 

hUhp¿{8z

\ysBt

{ t

k8hKB±@¤ºA@¤§3x sBt

zN^Nhhhz

\

^Nwk8”

 

{8‰Öwy^N”¤j`p8hcjX{8wÀ_0^Nhh›j–‰^0n

s

j{8h

™^ s

wy^N”¤j‘p8hcj

s

^gkyxyxy^

s

ÆDž

t

ky{8wy^Nw§!j{8w

n \

^Nh^…

t

ky{8wyhj

s

^¦8{

tQ˜

{Œj{8wk8h^Nw¸…pgn

\

^0x sBt

n t z t

”•h"NŸ

[o\8 

hxyjxÄ^

s&™Lt

z`k8hi^Nh

t

{gn

\ ^ 3%E2F%G

x

sBt

…8”—^`_ j{8w

t

{Œx st

n t z t

”•h¥n

\

j–nÈh

t

”•œ^

 n  

{šhpy{8z

\ysBt

{ t

k8h¥j{8wjQhip¿{XÆ

z

\ysBt

{ t k8h¥w

 

hn

…yk8ni^NwÖhp8hn^`_0hLNŸvzNn›kyjQ”•”•p§S{

t

{XÆDž8”

t

zN¦

 

{8‰Åx st

n t z t

”•h{8^NzN^Nhh

 

n<jQn^0n

\

jQnn

\

^cky{8wy^

s

”—p

 

{8‰¸hpqhÆ

ni^`_

t

^ s h&h

t

_0^

­

±M‘º`ªº<"£³+J¼ªµLº<º¥j…

t

k8n

™j  

”¤k

s

^Uwy^Nn^NzNn  •t

{$Ÿƒ8py{8z

\ysBt

{ t

k8h¥hipqhni^`_0h¥x sBt

œ   wy^Uh›k8z

\

j0‰qkyjÆ

s

j{ni^N^n

\

j{y¦Xh&n t n \

^kyxyxy^

s … t

ky{8wyh

t

{ˆhz

\

^Nwk8”

 

{8‰ j{8wŒ_0^Nhh<jQ‰^n

s

j{8h

™^ s

wy^N”¤j‘p8h;Lx sBt

n t z t

”•h&k8h^n

 

_0^

t

k8nh

n t h›j

™

^N”•pŒwy^Nn^NzNn

™ j  

”¤k

s

^Nh

 

{¸…

t

ky{8wy^Nw n  

_0^NŸv¥hip¿{8z

\ysBt

{ t

k8hhipqhni^`_0h¥w

t { t n \

j‘œ^0h›k8z

\ … t

ky{8wy^Nw wy^N”žj‘p8h`§

…yk8nUz`j{¸…y^g^

k  

xyxÄ^Nw

˜ 

n \ ky{

s

^N”

 

j…8”•^

™ j  

”¤k

s

^gwy^Nn^NzNn t8s

h`Ÿ0v

™ j  

”¤k

s

^wy^Nn^NzNn tqs

jQhh t z  

jQn^Nw

˜ 

n \ jgh

 

n^ˆz`j{

…Ä^h^N^`{šjQh¥j{N=

tqs

j–zN”—^?n

\

jQn‰

 

œ^Nh  n

\8 

{nih

t

{Áh

 

n^Nh tqs

xyj s n  z  

xyj{Xnh

 

n¥h›k8h<xy^NzNnhn tm\

j‘œ^z

s

j–h

\

^NwŸ!¾$j

 

”¤k s ^

OQP

ñ£ðR&ýAR"S3ë<ð`ðÃñBïLï3ôõý*S!T‘ôöïïS²îðU>S!TñCVWAXYoíQR[Z`óöñBì@ôõý*S!Tñ RýSLñBþS\R^]ÃñÇëió`_S²ôöì&ñ&ïUNïSLñBìÈï

äžý*S!THR<ïLñ!ïUNïSLñBì&ïð`ñBë<ðNóõôõýQñÇï

ë ÃñëaSSLë bTñBðcSR R<ìÈì£ôdSLì&ñ÷ýSLï

%e

TñCôõýSLñ ÃñBïSLñÇð ÃñBë›ð‘ñ Çëiý RýQï²î`ódSCfg‘é–ü<ù9h

Références

Documents relatifs

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655, avenue de l’Europe, 38330 MONTBONNOT ST

Unit´e de recherche INRIA Rennes, Irisa, Campus universitaire de Beaulieu, 35042 RENNES Cedex Unit´e de recherche INRIA Rhˆone-Alpes, 655 avenue de l’Europe, 38330 MONTBONNOT ST