Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs

HAL Id: inria-00073039

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

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

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

Efficient Execution Replay for ATHAPASCAN-0 Parallel Programs

Jacques Chassin de Kergommeaux, M. Ronsse, K. de Bosschere

To cite this version:

Jacques Chassin de Kergommeaux, M. Ronsse, K. de Bosschere. Efficient Execution Replay for

ATHAPASCAN-0 Parallel Programs. [Research Report] RR-3635, INRIA. 1999. �inria-00073039�

a p p o r t

d e r e c h e r c h e

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Efficient execution replay for -0 parallel programs

J. Chassin de Kergommeaux, M. Ronsse, K. De Bosschere

No 3635

Mars 1999

TH ` EME 1

:6;<=+>@??BADCFEHGJIGLK5MON@PQPQG1>1R6S6T5U+VW;6X,NOC+?5?YG1ZU6I[;+\G#]N^?5?_`=6GLKGaZ

bdc^efg.h4ikjdl`mYgnLo^p.g`qmBrOmBqBefsg`m

tvuxwzyYg`qv{,tH{|}~

j4nL€^€Hw@uxq^gu‚g`ƒc^gu‚ƒ5c^g…„†O‡1ˆ1‡1‰ŠiŒ‹n1u‚m,hŽ1Ž1ŽiŒ1‘€HnL’“g`m

”'•—–˜`™›šHœL˜LŸž¡ (¢(£¤›£¥¦§£¨§©«ª4€Hu‚w1’OuBn1fm6n1u‚gg`p@g`ƒ`o^qBg`,¬Or,nd„^g`q‚­®wOuB¯dwL°@ƒ`wOf.fo^„^±²ƒnaqB±³„^’qBcHu‚gnL^m6g`´1w“µ²´O±³„^’

^rO„Hn1f±³ƒnLµ³µ³r1¶·¸±³qBc^±³„3qYc^gvm5n1fsg„^w@^g1¹›qBcHu‚gnL^mºƒ`[email protected]^„^±³ƒnLqBgqBcHu‚w1o^’1c,mYcHn1u‚g`fgfwOu‚rnL„^mBr@„^ƒcHu‚w1„^±³»n›©

qB±³w1„[€Hu‚±¼f±³qB±³´1g`m›¶—½¾g`q‚­dg`g`„#q‚­dw^±À¿gu‚g`„Oq„^wO^g`m¹OqBcHu‚gnL^mdƒ`[email protected]^„^±³ƒnLqBg¬Or#fg`mBm5na’1g€HnamBmB±³„^’H¶~pOg`ƒ`o^qB±³w1„

u‚g`€^µ¼n›rFwL°žd +¢6£¤›£¥¦§£¨©«ªÁ€Hu‚w1’@uBn“fm.nL^Hu‚g`mBmBg`m'qBc^g„^w1„O©Ã^g`qYguBf±³„^±³m5fÄn“u‚±³mB±³„^’Å°Ãu‚w@fmYr@„^ƒcHu‚w1„^±³»nLqB±³w1„

uBnLƒ`g`m›¹1°Ãu‚w@fƀHu‚w@f±³mBƒ`o^w“o^m¡fsg`mBm5nL’1g`mdu‚g`ƒ`g`±³´1g`J°Ãu‚w@fDŽ^w“„[mB€Hg`ƒ`±ÀÈHg`ÂmYw1oHu‚ƒ`g,nL„^.°Ãu‚w@fÉqBc^g´zn“u‚r@±³„^’.„OoHf¬Hgu

wL°,w1€HguYnLqB±³w1„^mqBg`mBqB±³„^’ÅqYc^g[ƒ`w@f€^µ³g`qB±³w1„Êwa°Ë„^w1„F¬^µ³wOƒÌ¯“±³„^’Íž¡ (¢(£¤›£¥¦§£¨§©«ªŠ€Hu‚±¼f±³qB±³´1g`m¶Wbdc^g[g`pOg`ƒ`o^qB±³w1„

u‚g`€^µ¼n›rÂfg`ƒcHnL„^±³m5fα³mf.nL±³„^µ³r[ƒ`w1„Oq5u‚w1µÀ©Ã¬HnLmBg`[mY±²„^ƒ`g1¹6±³„ÅnL^^±³qB±³w1„qBwÏuxg`ƒ`w@u‚^±³„^’.qBc^gu‚g`mBo^µ³qBmwL°—qYg`mBqw“€HguBn›©

qB±³w1„^m¹Lw“„^µ²rqBc^gdw@ux^guwL°nLƒ`ƒ`g`mBmBg`mqYw,mBr@„^ƒcHu‚w1„^±³»nLqY±²w“„°Ðo^„^ƒ`qB±³w1„^mvnL„^qBc^gdw@ux^guwL°(n1uYu‚±³´znLµOwL°€Huxw@f±³mBƒ`o^w1o^m

fg`mBmnL’1g`m„^g`g`#qBw,¬§gu‚g`ƒ`w@ux^g`+¶—b¡c^g®gÑJƒ`±²g`„^ƒ`r'wL°qBc^gu‚g`ƒ`w@u‚^±³„^’,ƒ`w@fg`mÒ°Óuxw@fÔqYc^go^mBgwL°+Õ+n1f€§w@u‚qƒ`µ³wOƒÌ¯“m

qBw#uxg`^o^ƒ`gHuBnLmYqB±³ƒnLµ³µ²r[qYc^g,„@oHf¬Hgu¡wL°®u‚g`ƒ`w@u‚^mnLmYmBw@ƒ`±¼nLqYg`[qBw.mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„[w1€§guBnLqB±³w1„^mna„^[°Ãu‚w@fÉqBc^g

u‚g`^o^ƒ`qB±³w1„JqBwnmY±²„^’“µ²g,u‚g`ƒ`w@ux.wL°qBc^g4±²„O°Ðw@uBf'nLqB±³w1„.„^g`ƒ`g`mBmn1u‚rqBw3uxg`€Hu‚w@^o^ƒ`g,nmBgu‚±³g`mdwL°+o^„^mBo^ƒ`ƒ`g`mBm‚°Ðo^µ6qBg`mBqBm›¶

Ö[×OØ6قÚ3Û§™zܖ›~pOg`ƒ`o^qB±³w1„Âu‚g`€^µ¼n›r1¹HbdcHu‚gnL^m›¹@ÝOrO„^ƒ5cHu‚w“„^±²»naqB±³w1„+¹^‹[g`mBm5na’1gtnLmBmB±³„^’H¹OÕ+n1f€§w@u‚qdƒ`µ³w@ƒ`¯“m

Þàßá‚â‚ãä¾áåæ³â«çDèé

ê6ëìîíï6ðBñÐòï6óí+íDô1ðBõLíÐðBñÃö‚÷,øù¡úüû^ñÃðýBñÃóþdþdöv÷1ÿDìîðBõLíõ «ýYñ‚ö‚í³ñÃóYõ‚ðøaöîýövê^ðñÐõLö«íÐðð

û!"$#%&'"()$+*ºñÃöõzðYøîö-,6ö‚÷ö./$10ó)2Lö«í3,§ëzóíÐíDìõD÷ö'4ö ñÃý5ðþdþdö«ó.65ºìîþdó5ý$³ñ

7 8

óBòýYñÃð`ö ô 9îö òDñÃðYõì:‚ó ö õ õ¼ðYñÃþ®óDìîö‚íÐù`í Ðö‚þ®ö õ&# ;< û ìîöÐö ñÃíDõ›ìîöïºí DñÃó5ó # '(()( *ö õ

=

ò÷`ø>#ñÃðBõLíÐíÐö?)5öìîíñ Lýó)øaö

Unit´e de recherche INRIA Rhˆone-Alpes

– QÕ6g`md€Hu‚w“’@uBn1f.fsg`mvžd +¢6£¤›£¥¦§£¨©«ªmBw1„Oqvg`pOl`ƒ`o^qBl`md€Hn1u¾o^„Âu‚l`mBgnLoJ^g€Hu‚w@ƒ`g`mYmBo^mdµ²l`’“gu‚mƒ`w@f©

fo^„^±³ƒnL„@qYm¹Hl`´“w1µ³oHnL„@q^rO„Hn1f±@o^gfsg`„@q¶,Õ6g`m,€Huxw@ƒ`g`mBmYo^mµ³l`’1gu‚m,o^„ffg„,o^Q^oQmBrOmBqBefg€Hn1uBnLµ³µ³e`µ³g

ƒ`[email protected]^„^±Oo^g`„@q€Hn1uflfsw1±¼u‚g#€Hn“u‚q5nL’1l`gg`q€Hn1u^g`m3€Hux±fs±²qY±²´“g`m3^gJmBrO„^ƒ5cHuxw1„^±³m5nLqB±³w1„+¶Â~҄Íuxg`´znL„^ƒc^g1¹µ³g`m

€Hu‚wOƒ`g`mBmBo^mµ³l`’1guxm®^g„,o^^m^±À¿lu‚g`„OqBmƒ`[email protected]^„^±@o^g`„Oqd€Hn1u¾€HnLmBm5na’1g^gfg`mBm5na’1g1¶Õ+nJu‚l`g`pOl`ƒ`o^qB±³w1„J^l`qBgu ©

f±³„^±³mBqBg^g€Hu‚w1’OuBn1f.fg`mžd +¢6£¤›£¥›¦H£¨§©«ªÁq5uBn³qBgJµ³gQ„^w1„ʁ^l`qBguYf±³„^±²mfg[€Hu‚wL´1g`„HnL„Oq^g`m#ƒ`w1„^^±³qB±³w1„^mJ^g

ƒ`w1„^ƒ`oHuBuxg`„^ƒ`g3^g'mBr@„^ƒcHu‚w1„^±³m5naqB±³w1„+¹6^g`m3fg`mYm5nL’1g`mg`„ ƒ`w“„^ƒ`oHuBu‚g`„^ƒ`gµ³w@u‚mOo^gµn mBw1oHu‚ƒ`g„g`mYq,€HnLmmB€§l`ƒ`±ÀÈHl`g

€Hn1uµ¼n[€Hux±fs±²qY±²´“g#^g#uxl`ƒ`g`€^qB±³w1„ nL±³„^mB±@o^g.^oŠ„^w@f¬Hu‚g´zn1u‚±¼nL¬^µ³g.^g'€Hu‚±¼f±³qB±³´1g`mg`p@l`ƒ`o^qBl`g`m,€§w1oHu,qYg`mBqBguµ¼n

qBguBfs±²„Hna±²mYw1„.^g`m€Hu‚±¼f±³qB±³´1g`md„^w1„J¬^µ³wOoHnL„OqBg`mv^gž¡ (¢(£¤›£¥¦§£¨§©«ª ¶—Õ(gfl`ƒnL„^±³m5fg^guxl`g`p@l`ƒ`o^qB±³w1„'^l`qBgu ©

f±³„^±³mBqBgJg`mBqg`mYmBg`„@qY±²g`µ³µ³gfg`„Oq¬HnLmBl.mBoHuµ³g#ƒ`w1„Oq5u“µ²g€^o^±³mOo^g1¹g`„Å€^µ³o^m^g#µg`„Huxg`’1±³mBq5u‚gfg`„Oq,^g`m3uxl`mBo^µ³q5nLqBm

^g`m€Hu‚±¼f±³qB±³´1g`m.^gJqBg`mBq¹Ò±²µd„g`mYq3„^l`ƒ`g`mYm5nL±¼u‚gJg`„Hu‚g`’1±³mBq5uxgu Oo^g#µw@uxHu‚g.mBg`µ³w1„Fµ³g!Oo^g`µmBw1„Oqg¿6g`ƒ`qBo^l`g`m.µ³g`m

w1€§luBnLqB±³w1„^m^g.mBrO„^ƒ5cHuxw1„^±³m5nLqB±³w1„QnL±³„^mB±"@o^g'µ#w@u‚Hu‚gîn1uYu‚±³´1l`g^g`mfg`mYm5nL’1g`mƒ`w1„%$H±³ƒ`qBo^g`µ³m¶#Õ&gÑ#ƒnLƒ`±³qBl^o

fl`ƒnL„^±³m5fsg3g`„Hu‚g`’1±³mBq5u‚gfsg`„@q€Huxwz´O±³g`„@q^g.µo^qB±³µ³±³m5nLqB±³w1„Šc^w@u‚µ³w1’1g`m^g.Õ+n1f€§w@u‚q€Hw1oHu,uxl`^o^±uxg.ƒ`w1„^mB±³^l©

uBnL¬^µ³gfg`„Oqµ²g'„^w@f¬Hu‚gg`„Huxg`’1±³mBq5u‚gfg`„OqBmnamBmBwOƒ`±²l`mnao^pÂw1€§luBnLqB±³w1„^m^gmBr@„^ƒcHu‚w1„^±³m5naqB±³w1„ nL±³„^mB±"Oo^g^g.µ¼n

u‚l`^o^ƒ`qB±³w1„(',o^„JmBg`o^µHg`„Hu‚g`’“±²mYq5u‚gfg`„Oq^gµ±³„O°Ð[email protected]±³w1„„^l`ƒ`g`mBm5nL±¼u‚g ',µ¼nuxg`€Hu‚w@^o^ƒ`qY±²w“„.o^„^gmBlu‚±³g^gqBg`mBqBm

±³„O°Óuxo^ƒ`qBo^g`o^p¶

) ÛH˜–ÙBœ*+ ʝ jdl`g`pOl`ƒ`o^qB±³w1„Q^l`qBguBf±³„^±³mBqBg1¹6tvu‚wOƒ`g`mBmBo^m4µ²l`’“gu‚m¹+ÝOrO„^ƒ5cHu‚w“„^±²mnLqB±³w1„+¹HbuBnL„^m‚°Ðgu‚q^g‹[g`mBmnL’1g`m¹

}4w@u‚µ³w1’1g^gÕ+n1f€§w@u‚q

bdc^±³m.u‚g`€HwOu‚q,^g`mBƒu‚±³¬Hg`m.nL„Šg`p@g`ƒ`o^qB±³w1„Fu‚g`€^µ¼n›rQmBr@mYqBgf2°Ðw@u,žd +¢6£¤›£¥›¦§£¨§©«ªî‰O¹‚¶Âžd +¢6£¤›£¥›¦H£¨§©«ª[±³m.n

fo^µ³qB±À©ÃqBcHu‚gnL^g`+¹`€§w@u‚q5na¬^µ²g1¹›€Hn1uBnaµ²µ³g`µ1€Huxw1’@uBn1f'f±³„^’®u‚o^„OqB±¼fgmBrOmBqBgfî‰ @ƒ`w@f¬^±³„^±³„^’qYcHu‚gnL^m+nL„^,ƒ`[email protected]^„^±À©

ƒnLqB±³w1„^m›¶—b¡c^gžd +¢6£¤›£¥›¦H£¨§©«ªu‚o^„@qY±fsgmBrOmBqBgfÇ­nLm^g`mY±²’“„^g`.°Ðw@u€Hn“uBnLµ³µ³g`µcHn“u‚^­n1u‚gvmYr@mBqYgfmvƒ`w@fs€Hw1mBg`

wL°dmBcHn1u‚g`O©«fgfsw@u‚rÂfo^µ³qB±À©Ã€Hu‚w@ƒ`g`mYmBw@u4„^w@^g`mƒ`w1„^„^g`ƒ`qBg`Q¬@rÅnJƒ`w@f'fo^„^±³ƒnLqY±²w“„ „^g`q‚­dw@uB¯§¶Óqg`pO€^µ²w“±²qYmq‚­dw

µ³g`´1g`µ³mwL°^€Hn1uBnLµ³µ³g`µ³±²mf±²„OqBgu ©Ã„^wO^g`m€Hn1uBnLµ³µ³g`µ³±²mf nL„^±³„^„^gu€Hn1uBnLµ³µ³g`µ³±²mf…­±³qBc^±³„gnLƒcwL°HqYc^gv„^wO^g`m¶bdc^gÒÈu‚mBq

q‚r@€§gwL°€Hn“uBnLµ³µ³g`µ²±³m5fɱ³mdg`p@€^µ³w1±³qBg`[¬Or.nÈHp@g`J„@oHf¬§guwL°+mBrOmBqBgf©Ãµ³g`´1g`µ§€Hu‚wOƒ`g`mBmBg`mv­4c^±²µ³g,qBc^g4mBg`ƒ`w1„^Jq«rO€Hg±³m

±¼f€^µ³gfg`„OqBg`¬OrËn4„^g`q‚­dw@uB¯¾wL°^ƒ`[email protected]^„^±³ƒnLqB±³„^’qBcHu‚gna^m+g`´1w1µ³´O±²„^’4^r@„Hn1fs±²ƒnaµ²µ³r1¶bdc^gdf.nL±³„°ào^„^ƒ`qY±²w“„HnLµ³±²qY±²g`m

wL°+žd +¢6£¤›£¥¦§£¨©«ª3n“u‚gd^r@„Hn1fs±²ƒ4µ²wOƒnLµ^w@uuxgfw1qBgdqBcHu‚gna3ƒuxgnLqB±³w1„.nL„^.qBguYf±³„HnLqB±³w1„+¹LmBcHn1ux±²„^’,wa°ºfsgfw@u‚r

mB€HnLƒ`g¬Hg`q‚­dg`g`„[qBc^gqBcHu‚gnL^mdwL°qBc^g,m5n1fg„^wO^g,­c^±³ƒ5c[ƒnL„JmBrO„^ƒ5cHuxw1„^±³»`g,o^mB±³„^’.µ³w@ƒ`¯1mdw@u¾mBgf'nL€^c^w@u‚g`m¹OnL„^

¬^µ³w@ƒ`¯“±²„^’Jw@u¾„^w1„O©Ã¬^µ³wOƒÌ¯“±³„^’#fg`mBm5na’1g©Ã€HnLmBmB±³„^’ƒ`[email protected]^„^±³ƒnLqB±³w1„^md¬§g`q«­dg`g`„J„^w1„[µ³w@ƒnaµ+qBcHu‚gnL^m›¹1o^mB±³„^’J€Hw@u‚qYm¶

b¡c^gËnL±¼fÎwa°—žd +¢6£¤›£¥›¦H£¨§©«ª.nL„^JmB±¼f±³µ¼n1ud€Hu‚w1’OuBn1f.f±³„^’fwO^g`µ³mn1u‚gqBwgnLmBg€Hu‚w1’OuBn1f.f±³„^’,wL°±¼uBu‚g`’L©

o^µ¼n1unL€^€^µ³±³ƒnLqB±³w1„^m›¹ f'nLm5¯ƒ`w@f'fo^„^±³ƒnLqY±²w“„#w@uÔµ¼nLqYg`„^ƒ`±²g`m›¹^qBwg`p@€^µ³w1±³qmYcHn1u‚g`O©«fgfwOu‚r€Hn1uBnLµ³µ³g`µ³±²mf nL„^

±¼f€^µ³gfg`„Oqu‚gfw1qYgËfgfsw@u‚r.nLƒ`ƒ`g`mBmBg`m¼h›‚¶{4ƒ5c^±³g`´O±²„^’JqBc^gm5n1fguxg`mBo^µ³qBmdo^mB±³„^’Dc^gn›´@r¾€Hu‚wOƒ`g`mBmBg`m¹Oƒ`w@f©

fo^„^±³ƒnLqB±³„^’qBcHu‚w1o^’1c[nfg`mBm5na’1g©Ã€HnLmBmB±³„^’µ²±³¬HuBn“u‚r#mYo^ƒ5c[nLmtˋ¼h +w@ud‹tî «¹O±²„O´1w1µ³´1g`m4ƒ`w1„^mB±³^guBnL¬^µ³g

€Hu‚w1’OuBn1f.f±³„^’g¿wOu‚qBm¶{µ²µ€§w1mBmB±³¬^µ³g.ƒnLmYg`mwL°vo^„O¬HnLµ¼nL„^ƒ`g.fo^mBq¬Hg€Hu‚g`^±³ƒ`qBg`Q¬@rqBc^g€Huxw1’@uBn1f'fgu¾wL°®nL„

±¼uBu‚g`’1o^µ¼n1u,na€^€^µ²±³ƒnLqY±²w“„+¶#‹Ânam5¯1±³„^’ƒ`[email protected]^„^±³ƒnLqB±³w1„ÅnL„^Îµ¼nLqBg`„^ƒ`±³g`m3uxg!@o^±¼u‚g`mqBwÂf.nL„HnL’“g3nJƒ`[email protected]^„^±À©

ƒnLqB±³w1„ÁnLo^[email protected]„+¹^w1„ŠgnLƒ5cŠwL°®qBc^g'„^w@^g`mwL°®qBc^g'€Hn1uBnLµ³µ³g`µmBrOmBqBgf[¶JÝOr@mBqYgf Dc^gn›´@r€Huxw@ƒ`g`mBmYg`m,cHn´O±³„^’

^±³müyYw1±³„@qnL^Hu‚g`mYmvmB€HnLƒ`g`mdn1u‚g„^w“q®mYo^±²qYg`.°Ðw@ug`pO€^µ³w1±³qB±³„^’mBcHn1u‚g`#fsgfw@u‚r€Hn1uBnLµ³µ³g`µ³±²mf[¶„[qBc^gƒ`w“„@q5uYn1u‚r1¹L±³q

±³m¾°ÓnL±¼u‚µ³r.mY±fs€^µ²gqBwmB€Hn›­„.mBg`´1guYnLµ^qBcHu‚gnL^m¾qBwƒ`w“€Hg­±³qBc.qBc^gg`´1w1µ³o^qB±³w1„.wa°ºna„#±¼uBu‚g`’“o^µn“u€Hu‚w1¬^µ³gfÆ[email protected]¯

ƒ`[email protected]^„^±³ƒnLqB±³w1„Áµ¼nLqBg`„^ƒ`±³g`m¶!ӄÊnL^^±³qB±³w1„+¹¾±²„^„^gus€Hn1uBnLµ³µ³g`µ³±²mf wL°mBcHn1u‚g`Ffgfw@uxrfo^µ³qB±³€Hu‚wOƒ`g`mBmBw@u„^wO^g`m

ƒnL„Á¬HgJg`p@€^µ³w1±³qBg`Á¬OrÅmBg`´1guBnaµqBcHu‚gnL^m,mBcHn“u‚±³„^’ qYc^g.m5n1fgJfgfw@u‚r1¶jdgfw1qBgJfgfw@u‚rQnLƒ`ƒ`g`mBmBg`mƒnL„Á¬Hg

mBgu‚´O±³ƒ`g`Å¬Or^g`^±³ƒnLqBg`QqBcHu‚gna^m¶3ž¡ (¢(£¤›£¥¦§£¨§©«ª ƒnL„Q¬Hg.o^mYg` ^±¼u‚g`ƒ`qYµ²rQqBw[€Huxw1’@uBn1fŸ€Hn1uBnLµ³µ³g`µ±¼uBu‚g`’1o^µ¼n1u

nL€^€^µ³±³ƒnLqB±³w1„^m"î‡ w@unLmËnJu‚o^„OqB±¼fg3¯agu‚„^g`µqYw.±¼f€^µ³gfg`„@q,Hnaq5nw@u4ƒ`w1„Oq5u‚w1µ+€Hn“uBnLµ³µ³g`µ€Hu‚w“’@uBn1f.fs±²„^’.fwO^g`µ³m

wL°c^±³’1c^gu4µ³g`´1g`µ+wL°nL¬^mBq5uBnaƒ`qB±³w1„.mBo^ƒcÂnLmžd +¢6£¤£¥¦§£¨§©5h1¹ ¬^o^±²µ³qw1„JqBw1€[wL°—naqBcO©«ª#îˆ^¹6h‡ «¶

b¡c^g,g`p@g`ƒ`o^qB±³w1„Qu‚g`€^µ¼n›rJ°ÓnLƒ`±³µ³±³q‚r[^g`mBƒu‚±³¬Hg`±²„QqBc^±³m,u‚g`€HwOu‚qd±²m,qYw.¬Hg€Hn1u‚qwL°vn^g`¬^o^’1’“±²„^’Jg`„O´@±¼u‚w1„Hfsg`„@q

°Ðw@u¾ƒ`µ²o^mYqBgu‚m‚©Ã¬HnLmYg`#€Hn1uYnLµ³µ²g`µºmBr@mYqBgfm¶bdc^±³mg`„@´O±¼u‚w1„Hfg`„Oqd­±³µ³µ+±³„^ƒ`µ²o^^g.n€Hn1uBnaµ²µ³g`µ+^g`¬^o^’“’1gu¾¬HnLmBg`[w1„JqBc^g

ƒ`wOw@u‚^±³„HnLqB±³w1„JwL°µ²wOƒnLµ+^g`¬^o^’“’1gu‚m%$ ƒ`[email protected]'nL„^^g`#¬Or#n’OuBnL€^c^±³ƒnLµ6±³„@qBgu«°ÓnLƒ`g1¶&ӄÂnL^^±³qB±³w1„ÂqBwqBc^g,qYg`p@qBoHnaµ

u‚g`€Hu‚g`mYg`„@q5naqB±³w1„QwL°qBc^g.^g`¬^o^’1’1g`Š€Hu‚w1’@uBn“f €Hu‚wL´O±³^g`Å¬@rŠqBc^g.€Hn1uBnaµ²µ³g`µ¾^g`¬^o^’1’1gu`¹º±²q­±³µ³µd¬Hg.€§w1mBmB±³¬^µ³g[qBw

cHn›´1g3nJc^±³’1cQµ³g`´1g`µvu‚g`€Huxg`mBg`„@qnLqB±³w1„[wL°dqBc^gg`pOg`ƒ`o^qB±³w1„QwL°®qYc^g3€Huxw1’@uBn1fÉo^mB±³„^’qBc^g3tn›yBl´@±³mBoHnLµ³±³»nLqB±³w1„QqBwOw1µ

î‘ «¶Jbdc^g#f.nL±³„Åu‚gnLmYw1„°àw@u€Huxwz´O±³^±³„^’ n[u‚g`€^µ¼n›rQmBr@mYqBgf °àwOu,žd +¢6£¤›£¥¦§£¨ €Hu‚w1’@uYn1fm±³mqBwÂf.n1¯ag3ƒ`rOƒ`µ³±³ƒ

^g`¬^o^’1’1±³„^’[€§w1mBmB±³¬^µ³g1¶,·Ê±³qBc^w“o^q,g`p@g`ƒ`o^qB±³w1„Åu‚g`€^µ¼n›r1¹6qBc^g'‚€Hu‚w1¬Hgg¿6g`ƒ`q)(3ƒnLo^mYg`Â¬OrÂqBc^go^mBgwL°®nJ^g`¬^o^’1’1gu

±³mµ³±¼¯Lg`µ³r[qBw€Hu‚g`´1g`„Oq®€Huxw1’@uBn1f'fgu‚m°Ãu‚w@fɬHg`±³„^’#nL¬^µ³g,qBw.u‚g`€Huxw@^o^ƒ`g,guBuxw1„^g`w1o^mvg`pOg`ƒ`o^qB±³w1„^mnam¡f'nL„@r'qB±¼fg`m

nLm¾„^g`ƒ`g`mBm5n1u‚rqBw±³^g`„@qB±À°Ðr.qBc^gwOu‚±³’1±³„#wL°+qBc^g`±¼u¾guBu‚wOu‚m¶+bdc^gg`pOg`ƒ`o^qB±³w1„[u‚g`€^µ¼n›r3­4±²µ³µ+f.n1¯ag€Hw1mYmB±³¬^µ²g,qYw,ƒ`w1µ³µ²g`ƒ`q

q5uBnaƒ`g`m#nL„^F´O±²mYoHnLµ³±²»`gŠqBc^g[g`p@g`ƒ`o^qY±²w“„ÊwL°qBc^g[€Huxw1’@uBn1f ¬§g`±²„^’F^g`¬^o^’“’1g`F^oHu‚±³„^’ÍnÁu‚g`€^µ¼n›r1g`Fg`pOg`ƒ`o^qB±³w1„+¹

­±³qBc^w1o^qd­dw@uBuxr@±³„^’.nL¬Hw“o^q®qYc^g,ƒ`w1„^mB±³^guBnL¬^µ³g,€HguxqBoHu‚¬HnLqB±³w1„J±³„@qu‚w@^o^ƒ`g`[¬OrJqBc^g,´@±³mBoHnaµ²±³»nLqY±²w“„+¶

b¡c^gg`pOg`ƒ`o^qB±³w1„Âu‚g`€^µ¼n›rÏfsg`ƒ5cHnL„^±³m5fɱ³m¬HnLmYg`[w1„[qBc^g'*Є^mBq5na„@qjdg`€^µ¼n›r(,qBg`ƒc^„^±@o^g#¼hˆ+)ƒ`w“„@q5uxw1µH±³„O°Ðw@u ©

f.nLqY±²w“„,±²mu‚g`ƒ`w@ux^g`,^oHu‚±³„^’ËnL„,±³„^±³qB±¼nLµ^€^cHnLmYg1¹qBc^±³m±³„O°à[email protected]±³w1„¬Hg`±³„^’,o^mBg`,qBw¡°àw@uxƒ`gmBo^¬^mBg!Oo^g`„@q,'Bu‚g`€^µ¼n›r1g`-(

g`pOg`ƒ`o^qB±³w1„^mqBwÂg`pOg`ƒ`o^qBg.^g`qBguYf±³„^±²mYqB±³ƒnLµ³µ²rÁ­±³qBc uxg`mB€Hg`ƒ`qqBwqBc^g.±³„^±³qB±¼nLµu‚g`ƒ`w@u‚^±³„^’H¶Âj¡g`ƒ`w@u‚^±³„^’QwL°q5uBnLƒ`g`m

mBc^w1o^µ³Q€HguxqBoHu‚¬HnLqBg€Hn1uBnLµ³µ³g`µg`pOg`ƒ`o^qB±³w1„^mnLmµ²±³qBqYµ²gJnLm€§w1mBmB±³¬^µ³g.mBw[qYcHnLqguYu‚w@u‚m^w[„^w“q´LnL„^±³mBc+¹+^o^gqBwJqBc^g

'‚€Hu‚w1¬§g+(#g¿g`ƒ`q.n1ux±²mY±²„^’ °Óuxw@fq5uYnLƒ`g#u‚g`ƒ`w@ux^±²„^’§¹­4c^g`„ u‚g`ƒ`w@u‚^±³„^’ÅnL„ÅguYu‚w1„^g`w1o^mg`p@g`ƒ`o^qB±³w1„Á±³m.nLqBqBgf€^qYg`+¶

bdc^±³mw1¬@yYg`ƒ`qB±³´1g.±³m^±ÀÑ#ƒ`o^µ³q.qBw naƒ5c^±³g`´1gJ¬Hg`ƒnLo^mYg#wL°qBc^gJ­±³^gJ´zn1u‚±³g`q‚rQwL°€§w1mBmB±³¬^µ³g[±³„@qBguYnLƒ`qB±³w1„^m¬§g`q‚­®g`g`„

qBc^g.qYcHu‚gnL^mwL°¡žd +¢6£¤£¥¦§£¨§©«ª €Hu‚w1’@uBn“fm­4±²qYc^±²„Án[„^wO^g.qBc^g`rƒ`wOf.fo^„^±²ƒnaqBgo^mB±³„^’ÂmBcHn1uxg`fsgfw@u‚r

nL„^FmBrO„^ƒcHu‚w1„^±³»nLqB±³w1„Å€Hux±fs±²qY±²´“g`m.­c^±³µ³gÂqBcHu‚gna^m3g`pOg`ƒ`o^qB±³„^’Åw1„Á^±À¿gu‚g`„Oq.„^wO^g`m.ƒ`[email protected]^„^±³ƒnLqBg'qBcHu‚w1o^’1c

fg`mBmnL’1g€HnLmBmB±³„^’H¶

qBc^g~vÕ Ý’Ou‚w1o^€ naqqBc^g„^±³´1guxmB±³q«r[wa°c^g`„@q[­c^±³ƒ5cÅf.n“¯Lg`m±³q,€Hw1mYmB±³¬^µ²g'qBw#u‚g`ƒ`w@ux nL„^Åu‚g`€^µ¼n›r[mBcHn1u‚g`

fgfwOu‚r,€Hu‚w1’@uYn1fmw1„.n,mBcHn1uxg`sfsgfw@u‚rfo^µ³qB±³€Hu‚wOƒ`g`mBmBwOu‘@¹1“Ž ­±³qBc.„^g`­F^g`´“g`µ²w“€Hfg`„@qYm°àw@ufsg`mBm5nL’1g

€HnLmBmY±²„^’'ƒ`[email protected]^„^±³ƒnLqB±³w1„^m¶

b¡c^g.w@u‚’@na„^±²»naqB±³w1„ÅwL°qBc^±³m#u‚g`€§w@u‚q,±³m.qBc^g'°Ðw1µ³µ²wL­±³„^’H¶{4°àqBguqBc^±³m±²„Oq5u‚wO^o^ƒ`qB±³w1„+¹qBc^g[žd +¢6£¤›£¥›¦H£¨§©«ª

nL€^€^µ³±³ƒnLqB±³w1„[€Hu‚w“’@uBn1f.fs±²„^’,±³„OqBgu°ÃnLƒ`gnL„^JmBrOmBqBgfɱ¼f€^µ³gfg`„Oq5nLqB±³w1„[n1u‚g€Huxg`mBg`„@qYg`+¶—b¡c^g`„Ïnm5¯Lg`qYƒ5c.wa°qBc^g

g`pOg`ƒ`o^qB±³w1„Êu‚g`€^µ¼n›r fg`ƒcHnL„^±³m5f wL°ž¡ (¢(£¤›£¥¦§£¨§©«ª±²m'€Hu‚g`mBg`„OqBg`+¶ bdc^g[^g`mY±²’“„ÊnL„^ ±¼f€^µ³gfg`„Oq5nLqY±²w“„FwL°

qBc^g.g`pOg`ƒ`o^qB±³w1„Åu‚g`€^µ¼n›r°àw@u4qBc^g.mYcHn1u‚g`Åfgfw@uxr[€Hu‚±¼f±³qB±³´1g`mwL°žd +¢6£¤›£¥›¦H£¨§©Ãw±³mqYc^g`„Ł^g`mBƒu‚±³¬Hg`+¶Jbdc^g

„^g`pOq3mYg`ƒ`qB±³w1„F±³m.^g`^±³ƒnLqBg`ÊqYw qYc^gÏu‚g`ƒ`wOu‚^±³„^’na„^Êu‚g`€^µ¼nrO±³„^’ÅwL°qYc^g[^±²mYq5u‚±³¬^o^qBg`ÊfgfwOu‚r°ào^„^ƒ`qB±³w1„^m'wL°

žd +¢6£¤›£¥›¦§£¨§©«ª¬§g°àw@uxg,qBc^g,ƒ`w1„^ƒ`µ³o^mB±³w1„+¶

#"$%'&(%')+*,%.-,/10

"!#%$'&)(*(,+-/.0&21 -/3546(,7 3987 &;:<:<-4=8'-/41?>27A@B&;.0>

žd +¢6£¤›£¥›¦§£¨§©«ªÁ€Hu‚w1’OuBn1fm#n“u‚gQg`p@g`ƒ`o^qBg`W¬Orʁ^rO„Hn1f±³ƒnLµ³µ³rWg`´1w1µ³´@±³„^’FmBg`qYm#wL°±³„@qBguxƒ`w1„^„^g`ƒ`qBg`WqBcHu‚gnL^m›¶

bdcHu‚gna^mƒna„,¬HgvƒuxgnLqBg`µ²wOƒnLµ³µ³r,w@u6u‚gfw1qYg`µ²r1¶ „^ƒ`gƒu‚gnLqBg`+¹ qBcHu‚gnL^m6ƒnL„^„^w1q6¬§g®f±³’@uBnaqBg`+¶+Õ6wOƒnLµLqBcHu‚gnL^m

ƒ`[email protected]^„^±³ƒnLqBg,o^mY±²„^’JmBcHn1uxg` fgfwOu‚r#nL„^mBr@„^ƒcHu‚w1„^±³»nLqY±²w“„[€Hu‚±¼f±³qB±³´1g`m¶j¡gfw1qBg,qBcHuxgnL^mƒ`[email protected]^„^±³ƒnLqBg

o^mB±³„^’#fg`mYm5nL’1g€HnLmBmB±³„^’.qYcHu‚w1o^’1c.ƒ`wOf.fo^„^±²ƒnaqB±³w1„[€Hw@uxqBmDC+±³’1oHuxg.h`¶

b¡c^g˞d +¢6£¤£¥¦§£¨§©«ªJnL€^€^µ³±³ƒnLqB±³w1„[€Hu‚w1’OuBn1f.f±³„^’±²„OqBgu °ÃnLƒ`g±³„^ƒ`µ²o^^g`mnsµn“u‚’1g„@oHf¬Hgu¡wL°+°Ðo^„^ƒ`qB±³w1„^m

EGFHD˜%Hüš*IHIJ1š^˜%HüÛ2Fv.^g`ƒ`µ¼n1uYnLqB±³w1„QwL°®’“µ²w“¬HnLµ€§w@u‚qBm,nL„^QmBgu‚´O±³ƒ`g`m¶.~vnaƒ5cQu‚gfw1qBgqBcHu‚gnLƒu‚gnLqB±³w1„Åu‚g!Oo^g`mBq±³„O©

ƒ`µ²o^^g`m¾qBc^g„Hn1fsg®wa°(nmBgu‚´O±³ƒ`gnLmvn€Hn1uBn1fg`qYgu`¹`qBc^gmYgu‚´@±³ƒ`gd¬Hg`±³„^’qBc^g¾Èu‚mBq°Ðo^„^ƒ`qB±³w1„.qYw,¬Hgg`pOg`ƒ`o^qBg`

¬@r.qYc^g,„^g`­ÔqBcHu‚gnLJ­c^g`„[±³q±²m4ƒu‚gnLqBg`+¶

KML™×OšHÜʜa™×Oš^˜%HüÛ2Fv¬^µ³wOƒÌ¯“±³„^’w@u„^w1„'¬^µ²wOƒ`¯1±³„^’.u‚gfw1qYg®qYcHu‚gnLƒu‚gnLqB±³w1„'qBw,g`p@g`ƒ`o^qYg€Hu‚g`´O±²w“o^mBµ³r.^g`ƒ`µ¼n1u‚g`

mBgu‚´O±²ƒ`g`m4w@u¾µ²wOƒnLµ0àmBµ¼n´“gqBcHu‚gna#ƒu‚gnaqB±³w1„^m¶&Ðq±³m,nLµ³mBw€Hw1mYmB±³¬^µ²gqBwqBguBf±³„HnLqYgqBc^g,ƒ`oHuYu‚g`„@qdqBcHuxgnL+¶

N6Ø)FœAL™›ÛOFHPJ“š^˜%HüÛ2Fvƒ`µ¼nLmYmB±³ƒnLµdmBr@„^ƒcHu‚w1„^±³»nLqY±²w“„Q°ào^„^ƒ`qY±²w“„^m3w“„Ífo^qBg`pOg`mµ³wOƒÌ¯“m¹ƒ`w1„^^±³qB±³w1„F´Ln1u‚±¼nL¬^µ³g`m.nL„^

mBgf.nL€^c^w@uxg`m¶

QÛ FHàœLš^˜%HDÛOF–›¬^µ³wOƒÌ¯“±³„^’,w@u6„^w1„,¬^µ³wOƒÌ¯“±³„^’fg`mBm5na’1g€HnLmBmB±³„^’ƒ`wOf.fo^„^±²ƒnaqB±³w1„,€Hu‚±¼f±³qB±³´1g`mo^mB±³„^’µ³wOƒnLµ

'namBmBwOƒ`±naqBg`[qBw.nmB±³„^’1µ³g„^wO^g,wL°—qYc^g,mBr@mYqBgfRswOud’1µ³w1¬HnLµ6mBrOmBqBgfÉ­±³^g,€HwOu‚qBm¶

K¾× –˜TS™AHUHü˜%HIVH×^–›mB±³„^ƒ`g#f'nL„@rž¡ (¢(£¤›£¥¦§£¨§©«ª[uxg!@o^g`mBqYmn1u‚g„^w“„ ¬^µ³wOƒÌ¯“±³„^’H¹+±³q,±³m€§w1mBmB±³¬^µ³g.qBw[qYg`mBq°Ðw@u

qBc^g,ƒ`w@f€^µ³g`qB±³w1„[wL°w1„^g,w@u¾mBg`´“guBnLµ6„^w1„[¬^µ³w@ƒ`¯“±²„^’[u‚g!Oo^g`mBqBmXWO±³„ÂqYc^g,µnaqBqBgu¾ƒnLmBg1¹^qYc^g,ƒnLµ³µ+mBo^ƒ`ƒ`g`g`^m±î°

w1„^g,wL°qBc^guxg!@o^g`mBqYm®cHnam®ƒ`wOf€^µ³g`qBg`+¶

Y ZU3546[,>01 >27 :<-/4*-/\: -4] "!#%$

{…€Hu‚w1’@uBn“f…±²m4m5nL±³[qBw¬Hg_^a`cb/^%dGeOfgIgihkjl^%b/^%dGmnPe0npoBbDnDq¾±À°—qBc^guxg±³mw1„^µ³rJw1„^g€Hw1mBmY±²¬^µ³gw1o^qB€^o^q¾°àwOuvgnaƒ5cJ±³„^€^o^q¶

{ʀHuxw1’@uBn1f¸±³mm5nL±³qBw¬HgMnIe0b/^%dGeOfgPgihMj ^%b/^rdBmnIe0noGbDnsq±À°+nL„^w1„^µ³r±î°6qBc^gd€Hu‚w1’@uYn1f¸±²mg`pOqBgu‚„Hnaµ²µ³r^g`qBguBf±³„^±³mBqB±³ƒ

nL„^.±À°qYc^gmBg!Oo^g`„^ƒ`gwL°+±³„^mBq5uxo^ƒ`qB±³w1„^mvgnLƒc.qBcHuxgnLg`p@g`ƒ`o^qBg`m›¹ naµ²w“„^’,­±³qBc#qYc^g´znLµ³o^g`mdwL°+qBc^gw“€HguBnL„^^m¾o^mBg`

¬OrÅgnLƒc ±³„^mBq5uxo^ƒ`qB±³w1„ ±³m.^g`qYguBf±³„^±³mBqB±³ƒÀŽ‚¶Q{ €Hu‚w1’@uYn1f2±³m.„^w1„Á^g`qBguBf±³„^±³mBqB±³ƒ[±À°±³qBm.¬§g`cHn´O±³w@u,„^w“q3w“„^µ²r

^g`€Hg`„^^m'w1„F±³qBm±²„^€^o^q›¶Ê|drOƒ`µ²±³ƒ[^g`¬^o^’1’“±²„^’ÁnLmBmBoHfg`mqBcHnLq.n€Hu‚w1’@uYn1fg`pOg`ƒ`o^qB±³w1„ÁƒnL„F¬HgJ°ÃnL±³qBcO°Ðo^µ²µ³rFu‚g©

g`pOg`ƒ`o^qBg`#nL„Or„OoHf¬HguwL°6qB±¼fg`m¶bdc^gu‚g°Ðw@u‚g1¹›„^w1„.^g`qBguYf±³„^±²mYqB±³ƒ€Hn1uBnLµ³µ³g`µH€Huxw1’@uBn1fsmn1u‚gdcHn1u‚qBw,^g`¬^o^’¬@r

fgnL„^mwa°ƒ`rOƒ`µ²±³ƒ^g`¬^o^’1’1±³„^’,¬Hg`ƒnao^mBgmBo^¬^mBg!Oo^g`„Oqg`p@g`ƒ`o^qB±³w1„^m­4±²qYc.±³^g`„@qB±³ƒnLµ^±³„^€^o^qdn1u‚gd„^w1q’1oHn1uYnL„@qYg`g`qBw

cHn›´1gdqBc^gm5n“fgd¬Hg`cHn›´@±³w@u ¶ut„^wL­„mBw“oHu‚ƒ`g`mwL°+„^w1„^^g`qBguBfs±²„^±³m5fÇn“u‚g+ƒ`gu‚qnL±³„.mBrOmBqBgf…ƒnLµ³µ³mDµ³±¯agv wAx y{zA|u}~

N2

N3 N1

T2 T1

T1 T2 T3 T3

T2 T1

C+±³’1oHu‚g.h —‹ g`mBm5nL’“g,€HnLmBmB±³„^’.o^mB±³„^’.€§w@u‚qBmd±³„ ž¡ (¢(£¤›£¥¦§£¨

nL„^r|cz y w}c~ `¹±²„OqBguBuxo^€^qBm¹Oq5uBnL€^m›¹@mY±²’“„HnLµ³m¹H„^w“„O©Ã±²„^±³qB±¼nLµ³±³»`g`Å´Ln1u‚±¼nL¬^µ³g`m¹§o^„^mBr@„^ƒcHu‚w1„^±³»`g`QnLƒ`ƒ`g`mBmBg`m

qBwmBcHn1uxg`Âfgfw@u‚r °Ðw@u¾€Hn1uBnaµ²µ³g`µ+€Huxw1’@uBn1fsm2nL„^Âfg`mBmnL’1gg`pOƒ5cHna„^’1g`m °Ðw@u^±³mBqu‚±³¬^o^qBg`[€Hu‚w1’@uYn1fm2`¶

b¡c^gu‚g[g`p@±³mBqJg¿g`ƒ`qY±²´“g nL„^ °ÓnL±¼u‚µ³rÁgÑ#ƒ`±³g`„@qJ­n›[email protected] u‚gfwL´1gJqBc^g[mBw1oHuxƒ`g`m.wL°„^w1„^^g`qBguYf±³„^±²mfqBcHnLq

nLµ³mBwJw@ƒ`ƒ`oHu±³„QmBg!Oo^g`„@qY±naµ€Hu‚w“’@uBn1fm vqBc^gw1o^qY€^o^qwL°v„^w“„^^g`qBguBf±³„^±³mBqB±³ƒmBrOmBqBgf ƒnLµ³µ²m,ƒna„ ¬§gq5uBnLƒ`g`5W§qBc^g

„^w1„^^g`qBguYf±³„^±²mf2ƒnLo^mBg`Q¬@r±³„@qBguYu‚o^€^qBm¹§q5uBnL€^m,nL„^QmB±³’1„HnLµ³m,ƒnL„Q¬§g3^gnaµ²q,­4±²qYcŬ@r[o^mY±²„^’qBc^gqBg`ƒc^„^±Oo^g

wL° ӄ@qYguBu‚o^€^q®j¡g`€^µn›r h* W@„^w“„O©Ã±²„^±³qB±¼nLµ³±³»`g`Â´Ln1u‚±¼nL¬^µ³g`mnL„^JHnL„^’1µ³±³„^’€Hw1±³„OqBgu‚mdƒnL„J¬Hg^g`qBg`ƒ`qBg`J¬@r'€HnLƒÌ¯›nL’1g`m

µ³±¼¯Lg3tÒoHu‚±À°àrw@u ӄ^mB±³’1c@qL¶®bdc^g,„^w“„^^g`qBguBf±³„^±³m5fÎqBcHnaq±³mmB€§g`ƒ`±ÀÈHƒ,°Ðw@ud€Hn1uBnaµ²µ³g`µna„^Â^±³mBq5u‚±³¬^o^qBg`[€Huxw1’@uBn1fsm

±³m,c^wL­®g`´“gufo^ƒ5ccHn1u‚^gudqBwJ^gnLµ­±³qBc^oHux±²„^’[^g`¬^o^’“’1±³„^’H¶,bdc^±³mu‚g`€Hw@uxqo^„^±@o^g`µ³r°àwOƒ`o^mBg`mw1„ÂmYw1µ³o^qB±³w1„^m

°Ðw@u¾qBc^g,„^w1„^^g`qBguBfs±²„^±³m5fŸqBcHnLqd±³mmB€Hg`ƒ`±ÀÈHƒ°àw@u¾€Hn1uYnLµ³µ²g`µnL„^[^±³mBq5u‚±³¬^o^qBg`[€Hu‚w“’@uBn1fm›¶

b¡c^gu‚gg`p@±³mBq,´Ln1u‚±³w1o^mmYw1oHu‚ƒ`g`m,wL°d„^w1„Q^g`qBguBf±³„^±³m5f±³„ ž¡ (¢(£¤›£¥¦§£¨¶'{ƒ`ƒ`g`mBmBg`mqBw[mBcHn1uxg`fsgfw@u‚r

f.n›rQƒu‚gnLqBg d flqB^ q?eOjnPbDne{o­4c^±²ƒcÁƒnL„ŬHg[wa°¡q‚­dw[^±À¿gu‚g`„Oqƒ`µ¼nLmBmBg`m¶OheOq de0nafbDne d flqB^aoËn1u‚g[uBnLƒ`g

ƒ`w1„^^±³qB±³w1„^m,qBcHnaqƒnLo^mYgqBc^g€Hu‚w1’OuBn1fÉqBwJg`p@g`ƒ`o^qBg„^w1„^^g`qYguBf±³„^±³mBqB±³ƒnLµ³µ³r±³„ n'­¡n›r[qBcHnaq­nLm±³„OqBg`„^^g`Q¬@r

qBc^g¾€Hu‚w1’@uBn“f.fgu`¶6~¶’§¶`qBc^gvƒ`wOf€Hg`qB±³qB±³w1„¬Or,qBcHu‚gnL^mqBwg`„@qYgu+nƒu‚±³qB±³ƒnLµOmBg`ƒ`qB±³w1„wOu+qBww1¬^q5na±²„nmYgf.nL€^c^w@u‚g

ƒnLo^mBg`mnmBrO„^ƒ5cHu‚w“„^±²»naqB±³w1„ÏuYnLƒ`g1¶vbdc^g,w1qYc^gu®uYnLƒ`g,ƒ`w1„^^±³qB±³w1„^m,n1u‚g„^w1q±³„@qYg`„^^g`Â¬Or#qBc^g,€Huxw1’@uBn1f'fgunL„^

nLm.mYo^ƒ5cÊn1uxg[¬^o^’1m.qBcHnLqmBc^w“o^µ²¸¬HgQu‚gfwL´1g`+¶Fbdc^g`mBg j f?b/f d f qG^Go YC+±³’1oHu‚gQn1u‚g[qBc^gÂuxg`mBo^µ³q.wL°nQµ¼nLƒÌ¯

wL°d€Hu‚w1€Hgu4mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„+¶½¾r na^^±²„^’[€Huxw1€HgumBrO„^ƒcHu‚w1„^±³»nLqB±³w1„+¹§HnLq5nJuBnLƒ`g`m,ƒnL„ÅnLµ³­n›r@m4¬Hg#u‚gfswz´“g`+¶

jdgfwL´O±³„^’mBrO„^ƒcHu‚w1„^±³»nLqB±³w1„uBnLƒ`g`mfgnL„^mqBcHnLqn€Hu‚w“’@uBn1fW±³mvf.na^gvƒ`w@f€^µ³g`qBg`µ³r^g`qBguBf±³„^±³mBqB±³ƒ1¶~pOƒ`µ³o^^±²„^’

mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„ uYnLƒ`g`mËfsgnL„^mqYcHnLq^rO„Hn1f±³ƒnLµf.nL„Hna’1gfg`„OqqBg`ƒc^„^±Oo^g`m,wL°v€Hn1uYnLµ³µ²g`µ€Hu‚w1’OuBn1fmmYo^ƒ5cÅnLm

µ³w@nL¬HnLµ¼nL„^ƒ`±³„^’,­®w“o^µ²„^wµ³w1„^’“gu+¬§gv€Hw“mBmB±³¬^µ³g­c^±³ƒ5c­dw1o^µ³ƒ`w1„Oq5uBnL^±³ƒ`q+qYc^gvw1¬@yYg`ƒ`qB±³´1g`m+wa°žd +¢6£¤›£¥¦§£¨©«ª^¶

b¡c^gmBg`ƒ`w“„^[mBw1oHu‚ƒ`g,wL°„^w1„^^g`qBguBf±³„^±³m5f᳄Qžd +¢6£¤›£¥¦§£¨±²m,fg`mBmnL’1g€HnLmBmB±³„^’H¶&ЄQžd +¢6£¤›£¥›¦H£¨¹^±³q

±³m€§w1mBmB±³¬^µ³gqBw#u‚g`ƒ`g`±³´1gfg`mBm5na’1g`m¾°Óu‚wOf 'BnL„Or#mBw“oHu‚ƒ`g+(5¶bdc^±³mËuxg`mBo^µ³qBm±³„Ån.uBnLƒ`g,±À°¡n 'Bu‚g`ƒ`g`±³´@±³„^’(qBcHuxgnL[ƒnL„

ƒc^w@w1mYg°Ãu‚w@f2^±À¿6gu‚g`„@qfg`mBm5na’1g`m¶.jdg`€^µ¼n›r1g`Åg`pOg`ƒ`o^qB±³w1„^m„^g`g`ÁqBw[g`„^mBoHuxg.qBcHnLqfg`mYm5nL’1g`m,u‚g`ƒ`g`±³´1g`Q°Ãu‚w@f

'BnL„Or,mBw1oHu‚ƒ`g+(vn1u‚gdu‚g`ƒ`g`±³´1g`±³„3qYc^gvm5n1fsgvw@u‚^guºnLm^oHux±²„^’qBc^gu‚g°Ðgu‚g`„^ƒ`g®uxg`ƒ`w@u‚^g`,g`pOg`ƒ`o^qB±³w1„+¶w1„O©Ã¬^µ³wOƒÌ¯“±³„^’

u‚g!Oo^g`mBqBmd±³„@qu‚w@^o^ƒ`g°ÐoHu‚qBc^gu¡„^w1„O©Ã^g`qBguBf±³„^±³m5fÎmY±²„^ƒ`gqBc^g`r.cHn›´1g,qBw¬§g3nLmBmYw@ƒ`±¼nLqBg`[­4±²qYc[qBg`mBq¾°ào^„^ƒ`qY±²w“„^m±³„

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

1 "!##$$$&% ('(2*-3%/*-0

T3 T2 T1 a=1

a=2 b=a

Cº±³’1oHu‚g{ €Hu‚w“’@uBn1fƃ`w1„@qnL±³„^±²„^’.n jlfb/f d f qG^¾w1„[´Ln1u‚±¼nL¬^µ³g w^¶

w@u‚^guqBw^g`qBg`ƒ`q.qBc^g`±¼uƒ`w@f€^µ³g`qB±³w1„+¶oHu‚±³„^’ u‚g`€^µ¼n›r1¹qBc^gJm5n1fgJ„OoHf¬§guwL°ƒnLµ³µ³m.qBwQqBc^gJqBg`mBq°Ðo^„^ƒ`qB±³w1„^m

mBc^w1o^µ³[¬§gg`pOg`ƒ`o^qBg`+¶

A:<(,+>O: >O41 &O1 -354 32@ "c !#a$

Єw@ux^gu6qBw¬§g®€§w@u‚q5na¬^µ²gw“„3n4µn“u‚’1gv„OoHf¬Hgu6wa°H^±î¿6gu‚g`„Oq€Hn1uYnLµ³µ²g`µO€^µ¼nLq‚°Ðw@uBfm›¹`qBc^g®ž¡ (¢(£¤›£¥¦§£¨§©«ª,uxo^„@qB±¼fg

¯Lgu‚„^g`µ¾­nLm±fs€^µ²gfsg`„@qBg`Áw1„FqBc^gJqBw1€ÁwL°g`pO±²mYqB±³„^’ÅmBq5nL„^Hn“u‚ÅqBcHu‚gnaÅµ³±²¬HuYn1u‚±³g`m.ƒ`w@f€^µ³rO±³„^’ÅqBwÂqYc^gÂtw1mB±³p

mBq5na„^Hn1u‚À1‰ ¡nL„^ÅqYw[ƒ`[email protected]^„^±³ƒnLqB±³w1„Qµ³±²¬HuYn1u‚rŋÂt î ‚¶#bºw[gnLmBg.€§w@u‚q5nL¬^±³µ³±³q‚r1¹žd +¢6£¤›£¥›¦§£¨¸±²m¬^o^±³µ²q

o^mB±³„^’ndµ¼n›r1gu‚g`nL€^€Hu‚w@nLƒc DCº±³’1oHu‚g®‡ `¶bdc^g¾µ¼nr“gu+w1„qBw1€,wL°HqYc^gvcHn1u‚^­n1uxg DmYcHn1u‚g`3fsgfw@u‚rna„^„^g`q‚­dw@uB¯-

±³m,qBc^g3‹tdµ¼n›r1gu¡°àwOudmBg`„^^±³„^’Âfg`mBm5na’1g`mnL„^qBc^g3tw1mY±²p[µ¼n›r1gu¡°àwOudƒu‚gnLqB±³„^’[nL„^ÂmYr@„^ƒcHu‚w1„^±³»`±³„^’[qBcHu‚gnL^m›¶

bdc^gQtw1mB±³pFµ³±²¬HuYn1u‚rÊwa¿gu‚m[fo^qBg`p@g`m[nL„^¸ƒ`w1„^^±³qB±³w1„W´zn1u‚±¼nL¬^µ³g`mJ°Ðw@umBrO„^ƒcHu‚w1„^±³»nLqB±³w1„¸€^oHu‚€Hw1mYg`m¶ ЄWqBc^±³m

µ¼n›r1gu`¹¾qBc^gÂtw1mB±³pŠ°ào^„^ƒ`qB±³w1„^m[n1u‚g[u‚g`„Hn1fsg`J°ào^„^ƒ`qY±²w“„n1¯ WmB±¼f€^µ³rFƒnLµ³µ³m[tw1mB±³pÅ°Ðo^„^ƒ`qB±³w1„ ¶bdc^g

žd +¢6£¤›£¥›¦§£¨Ô¯Lgu‚„^g`µÐ¹n tgu‚„^g`µÐ¹±³m¬^o^±³µ³q.w1„ÅqBw“€ wL°qBc^±³mµ¼n›r1gunL„^+¹¬HnLmY±²ƒnaµ²µ³r1¹¾g`p@qYg`„^^mqBc^g[tw1mB±³pÅnL„^

‹Ât ,µ¼n›r1gu±³„Fq«­dw­¡n›rOmmBgf.na€^c^w@u‚g°Ðo^„^ƒ`qB±³w1„^m#n1uxgÏnL^^g`FnL„^ÊnqBcHu‚gnaÍn›­n1u‚g´1gu‚mY±²w“„ wL°qBc^g‹Ât

°Ðo^„^ƒ`qB±³w1„^m—n“u‚gv€Hu‚wL´O±³^g`+¶—b¡c^gvµ¼nLqBqBguº±³m„^g`ƒ`g`mBm5n1uxrËnLmfw1mYq—‹t6±¼f€^µ³gfg`„Oq5nLqB±³w1„n1u‚g¾„^w1qqYcHu‚gnLO©Ãm5n›°Ðg DqBc^g

°Ðo^„^ƒ`qB±³w1„^mn1u‚g4„^w1„Hu‚g`g`„Oq5uBnL„Oq2nL„^Âfw“mBqvqBcHuxgnLO©Ãm5n›°Ðg‹Ât ¾±fs€^µ²gfsg`„@q5naqB±³w1„^mn1u‚g„^w1qdqBcHu‚gnLO©«n›­n1u‚g1¹›qBcHnLq

±³md¬^µ²wOƒ`¯.nLµ³µ6qBc^gqBcHu‚gna^mvwL°n„^w@^g"D4„^±³p.€Hu‚wOƒ`g`mBm2gnLƒc#qY±fsgnqBcHu‚gnL.ƒnaµ²µ³mn¬^µ³w@ƒ`¯1±³„^’ƒ`[email protected]^„^±³ƒnLqB±³w1„

€Hu‚±¼f±³qB±³´1g1¶b¡c^gu‚g°àwOu‚g,qBc^g.žd +¢6£¤›£¥›¦H£¨§©«ª[¯Lgu‚„^g`µq5uBnL„^mx°àw@uYfm®nLµ³µ¬^µ³wOƒÌ¯“±³„^’[ƒ`[email protected]^„^±³ƒnLqB±³w1„^m±²„OqBwJ„^w1„O©

¬^µ³w@ƒ`¯“±²„^’Šw1„^g`m­c^±³ƒ5cFn1u‚gJ€Hgu °Ðw@uBfsg`Å¬@rÁnƒ`wOf.fo^„^±²ƒnaqB±³w1„ Hnagfw1„ÅqBcHuxgnL+¶Åbdc^±³mHnLgfw1„Å€§gu°Ðw@uBfm

„^w1„O©Ã¬^µ³wOƒÌ¯“±³„^’#ƒ`w@f'fo^„^±³ƒnLqY±²w“„^m®w“„[¬Hg`cHnLµÀ°vwL°qBc^g,qBcHu‚gna^m®ƒuxgnLqBg`[¬Or#qBc^g,o^mYgud€Hu‚w1’@uYn1f nL„^[ƒc^g`ƒ`¯1md°Ðw@u

qBc^g,n1uBu‚±³´LnLµHwL°+ƒ`w@f'fo^„^±³ƒnLqY±²w“„^m®u‚g`’1o^µ¼n1uxµ²r Do^mY±²„^’ v0z `¶ÝO±¼f±³µ¼n1u‚µ³r1¹Hu‚gfsw1qBgqBcHuxgnL.ƒu‚gnLqY±²w“„^m®n1u‚g

mBgu‚´O±³ƒ`g`#nLmBrO„^ƒcHu‚w1„^w1o^mBµ³r,¬OrmB€§g`ƒ`±ÀÈHƒHnLgfsw1„^mw“„3qYc^g®ƒnaµ²µ³gu¾nL„^.ƒnLµ³µ³g`gmB±³^g`m¹“g`´1g`„±î°+qBc^g4ƒnLµ³µ²guÒqBcHu‚gnLm

u‚g!Oo^g`mBq±²mmYr@„^ƒcHu‚w1„^w1o^m›¶bdc^g¾µn›r1guw“„qBw1€+¹LqYc^g®žd +¢6£¤›£¥›¦§£¨§©«ª,µ¼n›r1gu`¹›±¼f€^µ³gfg`„OqBmqBc^gžd +¢6£¤›£¥›¦H£¨§©«ª

nL€^€^µ³±³ƒnLqB±³w1„€Hu‚w1’@uBn“f.f±³„^’,±³„@qBgu«°ÓnLƒ`g1¹Oo^mB±³„^’.qYc^gn tgu‚„^g`µ§°ào^„^ƒ`qY±²w“„HnLµ³±²qY±²g`m›¶

dQÎ #"s$%'&+%')+*Ë%'-,/10 65 65Ò 858 6dH®

= "!,>2357 >01 -.0&)+$#*&)\-\

bdc^g¾g`p@g`ƒ`o^qB±³w1„u‚g`€^µ¼n›rmBrOmBqBgf wL° ž¡ (¢(£¤›£¥¦§£¨§©«ª4±³m¬HnLƒ`¯Lg`,¬@r,qYc^gqBc^g`w@u‚g`qB±³ƒnLµ“­®wOuB¯dwL°&%vu‚±³ƒdÕ6g`o ¼h $@¹Oh‘ «¶

bdc^g#f'nL±³„Íu‚g`mYo^µ²qYm€Hu‚g`mBg`„OqBg`Q±³„Fc^±³mstÒc&Ɂ^±²mYmBgu‚q5nLqY±²w“„ŃnL„Ŭ§g#mBoHf'f.n1u‚±³»`g` nLm°àw“µ²µ³wL­m¶Cº±¼u‚mBqwa°4naµ²µdn

°Ð[email protected]µ“^gÈH„^±²qY±²w“„3wa°HqBc^gdg!@o^±³´znaµ²g`„^ƒ`g4¬Hg`q‚­dg`g`„q‚­dw€Hu‚w“’@uBn1f¸g`pOg`ƒ`o^qB±³w1„^m±³m’1±³´1g`„+¶bdc^gd±³„OqBo^±³qB±³´1gfgnL„^±³„^’

wL°qBc^±³m^gÈH„^±³qB±³w1„Q±³mqBcHnLq¹^q‚­dwg`p@g`ƒ`o^qY±²w“„^m nL„^' wa°®n€Hn1uBnLµ³µ³g`µ€Hu‚w1’@uBn“f tWn1u‚g,g!Oo^±³´znLµ³g`„Oq,±î°vgnaƒ5cwL°

qBc^gg`p@g`ƒ`o^qB±³w1„^m›¶®bº­dw.g!@o^±³´LnLµ³g`„@q,g`pOg`ƒ`o^qB±³w1„^m­±³µ³µqBc^gu‚g°Ðw@u‚g,€Hu‚wO^o^ƒ`gqBc^g,mn1fgu‚g`mBo^µ³q,nL„^ Lw@u¾qBc^gm5n1fg

guBu‚wOuDm2`¶

b¡c^g`„ÍnQqYc^g`w@u‚gf[¹’1±³´O±²„^’ÁmBoOÑ#ƒ`±³g`„Oqƒ`w1„^^±³qB±³w1„^m°Ðw@uq«­dw€Hu‚w1’@uBn“fg`pOg`ƒ`o^qB±³w1„^m.qBwQ¬Hg[g!Oo^±³´znLµ³g`„Oq¹d±³m

€Hu‚wL´1g`„+¶bdc^±³mqBc^g`wOu‚gfÎnLmBmBoHfg`mdqBcHnaq®¬§w1qBcJg`p@g`ƒ`o^qY±²w“„^mcHn›´1g,qBc^g,m5n1fsg±³„^±³qB±¼nLµ+mBqnLqBg,nL„^[qBcHnLqnLµ³µ+g`´1g`„OqBm

wL°¬Hw1qYc[g`p@g`ƒ`o^qB±³w1„^mn1u‚gg`µ²gfsg`„@q5n“u‚r#g`´“g`„@qBmdmBo^ƒc[qBcHnLqdgnLƒc[g`´1g`„Oq^g`€Hg`„^^mmBw1µ³g`µ³r[wL°qYc^g,€Hu‚g`´@±³w1o^m4mBq5nLqBg

wL°vqBc^g€Hu‚wOƒ`g`mBm­c^gu‚gqBc^gg`´“g`„@qq5n1¯Lg`m4€^µnaƒ`g1¶·Ê±³qBcQqBc^gnLmBmBoHfs€^qB±³w1„^mnL¬§wz´“g1¹^˜5ÚÛUSš^™›š**D×%* S™ÛH™š

××^œ˜%HüÛ2F—–Áš^™›×<S™Û0VH×^ÜÉ× HPVOš*D× F+˜'H˜%L×ԙ×^œL×{S˜%HDÛOF Û§™zܺ×@™FÛ ×^–`–š H×^–Š•+Ø ×OšHœAL Û˜%L×

S™Û+œL×^–`–× –'š0F—ܸ˜%L× Sš^™›˜%Hüš*Û§™zܺ×@™JÛ ,šHœ1œL×^–`–'˜`Û͖GLš^™×^Ü ×% Û§™ØFœL×%**Ж.š^™›× HàÜº× Fº˜%HàœLš*"HPFW•ÛH˜%L

××^œ˜%HüÛ2F—–

b¡c^±²mu‚g`mBo^µ³q±³mo^mBg`ÅqYw±¼f€^µ³gfg`„Oq3qYc^g.g`p@g`ƒ`o^qY±²w“„ u‚g`€^µ¼n›rfsg`ƒ5cHnL„^±³m5f wL°žd +¢6£¤›£¥›¦H£¨§©«ª^¶ oHu‚±³„^’

nL„±²„^±³qB±¼nLµg`pOg`ƒ`o^qB±³w1„+¹§qBc^g.u‚g`ƒ`g`€^qB±³w1„w@u‚^gudwL°®fsg`mBm5nL’1g`mnLm­dg`µ³µnLmqYc^gw@u‚^gu¡wL°®nLƒ`ƒ`g`mBmqBwJmBr@„^ƒcHu‚w1„^±³»n›©

qB±³w1„Fw1¬OyBg`ƒ`qBm.n1uxgÂu‚g`ƒ`w@u‚^g`+¶ 4w1„FmBrO„^ƒcHu‚w1„^±³»`g`nLƒ`ƒ`g`mYmBg`m.qBwQmBcHn1uxg`Êfgfw@u‚rÁn1u‚g[„^w1q#uxg`ƒ`w@u‚^g`ÁmB±³„^ƒ`g

qBc^±³m3uxg`ƒ`w@u‚^±³„^’­dw1o^µ³Å±³„^ƒu‚gnLmYg#qBc^g'g`p@g`ƒ`o^qB±³w1„ŠqB±¼fg#n[µ³w1q.nL„^Áu‚g!@o^±¼u‚gJnL„Åg`„^w@uBfsw1o^mn1fw1o^„Oq,wL°qB±¼fg1¶

bdc^gq5uBnaƒ`g`mn1u‚go^mBg`QqBw.°Ðw@u‚ƒ`gmBo^¬^mBg!Oo^g`„@q,u‚g`€^µ¼n›r1g`Qg`p@g`ƒ`o^qY±²w“„^mwL°v€Hn“uBnLµ³µ³g`µvžd +¢6£¤›£¥¦§£¨©«ªJ€Hu‚w1’@uBn“fm¹

°Ðo^µîÈHµ³µ³±³„^’[qBc^g,cOr@€§w1qBc^g`mBg`mdwL°qYc^g,g!@o^±³´znaµ²g`„^ƒ`gqBc^g`w@u‚gf #m5n1fsg±³„^±³qB±¼nLµ+mBqnLqBg1¹1„^w'o^m5nL’1gwL°+°Ðo^„^ƒ`qB±³w1„^mmBo^ƒc

nLmuBnL„^^wOf6#nL„^J€Hgu °Ðw@uBf±³„^’„^w3„^w“„#mBrO„^ƒcHu‚w1„^±³»`g`Ïnaƒ`ƒ`g`mBmdqBwmBcHn“u‚g`Ïfsgfw@u‚r1¹“qBw¬§g,g!@o^±³´znaµ²g`„OqqBwqBc^g

±³„^±³qB±¼nLµ³µ²rÁu‚g`ƒ`w@u‚^g`g`p@g`ƒ`o^qB±³w1„+¶ÝO±²„^ƒ`g„^w1„QmBrO„^ƒcHu‚w1„^±³»`g`ÅnLƒ`ƒ`g`mBmBg`mqBwJmBcHn1u‚g`Qfgfw@u‚r[n1u‚g„^w1q,u‚g`ƒ`w@u‚^g`+¹

±³q.­±³µ³µd„^w1q¬Hg[€Hw“mBmB±³¬^µ³gÂqBwQu‚g`€^µ¼nrŠ€Hu‚w1’@uBn“fm,€Hu‚g`mBg`„OqB±³„^’QHnLq5nÂuYnLƒ`g`m¶ }4wL­dg`´1gu`¹+qYc^g#g`pOg`ƒ`o^qB±³w1„Fu‚g`€^µ¼nr

fg`ƒcHnL„^±³m5f…ƒnL„.c^g`µ³€'ÈH„^^±³„^’mBo^ƒc.guBu‚wOu‚m¶D°+±³qv±³m¾€Hw1mBmY±²¬^µ³gqBwnLHnL€^qqYc^g1±¼bd±uYnLƒ`gd^g`qBg`ƒ`qB±³w1„#fg`ƒcHnL„^±³m5f

î‡ +qBw#ž¡ (¢(£¤›£¥¦§£¨§©«ª ¹@±³q­±³µ³µ+qBc^g`„[¬Hg,€§w1mBmB±³¬^µ³gqYw.^g`qBg`ƒ`qdHnLq5nuBnLƒ`g`md^oHu‚±³„^’[u‚g`€^µ¼n›r1g`#g`pOg`ƒ`o^qB±³w1„^m¶ Є

nL„Or#ƒnamBg1¹OmB±³„^ƒ`gqBc^gu‚g`€^µ¼n›r1g`[€Hu‚w“’@uBn1fÆg`p@g`ƒ`o^qB±³w1„[­4±²µ³µ¬Hg`cHn›´1g^g`qBguBf±³„^±³mBqB±³ƒnLµ³µ³r naq®µ³gnLmYqo^„@qY±²µºqBc^gÈu‚mBq

HnLq5n[uYnLƒ`g1¹+±³qmYc^w1o^µ³Å¬HgJ€Hw1mYmB±³¬^µ²gJqBw[€§gu °àwOuBfu‚g`€HgnaqBg`Åg`pOg`ƒ`o^qB±³w1„^mwL°¾°Ónao^µ²q‚rQ€Hu‚w1’OuBn1fmo^„OqB±³µvqYc^gÈu‚mBq

guBu‚wOuvnL„^[±³qmBc^w1o^µ³[¬Hgfo^ƒcJgnLmB±³gudqBw±³^g`„@qY±î°Ðr[±³q¶

=Y #,\A1 7 &;.{1 -/3546+/>>O+"32@k7 >2.0357 [*-/4=8

·ÊcHnaq,qBwÂu‚g`ƒ`w@u‚±³m3nL„Q±¼f€HwOu‚q5nL„Oq Oo^g`mBqB±³w1„+¶bdc^g±³„O°àwOuBf.nLqB±³w1„Q­dg3uxg`ƒ`w@u‚Q^±¼u‚g`ƒ`qBµ³rÅu‚g`µ¼nLqBg`mqBw[qBc^gµ³g`´1g`µ

wL°vg!Oo^±³´znLµ³g`„^ƒ`gJqBcHnLq­±³µ³µvg`pO±³mBq¬Hg`q‚­dg`g`„ qYc^g3u‚g`ƒ`w@ux^g` nL„^QqBc^g.u‚g`€^µ¼n›r1g`Âg`pOg`ƒ`o^qB±³w1„+¶Ó„Åžd +¢6£¤›£¥¦§£¨©

ªJ±³qmBc^w1o^µ³Å¬Hg'€Hw1mBmY±²¬^µ³gJqBw[q5uBnaƒ`g3g`´“g`„@qBmnaq,qBc^g#nL€^€^µ³±³ƒnLqB±³w1„Å€Huxw1’@uBn1f'f±³„^’.±³„@qBgu«°ÓnLƒ`g'µ²g`´“g`µ DC+±³’1oHuxg#‡`¶

{m3±³q­nLm^gfsw1„^mBq5uBnaqBg`Q±²„Êna„ gn1uxµ²rŠ€Hu‚w1qBw1q‚rO€Hg¼h1hL¹dhª «¹qBc^g[u‚g`ƒ`w@u‚^±³„^’ÅnLqqBc^±³m3µ³g`´1g`µdwL°,nL¬^mBq5uBnaƒ`qB±³w1„

u‚g`^o^ƒ`g`m.qYc^gÏn1fsw1o^„@qwL°±²„O°Ðw@uBf'nLqB±³w1„ÅqBwQ¬§g u‚g`ƒ`w@ux^g` ­±³qBcFu‚g`mB€§g`ƒ`q.qBwQµ³wL­®gunL¬^mYq5uBnLƒ`qB±³w1„Šµ²g`´“g`µ²m'mB±³„^ƒ`g

mBw@fsg.ƒ`[email protected]^„^±³ƒnLqB±³w1„^m¹nLqqYc^g#c^±³’1c^g`mBqµ³g`´1g`µdwL°nL¬^mBquBnLƒ`qB±³w1„+¹+u‚g!Oo^±¼u‚gJmBg`´1guBnLµƒ`wOf.fo^„^±²ƒnaqB±³w1„^m3nLqqBc^g

µ³wL­®g`mYq®µ³g`´1g`µÐ¶v}4wL­dg`´1gu`¹1qYc^±²m4±²m„^w1qn’1wOwO#±³^gn

fw1mBqž¡ (¢(£¤›£¥¦§£¨§©«ª4°Ðo^„^ƒ`qB±³w1„^m­dw1o^µ³cHn›´1gvqBw¬Hg4±²„^mYq5u‚oHfg`„OqBg`5WLnLm±³„^^±²ƒnaqBg`±²„'mBg`ƒ`qB±³w1„.^¹LqBc^gu‚g

g`p@±³mBqnµ³w1qwL°Ëžd +¢6£¤£¥¦§£¨§©«ª °Ðo^„^ƒ`qB±³w1„^m3nL„^ÁqBc^±³m­dw1o^µ³ ±³„O´1w1µ³´1g.„OoHfgu‚w1o^mfwO^±îÈHƒnaqB±³w1„^m¶ Є

nL^^±³qB±³w1„+¹L¬Hg`ƒnLo^mYg®wa°qBc^g¾´zn1u‚±³g`q‚rwa°H€Hw1mBmY±²¬^µ³gƒnamBg`m¹LqBc^gu‚g¾­dw1o^µ³3¬§gf.nL„Or,^±î¿6gu‚g`„Oqq«rO€Hg`mwa°Hq5uBnLƒ`g`m

­c^w1mBg,f.nL„HnL’“gfg`„@qdnLqu‚g`ƒ`w@u‚[nL„^Âu‚g`€^µ¼n›rJ­®w“o^µ²[µ³±¼¯Lg`µ³r[¬Hg,ƒ`w“mBqBµ³r#±³„qB±¼fgnL„^ÂfgfwOu‚r1¶

gnLƒ5cJqB±¼fgn°Ðo^„^ƒ`qB±³w1„[±³mnL^^g`qBw.žd +¢6£¤›£¥›¦H£¨§©«ª^¹^±³„^mBq5uxoHfg`„@qnLqB±³w1„.­dw1o^µ³[cHn›´1gqBw¬Hg3na^^g`5W

nLq+mBo^ƒc3ndc^±³’1cµ³g`´1g`µÐ¹Lw1„^µ³r,qBc^gdnL€^€^µ³±²ƒnaqB±³w1„±³mvu‚g`€^µ¼n›r1g`+¹›„^w1q+qBc^gdžd +¢6£¤›£¥¦§£¨©«ªµ¼n›r1gu‚m+qYc^gfmBg`µ³´1g`m¹

f.n1¯“±²„^’ Dƒ`wOuBu‚g`ƒ`qB„^g`mBmdnL„^[€Hgu«°à[email protected]„^ƒ`g^g`¬^o^’“’1±³„^’.wL°vžd +¢6£¤›£¥¦§£¨±²qYmBg`µÀ°v±fs€Hw1mBmY±²¬^µ³g1¶

buBnLƒ`±³„^’,nLqqBc^gdµ³wL­®g`mYq€§w1mBmB±³¬^µ³gµ¼n›r1gu±³m®nLµ³mBwn€§w1mBmB±³¬^±³µ³±²q‚r1¶vbuBnLƒ`±³„^’,nLqqBc^±³mµ¼n›r1guf.n1¯Lg`m±³qv€§w1mBmB±³¬^µ³gqBw

u‚g`€^µ¼n›r#qYc^g,­c^w1µ³g,mBrOmBqBgf„^w1qw“„^µ²r[qYc^gnL€^€^µ³±²ƒnaqB±³w1„¬^o^qnaµ²mYw.qBc^gžd +¢6£¤›£¥›¦§£¨§©«ªµ³±³¬HuBn1u‚±³g`m¶d}4wz­dg`´1gu ¹

±³q#±³mJƒ`µ³gn1u.qYcHnLq.qBc^±³mJƒ`w@fg`m.­±³qBcWnŃ`w“mBq[q5uYnLƒ`±³„^’ nLµ³µËfsgfw@u‚r uxg°àgu‚g`„^ƒ`g`mJ±³„@qu‚w@^o^ƒ`g`mJnL„ʱ³„OqBw1µ³guBnL¬^µ³g

wL´1gu‚c^gnL+¶Qbdc^gu‚g°Ðw@u‚g1¹qBc^gJ€Hu‚w1€§w1mBg` uxg`ƒ`w@u‚ 1u‚g`€^µ¼n›rÅfg`ƒcHnL„^±³m5f q5uBnLƒ`g`mnLµ³µ®g`´“g`„@qBmnLqqBc^g[nL¬^mBq5uBnaƒ`qB±³w1„

Athapascan application or Athapascan-1 layer

a0Cond

akCond akSema akMutex a0Mutex a0Sema

shared memory network

akSend,...

a0Send,...

akpthread_cond

pthread_cond pthread_mutex akpthread_mutex

MPI rr-MPI

instrumentation

C+±³’1oHuxg3‡bdc^g,±³„^mBq5uxoHfg`„@qnLqB±³w1„.wL°vžd +¢6£¤›£¥›¦§£¨°Ðw@udu‚g`ƒ`w@u‚O©«u‚g`€^µ¼n›r

ê6ëzöÒìõzí Dñ zþdöõÐóDìîðBõ.ìîíô$îó)‚ö‚÷ìõ DëLövò`ö ñÐõzöîóBùö ñvð .ï6ëzðíÐövóYìîþWìîí Ððö‚óíÐöô1ðYñÐóBø›ì3ìDù3ðYõ

óBñÐìîðzííÐðDï6óBñÃöô$îó)¼ðYñÃþdí

µ³g`´1g`µu‚g`€Huxg`mBg`„@qYg`[w1„ C+±³’1oHuxg3‡^¶ 4w1qBgqBcHnLq4qBc^±³mµ³±²„^g^wOg`m ebºg`p@qBg`„^J°Ãu‚w@fÉqBc^g,µ³g°ÐqqYw3qYc^g3u‚±³’1cOqdw1„[qBc^g

ÈH’1oHu‚g1¹6fgnL„^±³„^’[qBcHnaqmBw@fgg`´1g`„OqBmËf'nrJ€HnLmBmo^„^„^w1qB±³ƒ`g`°Ãu‚w@f qBc^g3nL€^€^µ³±³ƒnLqB±³w1„Qµ¼n›r1gu4qBw#qYc^gcHn1u‚^­n1uxg1¶

{mqBc^±³m,fgnL„^mqBcHnLqmYw@fgg`´“g`„@qBm4­±³µ²µ„^w“q¬Hgq5uBnaƒ`g`+¹Hn°ÃnL±³qBcO°Ðo^µ—uxg`€^µn›rJ­±³µ³µ„^w1q¬§g’1oHn“uBnL„OqBg`g`J°àwOunLµ³µ

€Hw“mBmB±³¬^µ³gg`p@g`ƒ`o^qY±²w“„^m¶bdc^gd„^g`pOqmYg`ƒ`qB±³w1„^mg`p@€^µ¼nL±³„­cOrqBc^±³mƒc^w1±³ƒ`gd±²m„^g`´“gu‚qBc^g`µ³g`mBmnLƒ`ƒ`g`€^q5nL¬^µ³g1¶|dw@f€Hn“u‚g`

­±³qBc#nu‚g`ƒ`w@u‚^±³„^’nLqvqBc^gnL€^€^µ³±²ƒnaqB±³w1„#µ³g`´1g`µ ¼hª «¹“qBc^±³m®mYw1µ³o^qB±³w1„#u‚g!Oo^±¼u‚g`mvqBc^g,u‚g`ƒ`w@ux^±²„^’,wa°°Ðg`­dgu°Ðo^„^ƒ`qB±³w1„^m¹

¬^o^qdqBc^g`mBg4°ào^„^ƒ`qY±²w“„^mn1u‚gƒnaµ²µ³g`Qfw@u‚gd°Ãu‚g!Oo^g`„@qYµ²r1¹O¬Or.qBc^gƒ`[email protected]^„^±³ƒnLqB±³w1„JHnLgfw1„'qBcHu‚gnLJ±³„[€Hn1u‚qB±³ƒ`o^µ¼n1u`¶

}4wz­dg`´1gu(qBc^±³mv±³mv„^w1qn€Hu‚w1¬^µ³gf…mB±³„^ƒ`gmYw1µ³o^qB±³w1„^m­dgu‚g¾°àw1o^„^qBwuxg`^o^ƒ`g®HuYnLmBqB±³ƒnLµ³µ³rqBc^g4„@oHf¬HguºwL°+u‚g`ƒ`w@u‚^m

qBwŬ§g[€Hgu °Ðw@uBfsg`Á°àw@umBrO„^ƒcHu‚w1„^±³»nLqB±³w1„ DmBg`g[mBg`ƒ`qY±²w“„ H¶¼hnL„^Êfg`mYm5nL’1gJ€HnLmBmB±³„^’Ń`wOf.fo^„^±²ƒnaqB±³w1„^m DmBg`g

mBg`ƒ`qB±³w1„ʼn^¶ `¶Cº±²’“oHu‚g#‡'mBc^wL­mqBc^g±³„^mBq5u‚oHfsg`„@qBg`µ¼nr“gu‚mwL°žd +¢6£¤›£¥¦§£¨g1¶’H¶;w vcwly cz?x yű³m,„^w

µ³w1„^’1guna„^w1qBc^gu„Hn“fg°àwOu vcw?y zx y6¶b¡c^g°ào^„^ƒ`qB±³w1„ w v cw y cz?x yQcHnLmd¬Hg`ƒ`wOfgn.u‚gnLµ§°Ðo^„^ƒ`qB±³w1„

qBcHnLqd€§gu °àwOuBfmd±³„^mBq5u‚oHfg`„Oq5nLqY±²w“„#u‚w1o^qB±³„^g`mna„^#ƒnLµ³µ³m! vwy "czx{y¶

# $ 6"&% 8§('*)Ç 37 Y $ 6 ,+dY 49

-= . (=1 -:<-0/0>2[ 1 7 &;.0-4=821*\-/4=8 +/3;8-/.0&;+ .0+3=.3=\

{mg`pO€^µ¼nL±³„^g`3€Huxg`´@±³w1o^mBµ³r1¹1ndmYr@„^ƒcHu‚w1„^±³»nLqB±³w1„uYnLƒ`gv±³mn€§w1mBmB±³¬^µ³gdmBw1oHu‚ƒ`gwL°H„^w“„^g`qBguBfs±²„^±³m5f ±²„.n4€Hu‚w1’@uYn1f[¹

¬^o^q.­dgJ^wń^w1qƒ`w1„^mB±³^gu.nQmYr@„^ƒcHu‚w1„^±³»nLqB±³w1„FuBnLƒ`g[n¬^o^’űÀ°ËqYc^g[€Hu‚w1’@uBn“f±³m.g`pOqBgu‚„HnLµ³µ³r ^g`qYguBf±³„^±³mBqB±³ƒ1¶

4g`´1gu‚qBc^g`µ³g`mBm¹4qBc^gń^w1„W^g`qBguYf±³„^±²mf qBcHnLq[±³mƒnLo^mYg`¬Orʱ³qwL°àqYg`„€Huxg`´1g`„@qYm#ƒ`rOƒ`µ³±²ƒÁ^g`¬^o^’1’1±³„^’FwL°qBc^g

€Hu‚w1’OuBn1f[¶Åbdc^guxg°àw@uxg1¹­dgÂfo^mBq.nLqµ³gnLmBq.u‚g`ƒ`w@ux qBc^g[wOu‚^gu±²„¸­c^±³ƒ5cFmYr@„^ƒcHu‚w1„^±³»nLqB±³w1„Áw1€§guBnLqB±³w1„^m.n1u‚g

g`pOg`ƒ`o^qBg`+¹HnL„^[o^mBg,qYc^±²m4±²„O°Ðw@uBf'nLqB±³w1„J^oHu‚±³„^’#u‚g`€^µ¼n›rÐnL„^[^g`¬^o^’1’“±²„^’-`¶

b¡c^gu‚g`ƒ`w@u‚'€^cHnLmBg±²mdƒ`µ³gn1u‚µ³r.qYc^gËfw“mBq^±ÀÑ#ƒ`o^µ³q€Hn1u‚q¾wL°nu‚g`ƒ`w@ux 1u‚g`€^µ¼n›rmBrOmBqBgf[¶oHu‚±³„^’.u‚g`€^µ¼nr1¹“qBc^g

g`pOg`ƒ`o^qB±³w1„ÅwL°n[€Huxw1’@uBn1fŸƒnL„ŬHgJ^g`µ¼n›r1g` n1u‚¬^±³q5uYn1u‚±³µ³r­±³qBc^w1o^qƒ5cHna„^’1±³„^’[qBc^g.w@u‚^guwa°¡mYr@„^ƒcHu‚w1„^±³»nLqB±³w1„

nq5uYnLƒ`gmYc^w1o^µ³[¬Hg3fs±²„^±¼f.naµqYw.µ³±fs±²qqBc^g€Hu‚w1¬§g,g¿g`ƒ`q¶

b¡c^g[q5uBnLƒ`±³„^’QƒnL„F¬Hg^w1„^g[o^mB±³„^’ÅcHn1ux^­¡n“u‚g î ‚¹mBwL°Ðq‚­¡n“u‚g.w@ucOr@¬Hu‚±³F€Hu‚w“¬Hg`m¶Êt¾u‚w1¬HnL¬^µ³rÅqYc^gÂfw1mBq

±¼f€HwOu‚q5nL„Oq±³mBmYo^g#±³„Fu‚g`ƒ`w@u‚ 1uxg`€^µn›r[±³mqBc^g@o^g`mYqB±³w1„Å­cHnLqna„^Åc^wL­ fo^ƒcÅqBwÂuxg`ƒ`w@u‚Q^oHu‚±³„^’QqBc^g±²„^±³qB±¼nLµ

g`pOg`ƒ`o^qB±³w1„+¶bdc^guxgn1u‚gq‚­dw€Hw1mYmB±³¬^µ²g.nL€^€Huxw@nLƒc^g`mqBcHnLqd°Ðw@u‚ƒ`g,g`pOg`ƒ`o^qB±³w1„^mwL°vn.„^w1„^g`qBguBf±³„^±³mBqB±³ƒ€Hn1uBnLµ³µ³g`µ

€Hu‚w1’OuBn1fqYw ¬§g '‚g!Oo^±³´znLµ³g`„Oq)(ÏqYwnq5uBnLƒ`g`Ág`p@g`ƒ`o^qY±²w“„+¶Êbdc^gJÈu‚mBqw1„^g[±³m.qYw°Ðw@u‚ƒ`g[qYc^g#qBcHuxgnL^mqBw u‚gnL

qBc^gm5n1fg´znLµ³o^g`m,wL°vmBcHn“u‚g`Â´Ln1u‚±¼nL¬^µ³g`mËnam^oHu‚±³„^’[qBc^gq5uBnLƒ`g`g`p@g`ƒ`o^qY±²w“„¬Or u‚g`ƒ`w@ux^±²„^’'qBc^gw@u‚±³’1±³„HnLµ+´LnLµ³o^g

qe0b/^%e0bIoBfcoa^Bj dj fb/fjdGn^%e d ^)gfh`¶+bdc^gdmBg`ƒ`w1„^w1„^g1¹Lo^mB±³„^’,qBc^gu‚g`mYo^µ²q€Huxg`mBg`„@qYg`±³„.mBg`ƒ`qB±³w1„.‡^¶h±³mvqBw

°Ðw@u‚ƒ`gqBc^gqBcHuxgnL^mdqBw.nLƒ`ƒ`g`mBmqBc^g,mYcHn1u‚g`[´zn“u‚±¼nL¬^µ³g`m±³„ÂqBc^g,m5n“fg,w@u‚^gudnLm^oHux±²„^’'qBc^g,w@u‚±³’1±³„HnLµ6g`pOg`ƒ`o^qB±³w1„+¹

°Ðw@u‚ƒ`±³„^’QqBc^g#´Ln1u‚±¼nL¬^µ³g`mqBwQo^„^^gu‚’1wqBc^gÂfwO^±îÈHƒnaqB±³w1„^m±²„FqYc^g#m5n“fg.w@u‚^gunLm^oHu‚±³„^’ÅqBc^g[u‚g`ƒ`w@u‚Š€^cHnLmBg

d j ^rdBnIeGfAoa^Gj d qe0bDdgjdGn^%e d ^)gfh`¶b¡c^gJÈu‚mBq#nL€^€Huxw@nLƒc ±³mJ„^w1q.ƒ`w1„^mB±³^gu‚g` °àgnamB±³¬^µ²gQ¬§g`ƒnLo^mBg

±³q[µ³gnL^m[qBwÅcOo^’1gQq5uBnLƒ`gJÈHµ³g`mÐnŠHnLq5nÁuBnLqYg[wL°#h ‹½Lm[w1„n { h1h $1‘1ªQcHnam#¬§g`g`„ uxg`€Hw@u‚qYg` î$ `¶

COw@u‚qYo^„HnLqBg`µ³r1¹OqBc^g,mBg`ƒ`w1„^ÂnL€^€Huxw@nLƒcÏnLµ³µ³wL­mdo^mqBwHuBn1f'nLqB±³ƒnLµ³µ³rÏu‚g`^o^ƒ`g,qYc^g,q5uBnLƒ`gmB±³»`g`m¶

b¡c^g wL´1guxc^gnLÊ±³„Oq5u‚wO^o^ƒ`g`Ô¬@r¸qBc^gQq5uBnLƒ`±³„^’Êfo^mBqJ¬Hg nam[m5f.nLµ³µnLm[€§w1mBmB±³¬^µ³g à±²„ qB±¼fg ¼h1h 3nL„^W±³„

mB€HnLƒ`g#¼hˆO¹hŽO¹1ˆ ¶bdc^g bDnPm ^ ^%d- ^Gf j,mYc^w1o^µ³Â¬Hgm5f'nLµ³µqBw'ƒ`±uxƒ`oHf´“g`„@q,}g`±³mBg`„O¬^o^’1m,nL„^ÂqYw#µ³±¼f±³q,qBc^g

€Hu‚w1¬§gvg¿6g`ƒ`q¶bdc^g"o flqB^ c^%d- ^Gf j—°àw@u(qBc^gvq5uYnLƒ`gÈHµ³g`mmBc^w1o^µ³¬§g®mf.nLµ³µ1qBwOw¬§g`ƒnLo^mBgD±+qBc^±³m±³m„^g`ƒ`g`mBm5n1u‚rqBw

¬HgnL¬^µ³g®qYwq5uYnLƒ`gvµ³w1„^’u‚o^„^„^±³„^’,€Hu‚w“’@uBn1f[¹›nL„^ D±³±mYqBw@u‚±³„^’qBc^gdq5uBnLƒ`gÒÈHµ²gu‚g!@o^±¼u‚g`m¬Hna„^^­±³^qBc+¹L­c^±³ƒ5c.fo^mBq

¬Hg,mYcHn1u‚g`.­±³qBcJqBc^gq5n1u‚’“g`q€Hu‚w1’@uBn“f[¶Ð„[€HuBnaƒ`qB±³ƒ`g1¹1mB€HnLƒ`gwL´1gu‚c^gnL'ƒnL„#¬§gquBnL^g`'°àw@uÒqB±¼fgwz´“gu‚c^gnL¬@r

o^mB±³„^’.ƒ`w@fs€Hu‚g`mBmB±³w1„+¶

b¡c^gvqBg`ƒc^„^±@o^g`m^g`´1g`µ³w1€Hg`qBw4^gnLµ1­±³qBc.žd +¢6£¤›£¥›¦§£¨§©«ª4mBr@„^ƒcHu‚w1„^±³»nLqY±²w“„uBnLƒ`g`mn1u‚g¬HnLmBg`w1„3j,ÕOb

Ðjdg`ƒ`w“„^mBq5u‚o^ƒ`qB±³w1„[wa°ÒÕ+n“f€Hw@uxqbd±¼fg`mBq5n“f€^m2î1O¹H1‡ ¹H^hL¹“ª@¹61ŽO¹H‡^h «¹HnL„w@u‚^gu‚±³„^’L©Ã¬HnLmYg`Âu‚g`ƒ`w@u‚ 1uxg`€^µn›r

fg`qBc^wO+¹­c^guxg[w1„^µ³r qBc^g[€Hn“u‚qB±¼nLµdw@u‚^guwL°,mBrO„^ƒ5cHu‚w“„^±²»naqB±³w1„ w“€HguBnLqY±²w“„^m3±³m.quBnLƒ`g`+¶Fbdc^gÂfg`qBc^wO î1

cHnLmqYc^gnL^´znL„Oq5nL’“gqBcHnLqd±³q€Huxw@^o^ƒ`g`mmf.nLµ³µ6q5uBnLƒ`g4ÈHµ³g`mËnL„^[qYcHnLqd±²q±³mµ³g`mBm±²„Oq5u‚o^mY±²´“g,qBcHnL„[w1qBc^gu¾g`pO±³mBqB±³„^’

fg`qBc^wO^mî1ˆ «¶‹[wOu‚g`wL´1gu`¹1qYc^gfg`qBc^wOÏnLµ³µ³wL­mqBc^g,o^mYg,wL°—nmB±¼f€^µ³gƒ`w@f€Hu‚g`mBmY±²w“„#mBƒc^gfg"ª+­c^±³ƒc[ƒnL„

°ÐoHu‚qBc^gudu‚g`^o^ƒ`g,qBc^g,q5uYnLƒ`gÈHµ³g`m¶

x y

max(x+1,y)

max(x+1,y)+1

=max(x+2,y+1)

max(x+1,y+1)

Lamport ROLT

x

y

Cº±³’1oHu‚g |dw@f€Hn1ux±²„^’Õ+n1f€§w@u‚q|dµ³wOƒÌ¯“m­±³qBcÂj,ÕObÔ|dµ³w@ƒ`¯“m¶

oHux±²„^’JqBc^gu‚g`ƒ`w@u‚€^cHnLmBg­dg^wJ„^w1qquBnLƒ`gqYc^gw@u‚^gu4wL°®nLµ³µmBrO„^ƒcHu‚w1„^±³»nLqB±³w1„w1€HguBnaqB±³w1„^m¶{ÉmBƒnLµ¼n1u

µ³w1’1±³ƒnLµdƒ`µ³w@ƒ`¯Q±³m.nLqBq5naƒ5c^g`ÅqYwÂgnLƒc mYr@„^ƒcHu‚w1„^±³»nLqB±³w1„Šw1€HguBnaqB±³w1„+¶Âbdc^±³mµ³w1’1±³ƒnLµdƒ`µ³w@ƒ`¯Q±³m#nLƒ`qBoHnaµ²µ³r na„Åw1€O©

qB±¼f±³»nLqB±³w1„Fwa°qBc^gJƒ`µnamBmB±³ƒnLµÕ+n1f€§w@u‚q.|dµ³wOƒÌ¯ h‰ àmBg`g Cº±³’1oHu‚g ¶ Õ+n1fs€Hw@u‚qnLmBmB±³’1„^mµ³w1’1±³ƒnLµdƒ`µ³wOƒÌ¯“m.qBw

qBcHu‚gna^m¹@nL„^[ƒ`µ³wOƒÌ¯“mn1u‚gƒ`[email protected]^„^±³ƒnLqBg`J¬Hg`q‚­dg`g`„#qYcHu‚gnL.¬Or#€^±³’1’“r@¬HnLƒ`¯“±²„^’qBc^gfÉw1„JqBc^g,fg`mBm5na’1g`mvqBc^g`r

g`pOƒ5cHnL„^’“g1¶{Ƀ5cHn1uYnLƒ`qBgu‚±³mBqB±³ƒwL°¡nJfg`mBm5na’1g±³mqYcHnLq±³q±²mnJƒ`w“„^mBoHf.nL¬^µ³g1¹6±³q±³mƒuxgnLqBg`Â¬Or nJmYg`„^^gu`¹+nL„^

ƒ`w1„^mBoHfsg`[¬@r[n.u‚g`ƒ`g`±³´1gu`¶~Ò´1gu‚r#fg`mYm5nL’1g±³mËn„^g`­…fg`mBm5nL’“g¬Or#^gÈH„^±³qB±³w1„+¶Ð„[mYcHn1u‚g`ÂfgfwOu‚r€Hn1uBnLµ³µ³g`µ

€Hu‚w1’OuBn1fm¹›qBcHu‚gna^mƒ`w@f'fo^„^±³ƒnLqYg®¬Or.fgnL„^mwL°+mBcHn“u‚g`´zn1u‚±¼nL¬^µ³g`m¹“¬^o^qvmBcHn“u‚g`.´zn“u‚±¼nL¬^µ³g`m®n1u‚gd„^w1q¾ƒ`w1„^mBoHf©

nL¬^µ³g`m¹O¬^o^qƒnL„J¬Hguxg`ƒ`r@ƒ`µ³g`+¹HnL„^[n´znLµ³o^g,qBcHnaq®±³md­u‚±³qBqYg`„#¬Or.w1„^g,qBcHuxgnL.ƒnL„[¬§gËu‚gna#¬OrÏfo^µ³qB±³€^µ³g,w1qBc^gu

qBcHu‚gna^m¶ COoHu‚qYc^guBfw@u‚g1¹ qBc^gmBcHn1u‚g`µ²wOƒnLqB±³w1„^mqBcHnLqn1u‚go^mYg` ¬Or[mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„Âw“€HguBnLqY±²w“„^m DqBc^gw1„^g`m

nL„^[qBc^g`„­u‚±³qBqBg`„ ÐnLm4±²m4qBc^gƒnLmYg,­±³qBcÂnL©Ãw1€§guBnLqB±³w1„ ¶v}g`„^ƒ`g1¹§n.mBrO„^ƒcHu‚w1„^±³»nLqB±³w1„Jw1€HguYnLqB±³w1„[±³mnLµ³­n›r@m

n oa^%eOjl^%d¹®nL„^FmYw@fg`qB±¼fg`mn'd ^BqG^%nc^rdnL„^Ên oa^reOj ^%d¶Fbdc^g[µ¼nLqBqBguƒ`w@f¬^±²„HnaqB±³w1„ d ^GqG^%nc^%d,nL„^ oa^reOj ^%d)

±³m,±³„ j,Õ@b…ƒ`w1„^mY±²^guxg`namw1„^gmB±³„^’1µ³gg`´1g`„Oq¹§­c^±³ƒ5cQcHnLm,q‚­dw#nL^´LnL„@qnL’1g`mD±qBc^g3Õºn1f€HwOu‚qƒ`µ³wOƒÌ¯“mn1u‚g

±³„^ƒu‚gfg`„OqBg` fsw@u‚g,mBµ³wL­µ³r1¹na„^ à±²±4qBc^gu‚gn1u‚g,µ³g`mBm,g`´1g`„OqBmqBwJ¬Hgq5uYnLƒ`g`+¹Hu‚g`^o^ƒ`±³„^’JqBc^gmB±³»`gwL°vqBc^gq5uBnLƒ`g

ÈHµ³g`m¶

{ °ÐoHu‚qBc^gudw1€^qY±fs±²»naqB±³w1„+¹O­c^±³ƒ5c±²m,nƒ`w1„^mYg!@o^g`„^ƒ`gwL°—qYc^g3u‚g`ƒ`rOƒ`µ¼nL¬^µ³g„HnLqBoHuxgwL°qBc^gmBcHn1u‚g`[´Ln1u‚±¼nL¬^µ³g`m

nLm¾ƒ`[email protected]^„^±³ƒnLqB±³w1„.ƒcHnL„^„^g`µ³m±³mdqBcHnLq®Õºn1f€HwOu‚qvƒ`µ³wOƒÌ¯“md^w„^w1qdcHn›´1gqBw¬Hg€^±³’1’1rO¬HnLƒÌ¯ag`.w1„JqBc^gËfsg`mBm5nL’1g`m›¹

¬^o^qƒnL„[¬Hg€HguBf.na„^g`„@qBµ³rÂnLqYq5nLƒc^g`#qBw'qBc^g,mBcHn1u‚g`[´Ln1u‚±¼nL¬^µ³g`m¶}g`„^ƒ`g1¹^„^w“qw1„^µ³r[qBc^gqYcHu‚gnL^mn1uxg,’1±³´1g`„Ân

Õ+n1fs€Hw@u‚q6ƒ`µ³wOƒÌ¯§¹¬^o^qnLµ³mBwqBc^gmBcHn“u‚g`,´zn1ux±na¬^µ²g`mºqBcHnLqn1uxgo^mBg`°àwOuHmYr@„^ƒcHu‚w1„^±³»nLqB±³w1„,€^oHux€Hw1mBg`mDmYgf.nL€^c^w@u‚g`m›¹

fo^qBg`pOg`m¹Oƒ`w1„^^±³qB±³w1„[´zn1ux±na¬^µ²g`m›¹^g`qBƒ1¶%`¶

(a)

Thread 1 Thread 2

deterministic increments +0

+0 +0

+0 +1

+0

+1 +1 +1 +1

+1 1

2

3

1

2

4 +1

nondeterministic increments synchronization

variable 2

Thread 1 Thread 2

synchronization variable 1 0

1

2 0

1

2

3

0

1

2

4 0 1

2

3

4

ti m e

(b)

Cº±³’1oHu‚g‰j0,ÕOb^o^€§HnLqB±³„^’.qBc^g,mYƒnLµ¼n1u¾ƒ`µ²wOƒ`¯1m¶

ºôaö ñÃóDìîðBõLí6ðBõ DëLö+íÐóþ®öºíÐùõÐë›ñÃðBõ›ì‚ó)DìîðYõ

óYñÐìîóBø$îöóBñÃö‚ðYõõLöÐö‚÷4øùvóYõ¡óYñÐñÃðBï #ô1ðYìõDìõzý ³ñÃð5þ DëLö+íÐùõÓëñÃð

õì‚ó)DìîðYõ[ðBô1ö ñÃó)DìîðYõ Dëzóvð<ñÐñÃö‚÷›ñÃí Ðð DëLöõLö.<¾íÐùõÓëñÃðYõì‚ó)DìîðYõ ðYô1ö ñÃó)DìîðYõÏðYõ DëzódíÐùõÐë›ñÃðBõ›ì‚ó)DìîðYõ

óBñÐìîóYøîö

b¡c^gµ³w1’1±³ƒnLµƒ`µ³wOƒÌ¯“mn1u‚go^€HHnLqBg`ÅnLm4°Ðw1µ³µ²wL­m d­c^g`„ÅnJmBr@„^ƒcHu‚w1„^±³»nLqY±²w“„Âg`´1g`„Oqqn1¯Lg`m€^µ¼nLƒ`g1¹º¬Hw1qBcqBc^g

µ³w1’1±³ƒnLµ§ƒ`µ²wOƒ`¯wL°qBc^g4qBcHu‚gnL.g`pOg`ƒ`o^qB±³„^’qBc^gg`´1g`„@q›¹@nL„^JqBc^gµ³w1’1±³ƒnLµ6ƒ`µ³wOƒÌ¯wa°(qYc^gmBrO„^ƒcHu‚w1„^±³»nLqB±³w1„.´Ln1u‚±¼nL¬^µ³g

n1u‚g'±²„^ƒuxgfg`„@qYg`+¶Åbdc^g`„ qYc^g#€Hu‚wOƒ`g`mBmBwOu,nL„^ qYc^g#mBrO„^ƒcHu‚w1„^±³»nLqB±³w1„Å´Ln1u‚±¼nL¬^µ³gÂn1u‚g oBheOq de0na^GjJ¬@rQ¬§w1qBc

mBqBwOu‚±³„^’3qYc^gf.nLpO±foHfÉwL°qYc^g,q«­dwƒ`µ²wOƒ`¯J´znLµ³o^g`mnLm4qBc^g,„^g`­Wƒ`[email protected]„Jµ³w1’1±³ƒnLµ+ƒ`µ³wOƒÌ¯'´znaµ²o^gDCº±²’“oHu‚g‰^¶în

"!$#

&%±³mqBc^gd„^g`­Á´znLµ³o^g1¹Ê±³mqBc^gvw“µ²´LnLµ³o^g`¶bdc^±³mvfg`qBc^wOwL°Ho^€§HnLqB±³„^’,qBc^gdmBƒnLµ¼n1uºƒ`µ³w@ƒ`¯1m±³m„^w1qg`p nLƒ`qYµ²r

qBc^g,m5n“fgËnamqBc^g,fg`qBc^wO[€Hu‚w1€Hw“mBg`#¬Or[Õ+n1f€§w@u‚q¼h‰ «¹^¬^o^q±³mcHnLm4qBc^gmn1fg,ƒ`w1„^mB±³mBqYg`„^ƒ`r.€Hu‚w1€§gu‚qB±³g`m¶

b¡c^gg`p@g`ƒ`o^qB±³w1„,quBnLƒ`g`m6ƒ`w1„^mB±³mBq+wa° ndmYg!@o^g`„^ƒ`g¾wL° qY±fsg`mBq5n1f€^m›¹5w“„^gq5uBnLƒ`g€§gu6qBcHu‚gnL+¶Ó„w@ux^guHqYwu‚g`^o^ƒ`g

qBc^gn1fw1o^„OqdwL°—±³„O°Ð[email protected]±³w1„[qBw.mBqYw@u‚g1¹^„^w1q4qBc^g3nLƒ`qYoHnLµ6qB±¼fg`mBq5n1fs€^m¹O¬^o^qqBc^gqB±¼fg`mBq5n“f€#±³„^ƒu‚gfsg`„@qBm,n1u‚g

mBqBwOu‚g`+¶[bdc^±³m±³„O°àwOuBf.nLqB±³w1„ŠƒnL„ŬHg'°ÐoHu‚qBc^gu,u‚g`^o^ƒ`g`Á¬@rQmB€^µ³±³qBqB±³„^’QqBc^g.±³„^ƒu‚gfsg`„@qBm±³„@qBwÅn ^g`qBguBf±³„^±³mBqB±³ƒ

±³„^ƒu‚gfg`„Oq DqBc^g#fw“mBqƒ`w@f'fw1„ŃnLmYg'h`¹nL„^Fn„^w“„^^g`qBguBf±³„^±³mBqB±³ƒJ±²„^ƒuxgfg`„@q Ðna„ o^€§HnLqBgJ^o^g#qBwQn

mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„´zn1ux±na¬^µ²gqBcHnLqcHnamvn,c^±³’1c^guµ³w1’“±²ƒnaµHƒ`µ³w@ƒ`¯´znLµ³o^gDC+±³’1oHuxg‰^¶¬ `¶ ЄJ€Hu‚±³„^ƒ`±³€^µ²g1¹OmBqYw@u‚±³„^’,qBc^g

„^w1„^^g`qBguYf±³„^±²mYqB±³ƒ±³„^ƒu‚gfg`„OqBm¾€Hgu€Huxw@ƒ`g`mBmYw@u±³m®mYoOÑ#ƒ`±³g`„@qdqBwnLµ³µ²wL­Wn,ƒ`w@uBuxg`ƒ`qvu‚g`€^µ¼nr.nLm¾qBc^g^g`qBguBf±³„^±³mBqB±³ƒ

±³„^ƒu‚gfg`„OqBmƒnL„J¬Hgu‚g`ƒ`w@f€^o^qYg`+¶

±³mBqB±³ƒJ±²„^ƒuxgfg`„@qYmn1u‚g.„^w1„^»`guxwD±,mBqB±³µ³µ®naµ²µ³wL­mn[ƒ`w@uBuxg`ƒ`qËu‚g`€^µ¼n›r1¹ D±³±,^wOg`m3nLo^qBwOf.nLqB±³ƒnLµ³µ³rÂg`µ³±¼f±³„HnLqBgJqBc^g

q5u‚±³´O±¼nLµ6q5uBnL„^mB±³qB±³´1g,wOu‚^gu‚±³„^’1m¹,D±³±²±nLµ³µ³wz­4md°àwOu®na„[gÑ#ƒ`±³g`„@qƒ`wOf€Hu‚g`mBmB±³w1„JmBƒc^gfg1¶

bºw’1g`qn°ÃnL±³qBcO°ào^µ+u‚g`€^µ¼n›r1¹^±³q±³mmBoOÑJƒ`±²g`„OqqBwmBqnLµ³µ+gnLƒc#mBrO„^ƒcHu‚w1„^±³»nLqB±³w1„Jw1€HguYnLqB±³w1„[o^„OqB±³µ(naµ²µºmBr@„^ƒcHu‚wL©

„^±³»nLqB±³w1„[w1€§guBnLqB±³w1„^md­±³qBcÂnsm5f.nLµ³µ³gudqB±¼fg`mBqn1f€JcHn´“g¬§g`g`„[g`p@g`ƒ`o^qBg`+¶

-=Y 4,.03=[*-/4 8 32@k\,4,.!,7 354*-0/0&21 -/354 1 7 &;.0>O\

oHu‚±³„^’ÂqYc^gÏu‚g`ƒ`wOu‚Q€^cHnLmBgJ­®gJf±³’1c@qƒ`w1„^mB±³^gu,qYwµ³w1’QqBc^g.mBg!Oo^g`„^ƒ`gJwL°Õ+n1f€§w@u‚qqY±fsg`mBq5n1f€^m°Ðw@ugnLƒc

qBcHu‚gna+¶—ÝOo^€^€§w1mBgnqYcHu‚gnL[nLHnL€^qBmdqBc^g°Ðw1µ³µ³wz­4±²„^’mBg!Oo^g`„^ƒ`gwa°qB±¼fg`mBq5n“f€^m

# # # # # # # # # # ‚h

D°+­dgµ³w1’,gnLƒc.qB±¼fg`mYq5n1f€nLm®n,‡1¬^±³qv„OoHf¬§gu`¹LqBc^±³m®na€^€Hu‚w@nLƒc­®w“o^µ²’1g`„^guYnLqBgnL„#n1fsw1o^„@qwL°+HnLq5n4qBw¬Hg

µ³w1’1’1g`[wa° #

¬OrOqBg`m¹O­c^±³ƒ5c[±³mqBc^gm5n1fgnLm¾°Ðw@uЄ^mBqnL„@qjdg`€^µ¼n›r ¼hˆ «¶·Ê±³qBcqBc^gËj,ÕOb fsg`qBc^w@

w1„^µ³r,ndmBo^¬^mBg`q+wa° nLµ³µ1qY±fsg`mBq5n1f€^m6n1u‚gµ³w1’1’“g`nL„^,qBc^gu‚g°Ðw@u‚g+mf.nLµ³µ³gu6q5uBnLƒ`g`m6­±³µ³µO¬Hgv’“g`„^guBnLqBg`+¶+bdc^gvfsg`qBc^w@

±³m¬HnamBg`Âw1„qBc^gw“¬^mBgu‚´znaqB±³w1„[qBcHnLq±³„Qfw1mBqƒnamBg`m¹^qBc^gƒ`µ³w@ƒ`¯J±³mnLo^’@fg`„OqBg`[¬Or#w1„^g1¹§ƒ`w@uBuxg`mB€Hw1„^^±³„^’.qYw#n

^g`qBguBfs±²„^±³mBqY±²ƒ±³„^ƒu‚gfg`„Oq¶ÝO±³„^ƒ`g.qYc^gm5n1fsg^g`qBguBfs±²„^±³mBqY±²ƒo^€§HnLqBg.nLµ³’1w@u‚±³qBcHf ±³m,o^mBg`Q^oHu‚±³„^’Âu‚g`€^µ¼n›r1¹6­®g

^w1„q¾cHn›´1gdqBwµ³w1’qBc^w1mBgo^€§HnLqBg`m¶}4wL­®g`´“gu`¹qYc^g„^w1„^^g`qYguBf±³„^±³mBqB±³ƒ±³„^ƒu‚gfg`„OqBm®fo^mBq¾¬Hgµ³w1’1’1g`.±³„Jw@u‚^gu

qBwJ¬Hg.nL¬^µ³g.qBw[u‚g`ƒ`w1„^mYq5u‚o^ƒ`qqBc^gw@ux±²’“±²„Hnaµ—Õ+n“f€Hw@uxqqB±¼fg`mBq5n“f€^m¶,bdcOo^m¹H­dgw1„^µ³rÂcHn›´1gqBwJµ²w“’ÂnL„Âo^€§HnLqBg

wL°®n[Õ+n“f€Hw@uxqƒ`µ³w@ƒ`¯H¹6±À°dqBc^g±³„^ƒu‚gfg`„Oq,±³m,µ¼n1u‚’1gu4qBcHnL„w1„^g1¶,bdc^gu‚g°Ðw@u‚g1¹§qBc^g3j,ÕObÇfg`qBc^wOÂµ³w1’1mn'€HnL±¼u

wL°qB±¼fg`mBq5n“f€^md­c^g`„ÂqBc^g,^±À¿6gu‚g`„^ƒ`g¬Hg`q‚­dg`g`„[qBc^gfα³mµ¼n1ux’1gudqBcHnL„[w“„^g1¶®ÝOwH¹ °àw@u¡qBc^gnL¬HwL´1g,g`p^n1f€^µ³g­®g

ƒnL„[µ³w1’

# #

# #

# # А

bdc^±³mqB±¼fg1¹H­dgw1„^µ³r„^g`g`

¬Or@qBg`m›¶½vrw1„^µ³r[µ³w1’1’1±³„^’JqBc^±³mmBo^¬^mYg`q¹H­dgw1¬^q5nL±³„ÂnJu‚g`^o^ƒ`qB±³w1„

­¶îu ¶q¶Ó„^mBq5nL„Oqjdg`€^µ¼n›r1¶.bdc^g#j,Õ@bÉfg`qBc^wOÅf.n1¯Lg`m±³q€Hw“mBmB±³¬^µ³g#qBw[u‚g`^o^ƒ`g.qYc^g3„OoHf¬HguwL°dµ³w1’Âg`„Oq5u‚±³g`m¶

}4wz­dg`´1gu ¹gnLƒcJµ²w“’g`„Oq5u‚rmBqB±³µ³µu‚g!Oo^±¼u‚g`m‡1,¬^±³qBm›¶ 4wL­F­dg­±³µ³µqu‚rqBw3u‚g`^o^ƒ`gqBc^g„OoHf¬HguÒwL°+¬^±²qYmv°Ðw@ugnLƒc

µ³w1’.g`„Oq5u‚r1¹^nL„^[w1¬^qnL±³„ÏnL„Âna^^±²qY±²w“„HnLµ+u‚g`^o^ƒ`qB±³w1„[wL°qBc^g,q5uBnaƒ`g`m¶

·¸±³qBc#qYc^gËj,ÕObÔfg`qBc^wOÏnµ³±²mYqwL°’@uxwz­4±²„^’,„OoHf¬Hgu‚mdcHnLmdqBw¬Hg,q5uYnLƒ`g`+¶ÝOo^ƒcÏnµ³±³mBqƒnL„J¬Hg,g`„^ƒ`wO^g`

´1gu‚r'gÑ#ƒ`±³g`„@qBµ³rÂn›°ÐqBgu¾nL€^€^µ³r@±³„^’[nq5uBnL„^mx°à[email protected]‚±³w1„+¶+bdc^g,q5uBna„^m‚°àwOuBf.nLq‚±³w1„.±³m¬HnLmYg`[w1„[q‚­®w°Ónaƒ`qBm

qBc^gÈu‚mYq±³qBgf wL°n€HnL±¼uºwL°H„@oHf¬§gu‚m±³mvnLµ³­n›r@mºµn“u‚’1guºqBcHnL„wOu+g!OoHnLµOqBwqBc^gdµ¼nLmBq±³qBgf…±³„3qYc^gv€Hu‚g`´O±³w1o^m

€HnL±¼u%W

°àw@u¾gnLƒcJ€HnL±¼u

`¹±²mnLµ³­¡n›rOmd’@u‚gnLqBguÒqBcHnL„

! #1¶

bdc^±³mfgna„^mqBcHnLq¾­®g,ƒna„[q5uBnL„^m‚°Ðw@uBf…qYc^g,µ²±³mBq

±³„@qYw.qBc^g,µ³±³mBq

!

"

# $

#

# %

&

COw@udqYc^g,g`p n1fs€^µ²g,­dgw1¬^q5nL±³„[qBc^g,µ³±³mBq

# # Ї

~Òp@€§gu‚±¼fg`„OqBmƒ`w“„^^o^ƒ`qBg`Åw1„Q^±À¿gu‚g`„Oqg`p^n1f€^µ³g`m,mBc^wL­ÇqBcHnaqqBc^g'„@oHf¬Hguxm,­®gw1¬^qnL±³„ ¬OrÂo^mY±²„^’qBc^±³m

q5uBna„^m‚°àwOuBf.nLqB±³w1„Ân“u‚g.´1gu‚rm5f.nLµ³µÐ¶Ð„Š°Ónaƒ`q¹+n[mB±¼f€^µ³g[fg`qBc^wOÅ±³mo^mBg`ÅqBw[g`„^ƒ`wO^g#qYc^g.±³„^ƒu‚gfg`„OqBmwL°dqBc^g

µ³w1’1±³ƒnLµqB±¼fg©ÃmYq5n1f€^m±³„ nL„Qg`´1g`„ fwOu‚gƒ`w@fs€HnLƒ`q­n›r1¶ D°®qYc^g.±³„^ƒu‚gfg`„Oq,±²mm5f.nLµ³µ³guqBcHnL„Ő1‰“‰.­dgo^mBg.‘

¬^±³qBmqYw[­u‚±³qBg±³q3qYw[qBc^gµ²w“’[ÈHµ³g1¶D°qBc^g.±³„^ƒu‚gfg`„Oq,±³mµn“u‚’1guqBcHnL„Ő1‰ H¹6­dg3o^mYg"@ªJ¬^±³qBmqBc^g.´LnLµ³o^g#1‰1‰

Б›©Ã¬^±³q24°Ðw1µ³µ³wL­®g`Q¬OrÂqBc^g±³„^ƒu‚gfg`„Oq Ї1z©Ã¬^±²q+`¶3b¡c^±²m±³m3nJ´1gu‚rmB±¼f€^µ³g.ƒ`w@f€Huxg`mBmB±³w1„ naµ²’“w@u‚±³qBcHf[¹+nLµ³µ³wL­±³„^’

qBc^g,µ³w1’1±³ƒnLµ6ƒ`µ³wOƒÌ¯“mqYw3¬§g,ƒ`w@^g`QnL„^[^g`ƒ`wO^g`[´1gu‚r°ÃnLmBq¶

bdc^±³mmBg`ƒ`qB±³w1„[g`pO€^µna±²„^m,±³„^g`q5nL±³µ+c^wL­ÔqBw.o^€§HnLqBg,qBc^gµ³w1’1±³ƒnLµ+ƒ`µ³wOƒÌ¯“mnLqqYc^gg`pO€^µ²±³ƒ`±³q Ðfo^qBg`pOg`m¹Oƒ`w1„^^±³qB±³w1„

´zn“u‚±¼nL¬^µ³g`mnL„^ÂmBgf'nL€^c^w@u‚g`m2dnL„^±¼f€^µ³±²ƒ`±³qDqBcHu‚gnL[ƒuxgnLqB±³w1„ÂnL„^g`p@±³q24mBrO„^ƒ5cHu‚w“„^±²»naqB±³w1„[w1€HguYnLqB±³w1„^m¶Ð„O©

°Ð[email protected]±²w“„ w“„ u‚g`€^µ¼n›r@±³„^’QqBc^g`mBg'°ào^„^ƒ`qY±²w“„^m±³m.nLµ³mBwQ’1±³´1g`„+¶ b¡c^g#f.nL±³„ÁHnLq5n[q‚rO€Hg`mo^mBg` ±³„FqBc^gs°àw1µ³µ³wL­±³„^’

n1u‚g

v v v wyA| §.mBq5uxo^ƒ`qBoHu‚g±²„^ƒ`µ³o^^±³„^’[n€Hw1mY±²p[fo^qBg`p#nL„^[±³qBmnLmBmBwOƒ`±¼nLqBg`[µ³w1’1±³ƒnLµ6ƒ`µ³w@ƒ`¯§¶

v v v wy zAx y ^.mYq5u‚o^ƒ`qBoHu‚g4±²„^ƒ`µ³o^^±³„^’Ân€Hw1mY±²pJƒ`w1„^^±³qB±³w1„J´zn1ux±na¬^µ²gna„^[±²qYm¡namBmBwOƒ`±naqBg`#µ³w1’“±²ƒnaµƒ`µ³wOƒÌ¯

DmBg`gmBg`ƒ`qB±³w1„H¶î‡ ¶î‡`¶

bdc^gf'nL±³„3Hnaq5nmBq5u‚o^ƒ`qYoHu‚gdo^mBg`.^oHu‚±³„^’qYc^g¡uxg`€^µn›r€^cHnLmBgd±³m®nq5nL¬^µ³gƒ`w1„Oq5nL±³„^±³„^’,qBc^gƒ`oHuYu‚g`„@q´LnLµ³o^g`mvwL°6qBc^g

µ³w1’1±³ƒnLµƒ`µ³w@ƒ`¯1mwL°vqBc^gqBcHu‚gnL^m4wL°—qYc^g„^wO^g1¶Ë~¾nLƒc[qBcHu‚gnLQu‚gnL^mnL„^­u‚±³qBg`m±³qBmwL­„[µ³w1’“±²ƒnaµƒ`µ³wOƒÌ¯J´LnLµ³o^g

nL„^Âu‚gna^m®qYc^g´LnLµ³o^g`mwL°qBc^g,µ³w1’1±³ƒnLµ6ƒ`µ³w@ƒ`¯1m4wL°qBc^g,w1qYc^guvqYcHu‚gnL^mdwL°qBc^g,„^wO^g1¶{ƒ`ƒ`g`mBmBg`m4qBwqBc^±³mq5nL¬^µ³g,±³m

€Hu‚w1qYg`ƒ`qBg`#¬Or[nµ³wOƒÌ¯§¶Ó„ÂqBc^gqBg`pOq¹OqBc^g°àw“µ²µ³wL­±³„^’°Ðo^„^ƒ`qB±³w1„^mn1uxgo^mBg`

%x Av%|%x O.qBc^±³md°ào^„^ƒ`qY±²w“„[±²„^ƒuxgfg`„@qYmqBc^g,qBcHu‚gnamvµ³w1’1±³ƒnLµºƒ`µ²wOƒ`¯H¶

cw 1JqBc^±³m°ào^„^ƒ`qB±³w1„Áo^€HHnaqBg`mqBc^g#µ³w1’“±²ƒnaµ®ƒ`µ³wOƒÌ¯“mwL°¬§w1qBcÅqBc^gJqBcHu‚gna g`pOg`ƒ`o^qB±³„^’QqBc^g.°Ðo^„^ƒ`qB±³w1„FnL„^

qBc^g,w1¬@yYg`ƒ`qd±²„O´1w1µ³´1g`+¶ Ðqq5n1¯Lg`mdqBc^g,w1µ³[µ³w1’1±³ƒnLµºƒ`µ²wOƒ`¯JwL°—¬§w1qBc+¹Oq5n1¯ag`m®qYc^gf.nLpO±foHf[¹^nL^^m4w1„^gnL„^

o^€HHnLqBg`mqBc^gƒ`µ³w@ƒ`¯wL°v¬Hw“qBcQqBc^gqBcHu‚gnLQnL„^QqBc^gw1¬@yYg`ƒ`q¶bdc^±³m°Ðo^„^ƒ`qB±³w1„Q±²mw1„^µ³rÂg`pOg`ƒ`o^qBg`Q^oHu‚±³„^’

qBc^g.u‚g`ƒ`w@u‚Q€^cHnLmBg1¶"à°®qBc^g'±²„^ƒuxgfg`„@q,wa°®qBc^g.ƒ`µ³wOƒÌ¯ wL°®qYc^g.qBcHu‚gnL±³mµ¼n1u‚’1guqYcHnL„Qw1„^g1¹+­dgµ³w1’[qBc^g

±²„^ƒuxgfg`„@qDmYg`g°àoHu‚qYc^gu*`¶

v cw {v§.qBc^±³m°ào^„^ƒ`qY±²w“„Ń5c^g`ƒ`¯“m±À°qBc^gƒ`oHuBu‚g`„OqqYcHu‚gnLQƒnL„Q€Hu‚wOƒ`g`g` ­4±²qYc ±³qBm,ƒ`oHuYu‚g`„@qµ³w1’1±³ƒnLµƒ`µ³wOƒÌ¯§¶

b+w^w.qBc^±³m¹ qBc^g,qB±¼fg`mBq5n“f€.±³mƒ`wOf€Hn1u‚g`J­±³qBc[qBc^g,ƒ`µ³wOƒÌ¯“mwL°—naµ²µºqBc^g,w1qBc^gu¾qBcHu‚gna^m¶&D°qBc^g,qBcHu‚gnL

g`p@g`ƒ`o^qB±³„^’ v cw lv [cHnLm¾qBc^gm5f.nLµ³µ³g`mBqvƒ`µ³wOƒÌ¯s±²qd€Hu‚wOƒ`g`g`^m¹“±î°„^w1q¾qBc^gqBcHu‚gna.’1wOg`mvqBwmBµ³g`g`€+¶vbdc^±³m

°ào^„^ƒ`qB±³w1„[±³mw“„^µ²rJg`pOg`ƒ`o^qBg`[^oHu‚±³„^’#qYc^gËu‚g`€^µ¼n›rJ€^cHnLmBg1¶

v cw Ax ^#qYc^±²m°Ðo^„^ƒ`qB±³w1„QƒnLµ³ƒ`o^µ¼nLqBg`m,qBc^g„^g`pOqqY±fsg`mBq5n1f€ °àwOuqBc^gƒ`oHuBuxg`„@qqBcHu‚gnL °Ãu‚w@fÎqBc^g±³„O°Ðw@u ©

f.nLqB±³w1„Qu‚g`ƒ`w@u‚^g`Q^oHu‚±³„^’ÂqYc^gsuxg`ƒ`w@u‚Q€^cHnLmBg,nL„^Ån›­n1¯Lg`„^mqYc^g.qBcHu‚gnL­±³qBcÅqBc^gm5f'nLµ³µ²g`mYq,µ²w“’1±³ƒnLµ

ƒ`µ²wOƒ`¯H¶bdc^±³m4°ào^„^ƒ`qB±³w1„[±³mnaµ²mYw.w1„^µ³r#g`pOg`ƒ`o^qBg`[^oHu‚±³„^’#uxg`€^µn›r;W

KML™×OšHÜ Q™›×@š^˜%HDÛOFWš0FÜ )HD˜

bdc^gƒu‚gnLqB±³w1„FwL°3nqBcHu‚gnL Dw cw! QnL„^¸qBc^g3yYw1±³„^±³„^’ wL°nŠqBcHu‚gnL Dw"#cz %x$?w%! Qn1uxg[±fs€^µ²±³ƒ`±³q

mBrO„^ƒ5cHuxw1„^±³»nLqB±³w1„Q€Hw1±³„OqBm YC+±³’1oHu‚gJˆ,nLµ³µvg`´1g`„OqBm,g`pOg`ƒ`o^qBg`Å¬Or n „^g`­µ³r ƒuxgnLqBg`QqBcHu‚gnLQcHnL€^€§g`„ÅmBq5ux±²ƒ`qYµ²r

n›°ÐqBgu'qBc^gQg`p@g`ƒ`o^qB±³w1„WwL° w" &?w!nL„^WqBc^gQg`´1g`„OqBmJg`p@g`ƒ`o^qYg`¬OrnÁqYcHu‚gnLnz°àqBgu'qBc^gg`p@g`ƒ`o^qB±³w1„ wL°

w#z %x& w! cHnL€^€§g`„FmBq5u‚±³ƒ`qBµ³rFn›°ÐqBgunLµ³µqYc^g#g`´1g`„OqBmwL°,qBc^gJqBcHu‚gnLÁqBcHnLq^±³g` Do^mB±³„^’ w%' ( v wy`¶

{µ²qYc^w1o^’1cQ±³q±³m„^w1q„^g`ƒ`g`mBm5n1uxr[qBwÂu‚g`ƒ`w@u‚QqBc^g`mYg.g`´1g`„OqBm°àwOun ƒ`w@uBu‚g`ƒ`q,u‚g`€^µ¼n›r1¹+±³q±³m„^g`ƒ`g`mYm5n1u‚r °àw@u,j,ÕOb

qBcHnLq¾qBc^g,ƒ`µ³w@ƒ`¯“m¡n“u‚go^€§HnLqBg`+¶~¶’H¶1±³„ Cº±²’“oHu‚g$qBc^gƒ`µ³wOƒÌ¯“mn1uxg„^w1q¾o^€HHnLqYg`ÂnLqdqBcHu‚gnL.ƒuxgnLqB±³w1„Jw@ug`pO±³q¶

bdc^±³m­±³µ³µµ²gna[qBw^gnL^µ³w@ƒ`¯J^oHu‚±³„^’#u‚g`€^µ¼n›r qBc^g,g`´“g`„@qdw1„[qBcHuxgnL h#DqB±¼fg`mBq5n“f€)hcHnam®qYw3¬§gg`pOg`ƒ`o^qBg`

¬Hg°Ðw@u‚g[qYc^g[mBg`ƒ`w1„^Êg`´“g`„@qw1„FqBc^gmBg`ƒ`w1„^FqBcHuxgnL DqB±¼fg`mBqn1f€),­c^±³µ²gqBc^g*' ( vcwly +$#z%x w!

ƒ`w1o^€^µ³g[^gf.nL„^^ms°àw@uqBc^g[w1€^€§w1mB±³qBg[w@u‚^gux±²„^’§¶ bdc^gu‚g°Ðw@u‚g1¹qBc^gJµ³w1’1±³ƒnLµƒ`µ³wOƒÌ¯“m#n1uxg#o^€§HnLqBg`Á^oHu‚±³„^’ÅqBc^g

u‚g`ƒ`w@ux €^cHnLmYg1¶ w“qBg[c^wL­®g`´“gu,qBcHnLq±³qJ±²mTFÛ§˜Â„^g`ƒ`g`mBm5n“u‚rÅqBwQg`„O°Ðw@u‚ƒ`gÂnQ­nL±³qƒ`w1„^^±³qB±³w1„ à¬HnLmBg`Áw1„FqBc^g

µ³w1’1±³ƒnLµ6ƒ`µ³w@ƒ`¯“m2¾^oHu‚±³„^’3qYc^gËu‚g`€^µ¼n›r.€^cHnLmYgqYc^gw1€§guBnLqB±³w1„^mdn1u‚g€Hu‚w1€§gu‚µ³r.mBrO„^ƒ5cHu‚w“„^±²»`g`J±³„Ân^g`qBguBf±³„^±³mBqB±³ƒ

­n›r1¶ „^g3fo^mBqdc^wL­dg`´1gug`pOg`ƒ`o^qBgnv cw Ax" }~qYw3o^€§HnLqBg,qBc^g,µ³w1’“±²ƒnaµ+ƒ`µ³w@ƒ`¯H¶

T2 T1

JoinSlave NewSlave

ExitThread

Cº±³’1oHu‚gˆ Ãf€^µ³±³ƒ`±³qmBrO„^ƒcHu‚w1„^±³»nLqB±³w1„J±³„ žd +¢6£¤›£¥›¦§£¨&qBcHuxgnL#ƒuxgnLqB±³w1„ÂnL„^[g`pO±³q¶

T2 T1

JoinSlave NewSlave

ExitThread 1

1

2

C+±³’1oHuxg ${Çu‚g`ƒ`w@u‚^g`Jg`p@g`ƒ`o^qY±²w“„[qBcHnLqd­±³µ³µµ³gnL[qBw^gnL^µ³wOƒÌ¯'^oHu‚±³„^’[u‚g`€^µ¼nr1¶

T1 T2 1

2 2

3

T1 T2

1

7 4

6 2 3 5

Cº±²’“oHu‚gϑ 4g`mBqBg`Ffo^qBg`pÂw1€§guBnLqB±³w1„^mµ³gnL^±³„^’ qYw^gnL^µ³wOƒÌ¯ qYc^g#g`pOg`ƒ`o^qB±³w1„Á±²„ÁqBc^g.µ³g°ÐqÈH’1oHu‚g.µ³gnL^mqBw

^gnL^µ³wOƒÌ¯'^oHu‚±³„^’#u‚g`€^µ¼n›r ¾nƒ`±¼u‚ƒ`o^µ¼n1ud^g`€Hg`„^^g`„^ƒ`rÂn“u‚±³mBg`m¶buYnLƒ`±³„^’.qBc^g,o^„^µ³w@ƒ`¯'w1€HguBnaqB±³w1„^mnLµ³µ²g`´O±¼nLqBg`mqBc^±³m

Dg`pOg`ƒ`o^qB±³w1„[^g`€^±³ƒ`qBg`Â±³„[qBc^gux±²’“c@q¾ÈH’1oHu‚g ¶

) ˜`× 6×^–

‹[o^qYg`p@g`m,n1u‚gnLµ³­n›r@m4o^mBg`Â±³m€HnL±¼u‚m¾qBc^gm5n“fg,qBcHu‚gnL[g`pOg`ƒ`o^qBg`mqYc^g_gXqËnL„^ e0gXq€Hu‚wOƒ`g`^oHu‚g`m¶COwOun

ƒ`w@uBuxg`ƒ`qvu‚g`€^µ¼nr1¹“­dgcHn›´1gqBwq5uBnLƒ`gdqBc^gwOu‚^guwL°+qBc^g4µ²wOƒ`¯w1€HguYnLqB±³w1„^m¶ ÐqvmYg`gfmvo^„^„^g`ƒ`g`mBmn1u‚rqBw3uxg`ƒ`w@u‚qBc^g

w@u‚^gu4wL°vqBc^go^„^µ³wOƒÌ¯2WnLmo^„^µ³w@ƒ`¯w1€HguYnLqB±³w1„^m,nLµ³­¡n›rOmd°Ðw1µ³µ²wL­ n'µ³w@ƒ`¯[w1€§guBnLqB±³w1„+¹+na„^Â„^w[w1qBc^gu4w1€§guBnLqB±³w1„^m

w1„FqBc^gJm5n1fsgÏfo^qBg`pŃna„F±²„OqBgu‚´“g`„^g1¶Í}4wL­dg`´1gu`¹+qYc^±²m'µ²gnaFqBwQ^gnL^µ³w@ƒ`¯Å±À°3nL„FnL€^€^µ³±³ƒnLqB±³w1„Fo^mBg`m'„^g`mBqBg`

µ³w@ƒ`¯-Lo^„^µ³w@ƒ`¯Å€Hna±uxm¶ COw@u'g`p n“f€^µ³g1¹vqBc^g[µ³g°Ðq.g`pOg`ƒ`o^qB±³w1„F±³„ Cº±²’“oHu‚g ‘Qµ³gnL^mJqBwQ^gnL^µ³wOƒÌ¯Š^oHu‚±³„^’Íuxg`€^µn›r1¹

­c^±³µ³g#qYc^gsux±²’“c@q,g`pOg`ƒ`o^qB±³w1„Ł^wOg`m„^w1q›¶.bdc^g.µ¼nLqBqBgug`pOg`ƒ`o^qB±³w1„ naµ²mYw[o^€HHnLqBg`mqBc^gµ³w1’1±³ƒnLµvƒ`µ³wOƒÌ¯QnLq,o^„^µ³wOƒÌ¯

w1€§guBnLqB±³w1„^m¶ w“qBgc^wz­dg`´1gu4qBcHnLq,qYc^g`mBg.o^€HHnaqBg`m3n1uxgsnaµ²­n›rOm,^g`qBguBf±³„^±³mBqB±³ƒ1¹nL„^Åc^g`„^ƒ`g.qYc^g`rn“u‚g.„^g`´1gu

u‚g`ƒ`w@ux^g`+¶

b¡c^g±³„^mBq5uxoHfg`„@qYg` w {vcwly |"& z3±³mmBc^wL­„±³„bnL¬^µ³ghvna„^,qBc^g±³„^mBqu‚oHfg`„OqBg` w vcwy

| xcz ű³mmBc^wL­„J±²„Qbna¬^µ²g^¶

bnL¬^µ³g.h¾bdc^g±³„^mBqu‚oHfg`„OqBg`Ân1¯“€^qBcHu‚gnL fo^qBg`pdµ³w@ƒ`¯€Hu‚w@ƒ`g`^oHuxg1¶

u‚g`ƒ`w@u‚ u‚g`€^µ¼n›r

v cw {v=}X~

v cwy ?| $cz ,}X~ {vcwy ?| $z ,}X~

cw )}~ v cw Ax }~

bnL¬^µ³gbdc^g,±³„^mBqu‚oHfg`„OqBg`Ïn“¯1€^qBcHuxgnL fo^qBg`pdo^„^µ³wOƒÌ¯§¶

u‚g`ƒ`wOu‚ u‚g`€^µ¼n›r

cw& ;}c~ v cw {v=}X~

| lx cz ,}X~ | xcz ,}X~

v cw Ax }~

QÛOFÜ5HD˜%HDÛOF,š^™AHüš^•*D× –

|dw1„^^±³qB±³w1„J´zn“u‚±¼nL¬^µ³g`m®mYc^w1o^µ³ÏnLµ³­n›r@m¾¬Hg,o^mBg`J±³„#ƒ`w“„^„^g`ƒ`qB±³w1„#­4±²qYcÏnfo^qBg`p6¶ Є[qYc^g`w@u‚r1¹1n€Hu‚wOƒ`g`^oHu‚gw“„#n

ƒ`gu‚q5na±²„ƒ`w1„^^±³qB±³w1„´Ln1u‚±¼nL¬^µ³gƒnL„w1„^µ³r¬§gdg`p@g`ƒ`o^qBg`'­c^g`„qBc^gdƒ`w@uBu‚g`mB€§w1„^^±³„^’Ëfo^qBg`p,±³m¾c^g`µ²+¶bdc^g¾°Ðo^„^ƒ`qB±³w1„