Logical Time: A Way to Capture Causality in Distributed Systems

HAL Id: inria-00074203

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

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.

Logical Time: A Way to Capture Causality in Distributed Systems

Michel Raynal, Mukesh Singhal

To cite this version:

Michel Raynal, Mukesh Singhal. Logical Time: A Way to Capture Causality in Distributed Systems.

[Research Report] RR-2472, INRIA. 1995. �inria-00074203�

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

Logical Time: A Way to Capture Causality in Distributed Systems

M. Raynal, M. Singhal

N˚ 2472

Mars 1995

PROGRAMME 1

-./)01%234#57698:")01;)

<>=@?5ACB0DAFEHGCI<>=KJ,LMD@NPO1AQEHG+G

RSUTFVFSWCXYX[Z&\]9^S_U`Pacb+ZH_db+e,S+ZHf;ghWCSWjikimlZdinZHfpohqhWFfrZHf!sPZ&sPTFt,t7uZZHfoPS,uZHfrZHWCePv

ZbfrwxfybHlZX[ZHf7sQaMfyb+Syacq,e7uZHf

RS+TQz{Zb7^:sPg

|!W}g,ghTFS+b(sPZ5S+ZH_U`,ZS_U`,Z~t5P€C,‚j€]„ƒ…WCSdf\‡†F†Fˆ]„€F€ghWCVQZHf

‰Š$‹ŒH‡ŽhCŒF’‘7`,Z“_dTQth_dZg,b:TC”•_WCehfUW‡i–anbyw…qhZby—7ZZt…Z˜FZtPbf;aMf(”™e,ths,WCX[ZtPbW‡ib+Tb+`,Z[sPZHfšacVFt

WCths›WCthW‡icw,fšaMf(TC”2ghW}SW‡i–icZdiœWCthssQaMfyb+Sranq,e,bUZHsž_dTQX[g,e,byact,VŸW}thsTFg0ZSWCbyact,Vfywxfrb+ZX“f !¡(fyehW‡i–icw

_WCehfUW‡i–anbyw4aMf;b+SWF_U¢FZHs4ehfšact,V4g,`£w,fšaM_W‡i¤byacX[ZFo0q,e,b7actžsQaMfybUSyacq,e,b+ZHs…fywxfrb+ZX“f!fyZbUbyact,Vho,b+`,ZS+Z(aMf

t,Tq,ePakicb+¥¦act›g,`£w,fšaM_W‡i*branXYZWCths&anb§aMfTQtPinwYghT£f+f{anqPicZ:b+T:SUZHW‡i–an¨Z5W}t“WCg,g,S+T‡vPanX4WCbyacTFt[TC”0acbH ^:f

WFfrw£th_U`,S+TFt,TFehfsQaMfyb+Syacq,e,b+ZHs©_dTFXYg,e,bWCbyacTFthfX“WC¢FZ"g,S+TFVQS+ZHf+f(actªfrg,e,S+bfoKacb5b+e,SUthf:TFe,bb+`hWCb

b+`,ZicTFVCaM_W‡ibyacX[ZFo@—!`PaM_U`«WFsP˜jWCth_dZHf;act4zye,X[ghfo¬a­f:freP®Ÿ_UacZt£b:b+T_WCg,b+e,SUZ5b+`,Z”¯e,ths,WCXYZt£bWji

X[TQt,TFb+TFtPaM_Uacbyw“g,S+TQghZS+byw“WFfUfyTx_UaMWCbUZHs4—7acb+`_WCehf+W‡i–acbyw[actsQaMfyb+Sranq,e,bUZHsfyw,fyb+ZX“fp 2‘•`Pa­f•ghWCghZS

S+Z˜QacZ—f;b+`,S+ZZ5—!W‡w,fbUT“sPZd°ht,Z:icTFVCaM_W‡ibyacX[Z"±mZF ²Vh co,f+_W‡iMWCS!branXYZFoh˜FZH_dbUTFS7byacX[ZFo*W}ths4X“WCb+Sya–v

byacX[ZC³§b+`hWCb!`hW‡˜FZ(qhZZt…g,S+TFg0T£fyZHs4b+T[_WCg,bUe,S+Z5_WCehf+W‡i–acbywqhZby—7ZZtZ˜FZtPbf7TC”W"sQa­frb+Syacq,e,b+ZHs

_dTFXYg,e,bWCbyacTFt 

´µ£¶·y¸"¹*Cº$‹F/»;aMfyb+Sranq,e,bUZHs©fywxfrb+ZX“fo_W}ehf+W‡i–acb{wFo2inTQVCaM_W‡ibyacX[ZFo`hW}g,ghZthfYqhZd”™TFS+ZFof+_Wji­W}S

byacX[ZFo0˜FZH_db+TQSœbranXYZFo,X“WCb+SrakvbyacX[ZF 

¼¯½"¾

¿yÀyÁHÂ

¾

¿ÃÄnÀ{ŦÆHÇ

ÈməÊ@əȨ̈ÍjÎÏUМчÒHÓ$ÔHÕÖ0Õ+Ï+Òp×ÙØÚÕyÒFÍxÛdÜdÝ+Þß!Ê@ÕyàHà‡ÕyÓ¦á¯Î;âÕyÔHÕyãCÍCäjådædçjåèé‡êyäCêëå,ì¦íUäFî

ÈmÈ{ïKÕyÑHðyîñ+ò£Î@ñdÐ7ÑH҇ð™Õ{óyÍɦàòcñdó™Ð•ÏUð¦ØÚñdàËôšØÚÕyàHôyÕdÍjÎ@ñU×ÚÒHЧõHÒHÓyÍFö÷YÞøÛdßù+ÝpÍpë‡êyçHúdûjåèéü‡ê+ë,ì™ýrûFêýþëUÿHådÿ,ìCî

Unite´ de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Te´le´phone : (33) 99 84 71 00 – Te´le´copie : (33) 99 84 71 71

§ (#&)@ (+

µx‹ µžZ:SdWCg,ghTFSUbœZdvhWCX"act,Z"sQa:uZS+Zt£bdfX©uZH_WCtPaMfyX[ZHf;sÙ`,TFSyicTFVFZSranZ(icTFV}aQe,ZQePa¤TFtPb

u

ZbxuZg,S+TFghTPf£uZHf;ghTFe,S5_W}g,b+e,S+ZS:iMW4S+ZdiMWCbranTQtªsPZ“_WCehf+Wjikacb,uZ"Zt£b+SUZªuZ˜uZt,ZX[ZtPbfs²e,t frwxfybHlZX[Z

S,uZghWCS+byam 

¹0ŒH‹·+µ _WCehfUW‡i–anb,uZFo$g,S,uZH_0uZHsPZth_dZFo¤fywPbHlZX[Z[S,uZghWCS+byamo$b+ZX[ghficTFVCaQe,ZFob+ZX[ghfi–actœuZHW‡acS+ZFo

$ %

-%64#&$-

^sQaMfyb+Syacq,e,b+ZHs4_dTFX[g,e,bdWCbyacTFt“_dTFthf{a­frbfTC”W5fyZbT}”1g,SUTx_dZHf+frZHfb+`hWCb_dTPTFg0ZSWCb+ZW}ths[_dTFX[g0Zb+Z

b+T4WF_+`PacZ˜FZ[W[_dTQX[X[TFt›VFT£W‡im h‘7`,ZHfrZ5g,S+T,_dZHf+fyZHf(sPT[t,TFb:fy`hWCS+Z5W4_dTFX[XYTFtVCicTFqhW‡i¤XYZX[TFS+w

WCths _dTFX[X"e,tPaM_WCb+ZfyTCicZdicw«qPw…ghWFf+fšact,V…X[ZHf+f+W}VFZHf:TC˜FZS"W_dTFX[X"e,tPaM_WCbyacTFt t,Zby—7TFS+¢@ ‘7`,Z

_dTFXYX&e,tPaM_WCbranTQt sPZdiMW‡w›a­f;°htPacb+Z4q,e,b5e,t,g,SUZHsQa­_dbdWCqPicZF 2‘•`,Z“WF_dbyacTFthf(TC”!W4g,S+T,_dZHf+f5WCSUZ&XYTF¥

sPZdicZHs WQf"b+`,S+ZZ4byw£g0ZHf"TC”Z˜FZtPbfo$thWCXYZdinwFo2antPb+ZS+thWjiZ˜FZtPbfoXYZHf+f+WCVFZfrZths Z˜FZt£bdfoWCths

X[ZHfUf+WCVFZ4S+ZH_dZdac˜FZZ˜FZtPbf K^t act£b+ZSUthW‡i!Z˜FZt£b"TFtPicw©W ZH_dbf:bU`,Z“g,S+T,_dZHf+f"WCb—!`PaM_+` acb[T,_d¥

_de,SfpoWCthsb+`,Z"Z˜FZtPbf(WCb:W[g,S+T,_dZHf+f:WCSUZ:i–act,ZHWCSyicw«TFSsPZSUZHsqPwb+`,ZdacS:TFSsPZS(TC”T,__de,S+S+Zth_dZF 

ƒ›TFS+ZTC˜FZS‡o£fyZthsWCthsYS+ZH_dZdac˜FZ:Z˜FZtPbf7fšacVFtPa–”™wb+`,Z'&hTC—>TC”actP”™TFS+X“W}byacTFt“q0Zby—œZZt4g,S+T,_dZHf+fyZHf

WCthsZHfybWCqPi–aMfy`…_WCehf+W‡i2sPZg0ZthsPZth_dw›”¯S+TQX bU`,Z&fyZthsPZS(g,S+T,_dZHf+f7b+T[bU`,Z5S+ZH_dZdac˜FZS(g,S+T,_dZHf+f )(šb

”™TCi–icTj—(f7b+`hWCb7b+`,Z(ZdvxZH_de,branTQtTC”2W"sQaMfyb+Sranq,e,bUZHsWCg,gPi–aM_WCbyacTFt…S+ZHfyePicbf actžW"fyZb7TC”sQa­frb+Syacq,e,b+ZHs

Z˜FZtPbf;g,S+T,sPeh_dZHsqPwb+`,Zg,S+Tx_dZHfUfyZHf @‘7`,Z&_WCehfUW‡i2g,SUZH_dZHsPZth_dZ[S+ZdiMWCbyacTFtanthsPeh_dZHfW"ghWCS+bra­Wji

TFSdsPZS!TFtb+`,ZZ˜FZt£bdf7TC”2W[sQaMfybUSyacq,e,b+ZHs…_dTFX[g,e,bWCbranTQt 

œWCehf+W‡i–acbyw±šTFS7b+`,Z5_WCehf+W‡ig,S+ZH_dZHsPZth_dZS+ZdiMWCbyacTFt@³œW}X[TFt,V"Z˜FZtPbf§actW[sQaMfyb+Syacq,e,b+ZHs›fyw,fy¥

b+ZX aMf“W ghTC—7ZSy”¯ePi:_dTFth_dZg,b[act S+ZHWFfyTFtPact,Vho7WCthW‡icwP¨dact,VhoœW}ths sPSW‡—7act,V…actP”™ZS+Zth_dZHfWCqhTQe,b

W…_dTFX[g,e,bdWCbyacTFt ¤‘•`,Z“¢Pt,TC—7icZHsPVFZ“T}”•bU`,Z“_WCehf+W‡i7g,S+ZH_dZHsPZth_dZSUZdi­W}byacTFt W}X[TFt,Vg,S+T,_dZHf+fyZHf

`,Zdicghf:fyTCic˜FZ5W ˜jWCSyacZbyw4TC”2g,SUTFqPicZX“f7act…sQa­frb+Syacq,e,b+ZHs…fyw,fyb+ZX“f P^(X[TFt,V[bU`,ZX/—7Z(°hths+*

,

»;aMfyb+Syacq,e,b+ZHs"W‡icVFTFSranbU`,X“fsPZHfšacVFt-*F‘7`,Z§¢£t,TC—7icZHsPVFZ§TC”,b+`,Zœ_WCehfUW‡i£g,S+ZH_dZHsPZth_dZ7S+ZdiMWCbyacTFt

WCX[TFt,V;Z˜FZt£bdf@`,Zdicghf$Zthfye,S+Zi–ac˜FZt,ZHf+fW}ths(”mW‡acS+t,ZHf+f1antX"e,b+ehW‡i£Zdvh_UicehfšacTFt[W‡icVFTFSyacb+`,X“fpo

`,Zdicghf"X“W‡actPbW‡act _dTQthfšaMfyb+Zth_dw…act©S+ZgPi–aM_WCb+ZHs©s,WCbdWCqhWFfyZHfoW}ths«`,Zdicghf[sPZHfšacVFt©_dTFS+SUZH_db

sPZHWFsQicTx_U¢sPZb+ZH_dbyacTFt…W‡icVFTFSyacb+`,X4f7b+T“W‡˜FTCaMs4g,`hWCtPb+TFX/WCthse,thsPZb+ZH_db+ZHs›sPZHWFsQicTx_U¢xfp 

,

‘SdWF_+¢Qact,V[TC”sPZghZthsPZtPbZ˜QZt£bf.*/(štžsQaMfyb+Sranq,e,bUZHssPZq,e,VFVCact,Vho0b+`,Z:¢Pt,TC—7icZHsPVFZ:TC”b+`,Z

_WCehf+W‡i!sPZghZthsPZth_dw©WCX[TFt,VZ˜QZt£bf`,Zdicghf&_dTQthfyb+S+eh_db"W_dTFthfšaMfybUZt£b"fybWCb+Z”™TFS5SUZHfye,¥

X"act,V[S+ZZdv,ZH_de,byacTFt-0Qact4”W‡a–ice,S+ZS+ZH_dTC˜FZS+wFoCacb7`,Zdicghf!q,ePa–iMsW"_U`,ZH_+¢PghT}antPb10QactS+ZgPi–aM_WCb+ZHs

s,WCbWCqhWQfyZHfo¬anb"W‡aMs,f(act«b+`,Z[sPZb+ZH_dbranTQt«TC”°,icZ"acth_dTFthf{a­frb+Zth_UacZHfactª_WFfyZ"TC”!W4t,Zb{—7TFSU¢

ghWCS+byacbyacTFtPact,Vh 

,32

t,TC—7icZHsPVFZœWCq0TFe,bb+`,Z§g,S+TFVFSUZHf+f*‘7`,Z¢Pt,TC—7icZHsPVFZT}”xb+`,Z_W}ehf+W‡ixsPZg0ZthsPZth_dw W}X[TFt,V

Z˜FZtPbf:`,Zdicghf[Wg,S+Tx_dZHfUf5XYZHWFfye,S+Z[bU`,Z[g,S+TFVFSUZHf+f:TC”!TFbU`,ZS5g,S+T,_dZHf+fyZHfactªbU`,ZŸsQaMfyb+Sran¥

q,e,b+ZHs_dTFX[g,e,bdWCbyacTFt h‘7`PaMf§aMf7ehfrZd”¯ePiactsQaMf+_WCSdsQant,V4TFqhfyT}inZbUZ(antP”™TFS+X4WCbyacTFto,V£W}S+qhWCVFZ

_dTCi–icZH_dbyacTFtoWCths4b+ZS+X anthW}byacTFtžsPZb+ZH_dbranTQt 

,

TFth_de,S+SUZth_dw[X[ZHWFfye,SUZ*£‘7`,Z!¢Pt,TC—7icZHsPVFZ(TC”`,Tj—©X4WCt£w"Z˜FZtPbf§WCS+Z_WCehfUW‡i–inw4sPZghZt,¥

sPZt£b;aMf(ehfyZd”™ePiant…X[ZHWQfye,Syact,Vb+`,Z&W}X[TFe,tPb!TC”œ_dTFth_de,S+SUZth_dwact«W4_dTFX[g,e,bWCbranTQt h^;i–i

Z˜FZtPbfb+`hWCb&W}S+Z[t,TFb[_WCehf+Wjikicw S+ZdiMWCb+ZHs _WCt qhZZdv,ZH_de,b+ZHs©_dTFth_de,S+S+ZtPbyicwF ‘7`PehfoWCt

WCthW‡icw,fšaMf!TC”b+`,Z5_WCehfUW‡i–anbyw4actžWY_dTFX[g,e,bWCbranTQtVCac˜FZHfW}t4a­sPZHWYTC”b+`,Z5_dTFth_de,S+SUZth_dw4ant

b+`,Z:g,S+TFVQSWCX 

‘7`,Z“_dTFth_dZg,bTC”•_WCehfUW‡i–anbyw›aMf—7aMsPZdinw ehfyZHs…qPwž`Pe,X“WCt…q0Zdant,VPfo$TC”¯bUZtže,th_dTQthf+_UacTFehfšicwFo

act gPi­W}t,tPant,V0of+_U`,ZHsPePikact,VhoWCths Zdv,ZH_de,byacTFtªT}”;W_U`,TFS+ZYTFS&WCt Zt£b+ZSUg,SyaMfyZFo@act©sPZb+ZS+X"actPact,V

actP”™ZHWFfšacqPa–ika¦b{w>TC”5W…gPiMWCt TFS[b+`,Z4act,t,T,_dZth_dZ«TC”5WCt WF__dehfyZHs@  (mt>s,WHwP¥™b+T,s,W‡w«i–a–”¯ZFo§b+`,Z›VCicTF¥

qhW‡i7byacX[Z4b+TsPZHsPeh_dZ_WCehf+W‡i–acbyw…S+ZdiMWCbyacTFt a­fTFq,bdW‡act,ZHs…”™S+TFX icTPT£fyZdicw frw£th_U`,S+TFtPac¨ZHs _UinT,_U¢xf

±™am ÙZF ­o¤—;SyaMfyb[—!WCb_U`,ZHfo$—!W‡i–i;_UicT,_+¢,fd³ !TC—7Z˜FZSHo1ant sQaMfybUSyacq,e,b+ZHs>_dTFX[g,e,byact,Vªfyw,fyb+ZX4fo$b+`,Z

SW}b+Z[TC”T,__de,S+S+Zth_dZ4TC”!Z˜FZtPbfaMf&frZ˜FZSW‡iX“W}VFtPacb+ehsPZHf"`PacVF`,ZS[WCths b+`,Z[Z˜FZtPb"ZdvxZH_de,byacTFt

byacX[ZaMffyZ˜QZSW‡i¤X“W}VFtPacb+ehsPZHf!fyX“WjikicZS10@_dTFthfyZ Qe,ZtPbyicwFo,a–”b+`,Zg,`£w,fšaM_W‡i2_UicT,_+¢,fW}S+Z5t,TFb;g,S+Z¥

_UaMfyZdicwfywPth_+`,S+TQtPan¨ZHs@o§b+`,Z…_WCehf+W‡i–acbyw©S+ZdiMWCbyacTFt>qhZby—7ZZt Z˜FZtPbf"X4WHw t,TFb[q0Z«WF__de,SWCb+Zdicw

_WCg,bUe,S+ZHs@ ;Tj—7Z˜FZS‡o@act W…sQa­frb+Syacq,e,b+ZHs _dTQX[g,e,bWCbyacTFto$g,S+TQVFS+ZHf+faMf"X“WFsPZYact fyg,e,S+bfYWCths

b+`,Z antPb+ZSWQ_dbyacTFt«qhZby—7ZZt«g,S+T,_dZHf+fyZHf(T,__de,Sfant fyg,e,S+bf0_dTQthfyZ Fe,ZtPbyicwFoKacb:b+e,S+thf:TQe,b:b+`hWCb

actªWsQaMfyb+Sranq,e,bUZHs«_dTFX[g,e,bW}byacTFto@b+`,Z[_WCehf+W‡i–acbyw…S+ZdiMWCbyacTFt…qhZby—7ZZt…Z˜FZt£bdf(g,S+TxsPeh_dZHs q£w…W

g,S+TQVFSWCX Zdv,ZH_de,byacTFto¤W}ths›acbf(”™e,ths,WCX[ZtPbW‡iX[TQt,TFb+TFtPaM_Uacbywžg,SUTFghZS+bywFo_WCt qhZWF__de,SWCb+Zdicw

_WCg,bUe,S+ZHsqPw[icTFV}a­_Wji2_UicTx_U¢xfp 

(mt«W“frwxfybUZX TC”icTFV}a­_Wjiœ_UinT,_U¢xfo@Z˜QZS+wg,S+T,_dZHf+f(`hWFf(W"icTFVCaM_W‡iœ_UicT,_+¢›b+`hWCb;aMf:WFsP˜jWCth_dZHs

ehfšact,VW[frZb!TC”S+ePicZHf  ˜FZS+wZ˜FZtPb7aMf(WFf+fšacVFt,ZHs›W"byacX[ZHfybW}X[gžWCthsb+`,Z5_WCehf+WjikacbywS+ZdiMWCbyacTFt

q0Zb{—7ZZt©Z˜FZtPbf"_WCt qhZVFZt,ZSdW‡i–inw actP”™ZS+S+ZHs ”™S+TFX b+`,ZdacS[byacX[ZHfybW}X[ghf ‘7`,Z4byacX[ZHfybWCXYghf

WFfUfšacVFt,ZHs4b+T"Z˜FZtPbf§TFqhZw4b+`,Z(”™e,ths,WCX[ZtPbW‡i*XYTFt,TFb+TFtPaM_Uacbyw“g,SUTFghZS+byw+0Pb+`hWCbaMfoxak”WCt4Z˜FZtPb

_W}ehf+W‡i–icwŸW ZH_dbf§WCt[Z˜FZtPbCoQb+`,Zt4b+`,ZbranXYZHfybWCX[gYTC” 7aMf7fyX“WjikicZS!bU`hWCt[b+`,Z(byacX[ZHfybW}X[g

TC”  

‘7`PaMf"ghWCghZS °hSfyb[g,S+ZHfrZt£bf"W…VQZt,ZSW‡i7”¯SdWCX[Z—7TFS+¢…TC”5W…fywxfrb+ZX'TC”icTFV}a­_Wji_UicTx_U¢xf&ant

sQaMfyb+Sranq,e,bUZHs fyw,fyb+ZX“fWCths b+`,Zt sQaMf+_dehfUfyZHf"b+`,S+ZZ4—!W‡wxfb+TacX[gPicZX[ZtPb"icTFVCaM_W‡i!byacX[Z4act©W

sQaMfyb+Sranq,e,bUZHsfyw,fyb+ZX  (mt>b+`,Z°hSfyb[XYZb+`,Txs@o b+`,ZW}X[ghTFSUb Úf[f+_Wji­W}SŸ_UicT,_+¢,fo§b+`,ZbyacX[ZaMf

S+Zg,SUZHfyZt£bUZHs4q£w[t,TQt,¥™t,ZV£WCbyac˜FZ(actPb+ZVFZSf0Qactb+`,Z5fyZH_dTQths[X[ZbU`,Txs@o,bU`,ZbyacX[Z(aMf§S+Zg,S+ZHfrZt£b+ZHs

qPw“W˜FZH_db+TFS§TC”¤t,TFt,¥™t,ZVPWCbyac˜FZ;antPb+ZVFZSdf0QantbU`,Zb+`PacSsYX[Zb+`,T,s@oPb+`,Z(byacX[Z!aMf7SUZg,S+ZHfyZtPb+ZHs“WQf

WX“WCbUSya–v T}”¤t,TFt,¥™t,ZV£WCbran˜QZ!actPb+ZVFZSf ,‘7`,Z(S+ZHfyb§TC”¤b+`,Z(ghWCg0ZSaMf§TFS+VPWCtPac¨ZHsWFf$”™TCi–icTj—(f*,‘7`,Z

t,Zdv,bœfyZH_dbranTQt“g,S+ZHfrZt£bf§W(X[T,sPZdi*TC”b+`,Z!Zdv,ZH_de,byacTFt4TC”1WsQaMfyb+Syacq,e,b+ZHs4_dTFX[g,e,bW}byacTFt FZH_dbyacTFt

#…g,SUZHfyZt£bdf&W VFZt,ZSW‡i7”™SWCX[Z—7TFS+¢…TC”;inTQVCaM_W‡i_UicTx_U¢,f[WFf"W…—!W‡wžbUT _W}g,b+e,S+Z_WCehf+Wjikacbyw ant

W…sQaMfyb+Syacq,e,b+ZHs©_dTQX[g,e,bWCbyacTFt FZH_dbyacTFthf"›b+`,S+TFe,VF`sQaMf+_dehfUf"b+`,S+ZZ4ghTFg,ePiMWCS[fyw,fyb+ZX4f:TC”

icTFVCaM_W‡i_UinT,_U¢xfoPthWCXYZdinwFo,f+_Wji­W}SHoP˜FZH_db+TFSHoPWCthsYX“WCb+Sya–vŸ_UicT,_+¢,f FZH_dbyacTFt…‚5sQaMf+_dehf+fyZHf•Zd®Ÿ_UacZt£b

acX[gPicZX[ZtPbWCbyacTFthf4T}”b+`,ZžfrwxfybUZX“fTC”icTFV}a­_Wji_UicTx_U¢xfp KacthW‡i–icwFZH_dbyacTFt _dTFth_UicehsPZHf4b+`,Z

ghWCg0ZSH 

6[;ž! ©./)0%$34#176#"%$&77#¤-&)

&('*) +%,.-,./103254768-9:,<;=9

^~sQaMfyb+Sranq,e,bUZHs…g,S+TFVFSdWCX aMf_dTQX[ghT£frZHsT}” W4fyZb(TC”>«WFfywPth_U`,S+TFt,TFehf;g,S+T,_dZHf+fyZHf?.@Co1?.ACo ­ c co

?Byoh ­ c coC?D"b+`hWCb_dTFX[X"e,tPaM_WCb+Z;q£w"X[ZHf+fUWCVFZ7ghWFf+fšact,V"TC˜FZSW:_dTFX[X"e,tPaM_WCbyacTFt4t,Zby—7TFS+¢@ F‘7`,Z

g,S+T,_dZHf+fyZHf$sPT(t,TFb¤fy`hWCSUZW7VCicTFqhW‡i£XYZX[TFS+w:WCths5_dTQX[X"e,tPa­_W}b+ZœfyT}inZdicw:qPw:ghWFf+fšact,V(X[ZHf+f+W}VFZHf 

‘7`,Z4_dTFX[X"e,tPaM_WCbyacTFt«sPZdiMWHw›aMf;°htPacb+Z“WCths›e,t,g,S+ZHsQaM_dbW}qPinZF $^;iMfyTho@b+`,ZHfyZ"g,S+T,_dZHf+fyZHf:sPTt,TQb

fy`hW}S+ZWVCicTFqhWji;_UicT,_+¢ b+`hWCbaMfacthfybW}t£bW}t,ZTFehfšicwªWF__dZHf+f{anqPicZ…b+T›b+`,ZHfyZg,S+T,_dZHf+fyZHf R S+Tx_dZHfUf

Zdv,ZH_de,byacTFt WCths>W X[ZHfUf+WCVFZ›b+SWCthfš”™ZSWCS+Z…WFfywPth_+`,SUTFt,TFehf W g,S+Tx_dZHfUf4X“W‡w©ZdvxZH_de,b+Z WCt

Z˜FZtPbfyg0TFtPbWCt,ZTFehfšicwWCths4W5g,SUTx_dZHf+f;fyZthsQact,VŸWX[ZHf+fUWCVFZ:sPT£ZHf7t,TQbœ—!W‡acb§”™TFS7b+`,Z5sPZdi–an˜QZS+w

TC”b+`,Z:X[ZHfUf+WCVFZ:b+TYqhZ&_dTQX[gPicZb+ZF 

&(' & 91/ 91, ;, 9 68-

‘7`,Z(Zdv,ZH_de,byacTFtTC”g,S+T,_dZHf+f8? B g,S+TxsPeh_dZHf7WfyZ Fe,Zth_dZ(TC”Z˜FZtPbf

B

o

@B

oh c c ­o

B

o

@

B

o0 c c PWCths

aMf(sPZt,TFb+ZHsqPw B—!`,ZS+Z

B ~±<B{o%By³

<BaMf(b+`,Z[fyZb:T}”Z˜FZt£bdf(g,S+TxsPeh_dZHs q£w ?BœWCths›qPacthWCS+w›S+ZdiMWCbyacTFt%B7sPZd°ht,ZHf5W4b+TQbW‡i¤TFSdsPZS

TFtbU`,ZHfyZ:Z˜FZtPbf ,|7ZdiMWCbyacTFt B Zdv,g,S+ZHf+fyZHf(_WCehf+WjiKsPZg0ZthsPZth_UacZHf5WCX[TQt,V&bU`,Z:Z˜FZt£bdfT}”? B  

^ SUZdi­W}byacTFt "!#%$4aMf&sPZd°ht,ZHs WFf”¯TCi–icTC—f  ,TFS:Z˜FZSUw«X[ZHf+f+W}VFZ'&'b+`hWCba­fZdv¬_U`hWCt,VFZHs

q0Zb{—7ZZt›b{—7T"g,S+T,_dZHf+fyZHfo¬—œZ:`hW‡˜FZ

( >*),±+&›³,"!-#.$0/124356C±&›³ 

|7ZdiMWCbranTQt7"!-#%$&sPZd°ht,ZHf;_WCehf+W‡isPZghZthsPZth_UacZHf(qhZby—7ZZt“bU`,Z!ghW‡acSf§TC”2_dTFSUS+ZHfyghTQthsQant,V[fyZths

WCthsS+ZH_dZdac˜FZ5Z˜QZt£bfp 

^ sQaMfybUSyacq,e,b+ZHs4ZdvxZH_de,branTQt“TC”¤WfyZbTC”@g,S+T,_dZHf+fyZHf aMfW:ghW}S+byaMW‡i*TQSsPZS89:±+:ªo;©³oF—;`,ZS+Z

:=< B B WCths>:±?< B B <""!-#.$£³  

|7ZdiMWCbyacTFt@ Zdv,g,S+ZHf+frZHf5_WCehf+WjiœsPZghZthsPZth_UacZHf[WCX[TQt,Vb+`,Z"Z˜FZt£bdf;ant b+`,Z[sQa­frb+Syacq,e,b+ZHs

Zdv,ZH_de,byacTFt TC”œWfyZb:TC”g,S+T,_dZHf+fyZHfp -(™”, @0A ACo0b+`,Zt«Z˜QZt£bB A(aMf5sQacS+ZH_dbyicw…TFS:b+SdWCthfšacbyac˜FZdicw

sPZg0ZthsPZt£b"TFt«Z˜QZt£bB @C +(™”C @>DE A"WCths7 A>DF @‡o@b+`,Zt«Z˜FZtPbf= @YWCths7 A"WCS+Z“fUW‡aMs…b+T

q0Z&_dTFth_de,S+SUZt£bW}thsWCS+Z:sPZt,TFb+ZHsWQf- @BG A   icZHWCSrinwFo¬”™TFS!WCt£wYb{—7T"Z˜FZtPbf @ WCths9 A actW

sQaMfyb+Sranq,e,bUZHsZdv,ZH_de,byacTFto* @HI A(TFS, AJK @Co,TQSC @ G AC 

KanVQe,S+Z[\:fy`,TC—f7b+`,Z(byacX[Z&sQaMWCVQSWCX TC”2W[sQaMfybUSyacq,e,b+ZHsZdv,ZH_de,byacTFtactP˜FTCic˜Qant,V4b+`,S+ZZ:g,SUTF¥

_dZHf+frZHf ^ `,TFSyac¨TFtPbW‡ii–act,ZS+Zg,S+ZHfrZt£bfb+`,Z[g,S+TQVFS+ZHf+f(TC”!b+`,ZYg,S+Tx_dZHfUf0WsPTFbacthsQa­_W}b+ZHf"WCt

Z˜FZtPb10W4fšiMWCtPb5WCS+S+TC— anthsQaM_WCbUZHf5W4X[ZHf+fUWCVFZ5bUSWCthfš”™ZSH  (mt…b+`PaMf:Zdv,ZH_de,byacTFto

Co3LA)0o

WCths G 2C 

&('%M

91/ 91, ;,

9

68-

09 0-ON ,/1P809

68-RQ ,;P(,.2

S(Zt,ZSW‡i–icwFoxW}bœW;icZ˜FZdi*TQS”™TFSWCt“WCg,gPi–aM_WCbyacTFtoPTFtPicw"”™Z— Z˜QZt£bfW}S+Z!S+ZdicZ˜jW}t£bH ,TFSZdvhWCX[gPicZFo

actžW"_U`,ZH_+¢PghT}antPbyact,V4g,S+TFb+T,_dTCimoPTFtPicw[icT,_W‡i¤_+`,ZH_U¢£g0TCact£b(Z˜FZtPbf7WCS+Z(S+ZdicZ˜jWCtPbH .1ZbCT’sPZt,TQb+Z