Consistent Checkpointing in Message Passing Distributed Systems

(1)

HAL Id: inria-00074117

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents

Consistent Checkpointing in Message Passing Distributed Systems

Roberto Baldoni, Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal

To cite this version:

Roberto Baldoni, Jean-Michel Hélary, Achour Mostefaoui, Michel Raynal. Consistent Checkpointing in Message Passing Distributed Systems. [Research Report] RR-2564, INRIA. 1995. �inria-00074117�

(2)

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

Consistent Checkpointing in Message Passing Distributed Systems

Roberto Baldoni, Jean Michel Helary Achour Mostefaoui , Michel Raynal

N˚ 2564

Juin 1995

PROGRAMME 1

(3)

(4)

() * +-,.0/1#2354

6798:<;>= 7@?ACBED79F!GIHJHLK'MN:CAOF'PQGERS!:<BUTV:WBEAO; XHJH

YZRS!7N[\;PQ7^]_= :L`aAO79[!GH_H<KPQGbRcS\:<BU6VA<XdFAOBHJH

e!fhgIiLfajkVkl#monqprfashtCuwvxl syvxzCfhlJ{|9jf}j~w~blJ~wlJ{ <9jc{xlJ{<l<gLClJl_{ CfClJ{xl>jz<lJvr{x<{xv lJklJ{u{hvxfhuOzlJ{

e!fxg ylJvx{rp <|

rj|C|NgIfhv<lfxl shtClJf}shtClWILnIzCuwm LInqI|9jiLlJ{

_>9 L¡dp¢iI~wgL9j~dshtCl sh£<|NgIuw<vg¤Uju{hvxfhuOzCvxl ¥s}gIkV|CzCvajcvxuwgIuw{jj${hlJvg¤~wgCsJj~dshtCl sh£<|NgIuw<vx{

¦

~gCsJjc~!{xvajcvxlJ{}§J!gLCl#|NlJf#|CfhgsylJ{x{>¨©rlJvxlJfhkuwCuwCis}gLC{xuw{hvxlJ<v#iL~gL9j~!shtCl sh£<|9gLu<vh{ uw{#j-uwk|NgIfhvaj<v

|CfhgIC~wlJkQ¤ªgIfdkZj<<uw{xvhfxuwCzCvhl #jc|C|C~wu«sJjvhugLC{

¦

lL¨iN¨^¤EjzC~wvE¬EvxgL~wlJfajc9s}lI<uw{xvhfxuwCzCvhl #<l_CzCiIiLuwCi9>|CfhgI|<¬

lJfhvxuwlJ{<lJvxl>s}vxuwgIClJv}sJ§J¨tCuw{|9j|NlJf¤®gCs}zC{hlJ{gL{hz9sht¯<lJvhlJfxkVuNjvxuwgLC{ ¨p'|Ofxl s}l><lJ9s}lfhlJ~«jvhugLgL

shtCl sh£<|NgIuw<vuw<vxlJfh°Ij~w{

¦

{hz9sht±uw<vxlJfh°Ij~w{jfhl{xlJvh{g¤lJ°Il_Wvh{|OfxgC<z9s}l><¯|OfxgCs}lJ{h{xlJ{V9lJvE²lJlJ³vE²Ug

{hz9sJs}lJ{h{xuw°Il~gCsJjc~9shtCl sh£<|9gLuwWvh{a§uw{uwWvhfxgC<z9syl jc9j9jc~wW´_l ^¨!µEvuw{{htCg²vxt9jcvUj~wgCsJj~NsxtOl sh£W|NgIuw<v

uw{#zC{hlJ~wlJ{x{

¦

uE¨lL¨Zuv$sJjCOgIv#|9jcfxvhu¶syu|Njvxluw±jcWs}gLC{xuw{xvhlJ<viL~wgI9jc~UshtCl sh£<|9gLu<v}§#u¸·¹{hgIkVl|9jcvxvhlJfx

gCsJs}zOfx{uwvxtCuw{|Cfxl>s}l <lJNs}l#fxl_~¶jcvxuwgI¨dtCl_jjLCj|Ovxuw°IlshtCl sh£<|NgIuw<vxuwCij~wiIgLfxuwvxtCk¢uw{uwWvhfxgC<z9syl ^¨

tCuw{j~wiIgLfxuwvxtCk-Wjc{x{hzCkuwCi|CfhgCs}lJ{x{hlJ{#v}j£Il$~wgCsJj~!sxtOl sh£W|NgIuw<vx{uw9<l_|9lJN<lJ<vx~w<9fhl ºLzCuwfxlJ{vhtClJk»vxg

v}j£Il

¦

jc{r¤®lJ²¼j{|NgI{h{xuwC~wl §jICuvhuwgI9jc~dsxtOl sh£W|NgIuw<vx{u¥gIfalJfvxt9jcv OgICl#gc¤U~wgCsJj~shtCl sh£<|9gLuwWvh{9l

zC{hlJ~wlJ{x{>¨#µEvru{r9j{hl ¥gIvhtCl|OfxlJ°LlJ<vxuwgI-g¤vxtOl|CfhlJ°<uwgIzC{h~ZkVlJ<vxuwgICl>|NjvxvhlJfx¨µE{xgLkl#{hlJC{xlL

vhtCuw{jc~wiIgIfhuwvxtCk»s}gIkOuOlJ{ jL<°Ij<vajciIlJ{gc¤U9gLvxts}g<gIf}<uw9jvhl ¯jc9¥zC9s}g<gIf}<uw9jvhl -sxtOl sh£W|NgIuw<vxuwCi

jc~iLgIfhuvhtCk{²uvhtCgIzOvUuwCtCl_fxuwvxuwCivhtClJuwf<faj>²NjIsh£<{ ¨

½V¾<¿^ÀxÁ#ÂNIÃ!¡ÄgLC{xuw{xvhlJ<vÅ~gL9j~NÄtCl sh£<|9gLu<vh{ CÆZlJ{h{ajciIl ÄgLkkzCOu¶s_jvxuwgÇW{hvxlJkV{ Lp Cjc|Cvxuw°Ll

ÄtCl>sx£<|NgIuw<vxuwCiNCÄjzC{}j~wuwvEW<Èjc|C|9l_Cl L¬E9ly¤®gIfhlÉolJ~«jvxuwgLd¨

Ê«ËÌ

ÍbÎEÏ Ð

Ì

ÍÑ\ÒwÎEÓEÔ}Õ

Öx×#Ø}ÙªÚ!ÛIÜ}ÙbÝßÞàÜ}áâáàã^äßåÛÛWØ}ÙEÝªæxç^èãdÝßéIæOêØ}áâáàØ}ëNÞâìIí^î^ÜJäßÞàï9ðæxäªæxÜ}ÙEïªé\ñïxÝßÞàØ}ìUòOÙbØ_í}ÙbÜyóäØ}êôÝßéIæNõCåÙEØ}ÛWæhÜ}ìöNØyóóUåìÞàÝ«ãL÷

ÝßéIæUø!öNù¢ÛÙEØ}ú®æhïxÝNåìIçæEÙdïhØ}ìÝ«ÙEÜJïxÝ^ûØüý þ}ÿEöNñdî^õNðdûõÜ}ìIçÝßéIæõ >òNðZÛÙbØ}úªæxïhÝNåìIçæEÙdïxØyìIçæEÙdïxØyìôÝßÙbÜ_ïxÝ

ûØüJýJÿ_î^ð^ñöNñü

ÖhÖ

«ð>ñIöNÜ}óÛåIä^çæî^æxÜ}åáâÞàæ åJý}ÿðdæ ììIæxädöNæhçæ>ÙEÜ}ìIïhæJü ðØ}èWæÙbÝªØî^Ü}áàçØ}ìÞIÞàäØ}ìáàæxÜ _ÞâìIíê¸ÙbØ}ó!ÞâÛIÜ}Ù#"

ÝßÞâóæEìÝ®Øç>ÞwìêwØ}Ù®óÜ_Ý«ÞàïEÜæ$_Þàä®ÝªæEóÞàäªÝßÞàïxÜ%^ìÞ&JæÙbäßÞàÝ«ãØyê ðØ}óæ')(WÜ>Ü}ÛÞàæ ì+*xÜ,_ÞàÜ->Ü}áàÜ}ÙªÞàÜ$..}ý,+/"«ÿJÿ. 021UðØ}óæ

«ÝªÜ}áàã_ü3NéÞàäÜyåIÝ«éIØ}Ù!ÞàäÜ}áàäªØäßåÛÛWØ}ÙEÝ®æhçrèôã$Üí}ÙbÜyìôÝ!Ø}êdÝßéIæ54 687

Î:9<;=9 6?>@A

9

687+@

=âÍCB ÍD=&=âÍ

Ë

9/EbÍ)F#E:GÍ

åìIçæEÙïxØyìôÝßÙbÜ_ïxÝ

ûØü0Jýüÿ2 0üöH.

(5)

¾¾¢¡ ©jO{zCCll}l syzCvxuwgI fClJ|9jcfxvhulLUzO |9gLuwWvl¯s}gI<vhfgI~wlZiI~wgL9j~lJ{hvZzC@lJC{xl_kC~wl

<l$|NgIuw<vx{ lÉs}gL<vxfgL~wl~wgCsJjz

¦ lJvajcvx{~wgCsJjz<9§_CzC-|9jfr|CfxgCs}l_{x{xzO{|9jcfxvhu¶syu|Nj<vÉj~l}l syzCvxuwgI¨dj

l_vxlJfhkuw9jvhuwgIzC|9gLuwWv$<ls}gL<vxfgL~wliI~wgI9jc~Us}gLtlJfxl_Wvl_{xv$zC|CfxgLC~blJkl$uwk|NgIfhvaj<v#CjcC{<l

CgLkCfxl_z< <gLkjcuOlJ{ÉsygI9s}l_fxlJ{¥|9jf~wlJ{Zj|C|C~wu«sJjcvxuwgIC{$fCl_|9jfhvxuwlJ{

¦

fClJ{xuw{xv}j9syl±jz< Ul}¤bjcu~w~«jNs}lJ{

kVu{hljz-|NgIuw<vfCl_|9jfhvxuwlIdl_vxl s}vhuwgI±<l$|CfxgL|Cfxu>lJvClJ{ lJvas¨â§_¨dÄlJvjcfxvxu«s}~wl#l_{xvs}gLC{ajLs}fCl¯jV~«js_j|CvhzCfxl

<lvxlJ~w{lJC{hlJkC~wlJ{s}gLtlJfhlJ<vx{ ¨

oClfxlJ~«jcvxuwgIZ<l|CfCl sNl <lJ9syl{hzCf~wlJ{uwWvhlJfx°Ijc~w~l_{UlJ{hvuw<vxfhgzCuwvxl

¦

zCZuwWvhlJfx°Ijc~w~lrlJ{xv~lJC{hlJkC~wl

<l_{lJ°^lJOlJklJ<vh{U|CfhgC<zCuwvx{|9jfzC|CfxgCs}l_{x{xzO{lJ<vxfxl#<l_z<É|NgIuw<vx{<l s}gL<vxfgL~wl~gCsJjcz<s}gIC{Cl s}zCvhu¸¤®{a§_¨

rZkgLWvhfxlºLzzC|NgIuw<vl s}gLWvhfgL~lr~wgs_j~^lJ{hvUuw<zCvxuw~wl

¦

slJ{xv ¬_jô¬ufhlCl|NlJzCvjc|C|9jfhvxlJOuf#j$jz9s}zO

|NgIuw<v<ls}gL<vxfgL~wliI~wgI9jc~Us}gLtlJfxl_Wv}§#{huUl_v#{xlJzO~l_klJ<v#{huUzC±sylJfxv}juwkgLvxu¸¤j|O|9jf}jwv#CjC{$s}lJvxvhl

fhlJ~«jvxuwgLd¨

ezCuw{ zO jc~iLgIfhuvhtCkl#jLCj|Cv}jvhuà¤<lsJj~«s}zO~U<l$|9gLu<v#<ls}gL<vxfgL~wllJ{hvs}gLC{xvhfxzCuwv ¨ÇCjIsht9jcWv$ºIzOl

<l_{|NgIuw<vx{<ls}gLWvhfgL~lV~wgs_jz<|9l_zC°IlJ<v lJvxfhl|Cfhuw{uw9l_|9lJNCjkVklJ<v|Njf$~l_{#|CfxgCs}l_{x{xzO{ UsylJz<<¬

s}u|NlJzC°Il_Wv!lJvhfxlV¤®gIf}sNlJ{jZ|CfhlJ9<fhl<lJ{$|NgIuw<vx{<lZs}gI<vhfgI~wl{hzC|C|C~>lJkVlJ<vajuwfhlJ{j#"N±<lkZjuw<vxlJCuwf

uw<°Ijfhu¶jc<vxl~«j-|CfhgI|Cfhu l_vCl{xzOu°Ijc<vxl%$'&(*)(,+.-0/213+,465879):/+,4;</=>7 =?/#):&=@+BA7DC:4E13+*(841F=?7

¦

~wl|CfhuNs}uw|9l

s}gLC{xuw{hvxl j¼lJ°<uvhlJf~gCsJs}zCfhfxlJNs}l z kgLvxu¸¤{xzC{ ¬bkVlJ<vxuwgIOl §J¨©rl|O~zO{ ~wlZCgLkCfxlZ<l|NgIuw<vx{<l

s}gL<vxfgL~wl~gCsJjcz<$¤®gIf}s9lJ{lJ{hvjczC{x{huC¤EjuwC~wlºLzCl|NgI{h{xuwC~wlI¨,G!,"9¯jsht9jLºIzOl|9gLu<vUls}gI<vxfgI~wl~wgCsJj~Cl_{xv

jc{x{xgCs}u>lI<<9jcku«ºLzClJkVlJ<v hzC°Il s}vhlJzCf!~wgCsJj~<Ul:"9Cuw{h{aj<vzC#|NgIuw<vd<lUs}gLWvhfgL~l!iL~gL9j~IsygItlJfhlJ<v ¨HG

s}l{hlJC{>Is}lJvUjc~wiIgIfhuwvxtCkVl\s}gLkCuwCl!~l_{j>°Ijc<vajiLlJ{\lJ{j~wiIgLfxuwvxtCkVlJ{ds}g<gIf}<gIOlJ{!lJvCgL<¬xs}g<gIfagICl_{

{}jC{rlJj>°IgIuwf~wlJ{uw9s}gI<°lJCuwlJ<vh{ ¨

IQÂNô_Àa 2JK¾Z¡egLu<vh{U<ls}gLWvhfgL~lsygItlJfhlJ<vx{><p~wiIgLfxuwvxtCkVlUjIOj|Cv}jvxu¸¤aÄjczC{ajc~uwvClIIÄgIkVkzCCuwsJjvhugL

|9jcfklJ{h{ajciIlJ{>9e!fCl sNl <l_9s}lsJjczC{ajc~lL¨

(6)

>ÂdÃ c«Â

Â EJ>¾ ^¾WÂ ¾ "!$#Â %

O¨wm ©ruw{xvhfxuwCzCvhl ZÄgIkV|CzCvajcvxuwgIO{'&(&&)&*&)&&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&&

O¨â ÄtOl sh£W|NgIuw<vx{'&&(&&&(&&&&(&&)&*&)&&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&&

O¨âC¨wm ^gCsJj~djc9ZÅ~wgI9jc~ ÄtOl sh£W|NgIuw<vx{+&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&&

O¨âC¨â ÄtCl sh£<|9gLu<vµE<vxl_fx°Ij~w{,&&)&*&)&&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&& -

O¨âC¨. e!fxl syl <lJ9syllJ~«jvhuwgIgLÄtCl>sx£<|NgIuw<vµE<vxlJfh°Ij~w{/&)&&(&&&&(&&&(&&)&& -

O¨âC¨ Ç<l ºLzClJ9sylJ{g¤Æ lJ{x{}jiIl_{0&)&*&)&&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&& 1

O¨. ÄtNjfajLs}vxl_fxuw´JuwCiÄgIO{xuw{xvhlJ<v Ç<lJvh{gc¤ ^gCsJjc~\ÄtCl>sx£<|NgIuw<vx{2&)&&(&&&&(&&&(&&)&&

Ã3#!54N¾ ¾C "!$#Â6

"

87

J

7

ÂN9®

O¨wm efxuw9s}uw|C~wlg¤!vxtCl#pr~wiIgIfhuwvxtCk $p°LgIu«<uwCiolJ²uw9<uwCie\jcvxtC{0&&(&&&&(&&&(&&)&& mIm

O¨â ÇvxfajcvxlJiLuwlJ{vhgp°IgLu«l_²uN<uwCiÉe!jcvxtC{'&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&& m

O¨âC¨wm e!fxlJ°LlJ<vxuwCiÄjczC{ajc~\l_²uN<uwCie!jvhtC{:&(&&&)&*&)&&(&&&&(&&&(&&)&& m

O¨âC¨â e!fxlJ°LlJ<vxuwCi<;ogI<¬xsJjzO{aj~!lJ²uw9uOiÉe!jvhtC{=&&)&*&)&&(&&&&(&&&(&&)&& m

O¨.?>OgIfhkjc~9©rlJ{as}fhuw|CvxuwgI¥g¤\vhtClp~wiIgLfxuwvxtOk?&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&& m1

O¨ efxg<g¤g¤!vxtClp~wiIgLfxuwvxtCk@&&&(&&)&*&)&&&(&&&(&&&)&*&)&&(&&&&(&&&(&&)&&»BA

C Â 2J®Â

D E *V.-,

tClZCgLvxuwgIgc¤s}gLC{xuw{hvxlJ<viI~wgL9j~UshtCl>sx£<|NgIuw<v

¦

jc~{hgfxly¤®lJfxfhl @vhg jc{És}gLC{xuw{hvxlJ<viL~wgI9jc~{xv}jvxl>§$u{

¤®zO9CjkVlJ<vajc~IvxgkZj<uwk|NgIfxv}j<vdjfhl j{g¤ <uw{hvxfxuwCzOvxl {x<{xvhlJk{!{hz9shtÉjc{\|Njfajc~w~l_~jc9#<uw{hvxfxuwCzOvxl

<l_CzCiIiLuwCi

¦F

G F

mImHG®§J<<uw{xvhfxuwCzCvhl Zs}gIkV|CzCvhuOi

¦F

mGx

F

Gx

F

-G®§_L¤bjzC~wv¬bvhgI~wlJfajc9s}l

¦F

IGx

F

mGx

F

mJ"Gx

F

m>G

F

m-G®§_I<lJvhl s}vxuwgLg¤^{xv}jC~wl|CfhgI|NlJfxvhuwlJ{

¦F

G F

"G®§_lJvasc¨Ip =>/):&2=)*7:):-0/213+,4Nu{j~wgCsJjc~C{xv}jvxlgc¤ |OfxgCs}lJ{h{

jc9ZjJ=?/K &2= )L07:)L -*/13+04

¦

gLfiI~wgI9jc~9{hvajcvxl §ou{j${xl_vg¤!~wgs_j~dshtCl sh£<|9gLuwWvh{ OgIClr¤®fhgIkl jLsht|OfxgCs}lJ{h{

s}gLC{xvhuwvxzCvhuOi vhtCl<uw{xvhfxuwCzCvhl s}gLk|CzCv}jvhugLd¨Jp@iL~gL9j~<shtCl sh£<|9gLu<vuw{s}gLC{xuw{xvhlJ<vu¸¤a_¤®gIfjc~~<uwvx{!~wgCsJj~

shtCl sh£<|NgIuw<vx{ NCggLClJ*&:-H-*7+,CM:7ON/;:7

¦PF

G®§jOgIvxtOlJf Oub¨lI¨OvxtCl_fxljfxlCgklJ{h{ajciIlJ{

¦

gIf{hl ºLzClJ9sylgc¤

kVlJ{x{}jiIl_{a§{xlJ<vj>¤®vhlJfj~gCsJjc~9shtCl sh£<|9gLuwWvjN$fxl s}l_u°Ll V9ly¤®gIfhl jOgIvxtOlJfUgLClI¨LµE<¤®gLfxkjc~w~<JjiI~wgI9jc~

shtCl sh£<|NgIuw<vu{s}gLC{xuw{xvhlJ<vu¸¤\vxtOl s}gLk|CzCv}jvhugLkuwiIt<v!t9j>°Ll|9jc{x{xl>vhtCfxgLzCiItVuwv ¨>CgLfxkjc~wu´>jvxuwgLC{dgc¤

vhtCl#CgLvxuwgIVg¤sygIC{hu{hvxlJ<vriI~wgI9jc~dshtCl sh£<|9gLu<vh{sJjZNl¤®gIzO9uw

F

G F 1Gj9

F

m>Gx¨

Æ¥j< jc~wiIgIfhuwvxtCkV{ tNj>°IlNlJlJ@|CfhgI|NgI{hl ³vxg¯<l_vxlJfhkuwClsygIC{hu{hvxlJ<viL~gL9j~shtCl sh£<|9gLuwWvh{ ¨RQj>¬

{hu¶s_j~w~wl jIsht |CfhgCs}lJ{x{'S8Tuw{j{x{hgCs}u«jvxl>±²uwvht jsygI<vxfhgI~w~wlJfVUXWT#vht9jv{hlJ~wl s}vh{{hgIkVl~wgCsJj~{hvajvhlJ{

gc¤)SYTjc{NlJuwCi~wgCsJjc~UshtCl sh£<|9gLu<vh{ ¨tClJ{xlshtCl sh£<|NgIuw<vxuwCi¯jc~iLgIfhuvhtCk{s_j±Nl<uw°<u«<l -uw<vxgZvE²Ug

s}~«jc{x{xl_{jLsJs}gIf}<uwCi#vhg#vxtCl²j>#~wgCsJj~NsxtOl sh£W|NgIuw<vx{jfhl<lJvhlJfxkVuOl $vxgsygIC{hvxuwvxzCvhl s}gLC{xuw{hvxlJ<viI~wgI9jc~

shtCl sh£<|NgIuw<vx{ ¨

(7)

µEvhtCls}~«j{x{g¤ ):/#/; 5213+&47:5j~wiIgLfxuwvxtOk{ JlJvxlJfhkuw9jcvxuwgIg¤N~gCsJjc~CsxtOl sh£W|NgIuw<vx{W$s}gI<vxfhgI~w~wlJfx{

uw{U{hWNsxtOfxgIOu´_l Zuw{xz9shtj²j>vht9jvvxtClfhlJ{xzC~wvhuOiiL~gL9j~^shtCl sh£<|9gLuwWvuw{UiLz9jf}j<vxl_l Vvxg$9l

s}gIO{xuw{xvhlJ<v

¦PF

IG F

G®§J¨

µEvxtOls}~«j{h{g¤@(,+):/#/; 5213+&47:5#jc~wiIgIfhuwvxtCkV{ l jLsht¯s}gI<vhfxgI~w~wlJfUWT<lJvxl_fxkuwCl_{ C²tOlJClJ°LlJfuv

²jc<vx{ ~gCsJjc~sxtOl sh£W|NgIuw<vx{$g¤|CfxgCs}lJ{h{<S8Tx¨^tClJ^²tClJ±jZs}gLC{xuw{xvhlJ<viL~wgI9jc~\shtCl sh£<|9gLuwWvu{

fxl ºLzCuwfhl ^<uwv!t9j{vhg#Nl s}gLC{xvhfxz9s}vhl ¤®fxgLk¼vhtCl j>°Ijcu~«jcC~wl{xlJvg¤^~wgCsJj~9shtCl>sx£<|NgIuw<vx{>¨<tCuw{vajc{x£

uw{ jIshtCuwlJ°Ll Z<jcjIC<uwvhugL9j~^|OfxgIvhgCs}gI~ECvht9jvsJj¥9lsylJ<vxfajc~wu´_l Zu¸¤~gCsJjc~\shtCl sh£<|NgIuw<vx{ jcfxl

{xlJ<vrvxgj$iL~wgI9jc~^kjNjiIl_f LgIf u{hvxfhuOzCvxl uà¤!l jIsht¯sygI<vxfhgI~w~wlJf£LlJlJ|C{ruvh{~wgCsJj~dshtCl>sx£<|NgIuw<vx{>¨

tCl|NlJfhugC<u«sVsxtOl sh£W|NgIuw<vxuwCi-j~wiIgLfxuwvxtCk j9³zC{h{xlJ~w~{j~wiLgIfxuwvhtCk

¦F

m_"G®§#jfhl²lJ~w~à¬E£<Cg²

l}9jkV|C~wlJ{Ugc¤\{hz9sht¯js}~«j{h{ ¨

pr~wiIgIfhuwvxtCkV{g¤vhtCl"9fh{xvs}~«j{x{$iIzNjfajc<vxlJlI &-; 1/2; 1«^vht9jv$j~w~vxtOl~wgCsJj~UshtCl>sx£<|NgIuw<vx{²uw~w~!9l

(8C7N(K=

¦

uE¨lL¨Cj<~wgCsJj~dshtCl>sx£<|NgIuw<vvajc£IlJ<js}gL<vxfxgL~w~l_f²u~w~N9lklJkNlJfgc¤j$s}gLC{xuw{xvhlJ<viI~wgI9jc~

shtCl sh£<|NgIuw<va§J¨ tCuw{uw{gLCvajcuOl Z<js}g<gI|NlJf}jvxuwgL¯NlJvE²lJlJs}gI<vxfhgI~w~wlJfx{#$N²tClJ-vxtClJ¥vaj£LlshtCl sh£L¬

|NgIuw<vx{vxtClJ{hWNsxtOfxgIOu´_lvxtCl_uf!jIs}vhuwgIC{J{xzNsxtjs}g<gI|NlJf}jvxuwgL uw<°IgL~w°IlJ{djLC<uwvxuwgINj~Is}gLWvhfxgL~Ikl_{x{ajciIlJ{

jc9¯lJ~«j>W{>¨^p~wiLgIfxuwvhtCk{rg¤UvhtCl{xl sygI9³s}~«j{x{#j>°LgIu«ZvxtOu{{x<9shtCfxgLCuw´ jvhuwgI-CzCv ²tClJ±jZs}gIO{xuw{E¬

vhlJ<v#iI~wgINj~shtCl sh£<|9gLu<vuw{fxl ºLzCuwfxl>^duwvrt9j{#vhgZ9l$CzCuw~wvW¥|Cuwl s}uwCiZvxgLiIlJvhtClJf#~wgCsJj~shtCl sh£<|NgIuw<vx{

|CfhlJ°<uwgIzC{h~¥vaj£LlJd¨^µª¤{xgIkVl#~wgCsJj~shtCl sh£<|9gLuwWvh{#t9j>°Ll#CgIvNlJlJv}j£Il_

¦

gIfl ºLzCuw°Ij~wlJ<vx~wZkl_{x{ajciIlJ{

t9j>°LlOgIv9l_lJ~wgIiIiLl C§ovxtClJfhluw{ Ogs}lJfhvajcu<vE-vxt9jcv jZs}gLC{xuw{xvhlJ<v#iI~wgL9j~!sxtOl sh£W|NgIuw<v#sJj-NljIsh¬

vhz9j~w~wCzCuw~wv u¥¤bjLs}v ^{hgIkVl~wgCsJj~sxtOl sh£W|NgIuw<vx{$kj>V9l (8C7=?7DC:C uw-vxtCl{hlJC{hlvht9jvvhtClJ±sJjcCCgIv

NlJ~wgICiZvhgj<s}gLC{xuw{xvhlJ<viI~wgI9jc~\shtCl sh£<|NgIuw<v

¦

uwvxtCls}gLWvhl}Cvg¤¤bjczC~wvE¬EvxgL~l_faj<v{hW{hvxlJkV{ N9jc{xl

gLNjIsh£<²jcfaVfxl syg°IlJfhWOvxtCuw{<f}j>²9jIsh£uw{sJj~w~wl 95H/ 1F+/E7@7:):4

¦PF

mG®§h§J¨

µEvxtCuw{d|Nj|NlJf!²UljfhlUuw<vxlJfhlJ{xvhl $uw<lJvhlJfxkVuwCuwCis}gIO{xuw{xvhlJ<viI~wgINj~IshtCl sh£<|9gLuwWvh{g¤9<uw{hvxfxuwCzOvxl

s}gLk|CzOvajvhuwgIC{WzC{xuwCij &H5H&D-*417klJvhtCgC^¨>µE{hz9shtjjc|C|Cfxg<jIshtdIsygI<vxfhgI~w~wlJfx{!kj>rvajc£IlgIf!CgIv

~wgCsJj~sxtOl sh£W|NgIuw<vx{$uw jc±jfhCuwvxfajcfx²j><-zC{xuwCijzO9s}g<gIf}<uw9jvhl shtCl sh£<|9gLu<vhuOi¯j~wiIgLfxuwvxtOk

¦

u¥¤bjLs}v ^uw¯jVfhl j~zO{xlI^vhtClJ{hlj~wiLgIfxuwvhtCk{<l_|9lJN-gI-vxtCljuwk»g¤vxtOlÉshtCl sh£<|NgIuw<vxuwCi$ fxl s}g°LlJfx<

<l_vxl s}vhuwgIgc¤|OfxgI|NlJfhvxuwlJ{ NlJv}sJ§J¨NµEs}gLC{xl ºLzCl_9s}lIdjLsJs}gLfa<uwCivhgsJjzC{}j~!<lJ|NlJ9<lJNs}lJ{#gLvxtOlJ{xl$zC<¬

s}g<gLfa<uw9jcvxl @~wgCsJjc~sxtOl sh£W|NgIuw<vx{>{hgIklVg¤#vxtOlJk s_j@9l¥zC{xlJ~wlJ{h{ ¨tCl¯jLCj|Ovxuw°IlZsxtOl sh£W|NgIuw<vxuwCi

jc~iLgIfhuvhtCk ¤®gIf}s}lJ{vhtClJs}gI<vhfxgI~w~wlJfh{vxg$vaj£Ll

¦

j{¤®lJ²¢j{|NgI{x{huwC~wl §jICuvhuwgI9jc~9~wgCsJj~^shtCl sh£<|9gLuwWvh{uw

gLfa<lJfrvxt9jcvjc~w~^vxtCl~wgCsJj~^shtCl sh£<|9gLu<vh{Nl zO{xl}¤®zO~b¨<tOljLCj|Ovxuw°IlrklJvhtCgC|CfhlJ{xlJ<vhl uwVvxtCuw{|9j|NlJf

uw{9j{hl gLj#Cl>s}lJ{x{}jfhjN{xzs}uwlJ<vs}gL9<uwvxuwgLÉsht9jcfajIsyvxlJfhu´_uOizC{xl}¤ªzC~9~wgCsJjc~ shtCl sh£<|NgIuw<vx{ ¨<tOu{

s}gL9<uwvxuwgL¯uw{l}C|Cfxl_{x{xl>uw¯vhlJfxkV{g¤jV|Cfhl s}l <l_9s}lZfxlJ~«jcvxuwgI<l:"9Ol -gI)*7:):-0/213+,4'13+,4 7;&2=C ¦j

shtCl sh£<|NgIuw<vuw<vxlJfh°Ij~uw{#vxtClV{xlJv$g¤ jc~w~lJ°Il_Wvh{uw{h{xzCl < j¥|CfxgCs}l_{x{NlJvE²Ul_lJ±vE²g{xzNsJs}lJ{h{xuw°Il~wgc¬

sJjc~sxtOl sh£W|NgIuw<vx{}§ $^vhtCl$gs_s}zCfxfhlJ9s}lgc¤j{h|9l>s}u" s#|NjvxvhlJfx-uw<vxgvhtCuw{fhlJ~«jvxuwgLuw9u¶s_jvxl_{ ²tOlJvxtCl_fj

~wgCsJj~shtCl sh£<|NgIuw<vuw{zC{hlJ~wlJ{x{gIfOgIv ¨OpjICjc|Cvxuw°Llu{hvxfhuOzCvxl -shtCl sh£<|9gLuwWvhuwCijc~iLgIfhuvhtCkuw{vhtClJ

<l_{xuwiICl>¥¤®fxgLkvxtOu{Cl>s}lJ{x{}jfh±j9¥{xzsyul_Wv$s}gI9uvhuwgINuwvlJC{xzOfxlJ{$vxt9jcv ^vhtCl|9jcvxvxl_fxkl_Wvhuwg¬

Cl>±jNg°Il$²uw~w~\OlJ°IlJf$gCsJs}zCf$uw¯{h|Cuwvxlgc¤ojcfxCuwvxf}jfhu~wv}j£LlJ±shtCl sh£<|9gLu<vh{<vhtClzC9s}g<gLfa<uw9jcvxl

jc~iLgIfhuvhtCk¯¨

pruwk|NgIfxv}j<v|9gLuwWvg¤vxtClZj~wiIgLfxuwvxtCk ~wul_{#uwvxtCl¤bjIs}vvxt9jcvuwvjc{x{xgCs}u«jcvxlJ{>!gI<¬EvxtCly¬9jN

²uwvxtOgIzCv#<lJ~«j><C²uwvxt¥l jIsht~wgCsJj~shtCl sh£<|9gLuwWv

¦

vaj£LlJ-WZvhtClzC9s}g<gLfa<uw9jcvxl ¥gIf<ZvxtCljICjc|Cvxuw°Ll

shtCl sh£<|NgIuw<vxuwCij~wiLgIfxuwvhtCk§j$°Ll s}vhgIfgc¤~gCsJjc~dshtCl sh£<|9gLu<vrWzOk9lJfh{Uvht9jv<l:"9Oljs}gIO{xuw{xvhlJ<viI~wgc¬

9jc~dshtCl sh£<|9gLu<vvhg²tCu«sxtZvhtCl~gCsJjc~dshtCl sh£<|9gLu<vNlJ~wgICiL{ ¨<µEZvxtNjv{xlJC{hlINvxtCl#jLCj|Cvhuw°Il#j~wiIgLfxuwvxtOk

(8)

|Cfhg°<u¶lJ{ZvxtCl{}jkVl jL<°Ij<v}jiIljc{vxtOgI{xl-NlJ~wgICiLuOivxg±vhtCls}~«j{x{Vg¤s}g<gIf}<uw9jvhl Qj~wiIgLfxuwvxtCkV{ ¨

Èog²UlJ°LlJf NvhtCuw{ j~wiLgIfxuwvhtCkClJuwvhtClJfzC{xl_{jLC<uwvxuwgL9j~ds}gL<vxfxgL~dkVlJ{x{}jiIl_{CgLf jIO<{{hWNsxtOfxgIOu´>jvxuwgL

vhgvxtOl#zC9<l_fx~w<uOis}gLk|CzCv}jvhugLd¨LµEvgIO~Vfxl ºLzCuwfhlJ{klJ{h{ajiLlJ{gc¤vxtClsygIk|OzCvajcvxuwgIVvxg|OuiLiI<9jLsx£

s}gL<vxfxgL~!u¤®gIfhkjvhuwgId¨LµEZvxt9jcv{xl_C{xlI uvr|Cfxg°<u«<lJ{rvxtCl${ajckl#jI°Ij<vajciIlJ{jc{zC9sygWgLfa<uw9jcvxl ¥j~wiIgc¬

fhuvhtCk{>²tCuw~wlUl_C{xzCfhuwCiOg ~wgCsJjc~9shtCl sh£<|9gLu<vuw{zC{xl_~l_{x{ ¨<t<zC{>IvhtCl|CfhgI|NgI{xl>j~wiLgIfxuwvhtCk¼s}gIkV|C~wuwlJ{

l}9jLs}vx~w-²uvhtvxtOl|CfxgL|9lJfhvE sht9jcfajLs}vxlJfhuw´JuwCizC{hl}¤®zC~UshtCl>sx£<|NgIuw<vx{>¨d!ggLzCf#£<Cg²~wl <iLlINvxtCuw{uw{vxtCl

"9fh{xv<uw{xvxfhuwCzCvxl>shtCl sh£<|9gLu<vhuOiÉjc~iLgIfhuvhtCkjLsxtOul_°WuwCi$vxtOu{iLgWjc~b¨

tOl|9j|NlJfuw{<uw°<u¶l $uwWvhgvE²gkjuw#|Njfxvh{ ¨>ufh{xv>IÇ<l s}vhuwgIruwWvhfxgC<z9sylJ{jo¤®gLfxkZj~¤ªfajkVlJ²gIfx£

vhg{xvxzN<¹s}gLC{xuw{hvxlJ9sy¹gc¤ iL~gL9j~shtCl sh£<|9gLuwWvh{$j-|Cfxl syl <lJ9sylfxlJ~«jvhuwgI±gL¹shtCl sh£<|NgIuw<vu<vhlJfx°Ijc~{

uw{<l:"9Cl>¹jc9vhtClOl s}lJ{h{ajfh j9 {xzs}uwlJ<vs}gIN<uwvxuwgI±sht9jcfajIsyvxlJfhu´_uOizC{xlJ~wlJ{h{shtCl sh£<|9gLu<vh{u{

{hvajvhl ¢jN@|Cfxg°Ll ^¨tOlJdÇ<l s}vhuwgI ±|OfxlJ{hlJ<vx{vhtCl jLCj|Ovxuw°Il¯shtCl>sx£<|NgIuw<vxuwCi j~wiLgIfxuwvhtCk vht9jv

fhl ºLzCuwfxlJ{|CfhgCs}lJ{x{hlJ{vhgv}j£LljIC<uwvhugL9j~NsxtOl sh£W|NgIuw<vx{jNj{h{xgCs}u«jvhlJ{ <²uwvhtl jIsht~wgCsJjc~ shtCl sh£<|NgIuw<v

j#sygIC{hu{hvxlJ<viI~wgINj~CshtCl sh£<|9gLu<vvxg#²tOu¶sht$uwv9l_~gLCiI{vxtOu{Ç<l s}vhugLiLu°LlJ{j~w{xg$j sygIfxfhl s}vhClJ{x{r|Cfxg<gc¤

gc¤vhtCl#j~wiIgLfxuwvxtOk¯¨

#$ /V»¼Z

!#"$ %

p<uw{hvxfxuwCzOvxl ³s}gIkV|CzCvajcvxuwgI±sygIC{hu{hvx{gc¤ j!"9Ouvhl{hlJv<S»gc¤'&@|CfxgCs}l_{x{xl_{(9S)+*PS-,.*"&"&&*PS$/10vht9jv

s}gLkkzCOu¶s_jvxlj9 {x<9shtCfxgLCuw´Jl$gIC~w<Vl}9sxtNjCiLuOikl_{x{ajciIlJ{>¨2ljc{x{hzCklvxtNjvl>jIsht¯gLfa<l_fxl

|9jcuwfgc¤|CfhgsylJ{x{hlJ{¯uw{s}gLCCl s}vhl Q<'jQj{x<9shtCfhgICgLzC{fhlJ~wu¶jcC~wl¯jN'<uwfhl s}vxl>Q~gLiIu«sJjc~ sht9jOClJ~

²tCgL{xlVvxfajcC{xkVuw{x{xuwgL <l_~¶j><{jfhlzCC|Cfhl <u«s}vajcC~wlCzOv'"9OuvhlI¨GjIsht±|OfxgCs}lJ{h{fxzCC{$gI±j |CfxgCs}lJ{h{xgLf

jc9$|CfxgCs}l_{x{xgLfx{<gCgIvtNj>°Ilj{ht9jfhl kVlJkgLfx<JvxtOlJfxlru{Cg#NgIzC9¤ªgIfvhtClJuwffxl_~¶jcvxuw°Il{h|9l_l <{jN

vhtClJV¤bjuw~^jIsJsygIfauOivxgvxtOl¤Ejuw~¸¬b{hvxgI|VkgC<lJ~

¦PF

m>Gß§_¨

p@|CfhgCs}lJ{x{sJjcl}Cl syzCvxlru<vhlJfx9jc~E {hlJ9jc9lJ~wu°LlJfx{xvajcvxlJkVlJ<vx{>¨ pruwWvhlJfxNj~<{xv}jvxl_klJ<v<g<lJ{

CgLvuw<°IgL~°Ll#s}gIkVkzCCu«sJjvhuàgLd¨32 tClJ S T l}Cl syzCvxlJ{$j{xl_9Z{xv}jvhlJklJ<v C7+54 !5!4 /*S76$uwv|OzCvx{rvxtCl

kVlJ{x{}jiIl98uw<vxg$vxtCl$sxtNjCCl_~^¤®fhgIk S T vxg<S16<¨:2 tClJ'S T l}Cl s}zCvhlJ{vxtCl{xvajcvxlJkVlJ<v 5H7=17;34H5ILuv

uw{C~wgCsh£Il Vvxuw~w~djv~wl j{hvgIClkVlJ{x{}jiIl#<uwfhl s}vxl>Zvxg<S T t9j{jcfxfhu°Ll OvxtClJj$kVlJ{x{}jiIluw{²uvht9<f}j>²

¤®fhgIk gIOlg¤duwvh{UuwC|CzOvUsht9jCOlJ~w{j9<l_~uw°LlJfxl vxgJS T ¨KG\l>s}zCvxuwgLC{g¤duw<vxlJfh9j~EL{xlJNjN<lJ~wuw°Il_fx

{hvajvhlJkl_Wvh{ jcfxlkgC<lJ~wl <u<vhlJfx9jc~E<{xlJ9uOijN<lJ~wuw°Il_fxl_°IlJ<vx{>¨

efxgCs}lJ{h{xlJ{g¤Uj$<uw{xvhfxuwCzCvhl s}gLk|CzCv}jvhugLjfhl C7<;(07+,41&=¸<uwgLvxtCl_f²UgLfa<{>Cl jLsxtZ|CfhgCs}lJ{x{|Cfhg¬

<zNs}lJ{j C7<;(07+):7$gc¤ lJ°LlJ<vx{ ¨tCuw{${xl ºLzCl_9s}l-g¤ l_°IlJ<vx{Vuw{ÉsJjc~w~l>±vhtCl K1>C:4 /;g¤ S8Txj9³uwv$u{

<l_CgIvhl VW>=T?A@CB

T @ )

T

&"&&@CD

T

*"&&"&â²tCl_fxl9@+D

T

uw{Ey¬Evxtl_°IlJ<vl}Cl s}zCvhl VWJS8T

¦

@+B

T

u{j " s}vhuvhuwgIzC{l_°IlJ<v

vht9jvuwCuwvxu«jc~uw´Jl_{ S8T {~wgCsJj~{hvajcvxl §_¨ ^l_vF=1D

T

<l_CgIvhlvhtCl!-0&2;:41&= K1>C:4 /;g¤XS8Tvxuw~w~vxtClVlJ°IlJ<vG@CD

T

=1DT ?H@CBT @ )

T

&"&&@+DT u{j$|Ofxl:"CZg¤=Tx¨

G°IlJ<vx{~wgCsJjc~vxgj-|CfxgCs}lJ{h{jcfxlZvxgLvaj~w~wgIf}<lJfhl ^¨UÈog²Ul_°IlJf>Uj{l>jIsht@|CfxgCs}lJ{h{|CfhgIiLfxlJ{h{xlJ{jv

uwvx{rg²Z{x|NlJl ^Nkl_{x{ajciIlvxf}jC{hkuw{x{huwgIlJ~«j>W{jfhl zOC|Cfxl><u«s}vajcC~wlÉjc9VvxtClJfhl#uw{Cl_uvhtClJfj${xt9jcfxl

kVlJkgLfx#CgLfjiI~wgL9j~Nvxuwkl¤ªzC9s}vhugLdLvxtClNlJ{xvrvxt9jcvsJjcNl£WOg²gIVvxtClvhtClfxlJ{h|9l syvxuw°Il#l_°IlJ<v

gCsJs}zOfxfxl_9s}lJ{#uw{gIC~wj#|Njfxvhu«j~^gIf}<lJf>¨*^lJv>I<JLK$<lJCgLvxlvxtClE):&(8C&=,-B; 7:):7:5H7+):7

¦

*&:-H-*7+7:5CMP:7N#/; 7h§

|9jcfxvhu¶jc~^gIf}<lJf l:"9Cl ¥j{¤®gL~~wg²{

¦F

"G®§J¨

NV¾O ª"®Â QP ¡ ¾,JªCªÂ JSR

(9)

C0

i 0

i 5i

i

6 7

i 4 i

C1 3 i

i i

1

S i Si

Si

Si0 1 2

S

3

0

j j

S1 Sj

C C

2 P

Local State

Checkpoint

Checkpoint Interval

Event i

Ci C3i 8i

i

2 2

C

0 Pj

Pk

2 1

0j Cj Cj

C

k k k

0 1 2

Sk S1

k S

k 2 m1

4

3 6

m5 m2

m m m

>uwiIzOfxlmH$*G9jck|C~wlgc¤<uw{hvxfxuwCzOvxl sygIk|OzCvajcvxuwgI

@CD

T J @

6 1N'&+5!/+ = 1N

R? &2+5 ?SE m /2;

R? &2+5@+D

T

1>C@4507 C7 +5213+ 7 7+,4@/N( 7DC C&I278 &2+5@

6 1C@45075H7=17 ;E77 +04 /N 8 /2;

R 4*7 ;:7'1C &+97 7+,4 @ C (*) 4*&#4 @+D

T J @ @9J @

6 R

lJv9lvhtCl{hlJvg¤\jc~~OvxtCllJ°LlJ<vx{|Cfhgz9s}l V<Éj$<uw{xvhfxuwCzCvhl sygIk|OzCvajcvxuwgIcvxtCuw{s}gIkV|CzCvajcvxuwgI

uw{kgC<lJ~wl <vxtClr|9jfhvxu«j~CgLfa<l_f ? ¦ * J@§J¨ lJv @rNl jclJ°LlJ<v LvxtOl ):&(8C&=,-*&#C:49gc¤ @ru{vxtCl

{hzCC{xl_v gc¤ uw9s}~wz9<uwCij~w~NlJ°Il_Wvh{'@d{hz9shtvxt9jcv @1J @I¨

%

QPQP ! Âd c*J Ã#"EJ®ÂN!*J ) ¾C "!$#Â6 ô

p@~wgCsJj~<{xv}jvhlg¤YSYTNuw{jkjc|C|CuwCi¤®fhgIk¢vhtCl{xlJvg¤9uwvx{!~wgCsJj~<°Ijcfxu«jC~wlJ{u«<lJ<vxu"9lJfh{vxg#jo{xlJvgc¤ °Ijc~wzClJ{ ¨

lJv%$ B

T

9lvhtCluwCuwvhu¶jc~d{hvajvhlg¤U|OfxgCs}lJ{h{VS T ¨^tOllJ°LlJ<v9@+D

T

kg°LlJ{)S T ¤®fxgLk»vxtCl~wgCsJj~!{hvajvhl&$

D('

)

T

vhgvxtCl$~wgCsJj~{hvajcvxl$ D

T

¨^tOl~wgCsJj~{xvajcvxl$ DT

s}gIfhfxlJ{h|9gL9<{$vxgZvxtOl~gCsJjc~tCuw{xvhgIfh=7D

T

^<¯l:"9CuwvxuwgL

@)

T

:7=?/+ C'4 /*$ D

T

u¸¤-?#jc9+-,AEL¨$>uiLzCfxlVm{xtCg²{j<uw{xvxfhuwCzCvxl>¯s}gLk|CzOvajvhuwgIuwZvxtOl#zC{xzNj~

{h|9jIs}ly¬bvhukVl#<u«jiIf}jk ²tClJfhl#~wgCsJj~^{hvajvhlJ{g¤!|CfxgCs}lJ{h{xlJ{#jcfxl<l_|Cu«s}vxl Wfhl s}v}jCiLzC~«jfNg>ClJ{ ¨

p =>/):&2=)*7 )L:-0/213+,4RU¼uw{j$~wgCsJj~^{hvajcvxl#gc¤j$|CfhgsylJ{x{#jNvhtCl#{hlJvgc¤j~w~^vhtCl#~wgCsJj~dshtCl sh£<|NgIuw<vx{

uw{j#{hzCC{xl_vg¤\j~w~NvxtClr~wgs_j~N{xvajcvxlJ{>¨2 tOlJvxtCl_fj~wgs_j~N{xvajcvxluw{UgLfUOgIvUj~wgs_j~^sxtOl sh£W|NgIuw<v<g<lJ{CgIv

(10)

<l_|9lJN-gIvhtClÉsygIk|OzCvajcvxuwgIZuwvx{hlJ~¸¤ ^sxtOl sh£W|NgIuw<vx{#jcfxl<lJvxl_fxkuwCl>Z<¯s}gI<vhfxgI~w~wlJfh{g¤zC9<lJfh~wWuwCi

|CfhgIvhgsygI~w{²tOu¶shtjfhl{xzO|9lJfhuwk|NgI{xl>-gIvxtOls}gIkV|CzCvajcvxuwgI

¦

2l$²uw~w~Uj{h{xzCkVluw±Ç<l syvxuwgI Zvht9jv

s}gL<vxfxgL~w~l_fx{kZj>gIfCgIv!vajc£Il{xgLklsxtOl sh£W|NgIuw<vx{¤®gI~w~wg²uwCi{xgLklzCNs}g<gIfauNjvxl>j~wiIgLfxuwvxtCk-}²tCuw~wl

fhlJkjcuOuOishtCl sh£<|9gLu<vh{ jfhlvaj£LlJZ<vxtOljLCj|Ovxuw°Il#j~wiLgIfxuwvhtCk§_¨

µEVvxtClr¤®gL~w~g²uwCi²l#s}gIC{hu«<lJfj$<uw{xvxfhuwCzCvxl>s}gIkV|CzCv}jvxuwgL jNj{xlJvgc¤\~wgCsJj~dshtCl sh£<|NgIuw<vx{

<l:"9Ol -gI ¨ U )

T

fhlJ|CfhlJ{xlJ<vh{vhtCl+<¬Evxt-sxtOl sh£W|NgIuw<v#v}j£Il_¯<Z|CfxgCs}l_{x{JSYTjN¯s}gLfxfhlJ{x|NgI9{

vhg{xgLkl$~gCsJjc~{xv}jvhl $ DT

²uwvxt + , EL¨>duwiLzCfxlm{htCg²{jsygIfxfhlJ{x|NgIN<lJ9s}lZNlJvE²lJlJ@~wgs_j~{hvajvhlJ{

jc9ZsxtOl sh£W|NgIuw<vx{gc¤\|CfhgCs}lJ{x{(S8Tx¨:2l#j{h{xzCkVlvht9jvl jIsht|OfxgCs}lJ{h{vajc£IlJ{jcuwCuwvxu«jc~ shtCl sh£<|NgIuw<v U9BT

s}gLfxfhlJ{x|NgI9uOivxg$

B

T

<²tClJ¥uv{xv}jfhvx{ ¨

pQkl_{x{ajciIl{xl_Wv<V|CfxgCs}lJ{h{)S T vxg$|CfxgCs}l_{x{(S16#uw{s_j~w~wl /2;-3*&+²uwvxtVfxlJ{h|9l>s}vvxg$vxtCl#gLfa<l_fxl

|9jcuwfg¤UshtCl sh£<|NgIuw<vx{

¦

U)

T

$U

6

§u¸¤uwvx{<lJ~wuw°IlJfhl_°IlJ<vNlJ~wgIOiI{vhg U

6

jNZuwvx{{hlJ9<uwCiVlJ°Il_Wv<g<lJ{

CgLv#NlJ~wgICiZvxg'U)

T

¨^p-gIf}<lJfhl |9jcuwf gc¤shtCl sh£<|9gLuwWvh{uw{E):/+,C 1>C:47 +04Uu¸¤jNgLC~wu¸¤vhtClJfxljcfxlCg

gLfx|Ct9jcZklJ{h{ajiLlJ{²uvhtfhlJ{x|Nl s}vvxg$vxtOu{|Njuwf ¨>CgLfUlyOjck|C~wlI>uwiIzCfhlm{xtOg²{UvhtCl|9juwf

¦U )

N.U

)

6

§u{

s}gLC{xuw{hvxlJ<v N²tCuw~wlvhtCl#|9jcuwf

¦U ,

T

.U

,

6

§uw{uw9s}gLC{xuw{xvhlJ<v ¨

µEvuw{l j{hZvxg{xl_l#vxt9jcvu¸¤jklJ{h{ajiLl98u{gLfx|CtNjZ²uwvxtfhlJ{x|Nl s}vvxgjZgIf}<lJfxl>Z|9juwfgc¤shtCl sh£L¬

|NgIuw<vx{

¦

U)

T

RU

6

§#vhtClJduv$uw{Éjc~w{xggLfx|Ct9jc¤®gLfÉjc~w~UvhtClgLfa<lJfhl @|9jcuwfx{$g¤ shtCl sh£<|9gLuwWvh{

¦

U9D

T

RU

6 §

{hz9shtvxt9jcv'E , +j9 C¨Nt<zC{>Cu¸¤\vhtCl#gIf}<lJfhl |Njuwf

¦

U)

T

.U

6

§uw{CgLvs}gIO{xuw{xvhlJ<v NCgIOl#g¤!vxtCl

gLfa<lJfhl ¥|9juwf

¦

U9D

T

U

6 § ¦

²uvht E, +jc9 I§rsJjZNls}gIO{xuw{xvhlJ<v ¨

p =?/K &2=')*7 )L:-0/213+,4#uw{j±{hlJvgc¤~wgs_j~#shtCl sh£<|9gLu<vh{gICl-¤ªgIfl>jIsht¢|CfxgCs}l_{x{ ¨>OgIfZl}9jkV|C~wlI

(9U

)

T

*U

)

6

*U

)

0#j9 (IU

,

T

*PU

,

6

*PU

)

0jcfxlvE²giI~wgI9jc~ shtCl>sx£<|NgIuw<vx{<lJ|Cu«s}vhl ZuwvhtCl >uwiIzCfhlÉmL¨

NV¾O ª"®Â QP =?/B:&2= )L07:):-*/13+,4@1C ):/2+,C 1>C:47+,4@1N &2=3=4507 521>C:41F+):4-*&13;:C / N )L07:)L -*/13+04C &2; 7

):/+0CD1C 47+,4R

>OgIfZl}9jkV|C~wlIR>uwiIzCfhl¹m¥{xtCg²{ZvxtNjv (IU

)

T

*PU

)

6

*PU

)

0-u{j³s}gIC{huw{xvxl_Wv¥iI~wgI9jc~ shtCl sh£<|NgIuw<v ²tCuw~wl

(9U

,

T

*U

,

6

*U

)

:0u{OgIvs}gLC{xuw{xvhlJ<v ¨

QPQP )

¾C "!$#Â6

>¾<94<*Jb

o{xuwCijcjC{hvxfajLs}vxuwgL~wlJ°Il_~9<l:"9Ol VW~gCsJjc~ shtCl>sx£<|NgIuw<vx{>WjcW$vE²g {hz9sJs}l_{x{xuw°Ll#~wgs_j~9shtCl sh£<|NgIuw<vx{

U)

T

jc9 U )

)

T

gc¤9|CfxgCs}l_{x{+S T l:"9Cljcuw<vxlJfh°Ij~E¨ 2lsJjc~~)L07:)L -*/13+04 1F+,47;&= )T

vxtOlU{hlJvg¤^lJ°LlJ<vx{

|CfhgC<z9s}l W|OfxgCs}lJ{h{XS T NlJvE²Ul_lJ'U)

T

jc9 U )

)

T ¦

uw9s}~wz9<uwCi#vhtCllJ°Il_Wvvht9jv|OfxgC<z9s}l>ZvxtCl~wgCsJj~

{hvajvhls}gIfhfxlJ{h|9gL9<uwCivxg=U)

T

§J¨!µE >uwiIzOfxl¯mVuw<vxlJfh°Ij~w{jfhl<lJ|Cu«s}vhl @j{$fxl s}v}jCiLzC~«jfNg>ClJ{²uwvht

<gLvxvhl Z~wuwClJ{ ¨

>OfxgLk¼vhtCuw{<lD"9CuwvxuwgIuwvUuw{l jc{xvhg#{xlJlvht9jv>Iu¸¤\jkVlJ{x{}jiIl 8 uw{{xl_Wvuwj#shtCl>sx£<|NgIuw<vUuw<vxl_fx°Ij~

)

T

j9Z<l_~uw°LlJfxl ujVsxtOl sh£W|NgIuw<vuw<vxl_fx°Ij~

6

vxtClJ 8»uw{gIfh|Ct9j¥²uvhtZfxlJ{h|9l syv#vxgvhtClgLfa<l_fxl

|9jcuwfgc¤shtCl sh£<|9gLuwWvh{

¦

U)

T

*PU )

6 § ¦

jNvxt<zC{²uwvht±fxl_{x|Nl s}vZvxgj~w~gIfalJfxl ³|9jcuwfx{

¦ U D

T

*U

6

§#²uwvht

E ,+jc9 m §J¨

QPQP

¾C ¾CÃ¾

c¾ ¾,JªC"®Â

Â )

¾C "!$#Â6

>¾<94<*Jb

tCuw{Ç<l s}vhuwgIuw<vxfhgC<z9s}lJ{j|Cfxl syl <lJ9syl#fxlJ~«jcvxuwgIgLsxtOl sh£W|NgIuw<vu<vhlJfx°Ijc~{>WlJCgIvhl #¨<tCuw{fhlJ~«j>¬

vhugL#{xtOg²{\js_jzC{}j~C<lJ|NlJ9<l_9s}lgI$sxtOl sh£W|NgIuw<v!uwWvhlJfx°Ijc~w{dj9#sygIC{hvxuwvxzCvhlJ{!vxtCl¤®gLfxkjc~J¤ªfajkVlJ²gIfx£

¤®fhgIk²tCu«shtvxtOlj~wiIgLfxuwvxtOk gc¤Ç<l>s}vxuwgI #uw{<lJ{huwiICl ¨

(11)

S1i S0i

j j

0 2

S S

Sk0 Sk1 Sk2

Si3 i

S2

1 Sj

>uwiIzCfhl $Ce!fxl>s}l <lJNs}lfxlJ~«jcvxuwgI

NV¾O

ª"®Â

QP ¡ ¾,JªCªÂ

P

)

T

-;:7 ):7:5H7DC

6 4 587 +B/#4 7 5 )

T

6

5E1N'&+5!/2+*= 1N

R? &2+5 9? + /;

R? &2+5 9? +* m /;

R ¦ 8G@CE+E @ 8§4*7 C7+51F+ 77 +04 /N98 :7=?/2+C 4 / )

T

&+B5!4507!5H7=17; 77+,4 / N98

:7 =>/+#C4 /

6 /;

R $ )

T

6 R

;ogIvhlvxt9jcvvxtClfhlJ~«jvhugL @uw{CgLvUjr|9jfhvxu«j~CgLfa<l_f

¦

jc~vhtCgIzOiIt$fxl 9lyuw°Ll jN$vxfajcC{xuwvhu°LlIuwv!uw{CgIv

jcWvhuw{x<kkVlJvxfhu¶s_§jN-vxtClJ³uwvs_j±tNj>°Ils}Cs}~wlJ{$uw9s}~wz9<uwCi<uw{xvhuw9s}vshtCl sh£<|NgIuw<vuw<vxlJfh°Ij~w{ ¨ p{jc

l}9jck|C~wlI3>uwiIzCfhl{htCg²{vhtCl#fhlJ~«jvxuwgL ¢gc¤vhtCls}gIkV|CzCvajcvxuwgIgc¤ >uwiIzCfhlÉm²tClJfhlIO¤®gIfs}~«jfxuwvE{

{}j£IlLC²lgCgIvs}gLC{xu«<l_f|Cfxl syl <lJ9syl {zClvxgvxf}jC{huwvxuw°<uvE

¦

QPQPC ¾B!¾

¾C#Â IQ¾C _

7

¾C

2 tOlJ )

T

6

tCgL~«<{ ^vhtClJfhluw{j {xl ºLzClJNs}l )

T ?

)

T

)

T &&"&

)

T ?

6 ¦

uà¤ ? C

vhtClJ±Ol s}lJ{h{ajfhuw~ »m §²tOlJfxlVl jIsht±|Njuwf )

T )

T

uw{zClvhggIClgc¤|NgIuw<vx{VmI¨wdC¨w^gLf C¨

Cl>s}lJ{x{}jfhu~w±<uw{hvxuw9s}v>¨dÈg²lJ°Il_f ²uvht mIj{hzCC{hl ºLzClJ9s}l¥uNs}~wz9<uwCigLC~w¯<uw{xvhuw9s}v#uw<vxlJfh°Ij~w{

{hvajfhvxuwCijcv )

T

jNl_9<uwCijv

6

CsJjZNll}CvxfajLs}vxl>N{xg9<²l#sJjZj~w²j>W{s}gLC{xu«<lJf>C²uwvxtOgIzCv~wgI{x{

gc¤iLlJClJf}j~wuwvEWLvxtOlsJj{hl#²tClJfhl#lJ~wlJkVlJ<vx{g¤!vxtCuw{{hl ºLzClJ9s}ljcfxl#<uw{xvhuw9s}v

¦

lyOsylJ|Cvkj>$9lvhtCl"9fh{xv

jc9VvxtCl#~«jc{xvgICl §_¨>OgIfl jLsht

¦ A ,

,¹m §²lt9j>°Il

)

T

)

T

!

<²tCl_fxl ¢uw{zCl#vxg|Njfxv

O¨CgIf+C¨<gc¤vxtCl#<l:"NCuwvxuwgIC¨.OIuE¨lI¨>$

lJuwvxtCl_f ? ) jc9GE

) ?SE

m

(12)

gIf

?

)j9vxtClJfhluw{j$klJ{h{ajciIl98{xlJ<vru

)

T

jc9<l_~uw°LlJfxl u

)

T

tCl_{xl-klJ{h{ajiLlJ{¤ªgIfxk j-{xl>ºIzOlJ9s}l

¦

8§

)

¦

u¸¤ ? vxtClJ Cl s}lJ{h{ajcfxuw~w m §_¨UÇ<z9sht'j

{hl ºLzClJ9s}lZgc¤kVlJ{x{}jiIl_{ u<°LgI~w°Il u-vxtOl<l:"NCuwvxuwgI-g¤ )T 6 uw{s_j~w~wl jV²uN<uwCiZ{xl ºLzClJNs}l

gc¤UklJ{h{ajciIlJ{> jcCCfhlJ°<u¶jcvxl -j{'CCM 13+5213+¨$>CgLfl}9jkV|C~wlI<vxtOlkV{xi¬E²uw9<uwCi>8:* 8 ,#{htCg²gL

>uwiIzCfhlm#s}gIfhfxlJ{h|9gL9<{vxgvhtCl|9juwf

B )

T

{xtCg²ZgL >uwiIzCfhlZ¨

²g$vEW|NlJ{rg¤\kV{xic¬b²uw9<uwCiL{UsJjcNl#<uw{xvhuOiIzCuw{xtOl $ ):&2(HC&2=Cj9 +/2+:M ):&(8C&=<k{hi¬E²uw9<uwCiI{>¨

mI¨vxtClrk{hi¬E²uN<uwCiuw{ ):&(8C&=u¸¤^vxtCl<lJ~wuw°IlJfh#lJ°Il_Wvg¤^l jLsxtVklJ{h{ajciIlg¤dvxtOl{xl ºLzClJNs}l

¦

l}9s}lJ|Ov

vxtCl~¶jc{xv}§gs_s}zCfx{<:7ON/;:7vxtCl{hlJ9ZlJ°LlJ<vgc¤vhtCl#ClyvrgICl

¦

{xl ºLzClJNs}lJ{ 8 ) *<8 , jc9 8 ) * 8I

{xtCg²-gI >duwiLzCfxlZmjcfxll}9jkV|C~wlJ{g¤sJjzC{}j~kV{xic¬b²uw9<uwCiL{¤ªfxgIk -B

T

vhg )

T

jc9Z¤ªfxgIk -B

T

vxg )

$fhlJ{x|Nl s}vhu°LlJ~wC§J¨

C¨vxtCl$k{hi¬E²uw9<uwCi$u{+/+#M ) &2(8C&2=Nuà¤jv~wl jc{xvrvE²UgZs}gIC{hl s}zCvhuw°Ilkl_{x{ajciIlJ{jfhl{hz9sht¯vht9jvrvxtCl

<lJ~wuw°IlJfhlJ°Il_Wvrg¤dvhtCl "9fx{hvgCsJs}zCfh{ &N:4 7;vxtOl {hlJ9VlJ°LlJ<vg¤\vhtCl{xl sygI9^Nj~wvxtOgIzCiLtdI<Z<l:"C¬

CuwvxuwgI<vxtClJ{hlvE²g$lJ°IlJ<vh{ NlJ~wgIOivxgvxtOl#{ajckl shtCl>sx£<|NgIuw<vuw<vxlJfh°Ij~

¦

vxtCl#{hl ºLzClJ9sylF8 *<8 ,

{xtCg²ZgL >uwiIzOfxlmuw{jclyOjck|C~wlgc¤OgI<¬xsJjzO{aj~^kV{xic¬b²uw9<uwCir¤®fhgIk -B$vxg )

T

§J¨

pr{zC{hz9j~ECvhtCl#gL|9lJf}jvhugLg¤@):/+):&#4 7+&#41/+Vg¤vE²gk{hi¬E²uN<uwCiI{

¦

§jc9

¦

«§²uw~w~^9l$<lJCgLvxl

¦

§

¦

§_¨

"-" 1#$ % % : % " 9 %

tCuw{Ç<l s}vhuwgI{xv}jvhlJ{j9-|Ofxg°Il_{ÉjVCl sylJ{x{}jfx jc9-{xzsyul_Wvs}gL9<uwvxuwgI-vxg-<lJvxl_fxkuwClV²tClJvhtClJf

jc¯jfhCuwvxfajcfxV{xlJvg¤~wgCsJj~dshtCl>sx£<|NgIuw<vx{#sJjcNlJ~wgIOivxg{hgIkVlsygIC{hu{hvxlJ<vriI~wgI9jc~dshtCl sh£<|9gLu<v>¨9tOu{

vhtClJgIfhlJku{9jc{xl gIvhtCl|Ofxl s}l><lJ9s}l$fxl_~¶jcvxuwgIl:"9Cl VgLshtCl sh£<|9gLuwWvuw<vxlJfh°Ij~w{ ¨LpCgLvxtCl_fUCl>s}lJ{E¬

{}jfxjc9{hzs}uwlJ<vs}gI9uvhuwgIt9jc{9l_lJ<lJ{asyfxuw9l>uw

F

m>Guwvuw{Ul}C|CfhlJ{x{hl Zuwvxl_fxk{g¤\jfhlJ~«jvxuwgL

¦

sJj~w~wl 1!&Iy§<lD"9Cl ZgLvhtCl#{xl_vg¤\~wgCsJjc~dsxtOl sh£W|NgIuw<vx{>¨$QgLvxts}gIN<uwvxuwgIC{jfhll ºLzCuw°Ij~wlJ<vx{¤®fhgIk

jvxtClJgLfxlJvhu«sJj~!|NgIuw<vg¤U°<uwlJ²#¨CtOljICuvhuwgI9jc~^u<vhlJfxlJ{hvg¤vxtCl¤®gLfxkzC~«jvhuwgI$9j{hl gLsxtOl sh£W|NgIuw<v

uw<vxlJfh°Ij~w{~wuwlJ{UuwVvxtCl¤ªfajkVlJ²gIfx£$uwvUgc· l_fx{vhgÉlJ{xuwiIj$<uw{xvhfxuwCzCvhl jIOj|Cvhu°Ll shtCl sh£<|NgIuw<vxuwCij~wiIgc¬

fhuvhtCk»j{²l {htCg²ZuwÇ<l syvxuwgI O¨

" ¾<ÂN¾K QP$# 7:4&% 'S(Wm*&"&"&*<&$0 &+5)( G? (IU )+*

T

0T,.-0:7'& C7:4@)*7:):-0/213+,4C / N

R0/8*7 +(

1>C & -0&2;:4 / N&E):/+,C 1>C:47 +04[=?/K &2= )L07:)L -*/13+04 13+B) =(0587:5E1F+

1N'&+5!/+ = 1N

¦21

§43 *53 $ 768% * 96:% $>$;

¦ ) *

T

)!< ' )

6 §

Â^Â

7=¹ 9ª¾ c¿ P 2l |Ofxg°Ilvht9jvu¸¤

1

uw{{ajcvxuw{"Nl ZvxtOlJ>( ¯sJjZNl#uw9s}~wz9<l>Zuwjs}gLC{xuw{xvhlJ<viI~wgI9jc~

shtCl sh£<|NgIuw<v ¨ lJvzO{s}gIC{hu«<lJfvhtCliI~wgINj~^sxtOl sh£W|NgIuw<v l:"9Cl ¥j{¤®gL~~wg²{#$

u¸¤ 6%<²lvajc£Il(U )+*

T

u¸¤ 68%>¤®gLfl jLsxt ?6%²l s}gLC{xu«<lJfvxtOluw<vxlJiLlJf 8MT

¦

c§?A8 & (8@+;

¦

T

)A<'

)

6 § 0 ¦

²uwvht

8JT

¦

I§? Auà¤!vxtCuw{{hlJvuw{lJkV|CvEC§J¨LtClJ²lvaj£Ll(U ) *

T

²uvht+3T? kuw 6 ,.-

¦

8MT

¦

c§h§J¨Ct<zC{>C<

<l:"9OuvhuwgId+3 96:% $>$:;

¦ )B*

T

) < ' )

6

§j9

6:% $>$:;

¦ )B*' )

T

) ' )

§J¨