HAL Id: inria-00070531
https://hal.inria.fr/inria-00070531
Submitted on 19 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.
Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in
Linux Clusters
Geoffroy Vallée, Renaud Lottiaux, David Margery, Christine Morin, Jean-Yves Berthou
To cite this version:
Geoffroy Vallée, Renaud Lottiaux, David Margery, Christine Morin, Jean-Yves Berthou. Ghost Pro- cess: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters. [Research Report] RR-5476, INRIA. 2005, pp.16. �inria-00070531�
ISRN INRIA/RR--5476--FR+ENG
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
Ghost Process: a Sound Basis to Implement Process Duplication, Migration and Checkpoint/Restart in Linux Clusters
Geoffroy Vallée , Renaud Lottiaux , David Margery , Christine Morin , Jean-Yves Berthou
N˚5476
Janvier 2005
THÈME 1
0 1*,+$"$23"4!65879"$:;3"$!=<>@?A*6!"$/CBEDF@;#"4HGI"$1J
<>+$K
LNMPORQ2STOVUXWY[Z\Z^]PMI_C`aMPbcYRdefO[gTgih\Y[dj_Ck,Ymlh^eonY[Sqp[MPSTUr_csAtSqh^uTgih^bM8noO)STh\br_
v MPY[bwyx!l[MPuzAMPS4gitO[d
{K|~}4 TT1$y}4T
$
-~R-;yT |VTy |~¢¡£¤¥m¦¨§©«ª¡P¬m®4-¯°°¤3HT§A~±T
²1³@´Tµ4¶¨·V¸µ¹ {#Viºi4»¼Ry4 #yC½¾4»®3~T3y$q$y¡mV4y®T»mV~»¼¾4®¡~T¿#ÀNq |~¡V¾
¡VTTq6Áqa$»®~4~¡~©ÁyÂa¬¨¡ ±AÃK|V14»¼Ry4¾y¼ÄVVTIyT~y4TT¿
$q¡~±44¡PT |~¡V®ay,¬TÅR4ÃÆV»-®¡Ç|V¾yTRqÈT¿oCym4TyVV»®¾4¨y¼¡Ç®
¡~4TVTÃÆ~y»¼»®4»[VV»®¾4¨y¼¡a4~»¼¨m4¡PTºmm¡~A¾»®Ä~»¾¡~4¼¡~±!T»¼®T¡a~$qCA®± ¨É
y¼¡¡~aVy$qK |Vq ÂP[®¡PÈʨq C®K¡VTTqyy»®4 ¨¡VEÃË®»¼~q2VV®¡V±/|V$q$y¼¡
ÃE»®¡V±É\yV¡V¡~¼¡V±I~V»¼¾4®¡~T¿ÌÍÂT¡VT»»¼T¬T»-VVy |λ¼»®¨½-/Ï$Ða4¼T¡y»¼Ñ¼V»®44¡P1»¼»
y|VTT |~¡V¾T¿aÒ-¨½24¬TTºÓ|VT©y¬T84V»®$ÁyN¼V»®4T¡A¡~©,®¡Py¼¡Ó¿Ô-4¬PÉ
Ty|V4»®Tyy|V4N»¼»@Ä~q,¡8$¡Á4¡~44qÕKV4Ty-¬m¼R»®¼Öq¨®¡N½|~® |Á~¨¬m¾T-
q¡,1$m $-|VA ¨y!Ã~$qÃÆy|VRTy®¡V±1mT×4T$VT,¡ÁT |N$»®~y4
¡~mV¿/{K|~®~RT~qT¡ 31Vy$qE¬m¼~»¼®ÖT®¡©Aq |~¡~®Ø4»¼»®T6ÙqÚ~ÛiÜÈÝcÞ)ßÛTà á$Ü Ü º#¼V»®$É
T¡yT!Â4y¡V4»P»¼T¬T»½|V¾ |T¡!Ä[~T!ÄP;y4Vy± 4 )yT®»®E®V»¼T4¡P@¬¨®~
~$q-¡~±44¡Pq |~¡V¾T¿{K|V±|VP~$qT |~¡V®F|~ÄRT4¡Á®V»¼T4¡PqÁ®¡
â3Ty®±|VqN®¡V±»®/y4Í®±A$»®~y43[4 ¨y¼¡~±1TÄ~TN¡8ãÓ®¡m¿;ä|REÄRT4¡8Rq
y/4Ða$®4¡P»®a¡~aT®»¼®A~»¼TAT¡PK~$q2V~»¼¾4®¡Óºm¼±y®¡1¡~a |Vq ÂmR¼¡PÈʨq ®¡
â3Ty®±|Vq¿
åNæPç)èyéê
¶¨ë@´¹
4»¼~TTº¾y¼ÄVVT©Tº)RTy®¡V±y4,º®¡V±»®/y4Í®±º[~$q
®± ¨y¼¡Óº |VT Âm[®¡y¼¡~±~ºVy$Ty2¬m¼~»¼®ÖT®¡Óºã#¼¡m
ì¾íîïäðTñKîò@ó®ïäô\õ$ö
Unité de recherche INRIA Rennes
(2!"4(. *+$"43@"$!I58(."$:;3"4!2
3@"$!8B@K*"$# *©!"$/ K*"$# *#
´ ¹ -¨Vy|mV\ºi»¼q± V[TVC4»¾$~»®4~y¡PÓ»¾y±4T¡y¼»®¾TT[V#»$T4®¡
VV»®®T¨®¡R¡mV4y~TT¿ET2TT¡V¾q2¡P2¡VT4Ty¼yTRV®V»¼~T»V®»¼¾®¡T
±yV[T2;4»¾$~»®4~y$[V2®y4KVyVT2yTyV $T¾y®ÄVVTT»®/± ~R¿ã#T2$É
T¡V¾Aqc±qy¼¡AVTcVy$q~c¡Py}Tcy¼»®TV¡~$4¿@ã3VV»®®T¨y¼¡VV4Ty~
qA¡VT4Ty¼y[VA»¼4~»¼¼TAT¡PAq/VV»®®T¨®¡R~y»¼»®}4»®TTº@»PV®»¼®ÄV ±1m¡~PV
»¾6 |~y±,,»®6±yVR,VVV®VV¡XTT¡V¾N,¼±y®¡X,V4Ty~/$a»¾6$yT¨É
y¼¡[Êiy4~¾K[®¡PyCy4~¾KqC¡Vq$qy®K[Vy»®4y4CqC4ÃË®»¼»¾¡~4TCV¡;~VCVVy¡P
»$T4®¡8VV»®®T¨®¡ÁNT~E4mq$y¼¡Á®A[y¡PT¿¡V/VVy |V!¡V¨PN[4yA4
4y-T¡ ;V¬m-4Ða4444¡Pcy~$TT4¡V¾TT¿Ô-T¡V®¡~Tº®»®¡y}TVÐa$®»®T"!!A4É
yT¡ ;V¬m4#!;®¡PT¡V¼q¿$-~»¼~TºP¼»¾¡Pc~ÃÆ¡~T~CV¡14¡~444V¡NÕ@»¾3¬P®É
»¼¾y¨®¡3V4Ty~%PV[4yA4K4Pyy¼y»$ ¨&~¡Vy$q~Ky}4;&$V»®¼y¨y¼¡
4T$V~! |~'PVA¡;~VT¿(~V®4;~qT¡y/~¡6q4¡~®VA¬m®y~»®¾®¡©VA~$qÉ
~;VRT»¼AÞ)ßÛqàyá$Ü Ü*)mÜ,+.-/~Ý1032á$º@®!4¡4;V¬mI4®¡ÏI¡V¨©45PVC[4564y®»¼¾a~
»®TK~± 4V y}43RV-¼V»®44¡P-$y;4¡7;V¬m;®¬Ty2TT¡V¾Aq;±qy¼¡
V/Vy$q~T¿3ã#/q4¡~®/AVym4TyR-ÃË¡98/$y/¾4¡:;~¬Py/©4®¡©6}TA
4m~»¼ ¨®¡/RVV¡/y}4;!®±2V¡VPV2RV± V[2V2T»¾$V»¾¨y4V â3Ty®±|VqºqÃÆ¡~
VKãÓ®¡m¿»!4®V»¼T4¡P2424Ða4444¡P2®»¼¾[V2$y4¡;V¬mVT2T4¡V¾T
VEV~»¼¾4®¡Óº¼±y®¡$$yT¨y¼¡[Êiy4~¾-V[®¡ Ky4Vy¾VEVy$q~14®¡
V3â3Ty®±|Vq¿
<>ê µq´ è ¸'= ¹ ± ~R,,4»¾$~»®4~yTºm}T¾y¼ÄV~ºy}44m~»¼ ¨®¡#º}TA
!ż±NV¡VPVº-®± ¨y¼¡ÇV8Vy$Ty~4º4q¨®¡Ì©R¼¡P 1©TV¾ºK¬m¼~»¼¾y¨®¡Ì
~$q~TºãÓ®¡PV
,
&[/#"$!
{Viº$»®~y4 ;yA¡~6A½¾4»®8Rq8yN$T4¡mVT¾4»CVV»®¾4¨y¼¡~T¿aÀNT |É
¡V¾,y8¡VTTqÌyÎq64»¼~T,~I¡RÌÎyÂI¬¨¡ ±8Ã|VÏ$»®~T,V®y¼Ä~q
yT~y4TT¿C4Ty-¡~±TAT¡PT |~¡V®!¬4yR4ÃÆV»®¡Áy|V¾yTRqÈq¿Er~$qEÉ
~»¼¾4®¡!T |R¡V¾¢»¼»®¨½-yTV»®¨y|V~$qT#ÃR~ »®»®4»VV»®®T¨y¼¡!¡AT¬4 »$»®~y4
¡~mVTT¿c~ |/T |~¡V¾%4m4¡RVÃÆ-A$»®~y42|~3 ¼®¡~» +$Ûß-T |~¡V®%Vy¨¬m®VTÄm
y|Vã#¼¡m,4ÃÆ-~$q$yT¨y¼¡Ó¿Ò¨½T¬TTºmyyÂ!¬¨¡ ±Ãy|V!½|V»¼/$»®~y4-y$É
~y4T2Vy¼¡V±|V34mq$y¼¡1Ã@/±®¬4¡1½Âm»®Óº¼Ki¡V2Ä[;VÐ4¼T¡Py4yqÈy»¼AV»¾$
y|VKVym4Tyq@¡/|V$»®~Tc¡VT½|VT¡y|V4/yK4q¨yT¿m¡~A¾2»¼PÄ~»¾¡~4¼¡~± ¨y4±®T
a¬¨¡Py±T~yÁÂT4I|~a»¼PIÄ~»®¡~$q6¼¡ÅÁ4»¼Ry4q¿8m~ |Å ¨T±®T;V|R¨/¡
4Ða$®4¡PVy$Ty®± ¨®¡,T |R¡V¾/.¦10¾-®V»¼T4¡Pq,a¨¬!Vym4Ty2ÃÆסV!¡V
y1¡~|~4-¡V¿32@¼¡~»¼»®º)!$»®~4E¡VT-iÃË®»VV®¡V±y|V!$q$y¼¡NÃCa~V»¼¾4®¡Ó¿
2RV»¼»¼Ty¡~$T |~¡V¾y¡V4qTÎ6y»®4 ¨,¡VÃ˼»®VyTVy®¡V±6|VN4mq$y¼¡ÎÃ
»®¡V±É\yV¡V¡V®¡V±VV»®¾4¨y¼¡~T¿ (|Vq ÂP[®¡P®¡V±®31 ¼®¡~»@ÃËV»¼3»®4 ¡R$/T |~¡VPV½24»®»É
V¼q1y¡mV4y®T»Ó~V»¼¾4®¡~T¿"(|VT Âm[®¡P®¡V±V4Ty24¡~¾ K¼¡,[4y¼¾4»¼»®1yi¬P®¡V±®¡
yÄV»®y ±3|VAVym4Ty-y¨y/~®¡V±aÃ˼»®Vy$É\ÃÆT;$T4®¡#¿ ¡Ny|V/T¬T¡EÃÃ˼»®Vyº[|V
~$q2¾yTyqÃÆy%¼y-»®- |Vq ÂP[®¡PT¿
2~/|VÂaÃ-$Ða$®4¡~46¡~ÏqaÃ-~ºC8ÂT¡VT»»®4¬4»®V»®44¡Py®¡ÅÃ|VT |É
¡V¾~TÑÃƱ»¼Ä~»KVy$Ty¡~±TAT¡PA®¡Ì64»¼Ry454Æ~$q~V»¼¾4®¡Óº2¼±y®¡Óº
|~T ÂmR¼¡P$ÊiyTy6Ó®C|V¼±|V»®/q®yÄV»®¿Ò¨½T¬TTºiy|V¼V»®4T¡ ¨y¼¡AÃ)~ |T |~¡V¾c¨
Â4y¡V4»#»¼T¬4»®$V»¼4,¡~|~4®®¡P4¡R¡~4¼Ð4V»¼T¿Ô4¬Ty|V4»®TyTºR»®»Óy|VTq |~¡V¾
y4»®;¡3$A¡/$¡~$TTÕVym4Ty@¬P®~»¼®ÖT®¡½|~® |AVy¨¬P¾q@ET¡y4m Èy|V ¨
Ã@AVy$Ty2ÃÆy y|V;[4 ¨y¼¡V±mT4mq$yT¡,T |4»¼~T¡V¿
¡|~®K~RTTº½2VqT¡P2y|V!ÙqÚ~ÛiÜÈÝ#Þ[ßÛqà áÈÜ Ü3Aq |~¡~® ÃÆVy$q2¬m¼R»®¼Öq¨®¡¡~½
|V¨½ |V¨½ ATTy|V1®V»®44¡Py®¡ÏÃK¬¨®~3±»¼Ä~»V4Ty;¡~±4T¡!q |~¡V¾
~ |,KVy$qKV~»¼¾4®¡ÓºV®± ¨y¼¡¡R |~T ÂmR¼¡P$ÊiyTy®¡NA4»¼Ry4q¿
{K|VÙiÚVÛiÜÈÝÞ)ßÛqàyá$Ü Ü/T |R¡V¾Í|~Ä[4T¡8®V»¼T4¡PqÁ®¡Á|~87:9;#;#<>=?@9AXm®¡V±»®my4
±B4\VmC6-4»¼Ry4[4 ¨®¡V±ay4D.EVºF0@Ä~q,¡8ã#¼¡m¿-ä|~ÄRT4¡©~q$Ða$®4¡P»®
¡~©T®»¼Á®V»®44¡PVy$q3V~»¼¾4®¡ÓºA®± ¨y¼¡6¡~6 |VT Âm[®¡$ÊiyTy3¼¡Ïâ3Ty¼±|VTÓ¿
E$¾¨yTνy|X±»¼Ä~»KVy$q¾4¡PyRT¨y¼¡ÎT |R¡V¾¡~ѽ¼|Ç|VT±»®Ä~»qVy4
¡~±44¡PEq |~¡V¾G4áIHÙJH!±»¼Ä~»®±¡R»@¡~±44¡P6½|V¾ |8y|V4[/ÃC|~®
R[4qº»¼»®¨½-±»®ÄR»®»¼¡R±Vy$TyTK$»®~4½¾¿
{K|V3y4®¡~TÃÓ|~®K~RTK®2y±¡V®Ö4T1ÃÆ»®»¼¨½-TÕcmT$®¡¯VyT4¡Py2y4»¾¨yTa½2yÂC¡
±»¼Ä~»c~$q3¡~±44¡P;T |~¡V®;®¡Å$»®~y4 4¿mT$®¡K*NTy$y®ÄRq3|VÙqÚ~ÛiÜÈÝÞ[ßÛqà áÈÜ Ü
4¡~44½VRPCÃÆ#~$q#¬m¼~»¼®ÖT®¡Ó¿# ¡/mT$®¡!¥E½|V¨½I|V¨½Iy¼V»®3¼V»®44¡P
~$q3®± ¨y¼¡©¡R6 |~T ÂmR¼¡P$ÊiyTyEy4»®m¼¡~±¡6|Va±|V;Vym4Ty;$¡~$TT¿1mqÈy¼¡Ï¤
~¨¬m¾T-aRTÃÆ¡R$!T¬i»¼R¨®¡NÃc|V/±|VPEV4Ty-T |~¡V¾F¼¡Á|VÃÆyAT½ÂÃC¼y
RÃÆ~$q |~T ÂmR¼¡P$ÊiyTyT¿L2@¼¡~»¼»®º~TÈy¼¡N§A4¡~4»¼RTT¿
>?:;!
»¼Ã#4»¼Ry4y4cyP»¼Âm¼y2»®»¼¨½Ç~V»¼¾4®¡aTV»®¨PT¡q¿c{#m»¾c»®¼Â |y|a»¼»®¨½
RTyy!¡m~»¼»®/TV»®¨/~V»¼¾4®¡~T¿$4 c¼¡R¼¬m¾~»¼»®A |~PP;¡~mVÃÆC~$q$yT¨y¼¡
;y|V4y¾¡~!±»®Ä~»~yTV $¡~±44¡PT¿|~4y4Tº»®¼ÂÄ~y |1y4 4yáSHÙJH.¤ 06
V± ¼¡~±-4¡m¬m¼y¡~AT¡P34yáSHÙJHCÀNȺEÀ 6»®»¼¨½Iy3V4V»®¨V¾4»®»®3¡~/$Ða$®4¡P»®
VV»®®T¨y¼¡~4¿Ìy|Á~ |Ny44ºV ¼®¡~»¼»®aÄ~q¡,T |~¡V®K»¼®Â; |-|ÓºR½y|,
~»®$4T¡[»®®4ºVRTyK¡V¡V4q¡mayy¡m~»®»¼aV4V»®¨aVy$TyTT¿
mAy44º[»®¼ÂC) ÂmS.®T°0\ºÓ4¡~S.¯S0äº)4yÂ.¼i¯S0Kâ (2 .* 0[T |~T ÂmR¼¡P$ÊiyTy
q |~¡V¾T¿Ìy| »®»-y|VT8y44ºÅ |~T ÂmR¼¡P1¾a®V»®44¡PqÇÄmÑy|V84PyyÈy¼¡XÃ
~$qA®¡ÃÆy¨y¼¡Î½|V¾ |X®aqÑ¡X6yTV $ºCÄVa®V»®44¡P)4y4¡P½2iIyÅyy
~$qT3®¡Ï T3Á®V¨¬RTÃÆ¡R$¿{# Vy¼¡~»®»¼º#yTV $q3~T6Á~$q
|~T ÂmR¼¡Py 4Æ64yÃÆ$Ða$®4¡R$3 4Æ®6#¾ÂmÃÆy±yÄV®»¼¼¿¼¡V±E|~T®±q4º
AVy$qK4¡Ä[;yTyq4q¨y¼¡V±$»®¡V;~$qÃÆy |Vq ÂmR¼¡PT¿
y|V41y4»®»®¨½ Åm¡~®T»®»¼Å®± ¨y~$qA¡Ç4»¼Ry4¡Vq4¿ Í»®aÃ4¨É
V4®~V¼qE|R/,®A~»¼TAT¡P3~$qE¼±y®¡@.¦0ä¿/{½¨3~VP |8»¼»®¨½
®V»®44¡PcVym4Ty@A®± ¨y¼¡Ó¿2@®yTºV4Ty#®± ¨®¡A4¡/Ä[K¼V»®44¡PyT/|Vy~±|/ |Vq ÂÉ
[®¡PÈʨq 3q |~¡V¾Õ|V1V4Ty;®/ |VT Âm[®¡PT6¡I8|~q R»¼1y4 4áIHÙ HÁ~¼¡V±
Ô 2c6¡~Á¾q q,¡©1T/¡VºyTyy¼¡~±|VVy$q-ÃÆÍ|V¾Â)¿;{K|V¾E¾E|V
VVy |ÑÃ;mT»¼®Â:(¡~q¿ {K|VÁT4¡~X~VP |X®Ï¼±y,Vy$TyT®qÈ»®
y|VyV±|y|V!¡V4½ÂaÃÆ4Ða$®4¡~4¿2¡ÁaR |,y4,ºVy|V!Vy$q¾-4m ÈyTÃÆy×a¡Vº
V¼yT$»®4¡P-|~V±||~!¡V$½2yÂy1T;¡~mVºR¡~N¡VT½yV¡V¡~¼¡V±1V4TyK®E$yT¨yT¿
mT%»®¼Â!ÀN#.®0#®A~»¼TAT¡P|V¾-~VP |Ó¿
(Vyy4¡P»®ºi¡V4Vy¨¬m®Vc|VK$V»¼424ÃVq |~¡V¾®¡¡!4Ða$®4¡P@½KiºiT$Tq
T¡VT¾.¥ 0ä¿2
4¡~T®®2Ä~q¡Rq$R¾$yÉäÂT¡VT»~¡R1mT¡V2Vy¨¬m®V4V»®$
¡V¼»®¼Â®¡PTÃË$¿
!> <>!K* ¨; @2#!"È!+$"#"23"$
{K|~-®¡aÐa4V»/¼V»®44¡P±»¼Ä~»~V4Tyc¡~±4T¡cT |R¡V¾®y!$myyÈcÃÆy
y|VTºVV®¡V±E|VK4mq$y¼¡Ã[EV4Ty4ºq|~K~¨yEy4VyT4¡P®¡V±E c$VyT¡P@y¨y¿$Ìy|A
~$q24PyyÈy¼¡1T |~¡V¾%»¼»®¨½¼¡~±yA¬m®y~»®®Ö43/~$qK¡~ay$yT¨y4»¼¡VE~$q
¡mP½|~4y¼¡Ïy|V4»¼Ry4qºy|V1®V»®44¡Py®¡ÏÃ-Aq |~¡~®~ |ÅV4Ty;¼±y®¡Ï
~$q; |~T ÂmR¼¡P$ÊiyTy3ÄRq$q!R |6q¼TT¿ 2V!$VA~»¼º#ÃÆ!Vym4Ty3¼±y®¡Óº|V
y4 ~ 4m È ;~$q¡~Ay|V4¡14¡RVcy|VVy$qC¼±|~V±|A|~¡V4½Â)¿&2V
y|VAq |~¡~® Ã#Vy$q2 |VT Âm[®¡PTº|V3T ~yK$m $y/Vy$Ty2¡~y|V4¡,yi¬TC|V
~$q®±®¡N ÄV»®;y ±¿
Cy$qA¬m¼R»®¼Öq¨®¡Ñ®$RPqÅÃE½©~yTÕ©~AI.R¡V|VN$ÃVy$q
®¡Ãƨy¼¡6Á4PyyÈ;yÁÄRÄV»®8¡~±|V1V4Ty;¼¡R4[4¡~V4¡P»®6ÃÆ ¼y/»¼4®¡Óº
¡~E~@3.R¡V2|VKyTV $CRq®¡A4¡¨~¡~Èy¼¡½¼|/|VKVy$Ty$m $®¡!T |R¡V¾,¿
{K|~4yÃy|V±|~3~$q3q |~¡V¾ .R¡VTy|Va4!ÃK4 ¼¡VÃÆy®¡©¡V4qT©
¬m®y~»®®Ö43|~!Vym4Ty4ºV¡~NyTV $;T$qK$y|V,®-V»¼~±±q¼¡Pa|V¾$-î¡Ãƨy¼¡
4^T 2®±~I6$¿
2@¼±VyAÕ |VVym4Ty |V¼T$Vy
{K|V3yTV $T$Ty2$|~mV»®V±±T1¼¡PAy|V3±|VPKVym4TyK»®»¼¨½-Rq$¼ÃÆa½|~¨KyA
½¼|6$myyÈq©~¨y~¿äÃ2|V±|V~$q¾3V»®V±±TÁ®¡PNcßÝäá / 2á.2Û¨ß N®¡P4ÃË4ºÓ»¼»
4m ÈyTÁ~¨y½®»¼»cV¾4»®»®Ä[i¬TN®¡8TAÁVV®¡V±|VAVy$TyE$m $®¡Ó¿!{K|V
V)4y4¡PKqVy4E4$q2®¡P4ÃË4T½|V¾ |T¡1Ä[3V»®V±±Ta®¡P/±|VPKVym4Ty3 ~¡VT®¡
y|V±|VP;Vy$qT |~¡V¾,¿{K|V$Vyy4¡P®V»®44¡Py®¡Ï»®»®¨½-y,qNÃÆy ¡~©½¼
y14º~yTÃÆyͽyy!¾Â,¡~N4¡R,1¡~NyT44®¬;ÃÆy×|VA¡V4½Â)¿ |
yT~y4/T$q®¡y4ÃË4A¾;¾4¡Py~q8Äm8V¡~PV¾4¡Py~T!$»®~4;½¾¿a{#,V»®V±NR |6¡
®¡PTÃË$A¼¡PÁ±|V~$qTº#,¼V»®¼¡PTÃË$¾;i¬i¼»¾Ä~»¼/ÃÆ!y4ØVy±yATyG4Ë4
ã#®®¡V±,I6$¿
ã#®®¡V±NÕcCyV»®V±/yT~y44$qK®¡PTÃË$¼¡PaA±|VV4Ty
N
!#"
$
%'&
6a4¡6»®,.~¡~aA~y$TyÃÆ;q |6qV $44Ty¼¡PTÃË$¿82~;4V»¼ºÓ¼!®
[y¼ÄV»®,Ï ~¡V8ITAÑÄV )4a¼Ã!©±|VaVy$Ty¾V»®V±±Tμ¡PÅ 2á 2Ûß K/ ßá -(
2ÛIá;®¡PTÃË$ºPyAÄ[;ÄV»®®A[-~$qÃÆy%A±|~2Vy$qKyT1¼¡4y¿c{K|V
®¡PTÃË$¡~±ÄV )4 ®¡TA¾-|V¨½¡¼¡,ãÓ¾y¼¡~±1¯¿
ã#®®¡V±a¯Õcâ34yy¼±|VT-C2ÃÆTAa44Ty
(
)
*+
N
-,.
(
)
(
)
* /
%0&
(
1)
+ ! !
N N "2(
)
"
/
%0&
( 1)
3,4 ( )
"
"
/
%2&
{K|~®K®¡P4ÃË43®®¡PT± ¨q1®¡|V;±|VVym4Ty2¡~±44¡P-¡R¼-¾KRP¼Ä~»¼3y$¾¨y
AÄV [TA±|VP~®¡V±A|V;®¡P4ÃË4;|V¨½¡®¡,ã#®®¡V±:*V¿
ã#®®¡V±:*VÕcC2y4®3/Ä~ [T±|V2~$q
5
( )
*
$
( 1)
" $
1%2&
7:9 ;#;#<>= ?@9 AN»¾;~¨¬m¾TC¡¼¡Py4ÃË$Ky!¡~±;~»®-yTRÊi½yyK[4 ¨®¡R4Ë4ã#®®¡V±;¥"6È¿
ãÓ¾y¼¡~±A¥RÕCâ34y®±|~T1CÃÆ;~»®!T$Ty
∗
N $ N
%2&
%0&
! " !
N N "
/
% &
3, "
"
/
%'&
{K|~®K®¡P4ÃË43®®¡PT± ¨q1®¡|V;±|VVym4Ty2¡~±44¡P-¡R¼-¾KRP¼Ä~»¼3y$¾¨y
~»®3A±|~KR®¡V±A|V;®¡PTÃË$;|~¨½¡®¡NãÓ¾y¼¡V±a¤V¿
ãÓ¾y¼¡~±¤VÕc-C2$¾¨3 ~»®3±|VPKVy$Ty
5
$
" $
%2&
{K|VK®¡P4ÃË4CyRq$¼ÃÆ;~ 44 #ÃƱ¼¬4¡yT~y4T$TyA4|V®yTV $[T4R
¡~6¡V4qV;yÁÄ[1.R¡VTÏ~®¡V±Ny|Va®A~»¼TAT¡Py¨y¼¡ÏÃK|~aqV $¼¡Py4ÃË$®¡I|~1±|~
~$qT |R¡V¾,¿a{Á®V»®ÃÆ8|VVy±y¼¡V±ÃK¡VT½>Vy$Ty3¡~±TAT¡P3q |~¡V¾
¡~©|V1~Ãy|Va±|V;V4Ty;T |~¡V®,º#yTV $T$q3®¡P4ÃË4T!i¬¨¼»¾ÄV»®½y|I|V
±|VVym4TyKT |~¡V®×»¼»®¨½ ya[T4ÃÆ~yA4Ty2y|VV±|®¡y4ÃË4TT¿Ìy|,|Vq¼¡PTÉ
ÃË$q4ºy4r~± 4 T¡A~2y|VK ¼®¡R»yTV $244Ty$|~m~@ÃÆc4yº®Â
¡~¡V$½2yÂ)¿
mT Vy±yATy,¡V!|Ri¬ -AÞ)ßËÛ¨ßE,¼V»®4T¡~ |I®¡y4ÃË4TN4q¨¡VT½
±»¼Ä~»~V4Tyc¡~±4T¡Aq |~¡~®4¿$©!¡V24y¼»R¼¡PTÃË$qc/44TycyTV $qc¡V
y[T4ÃÆ~ $y4 2¼¡|~®R[4q¿
!"#%$&'()"*"
¡AEy4,ºEV4Ty#¾@TVqT¡PT!ÄP3½2ÂP®¡~V@Ã~¼¡VÃÆy®¡ÓÕ#V4Ty#®¡ÃÆy¨y¼¡!|R¨®
i¬¨¼»¾ÄV»®-®¡ay|VEÂ4y¡V4»&4áIHÙJHCRT¡ ~»®TTºmATy4±4¡PyTº[4¡R¼¡~±A¼±¡~»\ºPV4Ty¾4¡Py~T6
¡~1|V;y4±®T2¬¨»¼Vqy4®Tay|V;Vym4Ty2$T4®¡Ó¿
̼|X|~®Vy~ºCa¾ARP®ÄV»¼y©4mq$yN8Vy$q¡mm½|VT¼¡Ç©4»¼Ry4q¿Î{K|V,±|~
~$q1T |~¡V®.»®»¼¨½-a|V6$m $®¡Ìû®»y|V®®¡ÃÆy¨y¼¡Ó¿ {K|V©$m $®¡ÌÃ!|V
~$q4¡P4P-¡~1VyTy2~$®K¡V-¡1¾yV3¼ÃÂ4y¡V4»)®¡ÃÆy¨®¡®44Ty®ÄV»®G4ËÃ@|V
4m Èy¼¡1T |R¡V¾×4¡,T$q2y|V;[4 ¨y¼¡V±mTVyyRÈ~q 6$¿
{K|VA$myyÈ®¡8Ãc|~/y4±®TE¬¨»®Vq¾AÐa4V»q¿ Ìy|©PV4TyyE¡~NmÉ
T¡Î4Tº|Vq¬¨»®VTAya¡~»¼Ïi¬¨®»®ÄV»®a¼¡Î~¾$~»®/mT ¨q4¿ 2V/4VV»®ºc®¡
ã#¼¡m~¼¡V±AE§AVy$q 4ºmy4±®T2¬¨»¼Vq-y3¡V»®i¬¨¼»¾ÄV»®¼¡|~!ÂT¡VT»ÓVy¼¡~±Ay$yVy¡Ã
4V$4V®¡ÓºmT4»®»¾E®¡P4yyV®¡R4¿3{K|V4y$Ãƺ~y4q¨y/a±|VE~$q¼¡8|VãÓ®¡m
Â4y¡V4»\º)|~a4 |~yÄ[®¡6,y¨y¼¡I½|V¾ |©y4±®T3¬i»¼~T3yi¬i¼»¾Ä~»¼¿ä!¾;|VV»¾
»®Ä[/ay!½|V¾ |N4¡RÄV»®T-|VÈy¼¬¨¨y¼¡NÃCVy$q4m Èy¼¡N¨¡my¼º~4¬4¡N¼Ãc|V
~$qC®¡VÈy¼¬-¼¡y|VEy4 4Æ¡VyV¡V¡V®¡V±!¡a3Vym4Ty6$¿@mR |1; ¨y-®¬TA®¼»¾
y1y|V®±¡R»yT¨y4¡P3y¿/{K|VT4ÃÆyº)½A|~i¬/$yTqÁ®¡Á|~ã#¼¡mÁÂ4y¡V4»c¡V4½ ¨
®A®»¾!yN|~Â4y¡V4»2®±¡~»y¨y¿6{K|V®Ay¨ya¾/4$q®ÄV»¼¨ÃT!y|Vayq¨T¡AÃ-[4¡~V¼¡V±
®±¡~»®TºV»®Ty®¡ÃÆy¨®¡ 4 -;Þ[ßËÛß¡~a®±¡~»®6¡V4qVKyAÄ[!¡R±q¿C{K|V!4q¨®¡Ã@|~®
yayPV®yT!NÂ4y¡V4»ART¨®¡ÏÃ-Ä[/4¡Ï»®®¡VTT¿Á{K|V¾R4®¡Å»®»®¨½-3ÁÂ
1Vym4Ty½K¼®¡V±aÃÆ¡Á$myyÈ®¡ 4Æ®¡©a½Ki,®¼»¾E1|VA½2i,V4Ty-¾yÂqÁ
|Ri¬P®¡V±1aRT¡~®¡V±¼±¡~»6È¿{K|V¾¡VT½r ¨y!®$®¬VV®¡V±1|V/4Vy¡NÃC444y¼¡~Tº[y4
T»®»®K®¡P4yyV®¡R4¿{K|V4y$ÃƺmT±¾y42¬i»¼~TKyEi¬¨®»¾ÄV»®E¡~aVy$q$m $®¡4¡ÄR
Èy¼¬¨¨yT¨¡Py¼¿
" $ ! ) * !$ '( " "
)' ! !" "
{q|~E®V»¼T4¡Py®¡aÃ#±»®Ä~»~Vy$q¡~±44¡P2Aq |~¡~®CÄm4 Vy±yAÉ
TyTº¡a-Cc¾i¬¨¼»¾ÄV»®2AT»~½¼|±|~Vym4Tyq4¿@{K|V¾-C®Ä~TA¡|V$¡R$4VyCÃ
Þ)ßÛqàyá$Ü Üá-'$Þ~Û¨ßÈÝ1-¨ÝËÛ3/I¡~1Þ[ßyÛTà á$ÜyÜ 2ÞVÛßÈÝ-ÝËÛ/~¿K{K|VÞ[ßyÛTà á$ÜyÜ/á '$ÞVÛßÈÝ -ÝËÛ/ 4^T!ãÓ¾y¼¡V±a§J6K»®»¼¨½-
y¬m¼~»¼®Ö4;Vy$q2ÃÆy|V;»®4»4ס~Vy¨¬m®q¡,ÄVTÈ-y4~qT¡y¼¡~±y|V!±|~
~$qT¿
ã#®®¡V±a§~Õ@$qK4R ¨®¡-C
$
"
+1
%2&
{K|~1Þ)ßÛqàyá$Ü Ü 2Þ~Û¨ßÈÝ1-¨ÝËÛ3/ 4^TNãÓ¾y¼¡V±Ñ¦(6/»¼»®¨½-/Iyy¡~ÃÆTA|VN±|VA~$qA®¡X|VN»®4»
TA 4ƼÃCy|V±|VEVy$q®E¡V»¼T»®»¼,i¬¨®»®ÄV»¼16¡R,$yT¨y14»¼¡V~$q-ÃÆF
±|VVym4Ty4¿
ã#®®¡V±1¦mÕCy$qK®R ¨®¡,-
+*
$
-%-&
{K|~a4 V± 4¡V4qV3yN±®¬±|VP;Vy$Ty3ÄVTÈ;Vy¨¬m®VT©ÄP©¡I$[y¨y¼¡
¡~;¡VT½ÇV4TyC¾$yTq4ÃÆyÂm¼¡~±J6¡R¼¡RTyT®¡|VE»¼4»Ry4 4|~Vy$Tyc¾Èy¼¬
¡~4¡yV¡,¼¡|~!4 6$¿
!" #
{K|~1±|~Vym4Ty!T |R¡V¾ ¾/Nq |~¡V¾ ÃÆVy$q¬P®~»¼®ÖT®¡I½|V¾ |Ñ»®»¼¨½-!|V
®V»®44¡Py®¡Óºm®¡¡1q½2iºÃ±»®ÄR»[V4Ty¡R±T4¡P2q |~¡V¾2~ |~$q
VVV»®®T¨®¡#ºA®± ¨y¼¡¡~ |VT Âm[®¡$ÊiyTyq¿
{/®»®»¼~ ¨yy|V3~ÃÓ|~±|VKV4TyT |R¡V¾,ºP|~¡~$m-qÈ®¡$ ®»®y|V3¼V»®$É
T¡ ¨y¼¡ÁÃc½2a±»®ÄR»#~$q¡~±4T¡EAq |~¡~®!ÕVy$Ty-®± ¨y¼¡Á¡~N~$q
|~T ÂmR¼¡P$ÊiyTyT¿
$ %
#"4: !Ór @2# @ <r3 +$ ,!+N @2#¢79'&
!:!-(./%79!"$@(.
{K|~,CTy$y¼Ä[Tή¡ÇmqÈy¼¡ *~¿¯8®RqÅyI4q¨y¡VT½T |R¡V¾/I±»¼Ä~»®»¼Ï¡~±
~$qTT¿)2~;q |8q |~¡V¾ 4Æ¿±R¿A~$q®± ¨®¡©;V~»¼¾4®¡6$º¨Ãy4|~a$yT¨y¼¡
ÃCa±|~Vym4Ty4º[T×Vy±yATyK|Ri¬3¡~±3|~Vy$TyÃÆyF½|V¾ |N|~±|~
~$q|RÄ[44¡ 4q¨yTX¡~XyÏ¡~±|VN¡VT½FÈy¼¬NV4Ty$yT¨yTÑÃÆ y|VÁ±|~
~$qT¿ ©¼»®»¼Ryyy|V®/V~P |I¡Iy|Va$VA~»¼q!ÃVy$q;®± ¨y¼¡6®¡ÎmqÈy¼¡Ï¥~¿®
¡~ÃV4Ty2 |~T ÂmR¼¡P$ÊiyTy®¡ÁmT$®¡¥~¿¯¿
! $&'()"*"
2~4V»¼ºR¼V»®!~VP |1a®V»¼T4¡PVym4TyK¼±y®¡,T |~¡V®%¾y$m $
y|VVy$Ty®¡a3±|VPcVy$Ty®¡|V4/Ã[|V~y42¡~mV4Ë4-ãÓ¾®¡V±E 6$º|~4¡!4¡R
y|V±|VP~$q|~V±|y|VE¡~$½2yÂyATAT®¡~¨y¼¡a¡V84Ë4ãÓ¾y¼¡V±GF 6$¿E¡1|V
VT®¡~¨y¼¡¡~mVºVy|V!±|V-Vym4TyK¡V4qVKyaÄRq$4®¬q¡~|~4¡Óº~|V!±|V-Vy$TyK¡VTTV
yÄ[E®RyTa/4q¨yE!¡~4½ $®¬EV4Ty4¿$Ì|V4¡1|V¡VT½ Vym4TyC¾K$yT¨yT¡a|~EqÉ
y¼¡R¨®¡¡VºV¡ Âm¡V¨½»¼q±T4¡P¾T¡2Ay|V;Vy4¡V¿ Ì|V4¡|~3 Âm¡V¨½»¼q±T4¡P
¾KyT$T¼¬T¡|V!~y4E¡Vº|~;¼¡V¼¾»#V4Ty¾qy¨T¿
ã#®®¡V±:EVÕCy$qK®± ¨®¡#Õ»¼±yy|V $q$yT¡|V!~y4E¡V
+*
! %
∗,3
N ! 5
*
∗
+1 N !
(
!
! %0&
∗,3
N
-, N N
. 2$
+1 ∗
$
+
N
-,.
$
%0&
∗,3
$
$
N $
* N
∗
+
+ N
*
*
M
M(%
" $
-%0&
∗,3
$
+1
" $
$
+*
+
!
∗
∗
N
∗
+*
$
"
%0&
∗,3
N ! $
$
+1 $ !
* N
N5N
! ∗
N !
$
N !
! " $
-%2&
∗,32,
$
N
*, ! N
N ( $ !
N N N ! ∗
∗
$
+
+*2 N
∗
!
N !
,
+
N !
! %0&
∗,
$ N5$
.
+
!2"
,3
!
*
+ $ ∗
∗
+1
N5
$
+
N ! ∗
!
*
*
%0&
ãÓ¾y¼¡~±8F~ÕcCym4TyK¼±y®¡ÓÕ»®±¼|V$T4q1¡1y|V!T®¡~®¡,¡V
+*
!
+*
! %
∗,3 +
$
$
*
+ $
.
N ! ∗
∗
$
$
*
! N ( )
* ∗
(
)
+*
$
N
N !
! %0&
∗,3
N
-, N N
.
5$
+* ∗
$
+
N
-,.
$
%0&
∗,3
$
( )
*, $ $
$
+1 ∗
1 ( )
*
$
( )
" $
1%0&
∗,3 $
$
N $
N
+ ! !
N
∗
+
+ N
*
*
M
M ) " $
%0&
∗
$
$
*
! ! " N
-,
+1
!
∗
N
-,. 1
!
+1 $
"
+1
%0&
∗
$
*
!."
N
∗
∗
N , ! N
N4
$
+*
N ! ∗
!
*+
N
*
! % $ N
