HAL Id: inria-00071524
https://hal.inria.fr/inria-00071524
Submitted on 23 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.
A Coherence Protocol for Cached Copies of Volatile Objects in Peer-to-Peer Systems
Louis Rilling, Christine Morin
To cite this version:
Louis Rilling, Christine Morin. A Coherence Protocol for Cached Copies of Volatile Objects in Peer- to-Peer Systems. [Research Report] RR-5059, INRIA. 2003. �inria-00071524�
ISSN 0249-6399 ISRN INRIA/RR--5059--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
A Coherence Protocol for Cached Copies of Volatile Objects in Peer-to-Peer Systems
Louis Rilling, Christine Morin
N˚5059
Décembre 2003
THÈME 1
2 034*356 87:9&0<;,&
=<>@?ACBEDEACFGFCACHIKJLNM:OPQAGBSRQACHTVUW>@PQACHJ
X*Y0Z\[^]`_badcef%]hgjilk]\mfonlfom%Z\[^]f
pq%rjso]\mpgjqotuf
c:gjvKvrwqombxK]yq%]z%Y0]\q%z%Y0]|{}~44~4a:ez]\[Kq%] 444a 4~vgj5]f
`hhK44 ]Ezrw{0fotuxK]\q:moY0]EvKq%rwKu]\[rj]QkK]z\iKmot{KxltufomoqotKiKm%]xgjvKvKtuzhgjmoturw{0f:i0fot{KVmoY0]foYgjq%]x)[^]\[^rwqon
vgjqgwxlt4[8rw{xln@{gj[tuzgj{0xEgjqo5]f%zhgju]xltufomoqotKiKm%]xf%n@fom%]\[^f¡ foi0zY$gwffomoqoi0z\moiKq%]xv]]\q£¢¤m%rj¢¤v]]\q fon@f%m%]\[^fh¥1X*Y0]
foYgjq%]x[^]\[^rwqon¦tuf*vKqot§4gjm%]ym%r^gj{gjvKvKtuzhgjmoturw{N §5rwgjmotu]4 gj{0xzrw[vrw{0]\{¨m%frjmoY0]EgjvKvKtuzhgjmoturw{©moqgj{0fovgjq%]\{¨mon
gwzz]f%fyfoYgjq%]x)[^]\[^rwqon)rwlso]z\m%fb§@tgmoY0]\tq:i0foigjgwxKxlq%]f%f:fovgwz]4¥X*Y0]v]]\q£¢¤m%rj¢¤v]]\qyfon@f%m%]\[ªm%rwu]\qgjm%]f:iKv«m%r
¬ fot[iKmgj{0]rwi0f^q%]zrw{l04iKqgjmoturw{®]\§5]\{¨m%f)¯C{0r@xK]¦°gjtiKq%]4 xltuf%zrw{K{0]z\moturw{N *rwqysorwt{±gj{0x²gj{³t{l0{Ktm%]{¨iK[]\q
rjyq%]zrw{l04iKqgjmoturw{0fh¥ ]4t§5]©g´zrwY0]\q%]\{0z]vKq%rwm%r@zrwbfot[tgjqm%r6µ¥¶·t¤¸¹f^vKq%rwm%r@zrwuf°rwq^zhgwz%Y0]x²zrwvKtu]f^rj
[^]\[^rwqonºrwls£]z\m%fh¥»X*Y0]vKq%rwm%rzrwyi0f%]f`moY0]v]]\q£¢¤m%rj¢¤v]]\qgjq%z%YKtm%]z\moiKq%]´m%rWYgj{0xlu]iKv²m%r ¬ fot[iKmgj{0]rwi0f
q%]zrw{l04iKqgjmoturw{»]\§5]\{¨m%f)gj{0x'gj{.t{l0{Ktm%]¼{iK[]\q)rjq%]zrw{l04iKqgjmoturw{0f«½tmoY¾g6°gjt¿¢Àfom%rwvÁq%]zr¡§5]\qon®[^rxK]\¤¥
ÂgjtiKq%]f«gjq%]¼m%rwu]\qgjm%]x®i0fot{Kgwz%Ã@½gjq%x']\qoq%rwqq%]zr¡§5]\qon®gj{0x®q%]\vKtuzhgjm%]x'gjiKm%rw[Vgjmgm%r³gh§5rwtux®q%]fomgjqom%frj
gjvKvKtuzhgjmoturw{0f½Y0]\{¦vr4f%fotKu]4¥ ]yvKq%r¡§5]ymoYgjm*moY0]yvKq%rwm%rzrw·]\{0foiKq%]fzrwY0]\q%]\{0z]rj zhgwz%Y0]xzrwvKtu]frj[^]\[^rwqon
rwlso]z\m%fxK]fovKtm%]Eq%]zrw{l04iKqgjmoturw{«]\§5]\{¨m%f¡ gj{0x]\{0foiKq%]ft§5]\{0]f%ft¿zrw[[iK{Ktuzhgjmoturw{0fgjq%]q%]\tgjKu]4¥
ÄŨÆÇ%ÈÉ Ê4 ÂgjiKm£¢ÀXrwu]\qgj{¨m<:tufomoqotKiKm%]xËYgjq%]xÌ«]\[^rwqon5 4Ë@]\¿C¢ÎÍbqo¨gj{KtÏt{K::tufomoqotKiKm%]x$Ën@fom%]\[^f¡ wËmoqoi0zQ¢
moiKq%]x©p]]\q£¢¤m%rj¢Àp]]\qEËnlfom%]\[^fh ÐÑY0]zÃvrwt{¨mot{K0 c]\vKtuzhgjm%]x)ÒiKm%rw[Vgjmg
Ó¿ÔNÕ×ÖÀØhÙÕ*ÚNÛ֤ܰÝÞ
ß<àá¨âQãäæå£çè1äêéæéêäêëjìíQàîïð¤äêåòñ¤äêëjóQçô:âSð¤äêë4íSõä¹ð¤äêå¤ö¡ç÷øð
Unité de recherche INRIA Rennes
IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : 02 99 84 71 00 - International : +33 2 99 84 71 00
Télécopie : 02 99 84 71 71 - International : +33 2 99 84 71 71
¤-/0&%*#%%&¾ &'%&'&9&K<;,&®"$#o335"#%
rwi0fbzrw{0fotuxKe\q%rw{0fu]EvKq%rwKuZ\[^]zrw{0fotuf%mgj{¨m^]Qklez\iKm%]\q:xK]fbgjvKvKtuzhgjmoturw{0fyxltufomoqotKi0e]fbiKmottufgj{¨m
u]vgjqgwxlt4[^]xK]g«[^e\[^rwtq%]vgjqomgj5e]foiKqxK]ffonlfom%Z\[^]fxltufomoqotKi0efVxln{gj[ti0]f]\m^xK]¦4qgj{0xK]ez%Y0]\u]4
m%]\ufu]ff%n@fom%Z\[^]fvgjtq£¢¢¤vgjtqf%moqoi0z\moiKq%efh¥<¶1g[^e\[^rwtq%]vgjqomgj5e]y{N¸¹]fomgwzz]ffotKu]¨i0]:vgjq*iK{0]EgjvKvKtuzhgjmoturw{N
]\u]E]f%m§5rwgjmotu]4 0]\mu]fzrw[vr4fgj{¨m%fxK]E¤¸êgjvKvKtuzhgjmoturw{)n¦gwzzZxK]\{mbxK]y[Vgj{KtuZ\q%]moqgj{0f%vgjq%]\{¨m%]E§@tgu]\iKq]fovgwz]
x·¸êgwxlq%]f%fSgj5]i0f%i0]\¤¥:¶1]f%n@fom%Z\[^]vgjtq£¢¢¤vgjtqm%rwuZ\q%]bsÎi0f ¨iN¸! ¬ e\§5e\{0]\[^]\{m%fExK]q%]zrw{l04iKqgjmoturw{º¯òxKeQ°gjtgj{0z]
x·¸iK{³{#"yi0x· xKezrw{K{0]z\moturw{N *rwizrw{K{0]z\moturw{±fot[iKmgj{0e\[^]\{mh ]\miK{0]`t{l0{Ktm%e)xK]`q%]zrw{l04iKqgjmoturw{0f¡¥ rwi0f
xKrw{K{0rw{0fiK{®vKq%rwm%r@zrwu]´xK]¼zrwY0e\q%]\{0z]´f%e$¨i0]\{motu]\u]´fot[tgjtq%]2gjilk²vKq%rwm%r@zrwu]fxK]¼µ¥¶·tyvrwiKqxK]fzrwvKtu]f
]\{.zhgwz%Y0]¼x·¸¹rwlso]\m%f]\{²[^e\[^rwtq%]4¥ ¶N]vKq%rwm%rzrwu]iKmottuf%]¤¸êgjq%z%YKtm%]z\moiKq%]2vgjtq£¢¢¤vgjtqvrwiKq¦5e\q%]\qsÎi0f%iN¸!
¬
e\§5e\{0]\[^]\{m%f<xK]<q%]zrw{l04iKqgjmoturw{^fot[iKmgj{0e\[^]\{¨mh ]\miK{0]Ñt{l0{Ktm%eÑxK]Ñq%]zrw{l04iKqgjmoturw{0fh 5]\{vKq%]\{gj{¨m iK{[^rxKZ\u]
xKeQ¤gjtgj{0z] fotu]\{0z\tu]\i0f]fgh§5]z<q%]zrwiK§@q%]\[^]\{¨m%fh¥ ¶N]fxKeQ°gjtgj{0z]ff%rw{¨m1m%rwue\q%e]f]\{EiKmottufSgj{¨mxK]f1q%]zrwiK§q%]\[^]\{m%f
]\{³gjqoqotuZ\q%]]\m$xK]f$gjiKm%rw[Vgjm%]fxliKvKti0ef$vrwiKq$e\§tm%]\qgji vr4f%f%tKu]`xK]`q%]xKe\[Vgjqoq%]\qu]fgjvKvKtuzhgjmoturw{0f¡¥
rwi0f
vKq%rwiK§5rw{0f&i0]`u]`vKq%rwm%r@zrwu]gwf%foiKq%]¦g«zrwY0e\q%]\{0z]f%e$¨i0]\{motu]\u]xK]fzrwvKtu]f]\{ zhgwzY0]x·¸¹rwls£]\m%f]\{[^e\[^rwtq%]
[Vgj4q%eV¤¸¹rzz\iKqoq%]\{0z]¦x·¸¹e\§5e\{0]\[^]\{¨m%f$xK]q%]zrw{l04iKqgjmoturw{N ]\m$gwf%foiKq%]$g§@t§4gwz\tm%e^fot<u]fEzrw[[iK{Ktuzhgjmoturw{³f%rw{¨m
gjKu]fh¥
'»É h Ç )( [^e\[^rwtq%]¼xltufomoqotKi0e]¼§tqomoi0]\u]\[^]\{mvgjqomgj5e]m%rwue\qgj{¨m%]2gjilk ¤gjiKm%]fh fonlfom%Z\[^]f¦xltufomoqotKi0ef
gjiKm%rj¢¤5e\q%efh fonlfom%Z\[^]fvgjtq£¢¢¤vgjtqbf%moqoi0z\moiKq%efh Kvrwt{¨m%fxK]q%]\vKqotuf]4 gjiKm%rw[Vgjm%]fxliKvKti0ef
> ?
b 1#%
]zrw{0fotuxK]\q:moY0]EvKq%rwKu]\[,rj ]Qkl]z\iKmot{KxltufomoqotKiKm%]x´gjvKvKtuzhgjmoturw{0f:i0fot{KVmoY0]foYgjq%]x©[^]\[^rwqon)vgjqgwxlt4[t{
xln@{gj[tuzgj{0x6gjqo5]¦f%zhgju]Vxltuf%moqotKiKm%]x f%n@fom%]\[^f¡ f%i0z%Y³gwffomoqoi0z\moiKq%]x v]]\q£¢¤m%rj¢¤v]]\q$fonlfom%]\[^fh¥©p]]\q£¢¤m%rj¢Àp]]\q
¯òp wp±$fonlfom%]\[^fgjq%]`{gjmoiKqgjnxK]fot4{0]x½tmoY³moY0]¦[Vgjt{ zrw{0z]\qo{0f^rjyf%zhgjgjKttmÀn5 xln{gj[tuz\tm×n5 gj{0x Y0]\{0z]
m%rwu]\qgj{0z])m%r¼[iKmotvKu])f%t[iKmgj{0]rwi0fV°gjtiKq%]fh¥ Ëi0zY²fonlfom%]\[^f$Yg§5]©[^r4fomonW]]\{ fomoi0xltu]x°rwq^foYgjq%]x0u]
fom%rwqgj5]4 gj{0xq%]z]\{¨m`½ÑrwqoÃlfVvKq%r¡§tuxK]©0u])fonlfom%]\[^fV]\{0f%iKqot{K2òq%rw[ Â<˨¢¤tÃ5])m%r2f%]$i0]\{¨motgjyzrw{0fotufom%]\{0z\n³rj
x0gjmgA@_h~BÀ¥)Âtu]fgjq%]¦xltufomoqotKiKm%]xgj{0x6q%]\vKtuzhgjm%]xr¡§5]\qmoY0]¦zrw[vKiKm%]\q%f¯òrwq{0r@xK]fS±rjmoY0]`f%n@fom%]\[ t{Wrwq%xK]\q
m%rrwmoY´fov]]xiKv2gwzz]f%f%]fEgj{0x¼]\{0foiKq%]$moY0]gh§wgjtgjKttm×n¼rj*foYgjq%]x¼x0gjmgl NxK]fovKtm%]$moY0]$xln@{gj[tuz$]\Ygh§turwiKq
rj<moY0]{0rxK]f¡ moYgjm:tufiK{0]Qklv]z\m%]x«fot[iKmgj{0]rwi0fzrw{K{0]z\moturw{0fh xltuf%zrw{K{0]z\moturw{0fEgj{0x)°gjtiKq%]f¯Cq%]Q°]\q%]\{0z]xgwf
q%]zrw{l04iKqgjmoturw{¼]\§5]\{¨m%fmoY0]\q%]hgCm%]\qS±@_C EDK ·_h~FBÀ¥
GnVzrw{moqgwfomh @½Ñ]ygjq%]t{m%]\q%]fom%]xt{`]\{0f%iKqot{K$f]$¨i0]\{motgjzrw{0fotuf%m%]\{0z\n«¯C[^rwq%]yfot[vKn{gj[^]xzrwY0]\q%]\{0z]bt{
moY0]vgjv]\qS±°rwq:§5rwgjmotu]foYgjq%]x«x0gjmggwzz]f%f]x«moYKq%rwiK4Y¼§5rwgjmotu]$[^]\[^rwqon5¥EX1½Ñr[Vgjt{´xltIH·]\q%]\{0z]fy½tmoY«0u]
foYgjqot{K)gjq%]{0rwmotuz]hgjKu]4¥$Âtq%fomh t{´rwq%xK]\qm%r¦Yg§5]^gwzz]\vKmgjKu]^]QkK]z\iKmoturw{2fov]]xKfh foi0z%Y6gwzz]f%f]fyYg§5]$m%r¦]
v]\q£òrwqo[^]x^gwf [i0z%Y`gwf vr4f%fotKu]*rw{$moY0]*ur@zhgj@[^]\[^rwqon$rjmoY0]{0r@xK]4¥ X*Y0]\q%]Qòrwq%]*½]*Yg§5]*m%r]\{0foiKq%]*zrwY0]\q%]\{0z]
rjzhgwzY0]xzrwvKtu]frjfoYgjq%]x¦rwls£]z\m%f¡¥ Ë@]zrw{0x· KfoYgjq%]xrwls£]z\m%fgjq%]:vKqot§wgjm%]:m%r$gj{©gjvKvKtuzhgjmoturw{N¥KJÀ{¦vgjqomotuz\iKgjqh
foYgjq%]x)rwls£]z\m%f:gjq%]y{0rwmv]\q%f%tufom%]\{¨mh¥KL:]\{0z]EzrwY0]\q%]\{0z]rjmoY0]Erwlso]z\m%fYgwfbrw{Kn`m%r]]\{0foiKq%]x½tmoY)q%]fov]z\m
m%rmoY0]gjvKvKtuzhgjmoturw{N 0½YKtuz%Ygjurh½fbm%r$i0f%]ygwz%Ã@½gjq%x]\qoq%rwqq%]zrh§5]\qon5¥
YKtu]ymoY0]]QkK]z\iKmoturw{©rjfoYgjq%]x[^]\[^rwqongjvKvKtuzhgjmoturw{0frw{¤gjiKm£¢¤m%rwu]\qgj{¨mxltuf%moqotKiKm%]x©fonlfom%]\[^fYgwf]]\{
½]\ fomoi0xltu]x· NmoY0r4f]fon@f%m%]\[^fy½Ñ]\q%][Vgjt{Kn´fomgjmotuzz\i0fom%]\q%frjѽÑrwqoÃlfomgjmoturw{0f½tmoYWgjm[^r4fomg`°]\½8Y¨iK{0xlq%]xKf
rj{0r@xK]f@_h FBÀ¥MJÀ{²vgjqomotuz\iKgjqh moY0]fonlfom%]\[m%rwu]\qgjm%]rw{Knrw{0]«{0rxK])¤gjtiKq%]4 gj{0x[i0fomq%]zrw{l04iKq%]tm%f%]\¿
]Qòrwq%]$tmEzhgj{´m%rwu]\qgjm%]`gj{¼rwmoY0]\qE°gjtiKq%]@ê 4K NCFBÀ¥Ìrwq%]rh§5]\qh 1rw{Kn¼rw{0]${0r@xK]zhgj{´]q%]\[^rh§5]xWrwqgwxKxK]x¼v]\q
q%]zrw{l04iKqgjmoturw{N¥OGÑnzrw{¨moqgwf%mh v]]\q£¢¤m%rj¢¤v]]\q`fon@f%m%]\[^fzhgj{zrh§5]\q^5]rw4qgjvKYKtuzhgjngjqo5])gjq%]hgwf¡ gj{0xY0]\{0z]
zrw[vKqotuf%]gjqo5]{iK[]\q%f^rjb{0r@xK]f$moYgjmysorwt{rwq$u]hgh§5]moY0]fon@f%m%]\[ gjm½t¤¥WX*Y¨i0fh moY0]`qgjm%]rjb°gjtiKq%]¦tuf
t{0z\q%]hgwf%]x· gj{0xtmtuft[vrwqomgj{¨mbm%r$m%rwu]\qgjm%]f%]\§5]\qgj1f%t[iKmgj{0]rwi0fq%]zrw{l04iKqgjmoturw{¼]\§5]\{¨m%f¡¥
]vKq%]f%]\{mEg`zrwY0]\q%]\{0z]vKq%rwm%r@zrwòrwqyzhgwz%Y0]x´zrwvKtu]frj<§5rwgjmotu]rwlso]z\m%f:t{¼g¦fomoqoi0z\moiKq%]xv]]\q£¢¤m%rj¢¤v]]\q
fonlfom%]\[©¥*X*Y0]vKq%rwm%rzrwm%rwu]\qgjm%]fbiKv«m%r ¬ fot[iKmgj{0]rwi0fyq%]zrw{l04iKqgjmoturw{´]\§5]\{¨m%fbv]\qbq%]zrw{l04iKqgjmoturw{t¿<moY0]
iK{0xK]\qon@t{KWv]]\q£¢¤m%rj¢¤v]]\q¦fonlfom%]\[ m%rwu]\qgjm%]fgjmVu]hgwf%m ¬ q%]zrw{l04iKqgjmoturw{.]\§5]\{¨m%f`v]\qVq%]zrw{l04iKqgjmoturw{N¥ ]
xK]f%z\qot]moY0]f%n@fom%]\[ t{´Ë@]z\moturw{2 l ·gj{0xmoY0]\{«vKq%]f]\{¨mymoY0]vKq%rwm%r@zrw t{´Ë@]z\moturw{0fE¦gj{0xQP0¥RJ×{¼Ë@]z\moturw{2V½Ñ]
gwf%f%iK[^]moYgjm*f%rw[^]:zrw[vrw{0]\{m%frjNmoY0]vKq%rwm%r@zrw¤ @{gj[^]\nVrwls£]z\m[Vgj{gj5]\q%fgj{0x¦gjvKvKtuzhgjmoturw{[Vgj{gj5]\q%fh 0gjq%]
gj½*gnlfq%]hgwzYgjKu]4 gj{0x©f%Y0rh½¾Y0r¡½'m%rm%rwu]\qgjm%]gj{¨n{¨iK[]\qyrj f%t[iKmgj{0]rwi0fbq%]zrw{l04iKqgjmoturw{]\§5]\{m%fiK{0xK]\q
moY0]f%]gwffoiK[vKmoturw{0fh¥SJÀ{VË@]z\moturw{TP½]*q%]\[^rh§5]moY0]f]gwf%foiK[vKmoturw{0f gj{0xfoY0r¡½³Y0rh½ m%rym%rwu]\qgjm%] ¬ fot[iKmgj{0]rwi0f
q%]zrw{l04iKqgjmoturw{¼]\§5]\{¨m%fh¥ Ât{gjn5 Ë@]z\moturw{«~$zrw{0z\i0xK]fbmoY0]yvgjv]\qh¥
U
&&$;"#%&
X*Y0]$[Vgjt{2zrw{moqotKiKmoturw{6rjrwiKqyvKq%rwm%r@zrwtufymoYgjm:tmy½rwqoÃ@ft{2g`v]]\q£¢¤m%rj¢¤v]]\qV¯òp wp±:]\{¨§@tq%rw{K[^]\{¨mh¥VJÀ{¼moYKtuf
f%]z\moturw{N 0½Ñ]ExK]f%z\qot][^rwq%]vKq%]z\tuf]\n¦moYKtuf]\{¨§@tq%rw{K[^]\{¨mh¥
WSXZY [V\E\;]^$_`a^[9\;\E]cbedfF_\;g
Ò.p wp {0]\m×½ÑrwqoÃVYgwf [Vgjt{Kn^mÀ½rvKq%rwv]\qomotu]fhxln@{gj[tuz\tmÀn«¯C{0r@xK]fÑ[Vgnysorwt{N ¨u]hgh§5]4 @rwq °gjtgjmgj{n^mot[^]¡±<gj{0x
fon@[[^]\moqon ¯C{0r
i#j $%k %
xltufomot{0z\moturw{´rjzhgjvgwz\tm×nrwqbCiK{0z\moturw{gj<zhgjvgjKttm×n«]\mÀ½]]\{2{0r@xK]fS±Q¥ÍbiKqyvKq%rwm%rzrw
gwf%f%iK[^]fEmoYgjmiKv6m%r ¬ q%]zrw{l04iKqgjmoturw{³]\§5]\{¨m%f[Vgn´rzz\iKqfot[iKmgj{0]rwi0fon5 %l3l t{ gfgj[^]^mot[^]^½t{0xKrh½E
zhgju]x)q%]zrw{l04iKqgjmoturw{«½t{0xKr¡½E moYgjm:zrwqoq%]fovrw{0xKfm%rmoY0]mot[^]{0]z]f%fgjqon¦m%r^q%]zrw{l04iKq%]EmoY0]fon@f%m%]\[ gCm%]\q
g$q%]zrw{l04iKqgjmoturw{]\§5]\{¨mh¥
Ìrwq%]vKq%]z\tuf%]\n5 rwiKqvKq%rwm%rzrw1mgjqo5]\m%ffomoqoi0z\moiKq%]x)pÑ wp {0]\mÀ½rwqoÃ@fm@_mnBÀ¥ÒbmoY0rwiK4Y)f%]\§5]\qgj1foi0zY)p wp²fon@fo¢
m%]\[^fYg§5] ]]\{EvKq%rwvr4f%]x· moY0]\nyYg§5]zrw[[^rw{vKq%rwv]\qomotu]fgj{0xzhgj{]i0f]xmoYKq%rwiK4Y$gzrw[[^rw{t{¨m%]\q£¤gwz]@onBÀ¥
X*Y0]\q%]Q°rwq%]½]xK]f%z\qot]moY0][Vgjt{`vKq%rwv]\qomotu]f ½Ñ]bgwffoiK[^]rw{VmoY0]pÑ wpWfonlfom%]\[© 4½tmoY0rwiKmÑvKq%]f%]\{¨mot{Kt{VxK]\mgjtuf
rw{0]«fon@f%m%]\[©¥ X*Y0]©fonlfom%]\[©¸¹f^{0r@xK]fVgjq%]òiKn³zrw{K{0]z\m%]x· *i0fot{KpJÎpq%rwiKmot{K6òrwq^]Qk0gj[vKu]4¥OqÑgwz%Y{0r@xK]tuf
gwf%f%t4{0]x«g$iK{Kti0]EtuxK]\{mot¿]\q$¯,JÎE±rw{Ktm%f¯Cm×nvKtuzhgjnl Vrwq5±Q¥ J×{¨m%]\q%]f%mot{KVvKq%rwv]\qomotu]fh 0tÃ5]
ur5gwx)gjgj{0z\t{K¦gj{0x©t{0xK]\v]\{0xK]\{¨m:{0r@xK]y°gjtiKq%]f¡ 0zhgj{)]ExK]xli0z]x©t¿ moY0]'JÎyfgjq%]qgj{0xKrw[n5]\{0]\qgjm%]x¯Gòrwq
]Qk0gj[vKu]*i0fot{KEg:f%]z\iKq%]YgwfoYCiK{0z\moturw{N 4tÃ5]Ë L:Ò¢_4 5gjvKvKtu]xrw{moY0] JÎp2gwxKxlq%]f%fS±gj{0xiK{Kt¿òrwqo[n$xltufomoqotKiKm%]x
t{©moY0]'J×»fovgwz]4¥
Ggwfotuzhgjn5 0moY0]:pÑ wpfonlfom%]\[ vKq%rh§@tuxK]fg$xltufomoqotKiKm%]xYgwfoYmgjKu]^¯ò L:X±Q n¦xln@{gj[tuzhgjn¦[VgjvKvKt{KÃ5]\n@f
m%r{0r@xK]fh¥^XrmoYgjm]\{0x· g¦Ã5]\n¼tufq%]\vKq%]f%]\{¨m%]x6¨n2gj{2tuxK]\{mot¿]\qrw{VKtm%fh gj{0x2tuf[VgjvKv]x2m%rmoY0]^z\ur4f%]fom
{0r@xK]yt{moY0]J× fovgwz]4¥J×{©rwq%xK]\qm%r$Ã5]]\v©moYKtuf*[VgjvKvKt{K¦zrwqoq%]z\mxK]fovKtm%]q%]zrw{l04iKqgjmoturw{«]\§5]\{m%fh 0]hgwzY©{0rxK]
Ã5]]\v0fiKv¦m%rx0gjm%]ygur@zhgjf]\mrjNtm%fÑ{0]\t4Y¨rwiKq%f*t{`moY0]RJÎ'fovgwz]4 @zhgju]x a%A0 R&¥ Y0]\{gE{0rxK]:f%]\{0xKf
g[^]f%fgj5]:m%rgÃ5]\n5 lmoY0]b[^]ffgj5]:tuf °rwqo½gjq%xK]x¦òq%rw[{0rxK]:m%r{0r@xK]i0fot{K$moY0]:{0r@xK]fh¸@{0]\t4Y¨rwiKqf%]\m%fh @iK{¨mot
tm*q%]hgwz%Y0]fmoY0]{0r@xK]:q%]fovrw{0f%tKu]°rwqmoY0]bÃ5]\n5¥Ò:fgEq%]f%iKmh lmoY0]:f%n@fom%]\[ tuf*rwqo¨gj{KtÏh]xt{gj{r¡§5]\qogn¦{0]\mÀ½ÑrwqoÃ
t{©½YKtuzY)]hgwz%Y«{0rxK]y[Vgjt{mgjt{0f:gq%rwiKmot{K`mgjKu]gwf%]x©rw{tm%f{0]\t4Y¨rwiKqbf%]\mh¥
WSX3W <fA`! " \# _$`! sf&%('*)+-,/.K] \f%()+ "021cfFd3 "4K] `! d
ÒbmoY0rwiK4Y f%moqoi0z\moiKq%]x pÑ wp»f%n@fom%]\[^fxK]hgj ½tmoY ¨n@Ï¡gj{¨mot{0]`¤gjtiKq%]fh ½YKtuz%Yt{0z\i0xK]¦gjqoKtmoqgjqon6t{Kü°gjtiKq%]f
¯C[^]f%fSgj5]bur4ffh zrwqoqoiKvKmoturw{N K]\m%z4¥æ±Q lrwiKq*zrwY0]\q%]\{0z]:vKq%rwm%rzrwNgwf%foiK[^]fg°gjt¿¢Àfom%rwvÁq%]zr¡§5]\qon`[^r@xK]\h {0r@xK]fÑzhgj{
¤gjtfotu]\{mon5 Kgj{0xVq%]zr¡§5]\qÑgjm%]\q*rw{N¥JÀ{0xK]]x· m%rwu]\qgjmot{K$¨n@Ï¡gj{¨mot{0]b¤gjtiKq%]f {0]]x`moYgjm moYKq%]hgwxKf*rj1xltufomoqotKiKm%]x
foYgjq%]x©[^]\[^rwqongjvKvKtuzhgjmoturw{0fb]yq%]\vKtuzhgjm%]x· 0½YKtuz%Yzhgji0f%]fg$f%]\qoturwi0ffourh½*¢ÀxKr¡½{N¥
]^Ygj{0xlu]t{KÃ)¤gjtiKq%]fEmoYgjmzhgji0f%]$m%]\[vrwqgjqon2gj{0x´v]\q%fotufom%]\{mExltuf%zrw{K{0]z\moturw{0fh¥`Ò {0r@xK]xltuf%zrw{K{0]z\m%f
½Y0]\{ tm$5]\m%fiK{Kq%]hgwzYgjKu]4 gj{0x³q%]zrw{K{0]z\m%f½Y0]\{ tm$5]\m%fq%]hgwzYgjKu]«gj¨gjt{N¥Ò {0r@xK]xltuf%zrw{K{0]z\m%f^]\tmoY0]\q
§5rwiK{mgjqon5 0]\tmoY0]\qxli0]bm%r$gEt{KägjtiKq%]4 l]\tmoY0]\qÑ]zhgji0f%]btm ¤gjtufh¥SJÀNtmÑtufÑ{0rwmf%v]z\t¿]x¦rwmoY0]\qo½tuf%]4 Kxltuf%zrw{K{0]zQ¢
moturw{0f]\{0z\ur4f%]$moY0]moYKq%]]zhgwf%]fh¥ J×{6g`¤gjt¿¢Àfom%rwv´[^rxK]\¤ g¦{0rxK]$[Vghn¼{0rwmExltufomot{K4iKtufoY2]\mÀ½]]\{6t{Kë°gjtiKq%]f
gj{0x«¤gjtiKq%]f:rjrwmoY0]\q:{0r@xK]fh¥:Â0rwqymoYKtuf:q%]hgwf%rw{N xltuf%zrw{K{0]z\moturw{0fExli0]m%rVt{KägjtiKq%]fEgj{0x«{0rxK]°gjtiKq%]fEgjq%]
rwmoY6q%]Q°]\q%]\{0z]x gwf{0rxK]^°gjtiKq%]ft{6moY0]Vvgjv]\qh¥©Ðrw{0f%]$i0]\{¨mon5 moY0]VvKq%rwm%rzrw*]\{0foiKq%]fmoYgjmmoY0]^°gjt¿¢Àfom%rwv
gwf%f%iK[vKmoturw{©q%]\[Vgjt{0f§4gjtux©xK]fovKtm%]q%]zrw{K{0]z\moturw{0f¡¥
X*Y0])fon@f%m%]\[ tufVgwfon@{0z%YKq%rw{0rwi0fh)moY0]\q%]tuf{0r´rwiK{0x rw{³moY0]mot[^]){0]]xK]x°rwqVg¼[^]f%fgj5]m%r¼q%]hgwzYtm%f
xK]fomot{gjmoturw{N¥ Ìrwq%]rh§5]\qh 4½]Ñgwf%f%iK[^]<moYgjm{0rxK]fxltufovr4f%] rjl¤gjtiKq%]ÑxK]\m%]z\m%rwq%fgjurh½t{Kym%rbxK]\m%]z\mt¿gbfov]z\t¿]x
{0r@xK]:tuf*iK{Kq%]hgwz%YgjKu]4¥ ÂgjtiKq%]xK]\m%]z\m%rwq%fgwz%YKtu]\§5]Ef%moq%rw{K$zrw[vKu]\m%]\{0]ffht¿g{0r@xK]65´xltuf%zrw{K{0]z\m%f¡ lmoY0]\q%]btufg
mot[^]gCm%]\qN½YKtuzYmoY0]°gjtiKq%]ÑxK]\m%]z\m%rwq
&7&#E3&
{0r@xK]35<¥ ]Ñgjuf%rgwffoiK[^]moYgjm1moY0]<{0rxK]f1t{gfov]z\t¿]x4q%rwiKv
rj{0r@xK]fxltufovr4f]Vrj¤gjtiKq%]`xK]\m%]z\m%rwq%f$t{ z\gwf%f98&: @PBÀ ½YKtuz%Y³gwz%YKtu]\§5]fomoq%rw{K¼zrw[vKu]\m%]\{0]f%fgj{0x ]\§5]\{¨moigj
½]hgjÃ`gwzz\iKqgwz\njhmoY0]\q%]tufgymot[^]:gCm%]\qѽYKtuz%Yf%rw[^]q%]hgwzYgjKu]:{0rxK]t{`moY0]4q%rwiKv`tuf {0]\§5]\qfoi0fov]z\m%]x^¨n^gj{n
{0r@xK]t{moY0]4q%rwiKvN¥
WSX<; = \;ff>)@?N\ [A) ff/ 3?
q{motmotu]f^moYgjm^zrw[[iK{Ktuzhgjm%]«gjq%]¦tuxK]\{¨mot¿]x¨n6Ã5]\nlfh 4q%rwiKv]x³t{³f%]\qo§@tuz]fh¥pq<{¨motmotu]fVzrw[[iK{Ktuzhgjm%]©i0fot{K
m×½Ñr¦u]\§5]\ufyrj<[^]f%fgj5]fh¥X*Y0]vKqot[tmot§5]CBEDF>GIHKJLNMILNOLQPSR:f]\{0xKf[^]f%fSgj5]TPm%rVÃ5]\nUMt{f%]\qo§tuz]VOrw{{0rxK]
J i0f%t{K«moY0]`{gjmot§5]V{0]\m×½ÑrwqoÃ.¯,J×p °rwq]Qk0gj[vKu]¡±Q¥¼X*Y0]VvKqot[tmot§5]WYX[Z>\KD$H/M]LNOLQP^Rf%]\{0xKf[^]ffgj5]_P m%r«Ã5]\n
M)t{2f]\qo§tuz]`Oi0fot{KmoY0]$p wp'{0]\m×½ÑrwqoÃ¥$X*Y0]$vKqot[tmot§5]aWYX[Zb\cDd9WYDefhgij&HKk&LNMILNOLQPSRtuffot[tgjqm%rWYX[Zb\cD5 KiKm
gwxKxltmoturw{gjn[iKmotuzhgwfom%fymoY0][^]f%fSgj5]m%r¦moY0]`k^{0rxK]fyz\ur4f%]f%m:m%r`moY0]Ã5]\n©t{moY0]9JÎfovgwz]4¥X*Y0]vKqot[tmot§5]
H/M]LNOLQP^R(lWmDQionpHqRq%]z]\t§5]fg^[^]ffgj5]4 moY0]$f%]\{0xK]\qh¸¹fbÃ5]\n«gj{0xf%]\qo§@tuz]gj{0x«moY0][^]ffgj5]]\t{K¦q%]\moiKqo{0]x«t{
M ]O4 gj{0xrP q%]fov]z\mot§5]\n5¥
X*Y0]$fomoqoi0z\moiKq%]x´pÑ wp.ÒbpKJxK]f%z\qot]xt{ @onmB<gwf%foiK[^]f:[^]f%fgj5]fyq%rwiKm%]xmoYKq%rwiK4Y¼moY0]$p wp.rh§5]\qoghn«[Vghn
]ur4f%mh ¨]zrwqoqoiKvKm%]x· l]xK]\t§5]\q%]xrwiKm*rj1rwq%xK]\qh lgj{0x¦]\§5]\{xliKvKtuzhgjm%]4¥KJÀ{¦rwq%xK]\q*m%rfot[vKt¿ònmoY0]vKq%rwm%r@zrw¤¸¹f
xK]f%z\qotvKmoturw{N l½]gwf%foiK[^]bmoYgjmÑmoY0]\q%]:tufÑ{0r[^]ffgj5]ur4ff {0rwq*zrwqoqoiKvKmoturw{N¥Ë@rwiKmoturw{0f*m%rvKq%]\§5]\{¨m*[^]f%fgj5]bur4f%f
Ygh§5]]]\{«fomoi0xltu]xt{ @_4_5 0 FBÀ¥
tmoY«g°gjt¿¢Àf%m%rwv[^rxK]\°rwq{0rxK]:¤gjtiKq%]fh K[^]ffgj5]zrwqoqoiKvKmoturw{«zhgj{©rw{Kn¦]
5]\{0]\qgjm%]x`¨nmoY0]{0]\m×½ÑrwqoÃ¥X*YKtuf<vKq%rwKu]\[ Ygwf<]]\{V]Qklm%]\{0fot§5]\nxK]hgjm ½tmoYVt{^moY0]tm%]\qgjmoiKq%]bgj{0x^moY0]\q%]Qòrwq%]
½]½tN{0rwmxltuf%z\i0fftmgj{¨n¦òiKqomoY0]\qh¥
*
]yxK]fot4{0]xrwiKqzrwY0]\q%]\{0z]vKq%rwm%r@zrwòrwq*§5rwgjmotu]foYgjq%]xrwlso]z\m%fh¥X<n@vKtuzhgjn5 0foi0zYrwlso]z\m%fgjq%]:[VgjvKv]xt{
moY0]^gwxKxlq%]f%ff%vgwz]rjmoYKq%]hgwxKfErjgj{6gjvKvKtuzhgjmoturw{N 1gj{0x¼½]^gwf%foiK[^]moYgjmfoYgjq%]x´rwlso]z\m%fEgjq%]rw{Kngwzz]f%f%]x
nmoYKq%]hgwxKfbrj<rw{0]gjvKvKtuzhgjmoturw{N¥1JÀ{©moYKtufbf%]z\moturw{N 0½]gwffoiK[^]½tmoY0rwiKm:ur4f%frj5]\{0]\qgjtmÀn)moYgjmmoY0]\q%]Etufbrw{Kn
rw{0]Ef%Ygjq%]x©rwls£]z\mh¥
X*Y0]«vKq%rwm%r@zrwbtuf¦fot[tgjqVm%rWµ¥Ñ¶Nt¤¸¹fVt{§wgjtux0gjmoturw{l¢¤gwf%]x.zrwY0]\q%]\{0z]«vKq%rwm%r@zrwbi0fot{K6Kkl]xºxltufomoqotKiKm%]x
[Vgj{gj5]\q%f@_hBÀ¥6̼gjt{Kn6m×½Ñr´m×nv]frj:]\{motmotu]fvgjqomotuz\tvgjm%]m%r¼moY0]¦vKq%rwm%rzrwhmoY0]¦{0r@xK]fh <½YKtuzY zhgj{³Yg§5]
zrwvKtu]f¦rjmoY0]©foYgjq%]xrwlso]z\m¯C[^rwq%]«fot[vKnq%]Qò]\q%]\{0z]xºgwf
#%k&
moY0]\q%]hgòm%]\qS±Q gj{0xgj{²rwlso]z\mV[Vgj{gj5]\qh
½YKtuzY Ygj{0xlu]f${0rxK]f¡¸q%]$i0]fom%f°rwqzrwvKtu]fVf%r)moYgjm^zrwY0]\q%]\{0z]tuf$vKq%]f]\qo§5]x·¥6Ò:f%fot4{Kt{K´zrwvKtu]f$m%r{0rxK]f
t{0fom%]hgwx²rjEmoYKq%]hgwxKf¦gjur¡½fVmoYKq%]hgwxKf`m%r2[t4qgjm%]«moqgj{0fovgjq%]\{mon ½tmoYq%]fov]z\m^m%r6moY0])zrwY0]\q%]\{0z]«vKq%rwm%rzrw¤¥
rxK]f:gjq%]Eq%]\vKq%]f%]\{m%]x¨nmoY0]\tq{0r@xK]'JÎyfh gj{0x)moY0]rwlso]z\m[Vgj{gj5]\q:tufq%]\vKq%]f%]\{m%]x«n)g$Ã5]\nt{)moY0]p wp
fonlfom%]\[©¥X*Y0]\q%]*tuf<gj½ghn@f<]Qk0gwz\monrw{0]
=T&< 1$#:
¥ X*Y0]*{0r@xK]ÑYgh§t{KmoY0][Vgwfom%]\q<zrwvntuf zhgju]x$moY0]
a
¥
Ò8{0r@xK]E]zrw[^]fyrh½{0]\qy½Y0]\{tmb5]\m%fg½qotmgjKu]$zrwvn5¥:ÒxKxltmoturw{gjn¼gj{¼gjvKvKtuzhgjmoturw{¼[Vgj{gj5]\qytufbi0f%]x)m%r
]\{0foiKq%]¤gjiKmm%rwu]\qgj{0z]°rwqmoYKq%]hgwxKfh¥X*Y0]^gjvKvKtuzhgjmoturw{6[Vgj{gj5]\qEtufEgjuf%r¦q%]\vKq%]f%]\{¨m%]x2¨n´gVÃ5]\nt{¼moY0]p wp
fonlfom%]\[©¥
X*YKq%]]f]\vgjqgjm%]x´f%]\qo§tuz]fyt[vKu]\[^]\{mEmoY0]moYKq%]]]\{¨motmotu]fh¥X1rf%]\{0x´g`[^]f%fgj5]$m%rg`{0r@xK]4 ·]\{¨motmotu]fi0f%]
vKqot[tmot§5] BEDF>G¥ X1r^f%]\{0x©g[^]ffgj5]m%r^g$[Vgj{gj5]\qh 0]\{motmotu]fi0f]yvKqot[tmot§5]VWYX[Z>\KD5¥
ÍbiKqvKq%rwm%r@zrwt[vKq%rh§5]fvKq%]\§@turwi0f ½rwqoÃ@f gwf%]xVrw{¦µ¥¨¶·t¤¸¹f*gj5rwqotmoYK[^fѨnm%rwu]\qgjmot{KiKvVm%r ¬ f%t[iKmgj{0]Q¢
rwi0fÑq%]zrw{l04iKqgjmoturw{]\§5]\{¨m%fÑv]\qÑq%]zrw{l04iKqgjmoturw{¦½t{0xKr¡½E Kgj{0x`gjurh½t{Kgj{¨nV{¨iK[]\q*rjq%]zrw{l04iKqgjmoturw{0f*t{
moY0]:fonlfom%]\[©¸¹f<t¿°]mot[^]4¥:n@{gj[tuz\tmÀn^tuf]\{gjKu]xVi0f%t{KmoY0]bRL:X ]\Yg§@turwiKqrj·moY0]iK{0xK]\qon@t{KpÑ wp f%n@fom%]\[©¥
ÂgjiKmVm%rwu]\qgj{0z]tuf$q%]hgwz%Y0]x³i0f%t{K2z%Y0]z%Ã@vrwt{¨mot{K2°rwqmoYKq%]hgwxKfVgj{0x³foYgjq%]x³rwlso]z\m%fh gj{0xq%]\vKtuzhgjmoturw{N tÃ5]
t{ RL:X1fm@_Cl DBÀ ·°rwqEmoY0]`rwls£]z\mE[Vgj{gj5]\q%f$gj{0x2moY0]`gjvKvKtuzhgjmoturw{W[Vgj{gj5]\qh¥ ]`gjufrmoqon¼m%r[t{Kt[tÏh]VmoY0]
{iK[]\qbrjzhgwf%]ft{©½YKtuzY©moY0]gjvKvKtuzhgjmoturw{)Ygwfm%r]yq%]f%mgjqom%]x·¥
J×{«rwq%xK]\q:m%rVf%t[vKt¿CnmoY0]vKq%rwm%rzrw¤¸¹f:xK]f%z\qotvKmoturw{N ½Ñ]gwf%foiK[^]Et{«moYKtufbf]z\moturw{«moYgjmbmoY0]rwlso]z\mb[Vgj{gj5]\q
gj{0xmoY0]gjvKvKtuzhgjmoturw{[Vgj{gj5]\q{0]\§5]\qxltuf%zrw{K{0]z\mh¥ ]y]\{0foiKq%]:moYgjm*moYKtuf*Y¨n@vrwmoY0]fotuf*tuf§5]\qot¿]xt{©Ë@]z\moturw{4P0¥
;SXZY ^) f- `!4K\;] \# "A\ [ ] ` _`*A`!,
Âtq%fomy½Ñ]$xK]f%z\qot]moY0]vKq%rwm%r@zrw ½tmoY¼moY0]$gwxKxltmoturw{gj gwffoiK[vKmoturw{¼moYgjm:{0r¦{0r@xK]xltufzrw{K{0]z\m%fh¥ ]q%]\[^rh§5]
moY0]f%]bgwf%foiK[vKmoturw{0f<t{Ë@]z\moturw{¦l¥ê l¥5rwt{Kt{Krj·{0]\½ {0r@xK]f<xKr@]f{0rwm [Vgjmom%]\qh ¨]zhgji0f]{0rxK]f¡¸¨gj{0x[Vgj{gj5]\q%fh¸
JÎyfÑxKr{0rwmzYgj{K5]4 lgj{0x`moY0]iK{0xK]\qon@t{Kp wp LbX²]\{0foiKq%]fÑzrwqoq%]z\m°rwqo½gjq%xlt{K$rjN[^]f%fgj5]fxK]fovKtm%] s£rwt{0fh¥
ÍbiKqvKq%rwm%rzrwtuf§5]\qon¦f%t[tgjqm%r^µ¶·t¤¸¹fvKq%rwm%rzrwgwf%]xrw{KkK]x©xltufomoqotKiKm%]x©[Vgj{gj5]\q%f¡¥ X*Y0]\q%]Q°rwq%]½Ñ]
q%]zhgj iKtuz%Ã@nmoYKtufvKq%rwm%r@zrwN]Q°rwq%]y½Ñ]foY0rh½'moY0]zrw{¨moqotKiKmoturw{0fyrj rwiKqvKq%rwm%r@zrw¤¥
])z%Y0r@r4f%]m%r¼Ygj{0xlu])xliKvKtuzhgjmoturw{®gj{0x³gwz%órjrwq%xK]\qVrjy[^]f%fgj5]fVgjm^moY0]vKq%rwm%r@zrwu]\§5]\t{0f%m%]hgwx rj
moY0][^]f%fgj5]vgwf%f%t{K`ghn5]\qh ·]zhgji0f]rwmoY0]\qo½tuf]]hgwzY´{0rxK]½ÑrwiKux¼{0]]xm%r¦Ã5]]\v¼t{lòrwqo[Vgjmoturw{6gjrwiKm]\§5]\qon
{0r@xK]moYgjmYgwfzrw[[iK{Ktuzhgjm%]x)gjmu]hgwfomÑrw{0z]b½tmoY¦tmh ½YKtuzYtufÑxK]Q0{Ktm%]\n^{0rwm*f%zhgjgjKu]4¥ ÍbiKqvKq%rwm%rzrw{0]]xKf
rw{KnmoYgjmbmoY0]rwlso]z\m[Vgj{gj5]\q:Ã5]]\v0f:g$tuf%mbrj{0rxK]fmoYgjmYgh§5]g^§wgjtux©zrwvn)rjmoY0]rwlso]z\mh¥*Ì«rwq%]r¡§5]\qh t{
f%rw[^]zhgwf%]f:xli0]m%rVmoY0]q%]\vKtuzhgjmoturw{´rj<moY0]rwls£]z\m:[Vgj{gj5]\q^¯òf%]]Ë@]z\moturw{ P±Q xliKvKtuzhgjm%]x[^]f%fSgj5]f[Vghn©]
xK]fotqgjKu]gj{0xY0]\{0z][i0f%m]yYgj{0xlu]xgjmmoY0]vKq%rwm%r@zrwNu]\§5]\¤¥
Ä E É É É ($K Å Ê É
Å Ê
h
N Å Ê ' Å j
!É Ê Å
#"
Å rxK]fq%]z\gjt[gwzz]f%f©qot4Ym%f«rw{¾moY0]\tq«zrwvKtu]f©½Y0]\{ gj{ gwzz]f%f©°gjiKmW¯òc q<Ò: °gjiKm)rwq
c1JÎX q²°gjiKmS±rzz\iKq%f¡¥RL:]\{0z]4 òrwqgV{0rxK]4 moY0]urzhgj zrwv¨nzhgj{«]t{¼rw{0]rj<°rwiKqb[Vgjt{´fomgjm%]fmh%$'&)(+*-,.$'/
½Y0]\{«{0rqot4Y¨mbm%rVgwzz]f%fh 1023*5436+/³½Y0]\{«moY0]gwzz]f%ftufq%]hgwx@¢Àrw{Kn5 +798&:6+4d;0<2*-46+/ òrwq:g$[Vgwfom%]\qzrwvn
½tmoY2q%]hgwx@¢Àrw{Kn2gwzz]f%f¡ gj{0x=798&:6+4d>6@?A,.B30<$(C6)°rwqg¦[Vgwfom%]\qzrwvn¼½tmoY2q%]hgwx@¢¤½qotm%]`gwzz]f%f¡¥ JÀ{2fomgjm%]
798&:6+4d>6@?A,.B30<$(C6 gjrwmoY0]\q<zrwvKtu]fÑgjq%]*t{^fomgjm%]>$'&D(<*-,.$'/¥ Ò*m gj{¨n$mot[^]4 5]Qk0gwz\mon$rw{0]zrwv¨n$tuf<g:[Vgwfom%]\q
zrwvn5¥
X*Y0]òrwur¡½t{K©vKq%rwv]\qomotu]f]\{0foiKq%]zrwY0]\q%]\{0z]h½Y0]\{2moY0]r¡½{0]\qEtufyt{2fomgjm%] 798&:6+4 d 6 ? A,@B0<$(;6 1gj
rwmoY0]\qzrwvKtu]f<gjq%]t{f%mgjm%];$'&)(<*-,.$'/
½Y0]\{$moY0]gwzz]f%fqot4Y¨m%f°rwq g:zrwv¨n$gjq%] {0rwmfoiVz\tu]\{mh 4moY0]{0rxK]Ñq%]\moqotu]\§5]f
gzrwvn½tmoY)foiKtmgjKu]gwzz]f%fqot4Y¨m%fòq%rw[ moY0]Er¡½{0]\qh¥
G*]Q°rwq%]¦moY0]`zrwvnWrj:g){0rxK]`5®]\{¨m%]\q%ffomgjm%] 0<2*-46+/ rwq$fomgjm%] 798&:64d>6@? A,.B0<$(;6 {0rxK]S5²[i0fom
q%]\moqotu]\§5]Egj{¦iKv`m%rx0gjm%]yzrwv¨nVCq%rw[ moY0]br¡½{0]\qh¥<X1rmoYgjm]\{0x· @{0rxK]65)q%rwiKm%]fgc1q Òb.q%]$i0]fom¯Cq%]fov]z\mot§5]\n
c1JÎX q q%]$i0]fomS±*m%rVmoY0]rwlso]z\m[Vgj{gj5]\qh¥X*Y0]q%]\vKn¦m%r¦g^c q<Òb q%]$i0]fomtuf:g`ÐÍ:p[^]ffgj5]Eq%]\moiKqo{0]x
nVmoY0]yrh½{0]\qh¥ÑX*Y0]bq%]\vKn`m%rg c1JÎX qq%]$¨i0]f%mtufgÐÍ:p»[^]f%fgj5]bCq%rw[moY0]yrh½{0]\qt¿{0rxK]5tufÑ{0rwmmoY0]
r¡½{0]\qh rwqmoY0]yq%]$i0]fomtm%f%]\¿ moYgjmYgwf]]\{q%]xltq%]z\m%]x©nmoY0]y[Vgj{gj5]\qt¿ {0rxK]5´tufgjq%]hgwxlnmoY0]Er¡½{0]\qh¥
Ò*mbmoY0]E]\4t{K{Kt{K`rjmoY0]]QkK]z\iKmoturw{N {0r{0rxK]Ygwfbgzrwvn5¥X*Y0]\q%]Qòrwq%]moY0]0q%fomb{0rxK]952moYgjmq%]$i0]fom%fbg
zrwvn5]\m%f t{^q%]\vKn^gÂeJÎc:Ë@X¢ÀXÍÐLº[^]f%fgj5]*òq%rw[ moY0][Vgj{gj5]\qh ½YKtuzY`[^]hgj{0f moYgjm {0r@xK] 5©[i0fomÑz\q%]hgjm%]
moY0]Erwlso]z\mbgj{0x]zrw[^]ymoY0]Er¡½{0]\qh¥
' Å " Å X*Y0]rwlso]z\mE[Vgj{gj5]\qÃ5]]\v0fEmoqgwz%Ã2rj*moY0]rh½{0]\qh¸¹f9J×$ Ngj{0x´q%]xltq%]z\m%f{0rxK]fh¸q%]$i0]fom%f
m%rmoY0]r¡½{0]\qh¥ J×mgjuf%r]\{0foiKq%]fmoYgjm]Q°rwq%]ytmq%]xltq%]z\m%fbgj{¨n c1JÎX q³q%]$¨i0]f%mh 0gjNrwmoY0]\qzrwvKtu]fgjq%]t{©fomgjm%]
$'&)(<*-,.$'/¥X1rmoYgjm<]\{0x· ¨tm[Vgjt{¨mgjt{0fÑg $#: & zrw{¨mgjt{Kt{KmoY0] J×yfrjNgjKmoY0]*{0rxK]fKiKmmoY0]rh½{0]\q<Ygh§t{K
g$§4gjtuxzrwv¨n5¥
V ÆD 1 ÉÉ "hl Å ' K 1Å V Ê&N É $jÊ Å '»Å ¡h Å Å ( Å Æ
X*Y0]¦]\Yg§@turwiKq%frj{0rxK]fgj{0xrwls£]z\m[Vgj{gj5]\q%f^gjq%]¦xK]f%z\qot]x i0fot{K¼xK]\m%]\qo[t{Ktufomotuzt{KvKiKmSÁjrwiKmovKiKm^fomgjm%]
[VgwzYKt{0]fh¥ X*Y0]vrwt{¨mi0fot{KVxK]\m%]\qo[t{Ktufomotuzt{KvKiKmSÁjrwiKmovKiKmbfomgjm%]y[VgwzYKt{0]ftuf]QklvKgjt{0]xt{Ë@]z\moturw{*P0¥
Ët[tgjqon.m%rmoY0]2vKq%rwm%rzrwEt[vKu]\[^]\{m%]x't{¾EË@Ì)¢ÀX*YKq%]hgwxKf@_hBÀ :rwmoY¾fomgjm%]¼[Vgwz%YKt{0]f¼gjq%]´xK]fot4{0]x
m%r´½rwqoÃgwfon@{0z%YKq%rw{0rwi0fonah)[^]ffgj5]q%]z]\vKmoturw{0f¦rzz\iKqVrw{Kn]Qòrwq%]©moqgj{0fotmoturw{0fh¥ G]f%tuxK]f^moY0]©]\{0]Q0m%f^t{
]QkltKttmÀn5 moYKtuftufEq%]$iKtq%]x6òrwq$gwz\mot§5]Vq%]\vKtuzhgjmoturw{.¯òf%]]¦Ë@]z\moturw{ P±Q¥Ò:fg)zrw{0f%]$i0]\{0z]4 moY0]`{0r@xK]4¸¹ffomgjm%]
[VgwzYKt{0]$t{0z\i0xK]fb[^rwq%]fomgjm%]f:moYgjmgjq%]½*gjtm:vrwt{¨m%fb°rwqmoqgj{0fotmoturw{0fy]\mÀ½]]\{¼moY0][Vgjt{´fomgjm%]fh¥bÂt4iKq%]f_
gj{0x$ foY0r¡½WmoY0]Ñfomgjm%]Ñ[Vgwz%YKt{0]fq%]fov]z\mot§5]\nòrwqmoY0] rwlso]z\m[Vgj{gj5]\q¯¤Í:Ì´±1gj{0xEòrwq g{0r@xK]4¥1Â0rwqq%]hgwx0gjKttmÀn
vKiKqovr4f%]fh rw{Kn©moY0]zrw{0xltmoturw{0fbm%rgjvKvKn©moY0]moqgj{0fotmoturw{0fEgjq%]foY0r¡½{¼t{)moY0]04iKq%]fh¥bX*Y0]gwz\moturw{0fymgjÃ5]\{¼gjm
]hgwzY¦moqgj{0f%tmoturw{`04iKq%]bt{ÒvKv]\{0xlt¿kVÒ¥ X*Y0]òrwur¡½t{K$vgjqgj4qgjvKY0frwiKmot{0]bmoY0]°]hgjmoiKq%]fÑrj1moY0]ygj5rwqotmoYK[^fh¥
IDLE
WRITE WRITE WAIT
CONFIRM
from sender WRITE_CONFIRM
from new_owner
from new_owner WRITE_ACK
WAIT ACK WRITE WAIT
ACK INV
ACK READ WAIT
copy_set <= {new_owner}
from sender READ
from sender WRITE
INVALIDATE_ACK from sender
WRITE from sender
READ from sender
from sender
from sender from sender
READ
READ from sender
from new_owner
waiting_read_ack = {}
pending_req.not_empty()
&& owner = _
&& owner != _ && owner != _
from sender WRITE
READ from sender
READ_ACK WRITE_INVALIDATE
2 3 8
9
10
11
12 13
13
13 14 14
14
14 15
1
4 5
7 6
pending_req.head = WRITE pending_req.head = READ
Ât4iKq%]^_hÒbiKm%rw[Vgjm%rw{«rj moY0]Íblso]z\mÌgj{gj5]\q
WRITE WAIT
INV
READ COPY
WAIT WAIT
COPY WRITE SHARED
OWNER
SHARED OWNER EXCL
WRITE fault
WRITE fault
old COPY
COPY
WRITE fault READ fault
WRITE fault young COPY
from owner young COPY
from owner
READ fault
WRITE fault READ fault
WRITE fault READ from manager
INVALIDATE
from sender
from sender
young FIRST_TOUCH
young FIRST_TOUCH
valid WRITE
valid WRITE from
valid WRITE
valid WRITE form manager
5
old COPY from sender
old COPY READ
1 3
INVALIDATE from manager
from manager READ from
manager
from manager
manager for self
INVALIDATE valid from manager
2
from sender
INVALIDATE from manager
from manager
from manager 4
6
7
8
9
10
11 12
13
15 16
17
18 20 19
21 22 23
24
24
24
24
25
valid from manager from manager
not for self 14
Ât4iKq%] Ah<ÒbiKm%rw[Vgjm%rw{)rj<g rxK]4¸¹fÐrwvn
X*Y0]Í:Ì i0]\i0]f{0r@xK]4¸¹fq%]$¨i0]fom%ft{ e$DF>GpgFpdWmD2gj{0x6Ygj{0xlu]fmoY0]\[ i0fot{K¼g)ÂSJ×ÂÍ ¯òÂtq%fomiJ×{WÂtq%fom
ÍbiKmS±vrwtuz\n5¥X*YKtuf:]\{0f%iKq%]fbmoYgjm]hgwzYq%]$i0]fom:½t ]fgjmotuf£]x«½tmoYKt{6g0{Ktm%]$xK]\ghn5¥JÀ{¼fomgjm%] $'/-,.6· moY0]
Í:Ì s£i0fom*½gjtm%fiK{mot1moY0] i0]\i0]zrw{¨mgjt{0fygq%]$i0]fomh¥
Ët{0z][^]f%fgj5]f[Vgn]ExK]\t§5]\q%]xrwiKmrj<rwq%xK]\qh ½]gwxKx«gwzÃ{0r¡½u]xl5]\[^]\{¨m%fV¯òc q<Ò: dÒе [^]f%fgj5]f
gj{0x c J×X q dÒе|[^]ffgj5]fS±*m%r`Ygj{0xlu] c J×X qºq%]$i0]fom%f:gjm%rw[tuzhgjn5 ½YKtuzY´]\{0foiKq%]fbzrwY0]\q%]\{0z]$rj moY0]
zrwvKtu]fgj{0x«t§5]\{0]f%fyrj<moY0]fonlfom%]\[©¥bÍbmoY0]\qo½tuf]$g c J×X q²q%]$i0]fomòq%rw[ªmoY0]rh½{0]\q:°rwurh½]x«n«g^c q<Ò:
q%]$i0]fomgjmmoY0]`[Vgj{gj5]\qh¸¹ffotm%]^[t4Ym^gjqoqot§5]¦gòm%]\qmoY0]¦c1q Òb q%]$i0]fomgjmmoY0]¦rh½{0]\qh¸¹ff%tm%]4 q%]f%iKmot{Kt{
gf%mgjm%]$t{2½YKtuz%YN fot[iKmgj{0]rwi0f%n5 moY0]Vrh½{0]\qzhgj{2½qotm%]^m%rmoY0]^rwlso]z\mgj{0x6gj{6rwmoY0]\qE{0r@xK]^zhgj{2q%]hgwx´moY0]
rwlso]z\mh¥ ]zhgj{)gjuf%r$KiKtux©fz]\{gjqotur4ft{½YKtuz%Y©q%]$i0]fom%fgjq%]yur4fom]zhgji0f%]ymoY0]r¡½{0]\qz%Ygj{K5]f]\m×½Ñ]]\{)moY0]
mot[^]moY0]Eq%]$¨i0]fom%fbgjq%]q%]xltq%]z\m%]x«gj{0xmoY0]mot[^]EmoY0]\ngjqoqot§5]4¥
J×{´fomgjm%]>8 *-$ d%46@*5/ d-*9A "j g\7gFpd9WYDjG#d j>i$zrw{¨mgjt{0fEmoY0]9JÎyfbrjÑmoY0]{0r@xK]fbCq%rw[,½YKtuzY¼c q<Ò:
q%]$i0]fom%fYg§5]b]]\{¦q%]xltq%]z\m%]x¦m%rmoY0]:rh½{0]\qE¯C{0r@xK]6X6FDW¤±t{`moqgj{0f%tmoturw{0f~gj{0x_h EKiKm{0rwm*gwzÃ{0r¡½u]xl5]x
n5]\mh¥Ò:fg^q%]foiKmh c1JÎX qºq%]$¨i0]f%m%fygj{0x´gj foiK0f%]$i0]\{¨mq%]$i0]fom%fgjq%]i0]\i0]xiK{¨mot gj vKq%]\§@turwi0fbq%]$i0]fom%f
gjq%]m%]\qo[t{gjm%]x·¥
J×{f%mgjm%]98 *-$ d%$'&)(d5*9A©gj{0xfomgjm%]8 *-$ d:8 43$;6]d5*9A wg c J×X q)q%]$¨i0]f%m1òq%rw[¾{0r@xK] FDd X6FDW
tuf]\t{K©vKq%r@z]f%f%]x·¥^Ò:fEgq%]foiKmh gj foiK0f%]$i0]\{¨mq%]$¨i0]fom%fgjq%]&¨i0]\i0]x2iK{¨mot<moY0]
c1JÎX q.q%]$i0]fomtufm%]\q£¢
[t{gjm%]x·¥EX*Y0]^Í:Ì q%]$i0]fom%fEgjmoY0]{0rxK]f:t{riQX[e&d BEDN\bKiKmb{0r@xK]SF>Dd XF>DWÑm%r`t{§wgjtux0gjm%]moY0]\tqEzrwvKtu]f
t{moqgj{0fotmoturw{´l gj{0x«½gjtm%f:t{«f%mgjm%] 8 *-$ d>$'&)(d-*9A°rwqmoY0]\tqgwz%Ã@{0rh½u]xl5]\[^]\{¨m%f¡¥X*Y0]Í:Ì q%]\[^rh§5]fEg
{0r@xK]Cq%rw[ iQX[e&d6BEDN\t{¼moqgj{0fotmoturw{³_h`½Y0]\{moY0]{0r@xK]gwz%Ã@{0rh½u]xl5]ftm%fyt{§wgjtux0gjmoturw{N¥$Íb{0z]$gj t{§wgjtux0g¢
moturw{0f$gjq%]`gwzÃ{0r¡½u]xl5]x· moY0]¦Í:Ì q%]xltq%]z\m%fmoY0] c1JÎX q'q%]$i0]fom%fEm%r){0rxK]VX6FDWt{6moqgj{0fotmoturw{º_4_4 gj{0x
½*gjtm%f °rwqmoY0]bgwz%Ã@{0rh½u]xl5]\[^]\{mòq%rw[ {0r@xK] FDd6X6FDWNt{`f%mgjm%]-8 *-$ d:8 43$;6]d-*9A*¥X*Y0]Í:Ì,q%]z]\t§5]f
moY0]gwz%Ã@{0rh½u]xl5]\[^]\{mòq%rw[|moY0]:{0]\½®rh½{0]\qgj{0x¦zrw[[tm%f*moY0]yz%Ygj{K5]yrjrh½{0]\qE¯X6F>DW F>Dd XF>DWÀ±t{
moqgj{0fotmoturw{¼l¥
Ê(
É (
5l Å Ê '»Å h¡ Å
J×{«rwq%xK]\q:m%r`gjur¡½ moY0]vKq%rwm%rzrwm%r^q%]\n©rw{zhgji0fgjtmÀna@êB]\m×½Ñ]]\{´f%]\{0xlt{Kgj{0x)xK]\t§5]\qon)rj f%rw[^][^]f%fgj5]fh
½]`]\{0foiKq%]4 xK]fovKtm%]V[^]f%fgj5]fmoYgjmxliKvKtuzhgjm%]4 moYgjmf%rw[^]^[^]f%fSgj5]fgjq%]`xK]\t§5]\q%]x ,:c gj{0x· òrwq
q%]\vKtu]fbm%r^q%]$i0]fom%fh rw{Knt¿ moY0]\n)gjq%]
: &
%l3l
q%]\vKtu]fm%rVv]\{0xlt{K`q%]$¨i0]fom%f¡¥X*Y0]vKq%rwm%r@zrw1q%]$iKtq%]fmoYKtuf
°rwqyÐÍ:p ÂSJÎc:Ë@X¢ÀXÍÐL gj{0x*J Òb¶ J×ÒX q¢ÀÒе[^]f%fgj5]fbm%r^]\{0foiKq%]zrwY0]\q%]\{0z]4 0°rwqc q<Òbb¢ÀÒе
gj{0x c1JÎX q ¢ÀÒе [^]f%fgj5]fym%r]\{0foiKq%]$zrwY0]\q%]\{0z]Vgj{0xt§5]\{0]f%f^¯òf%]]vgjqgj4qgjvKYWl¥_4¥ê 5±Q Ngj{0x°rwq c J×X q
[^]f%fSgj5]fm%r^]\{0foiKq%]yt§5]\{0]f%f¯òrwmoY0]\qo½tuf%]4 KmoY0][Vgwf%m%]\qzrwv¨n[Vgn5]\mur4fom½Y0]\{©moY0]rh½{0]\qmoqgj{0f£°]\q%ftmm%r^g
{0r@xK]moYgjmxKr@]f{0rwm½gj{mtmS±Q¥
ÂrwqgjmoY0][^]ffgj5]f*z\tm%]x¦gjrh§5]bKiKm c1JÎX qWq%]$¨i0]fom%f¡ ]Qk0gwz\mon^rw{0z]gj{0x^n5rwiK{KxK]\t§5]\qon^tuf*gwz%YKtu]\§5]x
i0fot{KVv]\q]\{motmÀn©f%]$i0]\{0z]y{¨iK[]\q%fòrwqc q<Ò: c1JÎX q 0gj{0x J Ò:¶NJÎÒX q q%]$i0]fom%fh¥
qkKgwz\mon rw{0z]¦gj{0x n5rwiK{K¼xK]\t§5]\qon2°rwqc q<Òbb¢ÀÒе ÐÍ:p ÂSJÎc:Ë@X¢ÀXÍÐL gj{0x J Ò:¶NJÎÒX q ¢
Òе²[^]f%fgj5]ftufgwzYKtu]\§5]x· w°rwqc1q Òb³q%]$i0]fom%f gj{0x c1JÎX q«q%]$¨i0]fom%f¡ i0f%t{Kv]\q1{0r@xK]Ñf%]$i0]\{0z]Ñ{¨iK[]\q%fh
{gj[^]x`fjBc\odWYD 4gj{0x°rwq J Ò:¶NJÎÒX q)q%]$i0]fom%fh 4gf%]$¨i0]\{0z] {¨iK[]\q[Vgjt{¨mgjt{0]x$nmoY0] rwlso]z\m[Vgj{gj5]\qh
{gj[^]x fj>\cBNdgFnK¥ q gwzY[^]f%fgj5]ff%]\{¨m$zrw{0f%]z\iKmot§5]\n6m%rg©c q<Òb$ c J×X q 1rwqiJ Ò:¶NJÎÒX q»q%]$¨i0]fomh
t{0z\i0xK]f moY0]gjvKvKq%rwvKqotgjm%]f%]$i0]\{0z]*{¨iK[]\qh¥ X*Y0]*[^]f%fgj5]tufzrw{0fotuxK]\q%]x¦gwfn5rwiK{KEt¿moY0]f%]$i0]\{0z]*{¨iK[]\q
t{0z\i0xK]x)[Vgjm%z%Y0]fmoY0]Eurzhgj1f]$¨i0]\{0z]y{iK[]\qh¥
q<{0foiKqot{K2]QkKgwz\mon rw{0z]xK]\t§5]\qon6°rwq c1JÎX q q%]$i0]fom%fCq%rw[ gj{¨nW{0rxK]S5ºtufYgjq%xK]\q]zhgji0f%]¦{0r@xK]S5
gj{0xºmoY0]rwls£]z\m¦[Vgj{gj5]\qYg§5]{0r *# $%k % Ã{0r¡½u]xl5]2gjrwiKm¦moY0]«f%mgjm%]«rj]hgwzY.rwmoY0]\qh¥»XrWfrw§5]«moY0]
vKq%rwKu]\[© ·t{¼moqgj{0fotmoturw{ Cl moY0][Vgj{gj5]\qgwfoÃlfb{0r@xK] 5Wm%rzrw{l0qo[ tm%f:q%]$¨i0]f%mb½tmoY2g
c J×X q¢ÎÐÍ
ÂSJÎcÌ
[^]f%fSgj5]moYgjm<t{0z\i0xK]f<moY0]f%]$¨i0]\{0z]{¨iK[]\q%frjmoY0] c1JÎX q´q%]$i0]fomÑgj{0xmoY0]f%]$¨i0]\{0z]{¨iK[]\q fjBc\7dgFbnl
t{0z\q%]\[^]\{m%]x^]Qòrwq%]ÑmoY0]*rwls£]z\m[Vgj{gj5]\q<f%]\{0xKfmoY0] c1JÎX q ¢ÎÐÍ ÂeJÎcÌ[^]ffgj5]4¥ r@xK]"5]\tmoY0]\q<zrw{l0qo[^f
moY0]q%]$i0]fomnf%]\{0xlt{K^gwz%ÃmoY0]
c J×X q ¢ÎÐÍ
ÂSJ×cbÌ [^]f%fSgj5]4 0rwqt{¨§4gjtux0gjm%]fbmoY0]q%]$¨i0]f%m¨nf%]\{0xlt{K`g
c1JÎX q ¢<J Òb¶ J×ÒX q[^]f%fgj5]yt{0z\i0xlt{K`moY0]Efgj[^]f%]$i0]\{0z]{¨iK[]\q%f¡¥
r@xK]65´zrw{l0qo[^f*moY0]yq%]$i0]fom*t¿tm*tuf*fomott{fomgjm%]C8 *5$ d AD7 d:84$;6`rwq*t{fomgjm%]C8 *-$ d:84$;6
gj{0xtm%fzrwiK{¨m%]\q fjBc\7dWYD`§wgji0]]$¨igjufmoY0]E§wgji0]yt{0z\i0xK]x)t{moY0] c J×X q¢ÎÐÍ ÂSJÎcÌ [^]ffgj5]4¥
c1JÎX q q%]$¨i0]f%m%f^°rwqo½gjq%xK]xºm%rWmoY0]«r¡½{0]\qgjufr2{0]]xº]QkKgwz\monrw{0z]xK]\t§5]\qon5¥ ]«xKrWmoYKtuf`i0fot{Kg
xltIH·]\q%]\{¨m[^]f%fgj5]m×nv]4 5{gj[^]x`ÂÍ:c Ò:c q<b¢ c J×X q 4moYgjm<t{0z\i0xK]fÑmoY0]rwqot4t{gj c1JÎX q´q%]$i0]fomÑgj{0x
moY0]§4gji0]rjbmoY0]rwls£]z\m[Vgj{gj5]\qh¸¹fVzrwiK{¨m%]\q fj>Bc\odgFbnl¥WX*Y0]¦r¡½{0]\q^Ã5]]\v0f$moYKtuf$§4gji0]t{³g«ur@zhgj*§wgjqotgjKu]
fj>Bc\od F>X6F d9gFngj{0xiKvx0gjm%]f¦tm`½Y0]\{®tm¦q%]z]\t§5]fÂÍ:c Òbcb q<b¢ c J×X q|q%]$¨i0]f%m%f`t{0z\i0xlt{KYKt4Y0]\q
§4gji0]fh¥X*YKtufy§4gji0]tufyt{0z\i0xK]x¼t{¼moY0]ÐÍ:p [^]f%fSgj5]fh ·f%r¦moYgjmymoY0]rh½{0]\qgj½ghn@fEÃ{0r¡½fymoY0]f%]$¨i0]\{0z]
{iK[]\qrjEmoY0]«gwfom`t{¨§4gjtux0gjmoturw{N¥ Ò:f`g2q%]foiKmh ]Qk0gwz\mon rw{0z]gj{0x²n5rwiK{K xK]\t§5]\qon²zhgj{])]\{0foiKq%]xòrwq
c1JÎX q ¢ÀÒе8[^]f%fSgj5]ft¿moY0]\nt{0z\i0xK]moY0]f%]$¨i0]\{0z]y{iK[]\q fj>Bc\od F>X6F d9gFnrj moY0]{0]\½¾rh½{0]\qh¥
cb]z]\t§t{K¦g$xliKvKtuzhgjm%]x)c1q Òb q%]$¨i0]f%mzhgji0f%]fgjm½Ñrwq%f%mbg^ÐÍ:p8[^]f%fgj5]ym%r]yf%]\{¨mm%r^g{0rxK]ymoYgjm
½t*{0rwm$mgjÃ5]tmt{m%r2gwzzrwiK{¨m]zhgji0f%]¦moY0]©ÐÍ:p [^]f%fSgj5]`q%]z]\t§5]x½t*{0rwm$]`n5rwiK{K0 Ñgj{0xWmoY0]zrwvn
f%]\mm%r^t{0z\i0xK]{0rxK]fmoYgjmYg§5]{0r$§wgjtux©zrwvn5¥ÑËi0z%Y«{0rxK]ffoY0rwiKuxY0rh½]\§5]\qq%]\vKn½tmoY)c q<Òbb¢ÀÒеgj{0x
J Ò:¶NJ×ÒX q ¢ÀÒе [^]f%fgj5]fyt{´rwq%xK]\qm%r¦vKq%]\§5]\{¨mmoY0]rwls£]z\my[Vgj{gj5]\qyòq%rw[ KurzÃt{K0¥¶·t§5]\{0]f%fEzrwiKux
]V]\{0x0gj{K5]\q%]x ]zhgji0f%]^t{WmoY0]^½Ñrwq%f%mzhgwf%]4 g)xliKvKtuzhgjm%]x c q<Ò:q%]$¨i0]fom[VgjÃ5]fmoY0]Vrh½{0]\qYg§@t{K`sÎi0fom
]\{m%]\q%]xWfomgjm%] 78 & 6+4d>6@? A,.B0<$(;6¼]\{¨m%]\qfomgjm%] 798&:6+4 dC0<2*-46/ 1½tmoY0rwiKmYgh§t{K«mot[^]m%r½qotm%]^m%r
moY0]Erwlso]z\mh¥KL:rh½]\§5]\qh 0i0fot{KVÂÍ:c ÒbcbRq ¢Àc q<Ò:¾q%]$i0]fom%ft{0z\i0xlt{K`moY0]Ef%]$i0]\{0z]y{¨iK[]\qbrj moY0]gwfom
t{§wgjtux0gjmoturw{Vzhgj{ur¡½Ñ]\q<moY0]qgjm%]rjf%i0z%Y^xliKvKtuzhgjm%]x[^]f%fSgj5]fh¥Òb{rwmoY0]\q<f%rwiKmoturw{tufm%rxK]\gnmoY0]*moq%]hgjmo[^]\{¨m
rjmoY0]$q%]$¨i0]fomy°rwqEg`tmomou]$mot[^]4 NfoiVz\tu]\{¨mm%r]\{0foiKq%]moYgjmmoY0]]Qkl]z\iKmoturw{2vKq%rw4q%]ff%]fh¥Ëi0zY6f%rwiKmoturw{0fgjq%]
Ã@{0rh½{¼gwf $ %-& ¥
:iKvKtuzhgjm%]xTJ Ò:¶NJÎÒX qq%]$¨i0]fom%f [Vghnzhgji0f%]gjm½Ñrwq%fomt{§wgjtux0gjmoturw{0f rjzrwvKtu]fh 4½YKtuzY$xKr@]f {0rwm<gFH]z\m
zrwY0]\q%]\{0z]4¥X*YKtufxKr]f:{0rwmEgFH]z\myt§5]\{0]f%f:°rwqfot[tgjqyq%]hgwf%rw{0fym%r¦moY0]$zhgwf%]rj*xliKvKtuzhgjm%]x´c1q<Ò:q%]$i0]fom%f
fgjmotufo]x^¨nmoY0]brh½{0]\q½Y0]\{VtmÑtuf<t{`f%mgjm%];798&:64d>6@? A,.B0<$(;6¥SLbr¡½Ñ]\§5]\qh @moYKtufÑ[VgnVgFH·]z\m v]\q£òrwqo[Vgj{0z]
4q%]hgjmon5¥
ÂrwqomoiK{gjm%]\n5 ½]Ezhgj{)]\{0foiKq%]]QkKgwz\monrw{0z]xK]\t§5]\qonrjJ
Òb¶NJÎÒX qq%]$¨i0]fom%fòrwq{0r@xK]fYgh§t{K`§wgjtux
zrwvKtu]f½tmoY{0r^gwxKxltmoturw{gjzr4fomh li0fot{KmoY0]f]$¨i0]\{0z]y{iK[]\q fjBc\od FXF d9gFnt{moY0]y{0rxK]4¸¹ff%mgjm%]4¥ Y0]\{
g`{0r@xK]q%]z]\t§5]fEg`§4gjtux¼ÐÍ:p [^]f%fSgj5]4 tmfom%rwq%]fymoY0]t{0z\i0xK]x¼f%]$i0]\{0z]{¨iK[]\qrj moY0]gwfom:vKq%]z]xlt{K
t{§wgjtux0gjmoturw{t{tm%f§4gjqotgjKu] fjBc\od FXF dgFnK¥ r@xK]fzrw{0fotuxK]\qRJ Ò:¶NJÎÒX q³q%]$i0]fom%f§4gjtux©rw{Kn¦t¿moY0]\tq
f%]$i0]\{0z]{iK[]\qtuf4q%]hgjm%]\qmoYgj{)moY0]moY0]§4gji0]rj fj>Bc\od F>XF d gFnK¥
Ët{0z]¦moY0]¦rh½{0]\qgj½ghn@f$Ã@{0rh½fmoY0]¦f%]$¨i0]\{0z]`{¨iK[]\qrjmoY0]`gwfomt{§wgjtux0gjmoturw{N gj{0x6moYKtuf{¨iK[]\q$tuf
t{0z\i0xK]xt{moY0]ÐÍ:p [^]f%fgj5]fh 4gj{0xgòm%]\qgj{$t{¨§4gjtux0gjmoturw{$vKYgwf%] {0rb{0r@xK] KiKmmoY0]*rh½{0]\q Ygwfg§4gjtuxzrwvn
rjmoY0]y[^]f%fgj5]4 0g{0rxK]:Ygh§t{K`g§4gjtuxzrwv¨ngj½gnlfÃ@{0rh½fmoY0]f]$¨i0]\{0z]:{¨iK[]\qbrjmoY0]ygwfom*t{¨§4gjtux0gjmoturw{
vKYgwf%]4¥ Òbfgq%]foiKmh Krwux¦t{¨§4gjtux0gjmoturw{0fbgjq%]:{0rwmzrw{0fotuxK]\q%]x§4gjtux·¥J¤ g{0r@xK]yYgwf*{0r§wgjtuxzrwvngj{0x¦q%]z]\t§5]f
gj{J Ò:¶NJÎÒX q2q%]$i0]fomh 4tm zhgj{`fgò]\ngjvKvKn$moY0]fgj[^]gj5rwqotmoYK[©¥J×{^moY0]*½Ñrwq%f%mÑzhgwf%]4 4i0f]\u]f%f<xliKvKtuzhgjm%]x
J Ò:¶NJ×ÒX q ¢ÀÒе[^]f%fSgj5]f½tN]f%]\{¨mh gj¨gjt{0f%m½YKtuz%Y©moY0]EvKq%rwm%rzrwNtufbgjq%]hgwxln¦vKq%rwm%]z\m%]x·¥
;SX3W <fA`! " \# _$`! sf ` `*0K\;f)3/ 3? `(<\;f
JÀ{0r@xK]f`Ygh§t{K zrwvKtu]fxltuf%zrw{K{0]z\mh :moY0]«vKq%rwm%rzrwvKq%]f]\{¨m%]x'gjrh§5]¼fomot:vKq%]f%]\qo§5]fzrwY0]\q%]\{0z]4 :KiKm¦{0rwm
t§5]\{0]f%f¡¥ J×{0xK]]x· jt¿lmoY0]Ñrh½{0]\q rwqg{0rxK] t{moY0] zrwvnEf%]\mN¤gjtufh moY0] rwlso]z\m1[Vgj{gj5]\q[VgnKur@z%ýY0]\{½gjtmot{K
°rwq`gj{ºgwzÃ{0r¡½u]xl5]\[^]\{¨mh¥ X*Y0]\q%]Qòrwq%])moY0]©vKq%rwm%r@zrw{0]]xKf¦f%rw[^])gwxjs£i0fomo[^]\{¨m%f`moYgjmVi0f%]©moY0]«gjvKvKtuzhgjmoturw{
[Vgj{gj5]\qh¥
J×{ [Vgj{¨nWgwfov]z\m%fh §5rwiK{¨mgjqon xltuf%zrw{K{0]z\moturw{0f^gj{0x6°gjtiKq%]fgjq%]`{0rwmxltufomot{K4iKtuf%YgjKu]4 gj{0x6rwmoY]\§5]\{¨m%f
5]\{0]\qgjm%]q%]zrw{l04iKqgjmoturw{0fbrj moY0]Efonlfom%]\[©¥L:rh½Ñ]\§5]\qh §5rwiK{¨mgjqon©xltuf%zrw{K{0]z\moturw{0fygjurh½ m%r$vKq%]\vgjq%]Eq%]zrw{l0w¢
iKqgjmoturw{0fEgj{0x«[VgjÃ5]moY0]\[ u]f%f:zr4fomon5¥yÂtq%fom½]vKq%]f%]\{¨mEgVgwfotuzf%moqgjm%]\4n©i0fot{K¦gwz%Ã@½gjq%x´]\qoq%rwq:q%]zrh§5]\qon5
gj{0x©f]zrw{0x½Ñ]Ef%Y0rh½'Y0r¡½'m%r^rwvKmot[tÏh]moY0]Ef%moqgjm%]\4n5¥
< $K "hjl Å Æ (5l É Å É Ê ¦Å hK
ÍbiKqgwfotuz^fomoqgjm%]\4n´m%rm%rwu]\qgjm%]`xltuf%zrw{K{0]z\moturw{0fgj{0x´¤gjtiKq%]fzrw{0fotuf%m%fEt{2q%]fomgjqomot{K«moY0]`gjvKvKtuzhgjmoturw{]hgwz%Y
mot[^]*g{0r@xK]4 jYg§@t{Kyg§4gjtuxzrwv¨nrwqgmoYKq%]hgwxrj0moY0]*gjvKvKtuzhgjmoturw{N 5xltuf%zrw{K{0]z\m%f¡¥XrbmoYgjm]\{0xmoY0]*gjvKvKtuzhgjmoturw{
[Vgj{gj5]\qbÃ5]]\v0fmoqgwz%Ãrj moY0]ymoYKq%]hgwxKfh¸Kur@zhgjmoturw{0fh gj{0x©xK]z\tuxK]f½Y0]\{©moY0]EgjvKvKtuzhgjmoturw{¼foY0rwiKux]yq%]f%mgjqom%]x·¥
Å É ÒbmoY0rwiK4Y$z%Y0]z%Ã@vrwt{¨mot{Kgj{0xq%]fomgjqom rjxltufomoqotKiKm%]x$foYgjq%]x[^]\[^rwqongjvKvKtuzhgjmoturw{0f Ygwf]]\{
fomoi0xltu]x¦t{¦f%]\§5]\qgjf%n@fom%]\[^fm@_h FBÀ ] Vz\tu]\{mfomoqgjm%]\4tu]fgjq%]bfomotgEm%rwvKtuz:rjNq%]f%]hgjq%zYN¥KJÀ{`moYKtufvgjv]\qh @½Ñ]ygwf%foiK[^]
½]^xltufovr4f%]rj*g¦[^]zYgj{Ktufo[ m%rzrw[vKiKm%]^zr@rwq%xlt{gjm%]x6zY0]z%Ã@vrwt{m%frjgxltufomoqotKiKm%]x2foYgjq%]x2[^]\[^rwqon´gjvl¢
vKtuzhgjmoturw{gwfxK]f%z\qot]x¼t{ @_BÀ¥Ò:fEg`q%]foiKmh gzY0]z%Ã@vrwt{mt{0z\i0xK]fmoY0]$t{m%]\qo{gjÑfomgjm%]frj*gjmoY0]$moYKq%]hgwxKf
gj{0x¦moY0]yzrw{¨m%]\{mrj1moY0]yfoYgjq%]x¦gwxKxlq%]fffovgwz]4¥J¤1xltufzrw{K{0]z\moturw{0frzz\iKq*xliKqot{KVgz%Y0]z%Ã@vrwt{¨mh gjm½Ñrwq%fommoY0]
zY0]z%Ã@vrwt{mbtufgjrwqom%]x·¥
ÐÑY0]zÃvrwt{¨m%f«gjq%]f%m%rwq%]xºgj{0xºq%]\vKtuzhgjm%]x®t{ºmoY0]f%n@fom%]\[ i0fot{KW°gjiKm£¢¤m%rwu]\qgj{m© LbX,fom%rwqgj5]foi0z%Y'gwf
pÒyË@X@_CBrwq^ÐÂ<Ëj@DBÀ¥pq gwz%Y³4urwgjzY0]z%Ã@vrwt{m^tuf^gwf%fot4{0]x³g«iK{Kt¨i0] JÎ gj{0xmoY0]gjvKvKtuzhgjmoturw{ [Vgj{gj5]\q
gj½*gnlfÃ{0r¡½fmoY0] JÎ rjmoY0]¦gwfom$z%Y0]zÃvrwt{¨mh¥6Òòm%]\qYgh§t{K2]\{0f%iKq%]xWmoYgjmg«{0]\½ zY0]z%Ã@vrwt{m^Ygwf]]\{
fgh§5]x½tmoY)]\{0rwiK4Y«q%]\vKtuzhgjmoturw{N 0moY0]gjvKvKtuzhgjmoturw{«[Vgj{gj5]\qzhgj{)xK]fomoq%r¡n¦moY0]EvKq%]\§turwi0fzY0]z%Ã@vrwt{mh¥
¦Å
hK
X*Y0]gjvKvKtuzhgjmoturw{³[Vgj{gj5]\qxK]z\tuxK]fm%r)q%]fomgjqom$moY0]gjvKvKtuzhgjmoturw{³½Y0]\{ ]\tmoY0]\q$tm$xK]\m%]z\m%fmoYgjmg
{0r@xK]]Qkl]z\iKmot{K¦gmoYKq%]hgwx©Ygwfxltuf%zrw{K{0]z\m%]x· ]\tmoY0]\qtmtufgwfoÃ5]xm%rngj{©rwlso]z\m[Vgj{gj5]\qh¥ÑËt{0z]moY0]zhgji0f%]
[Vghn]gt{KÃ`¤gjtiKq%]Erwqyg${0rxK]°gjtiKq%]4 ]\m×½Ñ]]\{½YKtuz%Y)moY0][Vgj{gj5]\q%fbzhgj{){0rwmbxltufomot{K4iKtufoYN moYKq%]hgwxKfbgj{0x
zrwvKtu]f[VgnfoiKqo§@t§5]ym%rVgq%]fomgjqomh¥
J×{6rwq%xK]\qm%r«g§5rwtuxWzrw{
tuz\m%f]\mÀ½]]\{WmoY0]Vq%]fomgjqom%]xWgjvKvKtuzhgjmoturw{³gj{0x6f%iKqo§t§@t{K©vgjqom%frjmoY0]VvKq%]\§turwi0f
]QkK]z\iKmoturw{N gj*[^]f%fSgj5]f]QklzYgj{K5]x³]\m×½Ñ]]\{ moY0]]\{motmotu]fVrjmoY0]©gjvKvKtuzhgjmoturw{ ¯òrwlso]z\m[Vgj{gj5]\q%fh {0rxK]fh¸
zrwvKtu]fh moY0]´gjvKvKtuzhgjmoturw{.[Vgj{gj5]\qh :gj{0xºmoYKq%]hgwxKfS±Vt{0z\i0xK]2gj{®]\vr@z%Y®{¨iK[]\qmoYgjmtuf¦Ã@{0rh½{®¨n®gj:moY0]
]\{motmotu]f$t{ g§4gjqotgjKu]SDe$Xi@ gj{0x6tuft{0z\q%]\[^]\{m%]x ]Q°rwq%]V]hgwzY q%]f%mgjqomh¥ J¤gj{ ]\{¨motmÀnWq%]z]\t§5]fg[^]f%fgj5]
òq%rw[ gxltIH·]\q%]\{¨m]\vrzYN @moY0][^]f%fSgj5]btuf*xltuf%zhgjq%xK]x·¥Ìrwq%]rh§5]\qh 0t¿NmoY0]b[^]ffgj5]yzrw[^]f òq%rw[ gòiKmoiKq%]:]\vr@z%YN
moY0]\{©moY0]]\{¨motmÀntufbg$foiKqo§t§5rwqgj{0x©Ygwfm%r^xK]fomoq%r¡n¦tm%f]\¿£¥
Xr¦q%]fomgjqombmoY0]gjvKvKtuzhgjmoturw{N moY0]$gjvKvKtuzhgjmoturw{´[Vgj{gj5]\qh {gj[^]xP moY0]\q%]hgCm%]\qh ]QkK]z\iKm%]fbmoY0]°rwurh½t{K
fom%]\v0fmh
_4¥t{0z\q%]\[^]\{¨m:zrwiK{¨m%]\qPhDe$X&i