Efficient Message Logging for Uncoordinated Checkpointing Protocols

HAL Id: inria-00073726

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

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.

Efficient Message Logging for Uncoordinated Checkpointing Protocols

Achour Mostefaoui, Michel Raynal

To cite this version:

Achour Mostefaoui, Michel Raynal. Efficient Message Logging for Uncoordinated Checkpointing Pro- tocols. [Research Report] RR-2972, INRIA. 1996. �inria-00073726�

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

Efficient Message Logging

for Uncoordinated Checkpointing Protocols

Achour Mostefaoui , Michel Raynal

N ˚ 2972

Septembre 1996

TH `EME 1

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

6&798:<;=#>?:A@CB'DFEHGI:<;JK%>?JL7M8DONQP4GORTS%GIN

UVW

XFYZX\[] ^`_XMaCXFbdc<e0XMfaghaCf

W

XFY&XMa

i,jlkIm

XMfnoTp

^bIpqp khj

foqX

j

XMr V X j r V

Xtsvu<wdxdydwz]|{<XFp<fXFY&}

j

X0[FxIxd~] [d[#pqbOdXMa

€ƒ‚M„F…‡†TˆO„d‰

nŠY&XMaCa‹bOdXŒaŽ’‘H“L”l•d’–Ž—“d˜Œ™f V&j

XMa'pqXMrMff

k

bdš

k

}qbOšqaf'bOfX,Œœ›ŒfCa,aXFs<oqŒs<#Œ™a

j

XMr k<j

oqXMožŒs4f

V

Œ™a,dš

k

}qbOš

aCf‹bOfXdŸ‡˜

V

Œ™š™X Œ™fa

j

XMrMXMŒ¡p<fŒ™a,s

k

f‡¢Q£

V

XMrM¤hp

k

ŒsdfCŒ¡s<&bOš™

khj

Ϊf

V

YZa

V

b‡¥dXf k šk

a‹c<r

V

Œ¡sI¦§f

j

bds<aŒ™f,Y&XMaa'bOdXMaƒŒ¡s khj

oqX j f k

j

XMaf khj

Xf

V

X,aCf‹bOfX

k

›Tr

V

bIsqs<XMša˜

V

XFs&br

k

Yžpqc<f‹b¨fŒ

k s V

bOaf

k

}’X

j

XMa‹cqY&XMo4›

j©k

Yªbr

k

s<aŒ™afCXFsdfdš

k

}qb¨šhaf'bOfX b«›¬fX

j

b­›®b¨Œšc j X V

b¨a

k

rMrFc jj

XMo%¢£

k<khj

oqŒsqbOfXMo?r

V

XMr¤<p

k

ŒsIfŒs<¯bOš™

khj

Œf

V

Y&a#š

k

°f V<k

aCX0ŒsI¦§f

j

bIs<aŒ™fZYZXMaa‹bOdXMa4XMeAb¨rMfš™g

k

s±aCf‹bd}<š™X&af khj

b¨dXd¢v²,XMrFbIc<aX

k

›,f

V

XMŒ

j

š¡b¨r¤

k

› agqs<r Vqjlk

s<Œ™³FbOfŒ

k

sŸƒcqs<r khkhj

oqŒ¡sqb¨fXMor

V

XMr¤<p

k

ŒsIfŒs<bOš™

khj

Ϊf

V

Y&a

r k s<aX

j

¥«b¨fŒ™¥dXMš™gš

k

0Y khj

X#YZXMaa‹bOdXMa‡¢

UV

ŒapqbdpqX j p j

XMaXFsIfabds`cqs<r khk<j

oqŒsqbOfXMor

V

XMr¤<p

k

ŒsIfŒs<0p jlk

f k r k

š´f

V

bOfš

k

dabOš™šTŒsI¦§f

j

bds<aCŒfY&XMaa‹bOIXMa bds<o

f V

Xva‹YžbOš™š™XMafvp

k

aaCŒ¡}<š™X0s<cqY&}qX jk

›,s

k

s`ŒsI¦§f

j

bds<aŒ™f#Y&XMaCa‹bOdXMaF¢µnab¶r

k

s<aXM·qc<XFs<rMXdŸ´f

V

X\p jlk

f k r k

ša'bF¥IXMaaf‹bd}<š™X

aCf khj

bOIX a'pqbOrMX¸bIs<o0XFsqbd}<š™XMa·qc<Œ™r¤¨X j j

XMr

k

¥IX

j

Œ™XMaF¢ƒn¸s`bdpqp jlk

p j

Œ¡b¨fXf

j

bOrM¤dŒs<

k

›¹YZXMaa‹bOdXrFbdc<a‹bOš´oqXFpqXFs<oqXFs<rMŒ™XFa

r k

s<afŒ™f‹c<fXMaf

V

Xvr khj

X k

›f

V

X#p jlk

f k r k

šL¢

º¼»h½¹¾H¿&À…«Áƒ‚d‰Â

Ϊaf

j

Œ}qc<fXMo{<ghafCXFY&aFŸT²bOrM¤d˜b

j

oÃ^XMr

k

¥dX

j

gd٣

k

s<aCŒaCfXFsdfvÄvš

k

}qb¨šQ£

V

XMrM¤hp

k

Œsdfa‡Ÿ%Åvp<fŒY&Œ™afŒ™r

{<XFs<oqX

j

¦H² b¨aXMoÃÆ

k

ddŒs<

ǗÈ&É

Ê©ËHÌFÍ

É

Ê,΃ϙËHЬÑFÒ

ÓÕÔQӗÖM×Ø«ÙÚ'Û,܇ݫރßFàáàlÚ݇âäãåàæÝhØhÔ¹à§ç‡ç«àlÞÙàlßFàlèOØ«é‡ê§ÚCç«ëlà'ìTíTÛÚCãäâîQïlð«ñMò'óFô'õFöMñC÷dødù—úMö'ûü«öMý'þFølúdølòMö<ÿ—õMú

Ú܇ܨàlÚCêQãäçOàqê MëlàlàlßMãäç'ÞTíÙ%ÙlçOßí’ÝFê CÜdàHÚCçƒàæÜdà§çOßFÚFâåàًÛÜFݗãäçÙç¡àæê§àæç«ëlàæØMëdàæê! " $#‡ì

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

#%$\ & , $& /0' $& T5

»q‚»?‰

Æ.XMa¸bOš™

k<j

Ϊf

V

Y&XMaoqXvo _Xs<Œ™fŒ

k

soqX&p

k

ŒsIfaoqX

j

XFp

j

Œ™aX&s,_XMrMXMaaCŒfCXFsdfšäXFs

j

XMdΪaf

j

XFY&XFsIfoqX4rMX

j

f‹bOŒs<a

YZXMaa‹bOdXMa4oqŒ™faF3“L”l•d’–Ž—“,bs oqX±p

k

c<¥

k Πj&j

XMaf‹bdc j X j

šl_XMf‹bOfvoqXMa&rFbdsqbdc<e?š

khj

a&oqX

j

XMr

k

c<¥

j

XFY&XFsIfažb jj

ΠW X j

XMaF¢

s YZXMaa‹bOdXXMaCfF “L”l•dq–MŽ—“,aŒa

k s _XFY&Œ™aaŒ

k s XMafžXFs

j

XMdΪaf

j _XMXoTbds<a`š&_XMf'bOf&dš

k

}qbOšoqX šœbdpqp<š™ŒrFb¨fŒ

k

s+bOš

khj

a

·qc<Xva‹b

j _XMrMXFp<fŒ

k

s`oqX4šXMafpqbOaF¢ÆXMa¸b¨š

khj

Ϊf

V

Y&XMar k<khj

o k

sqs,_XMaXFs

j

XMIŒaCf

j

XFsIfXMeAb¨rMfXFY&XFsIfXFs±Y?_XFY k Œj

Xaf‹bd}<š™X

š™XMa#Y&XMaCa‹bOdXMavXFs°f

j

bds<aΪf

j

XMšbOfŒ™¥dXFY&XFsIf\b¶šH_XMf‹b¨fdš

k

}qb¨šrFbOš™rFc<š‹_X0bOš

khj

a·qc<Xžš™XMa\bOš™

khj

Œf

V

Y&XMa#s k s r

khk<j

o k sqs_XMa

XFs

j

XMdΪaf

j

XFsIf#šb f k

f‹b¨šŒ™fq_X&oqXMaZYZXMaa‹bOdXMa‡¢±£XMf\b

j

fŒ™rMš™XdŸQo œcqs<X±pqb

j

fFŸ¹o _Xs<Œ™fžcqs<X0rMšbOaaCX0oqXY&XMaa‹b¨dXMa#·qc<Œ s<X

p’XFc<¥dXFsIf!XMf

j

X&XFs°f

j

bds<aCŒf4oTbds<a\bIc<rFcqs XMf‹bOfdš_

k

}qbOš,r k<V

_

X j

XFsIfvXMf#o åbIc<f

j

Xžpqb

j

fFŸƒp jlk

p k

aX0cqsb¨š

khj

Ϊf

V

Y&X`·Ac<Œ

s"XFs

j

XMdΪaf

j

X#pqb¨arMX#flgqpqXvoqX\YZXMaa‹bOdXMaXMfp’X

j

Y&XMfvbOŒs<aŒ%oqX j _XMoTc<Œ

j

Xvš

k

rMrFcqpqbOfŒ

k

s¼oqX#šbžY?_XFY k Œj

Xvaf‹bI}<šXd¢

# À´„F‚M¾ˆ%$»‰'&

s j XMdΪaf

j

XFYZXFsdf

k

p<fŒY&Œ™afXoqX¸YZXMaa‹bOdXMa‡Ÿ_XMf'bOfaƒdš

k

}qbdc<ežr khV

_

X j XFsIfaFŸdp

k

Œ¡sIfaoqX

j

XFp

j

Œ™aXdŸ

j

XMr

k

cI¦

¥ j

XFY&XFsIfb jCj

ŒWX j X

T%#$#ƒCv

£ V XMr¤<p

k

ŒsIfŒs<\bds<o`}qbOr¤I˜b j o j

XMr

k

¥dX

j

g&b

j

X˜XMš™šå¦H¤<s

k

˜s&fXMr

V

s<Œ™·Ac<XMa›

khj

p

jlk

¥<ŒoqŒs<›®bdc<š™fl¦§f

k

š™X

j

bds<rMXŒsžbOaCgAsI¦

r

Vqjlk

s k

c<avaghaCfXFY&aF¢

 c j

Œs<±f

V

XžXMe<XMrFc<fŒ

k s k

›bdsbdpqp<š™Œ™rFbOfŒ

k

s?br

V

XMrM¤hp

k

ŒsdfŒs<bOš™

khj

Œf V Y r k

Yžpqc<fCXMa\bds<o

a'bF¥IXMa Iš

k

}qbOš%r

V

XMr¤<p

k

ŒsIfa—Iš

k

}qbOš%af‹b¨fXMa

k

›Qf

V

Xvr

k

Yžpqc<f‹bOfŒ

k s k

s`af‹bd}<š™X#aCf khj

bOIXd¢!

V

XFs±b4›§bdc<š™f

k

rMrFc

j

aFŸTb

}qb¨r¤I˜b j o j

XMr

k

¥dX

j

g0bOš™

khj

Ϊf

V Y j

XMaf khj

XMa,f

V

Xvr

k

Y¶pqc<f‹bOfŒ

k

s¶Œsf

V

XvY

k

afcqp`f

k

oTbOfCXdš

k

}qb¨šr

V

XMrM¤hp

k

Œsdf›

jlk

Y

˜ V

Œr V f V

Œar

k

Yžpqc<f‹bOfCŒ

k

srFbds}’X

j

XMa‹cqYZXMo%¢

ndš

k

}qbOš%r

V

XMrM¤hp

k

Œsdf4Œar

k

Yžp

k

aXMo

k

›,fl˜

k

pqb

j

fCa"#©[ b¶š

k

rFbOšr

V

XMr¤<p

k

Œ¡sIf$—š

k

rFbOšQaCf‹bOfX › khj

XFbOr

V

bdpqp<š™Œœ¦

rFb¨fŒ

k

s0p j©k

rMXMaa‡ŸAbIs<o%Lw ,b4aXMf

k

›QY&XMaCa‹bOdXMa&—r

V

bdsqs<XMšaf‹bOfCX ƒ›

khj

XFbOr V r k

YžY&cqs<Œ™rFbOfŒ

k

s`r

V

bdsqs<XMšL¢('§sI›

khj

YžbOš™š™gdŸ

bZdš

k

}qbOšr

V

XMrM¤<p

k

ŒsIfŒ™ar

k

s<aŒ™afXFsIfŒœ›,f

V

Xvr

k

Yžpqc<f'bOfŒ

k

sr

k

c<šo

V

b‡¥dX#pqbOaaXMof Vqjlk

c<

V

Œ™fF¢

n šk f k › r V XMrM¤hp

k

ŒsdfŒs<±bOš™

k<j

Ϊf

V

Y&a

V

bF¥IX#}qXMXFs oqXs<XMo%¢

UV

XMgrFbds}’X#oqŒ™¥hŒ™oqXMoŒsIf

k

fH˜

k

rMšbOaaXMavbOrMr khj

¦

oqŒs<&f k f V

X˜bFg&š

k

rFbOšr

V

XMrM¤hp

k

ŒsdfCa b j XoqXMfCX

j

Y&Œs<XMo%¢)'æsžf

V

XrMšbOaa

k

›*d”dŽ´•d“¸b¨š

khj

Ϊf

V

Y&a,+.-qŸhx’Ÿ[‡y/lŸdf V X

oqXMfCX

j

Y&ŒsqbOfŒ

k s k

›Qš

k

rFb¨š%r

V

XMrM¤<p

k

ŒsIfa¸bIs<of

V

X#r

k

Y¶pqc<f‹bOfŒ

k s k

›ƒr khjj

XMa‹p

k

s<oqŒs<0r

V

bdsqs<XMšƒaf‹bOfCXMa b j XaCgAs<r

Vqjlk

¦

s<Œ™³MXMo Œ¡s¼a‹c<r

V

b&˜b‡gžf

V

bOff V X j

XMa‹c<š™fŒs<`dš

k

}qbOš%r

V

XMr¤<p

k

Œ¡sIfavb

j

X#bOš™˜b‡ghar

k

s<aCŒaCfXFsdf‡¢

UV

XZY¶bOŒs±oqŒ™a‹b¨oq¥«bdsIf‹bOdX

k

›,f

V

Œa#bIpqp jlk

bOr

V

Ϊavf

V

X&bOoqoqXMoagqs<r Vqj©k

s<Œ™³FbOfŒ

k s j

XM·qc<Œ

j

Œ¡s< r k sIf

jlk

šQYZXMaa‹bOdXMa

f V

bOfrFbds&aš

k ˜ o k

˜s khj

XM¥dXFs4›

j

XMXM³MXf

V

Xr

k

Yžpqc<f‹bOfCŒ

k

s4›

k<j

bvdŒ™¥dXFs&oTc

j

bOfŒ

k

s+åx0/H¢1'®fa Yžb¨Œ¡s¶bOoq¥«bdsIf‹bOIXŒ™a,f

V

bOf

f V

Xvš¡b¨afIš

k

}qbOš%r

V

XMr¤<p

k

ŒsIfr

k

Yžpqc<fXMo2®bOaŒ™fŒ™ar

k

s<aΪafXFsIf Ϊaf V X k

s<šg

k

s<Xvf

V

bOf

V

bOaf

k

}qX&¤OXFp<fŒ¡s¼af‹bd}<š™X

aCf khj

bOIXd¢43 khj

X k

¥dX

j

Ÿ´˜

V

XFs°b¶›§bdc<š™f

k

rMrFc

j

a‡Ÿf V X k

s<š™g±˜

khj

¤ k

›b0}qb¨r¤I˜b j o j

XMr

k

¥IX

j

gÃbOš™

k<j

Ϊf V Y r k

s<aŒ™afavŒs

Œs<af'bOš™šŒs<f

V

Œ™adš

k

}qbOšr

V

XMr¤<p

k

ŒsIf¸bIs<o

j

XMa‹cqYZŒ¡s<`f

V

Xvr

k

Y¶pqc<f‹bOfŒ

k

s¶›

jlk

YŒ™fF¢

'æs f V XrMšbOaa

k

›65hd”dŽ—T•d“r

V

XMr¤<p

k

ŒsIfŒs< bOš™

khj

Ϊf

V

YZa7+åw<Ÿ,~’Ÿ y<Ÿ(8hŸ[Fx<Ÿ,wq[9/HŸ p j©k

rMXMaaCXMa0a‹b‡¥dXš

k

rFbOš

r V XMrM¤hp

k

Œsdfa

k

saf‹bI}<šX&af khj

bOdXvŒs°bds¼Œ¡s<oqXFp’XFs<oqXFsdf4˜bFgd¢;:c j f V X j Y

khj

XdŸ’f

V

XMgÃbOš™a k šk

Y&XMaa‹bOIXMa

k

s¼af‹bd}<š™X

aCf khj

bOIX\a k f V

bOfvr

V

bdsqs<XMšaf‹b¨fXMavrFbds}’X0oqXMfX

j

Y&Œs<XMo%¢<!

V

XFsb­›®bOŒ™šc j X k

rMrFc

j

aFŸƒŒf&Œ™ažcqp°f k f V

X0}qbOrM¤d˜b j o

j

XMr

k

¥IX

j

gzb¨š

khj

Ϊf

V Y f k r k

Yžpqc<fXÃb r k

s<aŒ™afCXFsdf`dš

k

}qbOšaCf‹bOfX¼›

jlk

Yš

k

rFbOšr

V

XMr¤<p

k

ŒsIfa=+[8/#bds<oŠYZXMaa‹bOdXMa

a'bF¥IXMo

k

saf'bd}<š™X\aCf khj

bOIXd¢

UV

XžY&XMaCa‹bOdXvš

k

dIŒ¡s<fCXMr

V

s<Œ™·qc<X\Œ™avrFbOš™š™XMo3– F%F”C‘?>C•O– 6

j

XMa'p<fF¢#” ‡ŽA@F”C‘?>C•O–

Œœ›¸YZXMaa‹bOdXMa&b

j

Xžš

k

IdXMoz}Ig°f

V

XMŒ

j

aXFs<oqX

j

a7

j

XMa‹p<fF¢

j

XMrMXMŒ™¥dX

j

a 9¢

U ˜ k šk

dIŒ¡s<°fXMr

V

s<Œ™·Ac<XMa`b

j

X0p

k

aaŒ}<š™Xd¢='§s

f V XrFbOaCX

k

›B M–'–MŽAC&ŽÕ–“LŽD,š

k

IdŒs<TŸqY&XMaa‹bOIXMa b j Xš

k

IdXMo

k

sžaf'bd}<š™Xvaf khj

b¨dXbOff

V

XvfŒY&Xf

V

XMg­b

j

XaXFsIf&

j

XMa‹p<fF¢

j

XMrMXMŒ¥IXMoE M¢

UV

Œ™a#rFbds Œs<rFc j&V

Ϊ

V°k

¥dX jV

XFbOo°Œs ›§bOŒ™šc

j

X'¦L›

j

XMXžXMehXMrFc<fCŒ

k

s<aZb¨avXFbOr

V

aXFs<oqŒs<F

j

XMa'p<fF¢

j

XMrMXMŒ™¥<Œ¡s<G

XFsIf‹bOŒ™š™a±bds bOoqoqŒ™fŒ

k

sqbOšŒ¡sqpqc<fH

k

c<f‹pqc<fF¢

UV

Œ™aŒ™a˜

V g k

p<fŒY&Œ™afŒ™rY&XMaa‹bOIX±š

k

ddŒs<?fXMr

V

s<Œ·qc<XMa

V

b‡¥dX±}’XMXFs

oqXM¥IXMš

k

pqXMo%¢('§s¶f

V

bOfrFbOaXdŸ<˜

V

XFs`b&Y&XMaa‹bOIXŒ™aaXFsIfI

j

XMa‹p<fF¢

j

XMrMXMŒ™¥dXMoE MŸ’ŒfŒ™aa‹b‡¥dXMo

k

s0b4¥

k

š¡b¨fŒ™šXvš

k

žbds<o`f

V

Ϊa

šk

4Œ™a a'bF¥IXMo

k

s&af'bd}<š™Xaf khj

bOdX˜

V

XFs¶f

V

Xp j©k

rMXMaaf‹bI¤OXMa bš

k

rFbOš´r

V

XMrM¤hp

k

ŒsdfJLbOa,bOš™š%Y&XMaa‹b¨dXMa,b

j

Xa‹b‡¥dXMo%ŸOf V X

aCf‹bd}<š™Xvaf khj

bOdXr

k

sdf'bOŒs<abOš™šQŒsI¦§f

j

bds<aŒ™fY&XMaa'bOdXMa M¢

'æs`f

V

Œ™apqbdp’X

j

˜X¸b

j

XŒsIfX

j

XMafXMoŒs cqs<r khkhj

oqŒ¡sqb¨fXMor

V

XMrM¤<p

k

ŒsIfŒs<­bOš™

k<j

Ϊf

V

Y&a˜Œ™f V`k

p<fŒY&Œ™afCŒr4aXFs<oqX j ¦

}qb¨aXMo\Y&XMaCa‹bOdXš

k

ddŒs<T¢K!XoqXM¥dXMš

k

p&bfCXMr

V

s<Œ™·qc<XbOš™š

k

˜Œ¡s<#bp jlk

rMXMaaf

k

a‹b‡¥dX,f

V

X,a‹Yžb¨šš™XMaf,p

k

aaŒ}<š™Xs<cqY&}qX

j

k

› ¥

k

šbOfCŒš™Xžš

k

°Y&XMaa‹b¨dXMa

k

s°af'bd}<š™Xžaf khj

bOdXd¢

UV

Œ™a#a‹cq}<aXMf4Œ™a#r

k

s<aŒ™afCXFsdf4Œ¡s f V

XžaCXFs<aXžf

V

bOfvŒ™f4Œ¡s<rMšc<oqXMa0b¨šš

f V

X­Y&XMaCa‹bOdXMa&˜

V

Ϊr V b j

X`Œ¡sI¦§f

j

bds<aŒ™fž˜Œ™f V3j

XMa‹pqXMrMfžf

k

bIsdgr

k

s<aŒ™afXFsIf\Iš

k

}qbOšr

V

XMrM¤hp

k

Œsdf¶›

jlk

Y ˜ V

Œr V f V X

r k

Yžpqc<f‹bOfŒ

k

s`r

k

c<šo°}qX

j

XMa‹cqY&XMo%¢

UV

Œapqbdp’X

j

Ϊa,r

k

Yžp

k

aCXMo

k

›fl˜

k

YžbOŒsžpqb

j

faF¢ƒ{<XMrMfŒ

k

s0wŒsIf jlk

oTc<rMXMaf

V

XY

k

oqXMš

k

›oqŒ™af

j

Œ}qc<fXMor

k

Yžpqc<f‹b«¦

fCŒ

k

s<a bds<o&›

khj

Y¶bOš™šg¶oqXs<XMa f

V

Xr

k

s<aΪafXFs<rMg

k

›Qbdš

k

}qbOšTr

V

XMrM¤hp

k

ŒsdfF¢{<XMrMfŒ

k

s$4p

j

XMaXFsIfa,f

V

Xr

V

XMrM¤<p

k

ŒsIfŒs<

b¨š

khj

Ϊf

V

Y¢

L (Š #´ NM 5,O\5( *-#/`'

PKQSR T=UWVXZY[US\*]^X _E`ba$cdfe*]^X gEX UWch*V

n oqΪaf

j

Œ}qc<fXMop jlk

 j

bdY+Œ™a,Yžb¨oqXcqp

k

›ji¶aXM·qc<XFsdfŒbOš´š

k

rFbOšTp j©k

 j bdYZaQ˜

V

Ϊr

V

Ÿd˜

V

XFsZXMehXMrFc<fXMo%Ÿ<rFbds4r

k

Y¶Y\cqs<Œœ¦

rFb¨fX bds<o&agqs<r Vqjlk

s<Œ™³MX

k

s<š™gž}dg4XMehr

V

bds<dŒs<#Y&XMaCa‹bOdXMaF¢ƒn oqŒaCf

j

Œ}qc<fXMožr

k

Y¶pqc<f‹bOfŒ

k

s4oqXMar

j

Œ}’XMa,f

V

XXMe<XMrFc<fŒ

k s

k

›b¼oqŒ™af

j

Œ}qc<fXMo p jlk

 j bdY¢

UV

X`XMe<XMrFc<fŒ

k s k

›b¼š

k

rFbOšp jlk

 j

bdY dŒ™¥dXMa

j

ΪaX`f

k

baXM·qc<XFsdfCŒ¡b¨š p j©k

rMXMaa‡¢±ÆXMf

k^lmkKnmooopmkBq

}qX4f

V

Ϊas<ΪfX4aXMf

k

›,p jlk

rMXMaaXMaF¢^!X#bOaa‹cqYZXvf

V

bOfFŸqbOf

j

cqsI¦§fŒY&XdŸTXFb¨r V`khj

oqX

j

XMo±pqbOŒ

jk

› r k Y\¦

Y&cqs<Œ™rFbOfŒs<±p jlk

rMXMaaXMa$

krmkjs

Œa4r

k

sqs<XMrMfXMo}IgÃb

j

XMš™Œbd}<š™X0bds<ot:*'u:År

V

bIsqs<XMš*v r.s

f

Vqjlk

c<

V ˜ V

Ϊr VtkBr

rFbds

aCXFs<o¯Y&XMaa‹b¨dXMa#f ktkws

¢$3°XMaa'bOdX&f

j

bds<a'Y&Œ™aaŒ

k s oqXMš¡b‡g<a\b

j X s<Œ™fX­}qc<fžcqsqp

j

XMoqŒ™rMf‹bI}<šXd¢

i,j©k

rMXMaa4a‹pqXMXMoqažb j X

Ô¹Ô ç(x 9y$

O–M“M• 5<Ž •O´•

k^l

k

k n !#"%$'&(*),+-&.+-/

01 /2$3546"7985+

:;

/'8%+

*<

< < <

<

<

<

=

= =< <

>

?

?

? ?

?

:Ϊhc

j

X0[ "Æ

k

rFbOšƒaf‹bOfXMa

k

›,b4oqŒ™af

j

Œ}qc<fXMo°r

k

Yžpqc<f'bOfŒ

k

s¢

p k

aŒ™fŒ™¥dX#}qc<fb

j

}<Ϊf j b j

gd¢'æs

k f V X j ˜ khj

oqa‡Ÿdf

V

X#cqs<oqX

j

š™g<Œs<r

k

Yžpqc<f‹bOfCŒ

k

s0Y

k

oqXMš%Œ™abOaCgAs<r Vqjlk

s k c<a‡¢

ijlk

rMXMaaXMa

rFbIs&›§bOŒ™š%}dgžr

j

bOa

V

Œs<TŸqŒL¢äXd¢

V

b¨šfCŒ¡s<`p

j

XFYžbOf‹c

j

XMšgd¢

UV

Xš

k

rFbOšQp jlk

 j bdYbOaa

k

rMŒbOfXMo`˜Œ™f Vkr

rFbds`Œs<rMš¡c<oqX4aXFs<o%Ÿ

j

XMrMXMŒ¥IX\bds<oŒsIfX

j

sqbOš%aCf‹bOfXFY&XFsIfaA@<a

k

Y&Xvaf‹bOfCXFY&XFsdfCa rFbIs}qX\s

k

sI¦§oqXMfX

j

Y&Œs<Œ™afŒ™r l ¢

&

ehXMrFc<fCŒ

k s k

›.bIs&ŒsdfX

j

sqbOšLŸdaXFs<o k<jj

XMrMXMŒ™¥dXaf‹b¨fXFY&XFsIf,p jlk

oTc<rMXMabds4ŒsdfX

j

sqbOšLŸdaXFs<o k<jj

XMrMXMŒ™¥dXXM¥IXFsdfF¢ƒÆXMf

BDC

r

}qX4f

V

XEGF-H&XM¥dXFsIfp jlk

oTc<rMXMo}dg±p j©k

rMXMaa kBr

¢

UV

X4aXM·qc<XFs<rMXJI rLK

B l r B nr

ooo

B*C

r

ooo

r k

s<afŒ™f‹c<fXMaf V X V

Ϊaf khj

g

k › kr

¢MI Cr oqXFs

k

fXMaf

V

X#pqb

j

fŒbOš

V

Ϊaf khj

gNB

l

r

ooo

B Cr k › p jlk

rMXMaa kr

¢

Æ.XMfJO }’X0f

V

X0aXMf

k

›XM¥dXFsIfa&p jlk

oTc<rMXMo }IgboqΪaf

j

Œ¡}qc<fCXMo3r

k

Yžpqc<f‹bOfCŒ

k

s¢

UV

Œ™ažaXMf4Œa&af

j

c<rMf‹c

j

XMo3bOa\b

pqb

j

fŒbOš

khj

oqX

j

}IgÆ%bdYžp khj

f äarFbdc<a‹bOš%p

j

XMrMXMoqXFs<rMX

j

XMšbOfŒ

k s +[AP/HŸqoqXFs

k

fXMoRQ5SUT0bds<o oqXs<XMoÃbOa ›k

š™š

k

˜a"

B Cr SVB*W

s

Œœ›©ŸTbIs<o

k

s<š™g`Œå› "

[I¢X KRY

bds<oZE\[^]TŸ

khj

w’¢B Cr

Ϊaf

V

X4aXFs<oqŒs<

k

›µbžYZXMaa‹bOdX˜

V<k

aCX

j

XMrMXMŒ™¥hŒs<Œ™a_BDW s Ÿ

k<j

’¢`B*abJ"B Cr

ScB*ab#bIs<odB*abeSVB W

s

—f

j

bds<aŒ™fŒ™¥dXvrMš

k

a‹c

j

X 9¢

UV

X­pqb

j

fŒbOš

khj

oqX jgf

O K

O

m S r

k

s<afŒ™f‹c<fXMažb°Y

k

oqXMš

k

›f

V

X0oqΪaf

j

Œ}qc<fXMo3XMehXMrFc<fCŒ

k

s?Œf&Œ™ažbOaa

k

rMŒbOfXMo

˜Œf V ¢

PKQuP h,cjipglknmKXZgX _EVgwh `oh cjipglkIaqp*_ritse4cUShBX V

Æ.XMfulv

r

}’X0f

V

X0Œs<Œ™fŒbOšaf'bOfX

k

›¸p jlk

rMXMaa kr

¢ &

¥IXFsdfwB Cr

XFsIf‹bOŒ™š™a kr

a#š

k

rFb¨š,af‹b¨fXžr

V

bds<dX¶›

jlk

Yxu C#y

l

r f k u C

r "

u C

r

Ϊa#f

V

X\š

k

rFbOš,aCf‹bOfX k ›

kBrj

XMa‹c<š™fŒs< › jlk

Y Œ™fa4š

k

rFbOš

V

ŒaCf khj

gzI Cr

@%˜Xža‹b‡gf

V

b¨f{B*W

r > Ad[d–\“u|u C

r

Œå›}]z[oE%¢

:Ϊhc

j

Xž[oqXFp<Œ™rMfavb4oqŒ™af

j

Œ}qc<fXMo r k

Yžpqc<f‹bOfCŒ

k

s`˜

V X j

XXM¥dXFsdfCab

j

XoqXFs

k

fXMo±}Ig­}<šbOrM¤`p

k

ŒsIfabds<oš

k

rFbOšaf‹bOfXMa

}Ig=—˜

V

ΪfX khj

 j XMg

j

XMrMf'bds<hc<šb j } k

ehXMa‡¢

Æ.XMfZ~ }qX°f

V

X°aXMf

k

›ZbOš™šš

k

rFbOšvaCf‹bOfXMabOaa

k

rMŒbOfXMo ˜Œ™f

V b oqŒaCf

j

Œ}qc<fXMo r k

Yžpqc<f‹bOfCŒ

k s f

O?¢ Æ%bdYžp

khj

f äa

p j

XMrMXMoqXFs<rMX

j

XMš¡b¨fŒ

k

s`rFbds±}’X#XMe<fXFs<oqXMo±f k šk

rFbOšƒaf‹bOfXMaŒsf

V

X›

k

š™š

k

˜Œs<0˜b‡gw"

u C

r

SVu W

s{

B

CA€

l

r

SVB Ws

Æ k

rFbOš¹af‹bOfXMas k f j

XMšbOfXMoÃ}IgUQ5SUT0b

j

Xva'bOŒ™o±f

k

}qX IE5<”'”‡T“LŸ—oqXFs

k

fCXMo‚ *@qY k<j

X›

k<j

YžbOš™š™g "

u C

r

*u Ws_„ƒ

u

C

r

SVu Ws

bds<o

ƒ

u Ws

Scu

Cr

'æs:Œ™hc

j

Xž[IŸq˜X

V

bF¥IX{u

n

SVul…

n

bds<odu

l

*ul† ¢

n šk rFbOš,r

V

XMr¤<p

k

Œ¡sIf

k

›p j©k

rMXMaa kr

Œ™a\b`š

k

rFbOš,aCf‹bOfX k ›

kBr

a'bF¥IXMo

k

s°af‹bd}<š™XžaCf khj

bOIXd¢\{

k

Ÿ¹f

V

XžaXMf

k

›b¨šš

šk rFbOšƒr

V

XMrM¤hp

k

ŒsdfCaŒ™avf

V

c<ab¶a‹cq}<aXMf

k

›~v¢M‡

F

r

˜Œš™šƒoqXFs

k

fX4f

V

X{ˆ®¦§f V šk

rFbOšƒr

V

XMrM¤<p

k

ŒsIf k ›

kBr

@TΪfr khjj

XMa‹p

k

s<oqa

<'‰

«àæç «à CçF⋊4çCçAŒ—ßFà!Làæê§Û,ãäç‡ãåޗãëvÞLÚ$LàlÛ àæç LÞÚê§àŽ

Ê'‘§Ê.’ÐCʓ

ÞLÚ$LàHÛàæç LÞlØOàÜFê $ê§Ú'Û ãåÞ

є’Ê2‘§Ê•–’œËHÊ

ßFà!Làæê§Û,ãäç‡ãåޗãåë'ìZÓ

ÞLÚ$LàlÛà§ç LÞ "Oà§ê«ÚCçN—

Ê'‘æʒ™Ðʓ

ÚCê§àƒçCçAŒ—ßFà!Làæê§Û,ãäç‡ãåޗãåë «àƒÜ‡ê "Cê§Ú'Û3ãåÞl˜

ÌD™š™‹›

çCçAŒß‡àLàæê§ÛãäçFãåޗãåë'ì

ӝœQÔQÓÕ×