SPAM : a multiprocessor execution driven simulation Kernel

(1)

HAL Id: inria-00074707

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

Submitted on 24 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

SPAM : a multiprocessor execution driven simulation Kernel

Alain Gefflaut, Philippe Joubert

To cite this version:

Alain Gefflaut, Philippe Joubert. SPAM : a multiprocessor execution driven simulation Kernel. [Re- search Report] RR-1966, INRIA. 1993. �inria-00074707�

(2)

ISSN 0249-6399

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

a p p o r t

d e r e c h e r c h e

1 9 9 3

PROGRAMME 1

Architectures parallèles, bases de données, réseaux et systèmes distribués

SPAM: A Multiprocessor Execution Driven Simulation Kernel

Alain Gefflaut, Philippe Joubert

N˚ 1966

mars 1993

(3)

(4)

*) +,(# - ./#0

12436587 9:<;=36>@?BAC,D@582858E@E:FHG6>I:KJ*?ML

NPORQTSTOVU*W(WYX,Z\[ ]O_^_`badcRXe^fchgBOhXeiPjkUeO_U*lmlonXplmXeifqKrkUTi4Xei/s<Xts<QTubuwvXpXeifqbOBvXeixXyU*gbz

Xpci4{bi4cpnXpW(Xyi|s<a}ixchORadrbgwvXei

NPOhQT~4XpcN

U*jbjkQTORc.s<X.OhXy^`bXO_^_`bXukZpT[ WU*OVi!ZpT[ T,jkUeSTXei

Yfy*BTO_U^fXs<OhamXpui4adWgblUechadQua}iU0|Xplml|KubQe/uchXe^_`buba} gbX,¡¢QTO,jkXpO4¡¢QTOR£

W$U*uk^fX¤XpU*ldg¥U*chamQTuQ*¡¦ixaduBSTldX.jbORQK^fXeiRixQTO\^fQTW(jBgbchXpOVif§¨Qe|XpXpOq<cRO_UT^©XsKOhadXuixamW(£

gBlU*cRadQu,aduKchOhQKsKgk^fXeiPsKaixcRQTORchadQukiP/`bXpu,gki4XeschQi4adWgblUechXPWgbldcRadjbORQK^fXeiRixQTOU*OV^`BadchXy^f£

cRgbOhXyif§@ªPz<Xy^fgbchamQTus<ORadXpuYixamW«gbl}U*cRadQTuYaicR`bX.QTublm{(chXy^`buBa gbXcR`kU*cSTamXei|U^p^fgbOVU*cRX

i4adWgblUechamQTu¬ORXeixgblmc_i¡¢QTOW«gBldchamjbOhQK^©Xeihi4QTOU*OV^`BadchXy^fchgbORXeicR`bQTgBST`®adcais<a°¯^fgBldc,chQ

amW(jblmXpW«Xu<c§

|`ba}i!jkU*jkXpOjbOhXei4XpuKc_iKN6]¤±¬qUi4adWgblUechadQuXpORubXplMch`kUec,i4adW(jblma³²kXyi&cR`bX^fQTuB£

i4chORgk^fchamQTuQ*¡XpzKXe^fgbcRadQu(s<ORadXpu$ixadWgbl}U*chQO_i¡¢QTOi4`kU*ORXes(W(XpW(QOh{W«gblmchamjbOhQK^fXyihixQO_i©§

|`BX(XpOhuBXplPjbORQ*KasKXeiUchO_U^faduBSchQQlU*uksUixXpcQ*¡jbORadW(amchadXyi&/`ba}^`´U*lmldQeµch`BX

Xz<Xe^©gbchamQTuqchOVUT^famubSU*u¥s¶i4adWgblUechamQTuQ*¡¦ix`kUeOhXes(W(XpWYQTOh{jkU*OVU*lmldXplHU*jbjblma^pUechamQTuki@QTu

UYixaduBSTldX.jbORQK^fXeiRixQTO\^fQTW(jBgbchXpO§/|`bXj·XOx¡¢QTORWU*u¥^fX.Q*¡ch`bXXpOhuBXplUeldldQei/ch`bXtixamW(£

gBlU*cRadQu¶Qe¡@OhXyU*lMixam¸pXes«j¥U*O_UeldlmXplMU*jbjBlda^U*chamQTuki|amuUOhXeUixQTuBukU*rblmXcRadW(X§

¹º»¼R½¾·e¿MTXpzKXe^fgBchadQuÀs<OhamXpuÀixadWgbl}U*chamQTuqPj¥U*O_UeldlmXplUTsbsKOhXeiRi«chOVUT^fXei©q|i4`kU*ORXes

WYXpW(QTOR{WgbldcRadjbORQK^fXeiRixQTOVi

ÁÃÂtÄ

Å8Æ4ÇpÈ

Ä

Å@ÉÊdÆÌËÎÍ_Ï

ÐxÑ4Ò¤ÓÔÖÕ<×ØÕ°Ó_ÔÚÙKÛÝÜPÑ8Þ¤ÓßeàoáÔÚâ¢ÔÚãoÓ*ÛämâRå©æ¥çeÔÚÕÖÔÚèeèTÑ©Ûé©êfßeëTÑ4â¢à8áMÔÚâÎÔÖã8ÓeÛämâ

Unit´e de recherche INRIA Rennes

IRISA, Campus universitaire de Beaulieu, 35042 RENNES Cedex (France) Téléphone : (33) 99 84 71 00 – Télécopie : (33) 99 38 38 32

(5)

+ R. t¤ 0(# ( " ) |@P. 0/

º<º U0i4adWgblUechadQuÀnU¶jkUeOhcRadO,sKX«cRO_UT^©XeisÖUTs<ORXeihi4XeiXyixcgBubX(chXy^`buBa gbX

^©lUTiRixa} gbXjkQTgbO@lRvXpU*lmgkU*cRadQTuts<XeijkXpO4¡¢QTORWU*uk^©XeisKXeiW(QubQTjbORQK^fXeiRixXpgbOVif§QTgBchXf¡¢Qaifq

lÚUejbjblda}^pU*cRadQusKX,^fXpcRchXchXe^_`buba} gbXnU«lRvXpchgksKXsKXei!U*OV^`BadchXy^fchgbORXei|WgbldcRadjbORQK^fXeihi4XpgbOVi

sKQTububXs<XyiObvXei4gbldcVU*c_iamW(jbOBvXe^fai©§XpgBldX(l}U0ixadWgbl}U*chamQTu´^fQQTOVs<QTuBu/vXpXnUlXpzvXe^fgBchadQu

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

s<QTuBubX(sKXei!ObvXei4gbldcVU*c_i.jbOBvXy^faijkQgbO,^fXc4{<jkXYsÚUeOh£

^_`bamchXe^fcRgbOhXWUeaiXyixcs<a°¯^famldXtnUWYXpchcROhXXpu54gB<ORX§

KN ]!± Xeixc@gbuubQe{KU*gYs<X¤ixamW«gbl}U*cRadQTut gBakixamW(jblda°²kX@lU.^fQukixcROhgk^fcRadQu(s<X¤ixamW«gBlU*£

cRXpgbOVi|s<X!WgblmchadjBOhQK^fXeiRixXpgBO_i/nUW XW(QTamOhX|j¥U*OhcVU*Svv XpX§b6X¤ubQe{KU*gjbOhQjkQixX.gbuYQTgbcRadlsKX

cRO_U76^pU*SX!Ueaduki4a6 g8gbu,Xpuki4XpW«rBldXs<XjbOhamW(adcRadTXyi6j·XOhW(XpcRc_Ueu<cMlXpzvXy^fgbchamQTuqplmX/chOVU96^pUeSTX

Xc,lUixadWgbl}U*chamQTu´sÚUejbjblma^pUechadQuki,jkU*OVU*ldlonXpldXyi(nU0W®vXpW(QadOhX,j¥U*OhcVU*SvXpX0i4gbO«gBubXWUe£

^_`bamubX.W(QTubQjbOhQK^©Xeihi4XpgbOp§ 6XeijkXpO4¡¢QTORWU*uk^©Xei/s<g0ubQe{KU*gsKX,ixamW«gBlU*cRadQuixQu<c!cRXpldlmXei

g8XpldlmXei ORXpuks<Xu<cPjkQ ihixamrbldX¤lU.ixamW«gbl}U*cRadQTutsÚUejbjblma^pUechadQukiPjkU*OVU*lml8nXplmXeiOBvXyU*lda}ixcRXeiPsbUeuki

gBu¶cRXpW(jki@O_UeaixQubukUerbldX§

: ¾bef¼V;2º ixadWgbl}U*chamQTu"^fQQTOVs<QTubuwvXpXnU(lXpzvXy^fgbchamQTuqbcRO_U^fXei.sÚUs<OhXyihixXyisKX,jbOhQ£

SO_UeW(W(XeiPjkUeO_U*lml

n

lmXeifqKW«gblmchamjbOhQK^fXyihixXgbO_i¤nUW®vXpW(QadOhX/j¥U*OhcVU*SvXpX

(6)

Z

#$P| &$#

adWgblUechadQua}i\QubX(Qe¡ch`bXW(Qi4c!/asKXpld{gkixXeschXe^_`buba} gbXyi&¡¢QTO.jkXpOx¡¢QOhWUeuk^fXXpU*£

lmgkU*cRadQu0Q*¡^©QTW(jbgBchXpOi4{bi4chXpWi©§8u0cR`bX,XeU*ORld{s<Xei4adSu¬i4c_U*SXqi4adWgblUechadQujbOhQeKas<Xei

U^`BXeU*j(wUp{«cRQ,^fQW(jkU*ORX!^©QTW(jkXpcRadubSs<Xei4adSuixQldgbcRadQTu¥i|UTi|Xpldl Uich`BX!rkXp`kUp<amQTgbO

Qe¡wUSadXpu"s<XeixamSTugbuks<XpO¤TUeOh{KadubS|QOhKldQ UTsbi©§adWgbl}U*chamQTu(a}i&j¥U*OhcRa^fgBlU*ORld{(g¥ixXf¡¢gbl

¡¢QO,i4`kU*ORXesW(XpWYQTOh{WgbldcRadjbORQK^fXeiRixQTOVi/`bQ ixX(jkXpO4¡¢QTOhW$U*uk^fX,`BXeUp<amld{0sKXpjkXpuksbi.QTu

cRaduK{«amu<cRXpO_U^fchamQTuki|/amch`bamu(ch`BXWYXpW(QTOR{ix{BixcRXpW Q*¡ch`BXUeO_^_`badcRXe^fcRgbOhX§

|`bXt^flUihi4a^pUelamW(jbldXW«X©u<cVU*cRadQTuYQ*¡UeuU*O_^_`bamchXe^fcRgbO_Ueli4adWgblUechQTO/g¥ixXeiUTiamubjbgbc

cRQ«cR`bX,UeO_^_`badcRXe^fcRgbO_Uel6W(QKs<XlMU*u0Usbs<ORXeihi/chOVUT^fXt^fQTlmldXe^fcRXes(s<gBOhaduBS(U,jbOhX<amQTgki/XpzKXp£

^©gbchamQTu(Qe¡UjbOhQSTO_UeW0§K|`bai@chOVUT^fX.sKOhadXu(i4adWgblUechadQu,chXe^_`buba} gBX/`kUTi|rkXpXpuY/as<Xplm{

g¥ixXes¶¡¢QO!ch`bXi4chgksK{Q*¡&^pUT^_`bXW(XpW(QOhadXiQu¬i4adubSldXjbOhQK^fXyihixQOix{BixchXWif§ ¨Qe|XpXO

cRO_U^fXs<OhamXpuixamW«gBlU*cRadQu«a}i|ubQTc|Xplmli4gbadcRXes(chQch`bXixamW«gBlU*cRadQu«Qe¡@jkU*OVU*lmldXplHU*jbjblmad£

^U*chamQTukiOhgbubuBadubSQTu0WgbldcRadjbORQK^fXeiRixQTOUeO_^_`badcRXe^fcRgbOhXei|rkXe^U*gki4X,ch`bXXpz<Xy^fgbchamQTujkUech`

cR`bOhQgbST`Àch`bX$U*jbjblma^pUechamQTuqU*uks`bXpuk^fXch`BXUsbs<ORXeihicRO_UT^©X¶cRQ0rkXi4adWgblUechXes qs<Xp£

jkXpu¥sbi!QTu¬cR`bX,c_UeOhSTXc,U*OV^`BadchXy^fchgbORX§ ª¦zKXe^fgBchadQus<OhamXpuixamW«gBlU*cRadQu0^fQOhOhXy^fc_icR`bai

sKO_Up/rkUT^_.r<{¤aduKchXpORldXeUpKadubSch`bXXpz<Xy^fgbchamQTuU*u¥schO_U^faduBSQe¡kch`bXjkU*OVU*lmldXplKUejbjblda}^pU*cRadQu

/amch`adcVii4adWgblUechamQTu§ ªPz<Xe^©gbchamQTus<ORadXpui4adWgblUechadQu0^fQu<cROhQli!ch`bXYUTsBs<OhXeiRicRO_UT^©X

SXpubXpOVU*cRadQTucRQXpu¥ixgbORX¶cR`kU*c,cR`bXchOVUT^fX^fQOhOhXyixjkQTuksBicRQcR`bXQTubXch`¥U*c|QTgBls¬rkX

Qrbc_UeadubXys$a°¡PcR`kU*cUejbjblma^pUechadQu/UTiUT^©chgkUeldld{XpzKXe^fgbcRXes«Qu¶cR`bXU*OV^`bamchXe^©chgbORX!rkXpadubS

i4adWgblUechXes §u<¡¢QOhchgBukU*cRXpld{qKXpzKXe^fgbcRadQTu$s<OhamXpu(i4adWgblUechamQTuai|Wgk^`,WYQTOhX\^fQTW(jBldad£

^U*chXys cRQ0adW(jBldXpWXpuKc!ch`kUeuchO_U^fXs<OhamXpui4adWgblUechadQurkXe^U*gki4X¶Qe¡!cR`bXubXe^fXyihihUeOh{

amu<cRXpO_U^fchamQTuki@rkXpc4|XpXpucR`bXixadWgbl}U*chQOU*uksch`bXixamW«gBlU*cRXesU*jbjblma^pUechamQTu§

KN ]!± ai/U,ixamW«gBlU*cRadQu«XpORubXplHU*uks(chOVUT^famubSchQQTl/`Ba^_`¶ORXpldamXpXei@U*OV^`BadchXy^fchgbORX

sKXeixamSTubXpOVi&¡¢OhQW ch`bX,rBgbO_s<Xu0Q*¡/amW(jblmXpW«Xu<cRa³uBSU¶^©QTW(jblmXpchX.XpzKXe^fgBchadQus<OhamXpu0i4ad£

Wgbl}U*chQOp§]ldQubS/amch`tUi4adW(jblmXj¥U*O_UeldlmXpljbOhQSTOVU*W(W(amubS/W(QKs<Xl*¡¢QTO¦ix`kUeOhXes.W(XpW(QOh{

Uejbjblma^pUechadQukifqPKN ]!± Q XpOViUi4Xpc.Q*¡jbORadW(amchamTXei|cRQOhXchOhamXpXcR`bXYUTsbs<ORXeihi.chOVUT^fXei

¡¢ORQTW ch`BXUejbjblma^pUechadQujbOhQK^fXyihixXyi!U*ukschQXpu<¡¢QO_^fX.ch`BX^©QTOhORXe^fc/XpzKXe^fgBchadQuQTO_sKXpOQe¡

cR`bXU*jbjBlda^U*chamQTugbuksKXpOixamW«gbl}U*cRadQTuH§

|`bX0ORXpWUeaduks<XO,Q*¡ch`ba}ij¥U*jkXpOai,QTORSU*uBaixXys Ui¡¢QTlmldQeif§|`bX0ubXpzKcYixXe^fcRadQu

XzbUeW(adubXyi\cR`bX(¡¢gbuksbUeW(XpuKc_Uel|jbORQTrblmXpWiQe¡ixamW«gBlU*cRadubSi4`kU*ORXes W(XW(QTOR{0jkU*OVU*ldlmXpl

UeO_^_`badcRXe^fcRgbOhXei@Ueuks«aduKchORQKs<gk^fXyich`BX!XpzKXe^fgbcRadQTuYs<ORadXpuYixamW«gbl}U*cRadQTu,cRXe^_`buba gbX§KXe^f£

cRadQu«jbOhXyixXpuKc_i/ch`bXjbOhQSTOVU*W(W(amubS,W(QKs<XlPi4gbjbjkQTORchXesrK{ch`bXi4adWgblUechadQuXpOhubXl

Ueuks0ixXy^fchamQTus<XeiR^fOhamrkXei&`BQ* U*u0XpzKXe^fgbcRadQusKOhadXuixamW«gbl}U*cRQTO^pUeurkX^fQTu¥ixchORgk^f£

cRXes/amch`®KN6]¤±¬§MadukUeldld{ qi4Xe^fcRadQTu0s<Xpc_Ueadl}ich`BX^fgbOROhXpuKcamW(jbldXW«XpucVU*cRadQTuUeuks

jkXpO4¡¢QTORWU*uk^©X!Q*¡@cR`bX.chOVUT^famubS,chQQlPUeuksi4adWgblUechadQu«XOhubXplo§

(7)

"e) +,(# /*#!¬p

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

|`BX|chOVUTs<amchamQTukUel<wUy{.Qe¡kadW(jBldXpWXpuKcha°ubS/UeuU*OV^`bamchXe^©chgbOVU*li4adWgblUechQOaichQgkixX

&0

$& "'(# )+ ",-/.102 "!#

§k|`BaicRXe^_`buba gbX¤s<adKasKXeiPch`bX.i4adWgblUechamQTuYix{BixchXW amu<cRQc4|Qadub£

sKXpjkXpuks<XpuKc^fQTWYj·QubXpuKc_i0/<UeuUTsBs<OhXeiRiSXpubXpOVU*chQO/Ueuks(UWYXpW(QTOR{21ubXpc4|QOh.chamW(aduBS

i4adWgblUechQOp§|`bXjbgbORjkQixXQe¡ch`bXUsbs<ORXeihi.STXpubXO_U*cRQTOaicRQjbORQKs<gk^fX$UixcROhXeUeWQe¡

Xz<Xe^©gbchamQTu¬XpXu<cVifq6W(Q ixcRld{´UTsbs<ORXeihi4XeifqM/`ba^_`UeOhXQ*¡¤aduKchXpORXeixc.cRQcR`bXixamW«gBlU*cRQTO§

|`BX.ixamW«gbl}U*cRQTOPcR`bXpuXpW«gBlU*cRXeicR`bXcVU*ORSTXpcwU*O_^_`bamchXe^fcRgbOhX/cRQ,XeixcRadWUechXch`bX!cRadW(Xc_Ue£

Xu«cRQjkXpO4¡¢QTORW XeU^`XpXpuKcPQu(ch`bX¤U*OV^`BadchXy^fchgbORX/gbuks<XO|i4chgksK{§K|`bai@jkU*ORchadcRadQubadubS

amu<cRQc4|QsKaixcRaduk^©c/^fQW(jkQTubXpuKc_iU*lmldQeicR`bX.gkixXUQ*¡/asKX!U*OhamXpc4{«Qe¡@Usbs<ORXeihi/^fQld£

lmXe^fcRadQTuW(XpcR`bQKsbif§k]¤i!U(ixa}s<XX 6Xy^fcpqkch`bXtihUeW(X,Usbs<OhXyihicRO_UT^©X,^pUeu0r·X,g¥ixXes/`bXu

i4adWgblUechamubSQch`bXOP`kU*OVs</UeOhX¤^fQTuK²kSTgbOVU*cRadQTu¥iQTO@cRQi4chgksK{,ch`bX/amu3kgbXpu¥^fX/Q*¡HTUeOh{KadubS

j¥U*O_UeW(XpcRXpO_i©§

4

&0 $& "'(# )+ ",-.02 "!#

STadXyi6UT^^fgbO_UechXOhXei4gbldcVi6/`bXpuixcRgks<{KadubSgbubamjbOhQK^fXyihixQO

UeO_^_`badcRXe^fcRgbOhXei6rkXe^U*gki4X|ch`BX/UTsBs<OhXeiRichOVUT^fXQ*¡HU/gbubadjBOhQK^fXeiRixQO@U*jbjBlda^U*chamQTuts<QXeiubQc

sKXpjkXpuks¶Quch`bXtixadWgbl}U*chXys«UeO_^_`badcRXe^fchgBOhX§K] STamXpugbubadjBOhQK^fXeiRixQOcRO_UT^©X^U*u`BXpuk^fX

rkX.gki4Xes¶cRQ(i4adWgblUechX¤U*uK{(gbubamjbOhQK^fXyihixQO!UeO_^_`badcRXe^fcRgbOhX§K|`ba}i&a}i|QTrK<amQTgki4ld{ubQTcch`BX

^UTixX,¡¢QTO.WgbldcRadjbORQK^fXeiRixQTO¤U*OV^`BadchXy^fchgbORXei/r·Xy^pU*gki4X«cR`bX,XpzKXe^fgbcRadQu0jkU*cR`cR`bOhQgbST`U

j¥U*O_UeldlmXpl@jbOhQSTO_UeW aiuBQTcuBXe^fXeiRihU*ORadlm{cR`bXihUeW(XQTuc4|Q0sKa XpOhXu<cU*OV^`BadchXy^fchgbORXei

Ueuks0^pUeuXpXpuU*Oh{(¡¢ORQTW QTubX,Xz<Xe^©gbchamQTuchQUeubQTcR`bXpO!Qu0ch`bXtihUeW(XU*O_^_`bamchXe^fcRgbOhX §

|`BXXpzKXe^fgBchadQu,jkU*cR`«cR`bOhQgbST`$U\j¥U*O_UeldlmXplbjbORQTSTOVU*W aiPsKXpchXpORW(aduBXesrK{cR`bXQO_s<XOQe¡

cR`bX/U^p^fXeiRixXeichQ\ix{Kuk^`BOhQTuBad¸eUechadQuQrb~4Xe^fc_i©§e|`baiMQTO_sKXpOQe¡HUT^p^fXyihixXyis<Xj·XuksbiQTu,ch`BX

ORXplUechamXi4jkXpXesbi!Q*¡cR`bX,jbOhQK^©Xeihi4Xei.^fQTuki4chamchgbcRadubS(cR`bX,jbORQTSTOVU*W /`ba}^`UeOhX,amu0chgbORu

sKXpchXpORW(aduBXes¶rK{cR`bXY^`kUeO_U^fchXpORai4cha^i\Qe¡ch`bXYU*OV^`BadchXy^fchgbORX«Qu¬/`ba}^`ch`bXYjkU*OVU*ldlmXpl

jBOhQTSO_UeWai/XpzKXe^fgbcRXes6§kaduk^©XcR`bX,Usbs<ORXeihicRO_U^fXei/Q*¡@cR`bX,s<a XpOhXpuKc/jbORQK^fXeihi4XeiQe¡/U

j¥U*O_UeldlmXpl<jBOhQTSO_UeW UeOhXs<XpcRXpOhWYadubXes!rK{.ch`bX/XpzKXe^fgBchadQujkUech`ch`bORQTgbS`«cR`bXjbOhQSTO_UeW0q

sKa XpOhXu<cXpz<Xy^fgbchamQTuki|SXpubXpOVU*cRXsKa XpOhXu<cwUTsbs<ORXeihi/chOVUT^fXyif§

¨Xuk^fXqKUjkUeO_U*lmldXplHUTsbsKOhXeiRi&cRO_UT^©X.^fQTlmldXe^©chXes«QuUSTadXuU*OV^`bamchXe^©chgbORXWUp{,ubQc

ORX53kXe^©c/ch`bX,XpzKXe^fgBchadQujkU*cR`0ch`kUec.ix`bQgblsrkXQTrki4XpOhXes/`bXpu0XpzKXe^fgBchaduBS,ch`bXjbOhQ£

SO_UeW QTu´U(s<a XpORXpuKc.U*OV^`bamchXe^©chgbORX§6gbORadubSch`BXixadWgbl}U*chamQTuqbcR`baichO_U^fX,WUp{STXpc

Qgbc,Q*¡\jb`kUTi4X/adch`cR`bX(XpzKXe^fgbcRadQu¬ch`kUec«QTgbl}srkXQrkixXpORXesQu cR`bXixamW«gbl}U*cRXes

UeO_^_`badcRXe^fcRgbOhX§ |`ba}i

&0 87 )'9 : "#<;

jb`bXpuBQTW(XpuBQTu>=?6gbrkQTai 02.

-@BA^pUeu¬`bXeUpKadld{

jkXpORchgbORrkU*cRX.ch`bXixamW«gBlU*cRadQu(OhXei4gbldcVif§

amSTgbORX¬ZjbOhXyixXpuKc_iUi4adW(jBldX(XpzBU*WYjbldX(Qe¡.chOVUT^fX£8i4`ba³¡¢cRadubSB§||`bX²kO_i4c«jBOhQK^fXeiRi

Xu<cRXpOhamubS(ch`BX(^fORadcRa^pUelPi4Xe^fchamQTuXpzKXe^fgbcRXei^©QKs<X(i4Xe gbXpuk^fXCZ/`bXpORXeUTi!ch`BX(i4Xe^fQTu¥s

Xz<Xe^©gbchXei^fQKs<XixXy gbXuk^fXDC<§

]!iRixgbWYXch`¥U*c.jbOhQK^©XeihiN&Z,XpzKXe^fgBchXei%CZU*uksjBOhQK^fXeiRi.N(XpzKXe^fgBchXeiEC(/`bXu

cR`bXchO_U^fX!a}i^©QTldlmXe^fcRXes6§GFQeÀldXpc@gkiUTihi4gbW(Xch`kUec|cR`bai@chO_U^fXaiPgkixXys«chQtixadWgbl}U*chXU

i4`kU*ORXesW(XpWYQTOh{WgbldcRadjbORQK^fXeihi4QTO/`bXOhX/XeU^`jbOhQK^fXyihixQO@`kUTi@UjbORadU*cRX/^pU^`BX§T|`BX

i4ad¸pXwU*uks,ch`BX/OhXpjbl}UT^fXW(XpuKc6jkQTlma^f{Q*¡ ch`bX^UT^_`bXeiP^pUeu^`¥U*ubSX/ch`bX/ORXplUechadXi4j·XXesQe¡

cR`bX.c4|Q,jbORQK^fXeihi4XeifqbcR`kU*c/a}i|ch`bXi4j·XXesU*c/`ba^_`(ch`BXpadOwUTsbs<ORXeihi/chOVUT^fXyi/U*OhX^fQukixgB£

(8)

×Ú×

!

×Ú×

ÕÖê"$#&%

('

ÕÚê"$#&%

)'

×+*

&,.-

×+*

/,0-

213

*

-4 5! 613

*

- 5

ßeÙeÕÚê"$#/%

)'

ßeÙeÕÚê"7#&%

)'

8 8

9:; :<

ßeÙeÕÚê"$#/%

)'

ßeÙeÕÚê"7#&%

)'

8 8

= =

?> @>

amSTgbORXZ /kªPzbUeW(jblmX!Q*¡aduksKXpchXpORW(aduBaixW aduU,jkU*OVU*ldlmXplUejbjblma^pUechadQu

WYXesrK{¬ch`bXi4adWgblUechQTO§PQbqs<gbORadubSch`bXi4adWgblUechadQuqch`bXXpXu<ct^fQTOROhXei4j·Quks<amubS

cRQ,ch`bX.lmQK^KadubSQTjkXpOVU*chamQTuaduch`bX¤chO_U^fX.Q*¡jbOhQK^©XeihiN@WUp{«rkX^fQTu¥ixgbW(Xys«r<{ch`BX

i4adWgblUechQOrkXf¡¢QOhX/adc`kUTi@^fQukixgbWYXescR`bX^fQTOROhXei4jkQTuks<amubSXXpu<camu,ch`bXchOVUT^fX/Qe¡ jbOhQ£

^©Xeihi@N/ZT§ Î¡ ch`ba}i¦jBOhQTSO_UeWµ/UTiUT^fcRgkU*lmld{Xpz<Xy^fgbchXysQTuYch`bXi4adWgblUechXesU*O_^_`bamchXe^fcRgbOhX q

jBOhQK^fXeiRi,0ix`bQgbls¬XpzKXe^fgBchX CZ(/`bXOhXeUiadc_i.chOVUT^fX^©QTuKc_U*amukich`BX(XpXpuKc_i.OhXpl}U*chamX

cRQ«cR`bX.XpzKXe^fgbcRadQTuQe¡!C<§BAr<KadQgkixlm{q<cR`bXcRO_UT^©Xa}i|ubQTc\^fQTOROhXe^fc|¡¢QOcR`bXixamW«gbl}U*cRXes

UeO_^_`badcRXe^fcRgbOhX§H|`baijbORQTrblmXpW ^pU*uÀU*l}ixQ0QK^p^©gbO¡¢QTO,jbORQK^fXeiRixXei,^fQW(Wgbuba^©U*cRadubSYr<{

i4`kU*ORXes¶WYXpW(QTOR{QOrK{«WYXeihiRU*STX.jkUihi4adubSB§

QW(X0chOVUT^fXsKOhadXu=ixadWgbl}U*chQO_i«cROh{ÀchQÀixQldX0ch`Bai(jbOhQrbldXW rK{®STXpubXO_U*cRadubS

cR`bXUTsBs<OhXeiRi!chO_U^fXei!^©QTOhORXeixjkQuks<aduBS¶cRQU*ldlMch`BX,j·Q ihi4adrblmX,Xpz<Xy^fgbchamQTukiQ*¡wU(jkU*OVU*ldlmXpl

jBOhQTSO_UeW$=¨QTlmlda}sbUp{DCµªPldlmaiTBAo§6gbOhamubS(i4adWgblUechamQTuqch`BX,ixamW«gBlU*cRQTOw^`bQQ ixXei/ch`BX

Usbs<ORXeihi.chO_U^fXchQrkX(gkixXys6§BE|Xe^pUegkixXQ*¡wch`bXjkQTcRXpu<cRaUeldld{gbuKr·Qgbuks<Xysu<gBW«rkXpO!Qe¡

sKa XpOhXu<c.XpzKXe^fgbcRadQukifqXpOR{¡¢XpµjbOhQSTOVU*Wi^pU*u¬rkX(cRO_U^fXes/amch`¬cR`bai.chXe^_`buba} gbX §

]ubQTcR`bXpOU*lmchXpORukU*cRadX|a}iPchQ.jkXpOx¡¢QOhWµch`BX!i4adWgblUechadQu/amch`Ui4XpcPQe¡ixXe gbXpuKcha}U*lKjbOhQ£

SO_UeWiPch`kUec|sKQuBQTc|amu<cRXpO_U^fcP/amch`XeUT^_`,QTcR`bXpO =C@`ba}U*ubSFC Q`ba TBAo§K|`bai@ixQldgbcRadQu

jBOhXe^flmgks<Xei@ch`bX

&0 '7 )'9 : "# ;

jb`BXpubQTWYXpukUrkXe^pUegkixX.XeU^`(Xz<Xe^©gbchamQTui4chOhXyU*W a}i|adub£

sKXpjkXpuks<XpuKc!rbgBcamc!ai!amW(jkQihi4adrblmXcRQi4chgksK{0ch`bX,rkXp`kUpKadQgbO.Q*¡/j¥U*O_UeldlmXplPjbORQTSTOVU*Wi

QujkUeO_UeldldXlU*OV^`BadchXy^fchgbORXei/amch`ch`Bai|chXy^`buBa gbX§

G.H%--(,+." !" # '& (* -, ."

+/ "!# $& "'( # )+ ",-/.102 "!#

=C@QeKadubSchQTu 02.

@ @ A@ai!UixamW«gBlU*cRadQuchXy^`buBa gbX

cR`kU*c^fQOhORXe^fc_i(cR`bXs<O_Up/rkU^Bi(Q*¡cRO_UT^©Xs<OhamXpu=ixamW«gbl}U*cRadQTu¡¢QTOjkUeO_U*lmldXpl\U*jbjblmad£

^U*chamQTuki©§@|`bXr¥UTixa}^(as<XeU0Q*¡\Xpz<Xy^fgbchamQTusKOhadXuixamW«gbl}U*cRadQTu´aichQaduKchXOhldXyUyXch`BX

Xz<Xe^©gbchamQTuUeuks¬chO_U^faduBS0Q*¡¤ch`bXUejbjblma^pUechadQu/adch`cR`bXixamW«gBlU*cRadQuQe¡!cR`bXc_U*ORSTXpc

UeO_^_`badcRXe^fcRgbOhX§bamuk^fX.ch`BXXz<Xe^©gbchamQTu(Qe¡@ch`bXUejbjblda}^pU*cRadQu¶a}i^©QTuKchOhQldXesr<{(amc_i/i4adWgb£

l}U*cRadQTuHqcR`bX¤UTsbs<ORXeihi@chOVUT^fX¤ixamW«gbl}U*cRXesa}i¦XzbU^fchlm{ch`BXQubX!ch`¥U*c|QTgbl}srkXQTrki4XpOhXys

a°¡PcR`bXU*jbjBlda^U*chamQTu/Ui/UT^fcRgkU*lmld{(Xz<Xe^©gbchXesQTucR`bXixamW«gbl}U*cRXesW$UT^_`badubX §

(9)

|`bXXpzKXe^fgbcRadQTuQO_s<XpOQ*¡UjkU*OVU*lmldXplUejbjblda}^pU*cRadQuais<XpcRXpOhWYadubXes0rK{ cR`bXQTOR£

sKXpOhamubSQ*¡/cR`bXQTjkXpO_UechamQTuki/`ba}^`^U*uW(QKs<a³¡¢{ch`bXXpzKXe^fgbcRadQu0jkU*cR`¬ch`bORQTgbS`¬ch`BX

jBOhQTSO_UeW0§e|`bX@STlmQTrkUeldld{¤<a}ixadrBldXMXpXpuKc_i6UeOhX@c4{<jBa^pUeldld{U^p^fXeiRixXei6cRQ!i4`kU*ORXes!U*Oha}U*rblmXeifq

WYXeihiRU*STX,j¥UTihi4adubSQTOtix{Kuk^`BOhQTuBad¸eUechadQu0QTjkXpOVU*chamQTuki©§P|`bXQTOVs<XpO.Q*¡cR`bXei4X,STldQrkU*lmld{

Kai4adrblmX!XpXpuKc_i@W«g¥ixc/OhX03kXe^fc/cR`bX.r·X`kUp<amQTgbOQ*¡@cR`bXU*jbjBlda^U*chamQTujbOhQK^fXyihixXyi&Quch`BX

i4adWgblUechXes,UeO_^_`badcRXe^fcRgbOhX¤U*uks(Wgkixc@cR`bXpOhX©¡¢QTOhXrkX^fQTW(jBgbchXes,rK{«cR`bX.ixamW«gBlU*cRQTO§8u

Xz<Xe^©gbchamQTu0sKOhadXu0ixamW«gBlU*cRadQuq<cR`bX,XpzKXe^fgbcRadQTuQ*¡ch`BXU*jbjblma^pUechamQTuU*u¥sch`bX,SXpubXp£

OVU*cRadQTuQe¡!cR`bXUTsBs<OhXeiRicRO_U^fXeiUeOhX^pUeOhOhamXesQgbcixamW«gblmc_UeubXpQTg¥ixld{0/amch`¬cR`bXi4adWgb£

l}U*cRadQTu´Q*¡¤ch`bXc_UeOhSXpc,UeO_^_`badcRXe^fchgBOhXY|`bXXpz<Xy^fgbchamQTuQ*¡¤ch`bX$U*jbjblma^pUechamQTuai.gbuks<XpO

cR`bX,^©QTuKchOhQlPQ*¡cR`bXixamW«gbl}U*cRQTOp§B]!i!i4QQTu´UTi.U*uUejbjblda}^pU*cRadQujbORQK^fXeihi.UechchXW(jbc_i/chQ

Xz<Xe^©gbchX.USldQrkU*lmld{(Kai4adrblmX!QTjkXpOVU*chamQTuqbcR`bX.XpzKXe^fgbcRadQTuQe¡PcR`bai|jbORQK^fXeiRi&a}i/ixchQjbjkXes

Ueuks(ch`bX¤jbOhQK^fXyihi|/UeadcVi¦¡¢QTOUeuUT^_<ubQe/lmXes<STXW(XpuKc¡¢OhQW cR`bX.ixamW«gBlU*cRQTO@chQ,ORXeixgBW(X

amc_i|XpzKXe^fgBchadQu§

lock(v)

lock(v) i := i+1 if i=1 then unlock(v) C1 else unlock(v) C2 fi end

lock(v)

unlock(v)

unlock(v) unlock(v)

C1

C2 simulator

1 2

3 4

lock(v) i := i+1 if i=1 then unlock(v) C1 else unlock(v) C2 fi end lock(v)

i := i+1 if i=1 then unlock(v) C1 else unlock(v) C2 fi end

lock(v) i := i+1 if i=1 then unlock(v) C1 else unlock(v) C2 fi end lock(v)

i := i+1 if i=1 then unlock(v) C1 else unlock(v) C2 fi end

simulator

simulator simulator

adSgbOhX. /6ªPzKXe^fgbcRadQus<OhamXpuamW«gBlU*cRadQu

(10)

amSTgbORX«i4`bQei&cR`bX.Xpz<Xy^fgbchamQTusKOhadXuixamW«gbl}U*cRadQTuYQ*¡ch`bX.jbORXp<amQTgki/XpzBU*W(jBldX§

|`BXi4adWgblUechamQTu^pUeuldQTSa^pUeldlm{«rkXs<adKasKXes(aduKchQ¡¢QgbOjb`kUTi4Xei5/

Z§|`bX«c4Q¶jBOhQK^fXeiRixXei.STXpuBXpO_UechXch`bXpamO!chOVUT^fXyi\gBu<cRadlPcR`bXp{0Xpuk^©QTgbuKchXpO¤ch`bX .!

QTjkXpO_UechamQTu§!E|QTch`jbORQK^fXeihi4Xei|i4chQj(ch`bXadO@XpzKXe^fgbcRadQTuUec|cR`baiPjkQTamu<c§<|`BX!i4adWgb£

lU*cRQTO¤ixcVU*OhcVi!^fQukixgbWYadubS,cR`bXcRO_UT^©Xei&/amch`OhXei4j·Xy^fccRQ«cR`bXcRadW(amubS,^_`kUeO_UT^©chXp£

Ohai4cha}^piQe¡@ch`bXi4adWgblUechXesU*OV^`bamchXe^©chgbORX§

K§®`bXpuch`bXi4adWgblUechQTO²kuksBi¦cR`bX/²kO_i4c .1!(

Qj·XO_U*cRadQu(adu,QubXQe¡cR`bX/chOVUT^fXei©qTadc

ixadWgbl}U*chXyi·ch`BX|QTjkXpOVU*cRadQTuUeuksOhXyixgbW(Xyi6ch`bX@XpzKXe^fgbcRadQuQ*¡¥ch`bXw^fQTOROhXei4j·Quks<amubS

jbOhQK^fXyihi

N/Z(amu¬QTgbO,XzbUeW(jbldX

3

§|`ba}ijbOhQK^©XeihicR`bXpuSTXpuBXpO_UechXei.ch`bX

# .!

QTjkXpO_UechamQTu0Ueuks¶cR`bX.chOVUT^fX^fQOhOhXyixjkQTuksKadubSchQch`bX.XpzKXe^fgBchadQu(Q*¡ CZT§

K§®`bXpuch`bXi4adWgblUechQTO\^fQTuki4gbW(Xei/ch`BX

# .!

QjkXpO_UechadQu¡¢OhQW ch`bX,cRO_U^fX«Qe¡

jbOhQK^fXyihiN&ZqPadc,ORXeixgbWYXeicR`bXXpz<Xy^fgbchamQTu¬Qe¡!jBOhQK^fXeiRi«N@0/`ba^_`XpuKchXpOVich`BX

^fOhamcha^U*l ixXe^©chadQuU*uks(STXubXpO_UechXei/ch`BX!chOVUT^fX^fQOhOhXyixjkQTuksKadubSchQ,cR`bX.Xpz<Xy^fgbchamQTu

Q*¡ C<§

B§|`bXixadWgbl}U*chQO²kuBaix`BXei|ch`bX^fQukixgBW(jbchamQTuQ*¡ch`BXc4Q,chO_U^fXei©§

]¤ijbOhXyixXpuKchXesadu0cR`bX²kSTgBOhXq6cR`bX,^©QTOhORXe^fc!Xz<Xe^©gbchamQTuQO_s<XO!Q*¡ch`BXU*jbjblma^pUechamQTu0ai

Xu<¡¢QTOV^fXes6§B±QTOhXQ*XOpqTcR`bX./U*amchamubScRadW(XeiPQu¶cR`bX.i4{<uk^_`bORQTubam¸eU*cRadQTuYQTjkXpO_UechamQTukiU*ORX

ORXeixjkXe^©chXes6§

!i4gkU*lmld{q©ch`bX@amW(jbldXW«XpucVU*cRadQTuQ*¡BXpzKXe^fgbcRadQu.s<OhamXpu.i4adWgblUechadQu!gki4XeiixamW«gbl}U*cRXes

^©ldQK^_bi©§6ª@UT^_`0jbORQK^fXeihi!Qe¡/U(jkUeO_UeldldXlPUejbjblda}^pU*cRadQu0Q*/u¥iUYixadWgbl}U*chXys¶^©ldQK^_/`ba}^`

ORXpjbORXeixXpuKc_iPamc_iXlU*j¥ixXes«cRadW(Xi4aduk^©X!ch`bX¤r·XSTaduBubadubSQ*¡ch`bX¤Xpz<Xy^fgbchamQTuQTuch`BX!i4adWgb£

l}U*cRXesUeO_^_`badcRXe^fcRgbOhX§ |`bXYixamW«gbl}U*cRQTOai!gkixXys cRQgbj sbUechXch`bXei4X(i4adWgblUechXes^fldQK^_Bifq

Xadch`BXpO/r<{$U«i4adW(jblmXamuk^fORXpW(XpuKc@QTOr<{(jkXpO4¡¢QTORW(adubSU,W(QOhX.s<Xc_U*amldXes(XpWgbl}U*chamQTu(Qe¡

cR`bXc_U*ORSTXpcUeO_^_`badcRXe^fchgBOhX§®`BXpu¬U(jbORQK^fXeiRiaiRixgbXyiUSTlmQTrkUeldld{0Kai4adrblmXQj·XO_U*cRadQuq

cR`bai/jbORQK^fXeihiixcRQTjki¤U*ukswU*adcVi&gBu<cRadladc/a}i&amc_i/chgbORucRQ«jkXpO4¡¢QTOhW cR`bXQj·XO_U*cRadQuUT^f£

^©QTO_sKadubS,cRQ,ch`bX.U*lmgbXeiQe¡PcR`bXs<a XpORXpuKc/^flmQK^Bif§B]!icR`bXU*jbjblma^pUechamQTu^fQu<cRaduKgbXei@adc_i

Xz<Xe^©gbchamQTuqch`BX^fQTOROhXe^©cQO_s<XOhaduBS0Q*¡jbORQTSTOVU*W XXpu<cVi.^pU*u¬rkXXpuki4gbOhXys¬ixamuk^fXYU*ldl

cR`bXixamW«gbl}U*cRadQTuchamW(XeiU*OhX.KubQe/u§

|`bXgbj sbU*cRX,Q*¡@cR`bX,i4adWgblUechXesY^fldQK^_bi/ais<XpcRXpOhWYadubXes,rK{¶cR`bXXXpu<cVi|i4XpldXe^©chXes

cRQ«rkXixamW«gBlU*cRXesU*uksadu3kgBXpuk^fXei@ch`bXU^p^fgbOVUT^f{(Qe¡@ch`BXi4adWgblUechamQTur·Xy^pU*gki4X/`bXu

UeuXXpu<c/a}iubQci4adWgblUechXes q<ch`BX^fldQK^_W«gki4crkX,gbj sbUechXes0/adcR`U*uUejbjbOhQezKadWUechX

UeldgbX§]XpOR{sKXpc_UeadldXysixamW«gBlU*cRadQu /amldl¤^fQTu¥ixasKXpOU*lmlcR`bX0W(XpWYQTOh{OhX©¡¢XpOhXpu¥^fXei

Ueuks0ix{Kuk^_`bOhQubad¸yU*chamQTuQTjkXpOVU*cRadQTu¥if§] ixchg¥s<{ch`kUeca}i&ubQc.^fQuk^fXpORubXes(/adcR`jbORadU*cRX

sBU*c_U(ORXf¡¢XpOhXuk^fXei|QO!/`bQi4X(U^p^fXeiRi&cRadW(X.cRQ(jbOhamU*chXsBU*c_UaiKubQe/u^fQTgBls^_`bQQ ixX

cRQ^fQTuki4as<XOQubld{0cR`bXUT^^fXeihi4Xei!chQix`¥U*OhXys¬sbU*cVUU*ukscRQix{Kuk^`BOhQTuBad¸eUechadQuQjkXpO_Ue£

cRadQukif§BAubX,lUixcQTjbcRadQTu0a}ichQ$ixadWgbl}U*chX¤QTublm{¶cR`bXix{Kuk^_`bOhQubad¸yU*chamQTuQTjkXpO_UechamQTuki!QTO

cR`bX!W(XyihihUeSTX.^©QTW(Wgbubam^pUechadQukif§ |`bXeixX\ixQTlmgbchamQTuki/^©QTuki4chadcRgbchX\UchOVUTs<X£ÎQ r·XcxXpXpu

U^p^fgbOVUT^f{$U*uksixadWgbl}U*chamQTuYixjkXpXes §

QW(X/XpzKXe^fgbcRadQu(s<ORadXpui4adWgblUechQO_i`kUpXrkXpXpuadW(jblmXpWXpu<cRXps § Ìu$UeubSTQ =?6!Ue£

Kai 02.

B<Z0A8qB^fQTW(jBadldXys,U*jbjblma^pUechamQTujbOhQK^fXyihixXyi/U*OhXWgbldcRadjblmXpz<Xys\cRQ,OhgbuYaduYU/Up{

(11)

cR`kU*cjbORXeixXpORXeicR`bX!QO_s<XpORadubSYU*u¥s$cRadW(amubSQe¡PcR`bX.XpXpuKc_i@Q*¡aduKchXpORXeixc/adch`ORXeixjkXe^fc

cRQcR`bX!i4adWgblUechXes.chamW(X|Qe¡Mch`bXc_UeOhSTXc|i4{bi4chXpW"§|`baiPa}i¦XukixgbORXes,r<{,gki4adubStixQe¡¢cxwU*ORX

^©ldQK^_biPUihi4QK^faUechXes«/amch`XeUT^_`,jbORQK^fXeihi@Q*¡Hch`bX¤U*jbjBlda^U*chamQTu§ ]®ih^_`bXes<gblmXpO@UeldSTQOhamch`bW

XldXe^fcVi6ch`bX/jBOhQK^fXeiRi/`bQ ixX^flmQK^.U*lmgbX/aich`bXi4WU*lmldXei4cpq©ch`KgkiXpu<¡¢QO_^famubSch`bX^fQOhORXe^fc

QO_s<XOhaduBS«Qe¡@ch`bX.XpXu<cVif§b|`BX,s<a6XOhXpuKc^fldQK^_Bi|OhXpjbORXeixXu<c/cR`bXixadWgbl}U*chXys«chamW(X¡¢QTO

XyUT^_`0jbOhQK^fXyihif§M]uQTjBchadQu¬UeldlmQ*i!cR`bX(i4XpldXy^fchamQTuQe¡UixXpc!Qe¡/Qj·XO_U*cRadQu¬c4{<jkXei¡¢QTO

/`Ba^_`UT^p^fgBO_U*cRXSldQrkU*l QTO_sKXpOhamubS.aiPXpuki4gbOhXes §<adu¥^fX!U!jbORQK^fXeiRiXpzKXe^fgbcRadQu,r·XcxXpXpu

XXpu<cViQe¡!amu<cRXpOhXei4ca}i,UTihi4gbW(Xes¬ubQc«cRQ0rkX0U Xe^©chXes¬rK{¬Ueu<{¬Qch`bXO«jbORQK^fXeiRifqPch`BX

XXpu<cViPU*ORX.^fQOhOhXy^fchlm{QTOVs<XpORXesrK{ix/amc_^_`baduBSjBOhQK^fXeiRixXei|amW(WXes<aUechXpl°{.rkXf¡¢QTORXcR`bXei4X

XXpu<cVif§|`BX.&a}^fX¤NPU*OVU*ldlmXpl NPOhQK^fXei4adubSt XyixchrkXes =C@Qe<amubSTcRQTu 02.

@ @ A6jbORQTjkQi4XeiU

i4adW(amlUeOMixQTlmgbchamQTu,rbgBc@^fQTu¥ixasKXpO_ich`kUecPch`BX^fldQK^_^pU*u,rkX|gBj6sBU*chXys/amch`U*u,XyixchamWU*cRX

UeldgbXYUTi.ldQTuBS0UTiU(jbOhQK^fXyihisKQXeiubQTc.amu<cRXpO_U^fc./adch`´U*uBQTch`BXpOjbORQK^fXeiRif§ ®`bXpuU

jBOhQK^fXeiRiamu<cRXpO_U^fchamQTuQK^p^fgbOVifq<cR`bXjbOhQK^fXyihi|ai@i4gkixjkXpuksKXes(gbu<cRadlkch`BXXei4chamWU*cRXeschamW(X

Ueuks«cR`bX!chamW(X|Qe¡Mch`bX\^fQTW(Wgbuba}^fUechamQTuXTUeldgkUechXesr<{,cR`bX.ixamW«gBlU*cRQTOP`¥UyXXpl}U*jki4Xes6§

ªPzKXe^fgbcRadQTu"s<OhamXpuixamW«gbl}U*cRadQTuY`kUTi!i4XpXpOVU*lMUTsKTUeu<cVU*SXei!Q*XO/chO_U^fX,sKOhadXui4ad£

Wgbl}U*chamQTu§K|`bX.W(Q ixcadW(jkQTORc_Ueu<c/a}i|ch`bX.UerkixXuk^fX.Q*¡sKaixcRQTORchadQuaduch`bXi4adWgblUechadQu

ORXeixgBldc_i|/`Ba^_`bXpXpO@ch`BX.U*OV^`bamchXe^©chgbORX.U*uksUejbjblda}^pU*cRadQui4adWgblUechXesixamuk^fX!cR`bX.i4adWgb£

l}U*cRQTO@Xpuki4gbOhXeiPcR`kU*cch`bXXpzKXe^fgbcRadQTu,Qe¡cR`bX!Uejbjblma^pUechadQu^fQTuK¡¢QTOhW$i¦cRQ.ch`bX¤ixamW«gbl}U*cRXes

UeO_^_`badcRXe^fcRgbOhX§KªPzKXe^fgbcRadQTu$s<OhamXpu(i4adWgblUechamQTuYU*li4QUpQTasBich`BXuBXpXes«cRQixchQOhX.lUeOhSX

Usbs<ORXeihi/chOVUT^fX!²klmXeif§adukUeldlm{qbi4aduk^fX¤ch`bXixamW«gBlU*cRQTOws<OhamXeicR`bX.Xpz<Xy^fgbchamQTuUeuks¶cRO_Ue£

^©adubSQ*¡kcR`bX/Uejbjblma^pUechadQujbORQK^fXeiRixXei©qU*uK{.W«gblmchamjbOhQK^fXyihixQOMix{BixcRXpW ^pUeu,r·XwixamW«gbl}U*cRXes

Qu0U,i4adubSldX.jbOhQK^©Xeihi4QTO¤ix{BixchXW0§

|`bXjbORadWUeOh{´s<O_Up/rkU^´Q*¡¤ch`ba}ichXe^_`buba} gbXaicR`kU*cadcOhXe gbamOhXeiU*uX©¯^famXpuKc

cRO_U^fX,STXpuBXpO_UechQTO.cRQ¶jBOhQe<a}s<XUT^^fXpjbcVU*rblmXixadWgbl}U*chamQTuj·XOx¡¢QTORWU*u¥^fX,i4aduk^fX,cR`bXU*jB£

jBlda^U*chamQTujbOhQK^©Xeihi4Xei|UeOhXchO_U^fXess<gbORadubSXeUT^_`(i4adWgblUechamQTu§|`bX.i4Xe^fQTu¥sjbORQTrblmXpWµai

cR`kU*cUeu(XpzKXe^fgbcRadQTuts<OhamXpuixamW«gBlU*cRQTOMaiPWgk^`W(QTORX/^fQW(jblmXpz.chQ.adW(jBldXpWXpuKc6ch`¥U*u

UcRO_U^fXs<ORadXpu´ixamW«gbl}U*cRQTO.s<gBX¶cRQcR`bX(ubXe^©XeihiRU*Oh{´ix{Kuk^_`bOhQubad¸yU*chamQTu¬WYXe^`¥U*uba}ixWi

rkXpc4XpXpu(cR`bXixadWgbl}U*chQOpqKchO_U^fX!SXpubXpOVU*chQO!UeuksUejbjblma^pUechadQujbOhQK^fXyihixXyif§

|+«) ) e# "t +,|+«etµ ¬e*&+

$#

|`Bai!i4Xe^fchamQTujbOhXyixXpuKc_icR`bX,jbORQTSTOVU*W(WYadubSW(QKs<XplMgki4Xesr<{ch`bX,j¥U*O_UeldlmXpl@U*jBjblda}^pU*£

cRadQuki/`bQi4XUTsbs<ORXeihi4XeichOVUT^fXyi,U*OhXi4adWgblUechXes6§ Ìu´ch`ba}ijbORQTSTOVU*W(WYadubSW(QKs<XploqU

j¥U*O_UeldlmXplUejbjblda}^pU*cRadQu¶a}i|WUTsKXgbjQ*¡¦U,ixXpc/Qe¡@jbORQK^fXeihi4Xei/^fQW(W«gBuba^pUecha°ubS.ch`BOhQTgBST`

i4`kU*ORXesW(XpWYQTOh{ §|`BXU*jbjblma^pUechamQTu®jbORQK^fXeihi4Xei(UeOhXs<{KukU*WYa^pUeldld{´^fORXeU*cRXes rK{ÀU*u

amubadcRaUel|QTOjkUeOhXpuKc,jbOhQK^©Xeihi,/`ba^_`ÀU*l}ixQj·XOx¡¢QTORWich`BX¶amubadcRaUeldad¸yU*chamQTu¬j¥U*Ohc,Qe¡.ch`BX

Uejbjblma^pUechadQu§k|`bXix{Kuk^_`bOhQubad¸yU*chamQTuixcROhgk^©chgbORXei|gkixXys¶UeOhX.ldQK^_Bi/U*uksrkU*OROhadXO_if§

|`bXtU*jbjBlda^U*chamQTukiU*ORX/ORadchcRXpuamu C=Ueuks¶g¥ixX,ch`BXj¥U*OhW$UT^pi/WUT^©OhQi¡¢ORQTW ch`BX

]OhSTQububX F!U*cRadQTu¥U*lBU*rkQTOVU*chQOh{ =6gkixC AXpOhrkXpX%@ A¡¢QTOMWU*ukUeSTamubS!i4`kU*ORXesWYXp£

WYQTOh{ qix{Kuk^_`bOhQubad¸eUechamQTuUeuks«jbORQK^fXeihi/^©OhXeUechadQu§ 8u«jkUeOhcRa^fgbl}U*Oq<ch`BaiPjbOhQSTOVU*W(W(amubS

(12)

WYQKs<XplPa}igkixXys rK{0ch`bXKN@]K¨

c_Ueuks¡¢QO_s¬NPUeO_UeldldXl@]jbjblma^pUechamQTuki&¡¢QO«`¥U*OhXys

±XW(QTOR{

3

rkXpuk^_`bWUeOh´ixgbamchX =amubST`

02.

<Z0A8§|KN@]K¨ ai,UixXpc,Qe¡ih^©adXpuKcha°² ^

j¥U*O_UeldlmXplPUejbjblma^pUechadQuki|¡¢QTO!gki4Xamu0ch`bXts<XeixamSTu"U*uksXpUeldgkUechadQu0Q*¡wix`¥U*OhXysW(XpW(QOh{

WgblmchadjBOhQK^fXeiRixamubSix{BixcRXpWif§|`bXei4X|WU^fOhQ iPU*ORXUpTUeadl}U*rblmX¡¢QTO@U*ORadQgkiPU*OV^`BadchXy^fchgbORXei

Ueuks0ixamW«gBlU*cRQTOVi/U*ldlmQe/adubSch`bXtihUeW(XU*jbjblma^pUechamQTuki/chQOhgbu0Qu0s<a XpOhXpuKcjblUecx¡¢QTORWi

/amch`bQgbc¤U*uK{(W(QKs<a°² ^pU*cRadQukif§

]Àix`bQOhc@s<Xyih^fORadjbcRadQTuQ*¡kcR`bXUpU*adl}U*rblmX@WUT^fORQiaiSTamXpuamuc_UerbldX¤Z|Ueuks,U!i4adW(jblmX

j¥U*O_UeldlmXpljBOhQTSO_UeWch`¥U*c.s<XW(QTuki4chOVU*chXyi&cR`bXgki4X,Q*¡@cR`bXei4X^fQTuki4chORgk^fc_i/aijbOhXei4XpuKchXes

amu(²kSTgbORX<§

Ñ"8Õ°Ó_âÎÑÓ_Ù ÔÚÙ/"8ÕÚß ÑfÕÚê©ëÓÕ ÓàoÓ|ãÎà¢â¢ß&"8à¢ßeâÎÑ4ã

Á

ÆRÅdÏ

Ñ"8Õ°Ó_âÎÑÓ|ã¢çÓâ¢Ñ ã¢ÑfÒÑ4Ùpà6ê_ä

ÆRÅ ëpà¢Ñxã

Á

ÆRÅ}Ï

ÓÕÚÕÖê"4Óà¢Ñ

ÆRÅ

ë!pàÎÑ4ãMêäBÒÑxÒê©â"$#ÔÚàÎçeÔÚÙà¢ç*ÑãÎçÓ_âÎÑ ãÎÑ©ÒÑ4Ùpà

% ÑRÓ_ÕÚÕÚê"4Ó_àÎÑàÎçeÑ@ãÎçÓ_âÎÑ ã¢Ñ&©ÒÑxÙàÓ_Ù Ñ('yÔÚà

Â

)*

Á,+

Ç-/.}Ï

"Ìâ¢ÑRÓà¢Ñ/Ó "ÎçeÔÚÕ èeâ¢ê"8Ñ4ãÎã#çeÔ2"Îç!Ñ'eÑ"8ßeàÎÑ4ãämßeÙ/"Ìà¢ÔÚê©Ù

+

Ç-/.

0)% âÎÑ4à¢ß*â¢Ùà¢çeÑPèeÔ êäkà¢çeÑPèeâÎê "ÌÑ4ã¢ã

12 34

Â

5% #Ó_ÔÚàßeÙpàÎÔÖÕàÎçeÑPÑ4Ù ê_ä ÓÕÖÕTà¢ç*Ñ "ÎçeÔÚÕ â¢Ñ4Ù!èeâÎê "ÌÑ4ã¢ãÎÑ4ã

67

Â

% Á89;:&:

=<ÎÏ

Ñ"8Õ°Ó_âÎÑÓ|ëÓ_âÎâ¢ÔÚÑ4â

67

Â

Á89;::

><@?-_Í :A

.}Ï

ÔÚÙeÔÚàÎÔÓÕÚÔCBxÑÓëÓ_âÎâ¢ÔÚÑ4âMàÎê/ëeÕÚê"7#

-Í :DA

.

èeâÎê"8Ñ4ã¢ãÎÑ4ã

67 ÂÂ

ÂÁ8D9E::

=<oÏ

ë*ÕÖê"$#êfÙ.Ó@ëÓâ¢âÎÔÖÑxâ

4F HGF%

Á"IA

.(JK><ÎÏ

Ñ"8Õ°Ó_âÎÑÓ|ÕÚê "$#

4F HG ÁLIA

.(J;=<ÎÏ

ÔÚÙeÔÚàÎÔÓÕÚÔCBxÑÓÕÖê"$#

4F HG Á"IA

.(JK><ÎÏ

Ó("MfßeÔÚâ¢ÑÓÕÚê"7#

NOP4F HG Á"ICA

.(JK=<oÏ

âÎÑ4ÕÚÑRÓ_ãÎÑwÓÕÚê"7#

UerbldXZ /kch`BXj¥U*OhW$UT^pi@WUT^fORQi

|`ba}i!jbOhQSTO_UeWamuk^fORXpW(XpuKc_i/Ueuksch`BXpu¬sKXe^fOhXW(XpuKc_i/Uix`kUeOhXesTUeOha}U*rblmX §|`BX

²¥O_ixcjb`kUixXqadu¥^fOhXpWYXpu<cVU*cRadQTuHq·a}ii4XpjkUeO_U*cRXes ¡¢ORQTWch`bXYixXe^©QTuksjB`kUTi4XqMs<Xe^fORXpW(Xpub£

cVU*cRadQTuHq rK{´U¶rkUeOhOhamXpOp§H6QK^BiXpu¥ixgbORX(ch`bXYU*cRQTW(a}^fadc4{Q*¡cR`bXaduk^fORXpW(XpuKc_UechamQTu0Ueuks

sKXe^fOhXW(XpuKc_U*cRadQu,Q*¡ §B]u<{uKgbW«rkXpO@Qe¡@jbOhQK^©Xeihi4Xei/^pU*urkX.gkixXys¶rbgbcUec/ch`bX.Xpu¥s$Qe¡

cR`bX²kOVixc!jb`¥UTixX q Wgkixc/rkXXe gkU*lMchQch`BX,u<gbWrkXpO/Q*¡&^`BadlsKOhXpujbORQK^fXeihi4Xei.U*uksU*c

cR`bX.Xpuks(Q*¡¦ch`bX.XpzKXe^fgbcRadQu(ch`bX!¡oUech`bXpO/jBOhQK^fXeiRi&/ORadcRXeiRQ¡¢QTOch`bX.U*lmgbX.Q*¡ §

S T *+.VU *'*W)YX2YU *+ " ,7X

ªPzKXe^fgbcRadQusKOhadXuixamW«gbl}U*cRadQTu´XpukixgBOhXei,ch`kUec«cR`bXXpzKXe^fgbcRadQTuQe¡.ch`bXUejbjblda}^pU*cRadQu

/`Ba^_`®jbOhQKs<g¥^fXei¶cR`bX´UTsbs<ORXeihi(cRO_UT^©XcRQrkX¬i4adWgblUechXesai«cR`bXQTubXch`kUecQTgbl}s

QK^^fgbO.a³¡@cR`bXYU*jbjblma^pUechamQTu0/Ui.UT^fcRgkU*lmld{XpzKXe^fgbcRXes¶QucR`bX(UeO_^_`badcRXe^fcRgbOhX.rkXpaduBSi4ad£

Wgbl}U*chXys6§p|`ba}iadWYjbldamXei·cR`kU*cPXyUT^_`jbORQK^fXeihi@i4chQTj¥iadcViXpzKXe^fgbcRadQTu.XeU^`chamW(X@adcMubXpXesbi

cRQ(XpzKXe^fgbcRX,U«SldQrkU*lmld{Kai4adrblmXQj·XO_U*cRadQucR`kU*c!W$Uy{^_`kU*uBSTX,ch`BXXpzKXe^fgbcRadQujkUech`

(13)

@

! !"#%$&'

()* +-,/.

!01

243+65* 4+7,98

$%;:<1

0;= 0<>

?

6@>

A4$%0"

;0 8 " , 1

243+65B,

%CD

8

$%;:<1

!CD%0'EF%CD%0HG-I>

J423+65K,

!CD

8

$%:L1

()) )M,

%CD

.

01 N %0O$PQPR$!S

243+65B,

%CD

8

$%;:<1

!CD%0'EF%CD%0HC-I>

J423+65K,

!CD

8

$%:L1

?

% %0=

,

0=T <UV! T A1

0;=

+PWJ

UV0<>

4+WJ

E $%0

,

AYX9IZ1>

%[ 7,

I\]^1HS"

8

I 5.

&!H$O-! "#!$P&T

E

,

QP1H_

223+7,

0`P$PO

,

SL11>

Q 88

$%P PV%$&O$% "" 4 4H

()[M,

%CD

.

0aU +WPJ

1

R!CD

.

0 .!8

$%:R 88

0

8

";=Sb$%'

243+65![M,

;!CD

8

$:<1

O4$

,

0RE7I>V0cE 4+WJ

>V0PGG!1#P PS0

8

"=b4$%d

+) [ e,

0

8

"1

?

f[g43) P*

FN4 %0S=0

8 88

0

8

"=S! PA=""T

b40=O ,h

A

8

R$O0jilk"m6=

h

Un!CD01>

*

?

adSgbOhX /k] j¥U*O_UeldlmXplMU*jbjBlda^U*chamQTu

(14)

cR`bOhQgbST`0cR`bX,jkUeO_U*lmldXplMUejbjblma^pUechadQu§ ®`bXpuixg¥^`"U*u0QTjkXpOVU*cRadQTu0a}i&a}ihi4gbXes6qkadcViXpzKXp£

cR`bX.XpzKXe^fgbcRadQTuHq<ch`BXjBOhQK^fXeiRi^U*uOhXei4gbW(X!amc_i|XpzKXe^fgBchadQu§

®amch`®ch`Bai,jbOhQSTO_UeW(W(amubSWYQKs<Xpl8qPcR`bXpORX0U*ORX0c4|Qcx{KjkXei«Qe¡SldQrkU*lmld{<a}ixamrbldX

QgbO.adW(jBldXpWXpuKc_U*cRa°QTuqbcR`bX,QTublm{0STlmQTrkUeldld{<a}ixamrbldXQTjkXpO_UechamQTuki^fQTuki4as<XOhXes0UeOhX,ch`BX

i4{<u¥^`bORQTubam¸eU*cRadQu QjkXpO_UechadQukif§|`bXWU*amu¬OhXeUixQu¡¢QTOch`ba}iOhXei4chOha}^fchamQTuaicR`kU*cadc

QTgbl}s!QTch`BXpOh/a}ixX|rkX@ubXe^©XeihiRU*Oh{.cRQ/as<XpuKcha°¡¢{!UeldlKU^p^fXeiRixXei6cRQ!i4`kU*ORXesU*ORaUerbldXei/`ba}^`

a}i/UXOh{chadWYX!^fQukixgBW(adubSc_Uix §

]!i.U^fQTuki4Xe gbXpuk^fX qU*uUejbjblma^pUechadQu¬^U*ububQcgki4X(i4`kU*ORXesU*ORaUerbldXei!cRQadWYjbldXp£

WYXpu<cix{Kuk^_`bOhQubad¸yU*chamQTu

¡¢QOXzbUeW(jbldX qeixjbamub£ÎwU*amclmQK^BiP/adlmlbubQTc@SXpubXpOVU*chXch`BX!^fQOh£

ORXe^fc@chOVUT^fX

3

U*u¥s¶Ueldl ix`¥U*OhXys$UeOha[email protected]^^fXeihi4Xes«/amch`bamu(^fORadcRa^pUel6i4Xe^fcRadQTu¥if§

|`BXORXeUTi4QTuaiPch`kUec@ch`bX¤ixamW«gbl}U*cRQTO^pU*ubuBQTc|Xu<¡¢QTOV^fX/ch`bX¤^fQOhOhXy^fcPQTOVs<XpO@Q*¡ UT^p^©XeihiPchQ

i4`kU*ORXesU*ORaU*rBldXeiQTgbcVixa}s<X^fOhamcha}^pU*lKi4Xe^fchamQTukiMixamuk^fXch`bXjbOhQK^fXyihixXyiP^pU*uU^p^fXeiRii4`kU*ORXes

UeOhaUerbldXyi&/amch`bQgbc!i4chQjbjbaduBS(ch`bXadO/XpzKXe^fgbcRadQu§b|`ba}i&ORXeixcROha}^fchamQTuai|amu0UT^^fQTOVsbU*uk^©X

/amch`U,|XeUe<lm{(^fQukixa}ixcRXpu<ci4`kU*ORXes(W(XpW(QOh{i4XpWU*uKcha}^pi=?Famch¸prkXpOROhSFC 6QKZ5A8§

t¤ 0(# % &'(# e) p+,@p(#

|`BX(KN6]!±XpOhubXla}iWUTsKXgBj0Q*¡/c4Q(jkU*ORc_i0/U«chOVUT^famubS(cRQQTlU*uks0Ui4adWgblUechadQu

XXpu<cVi|Q*¡wch`bXjbOhQK^fXyihixXyi\Qe¡ch`bXjkU*OVU*ldlmXplU*jbjblma^pUechamQTu0gbuksKXpO.ixamW«gBlU*cRadQu§b|`bXi4ad£

Wgbl}U*chamQTuldamrbO_UeOh{ÀU*lmldQei«cR`bX0i4adWgblUechQTO,cRQ¬OhXchOhamXpXch`bXXpXpuKc_iORX53kXe^fcRadubSch`BX

U^fcham<amc4{,Q*¡ch`bX!jBOhQK^fXeiRixXei/Ueuks(chQi4{<uk^_`bORQTubam¸pXcR`bXpamO|XpzKXe^fgbcRadQuUT^p^©QTO_sKadubSchQ,ch`BX

`BQ* ch`BXi4adWgblUechamQTuldadrBO_U*OR{¬^U*urkXgki4Xes¬chQ0adWYjbldXpWXpuKc.U*uXpzKXe^fgBchadQus<ORadXpu

i4adWgblUechQOp§

. FXHX> !" ,X

|`BX,jbOhQK^fXyihi!XpXpuKc_i/OhX53¥Xe^fcch`bXU^fcham<amcx{YQ*¡/XyUT^_`jbORQK^fXeihi!Qe¡/ch`BX,jkU*OVU*ldlmXplU*jbjblmad£

^U*chamQTuU*u¥s¶UeOhXs<XplmadXpORXeschQ,cR`bXixamW«gbl}U*cRQTOUTi|cR`bX.Xpz<Xy^fgbchamQTu(Qe¡PcR`bX.Uejbjblda}^pU*cRadQu

jBOhQK^fXpXysbif§k|`bX.jbORQK^fXeiRi&XpXu<cVi|U*ORX.ldai4chXes(amu¶cVU*rblmX<§

WYXpu<c§]u´UTsbsKOhXeiRiaiUeuQHixXpc.¡¢OhQWcR`bX(rkXpSTamububamubS0Q*¡cR`bX(W(XpWYQTOh{i4XpSTW(Xu<c§

|`Baij·XOhW(amc_i·cR`bXixamW«gbl}U*cRadQTu¤Q*¡¥U*uK{Kadu¥s\Qe¡kW(XpWYQTOh{QTORSU*uBad¸eUechadQu§ ¥QOPi4{<u¥^`bORQT£

uBad¸eUechadQuQjkXpO_UechadQukifqMch`bXasKXpu<cRadc4{Q*¡cR`bX(i4{<u¥^`bORQTubam¸eU*cRadQuQrb~4Xe^fc.ai.s<XplmadXpORXes6§

(15)

Z!Q

%Ó

â¢Ñ4ãÎã

'

Ø %}Ó

â¢Ñxã¢ã

'

ÓàoÓâ¢ÑRÓ

Ø Ø

Ø %}Ó

â¢Ñ4ãÎã

'

ÓàoÓâ¢ÑRÓ

ÔÚÙà¢ç*Ñ

Ø Ø

%}Ó

â¢Ñ4ãÎã

'

ÓàoÓ #â¢ÔÚà¢ÑPÔÚÙ!à¢çeÑ

Ø Ø %}Ó âÎÑ4ã¢ã

Ø %}Ó âÎÑ4ã¢ã

' ÓàoÓ #â¢ÔÚà¢ÑPÔÚÙ!à¢çeÑPã¢à8Ó)"$#!ã¢ÑfÒÑ4Ùpà

Ø Ø %}Ó â¢Ñ4ãÎã

' ÓàoÓâ¢ÑRÓ ÔÚÙà¢ç*Ñ@ã¢çÓâ¢Ñ ÒÑ4ÒêfâL|ã¢ÑfÒÑ4Ùpà

Ø %}Ó â¢Ñ4ãÎã

%dÕÚê "$# Ô '

'

%dÕÖê"$# Ô '

ßeÙeÕÚê"$#

! Ø " %mëÓâ Ô '

'

Ø " à¢ç*ÑèTÓ_â¢ÑxÙàèeâ¢ê"8Ñxã¢ã#Ó_ÔÚàÎãßeÙpà¢ÔÚÕKÓ_ÕÚÕTÔÖàÎã"ÎçeÔÚÕ â¢Ñ4Ù!à¢Ñxâ¢ÒÔÚÙÓà¢Ñ

Ø

æ

%dèeÔ

'

"8âÎÑRÓ_àÎÔÖêfÙ!ê_ä¥Ó|Ù*Ñ#è*â¢ê"8Ñ4ãÎã

Ø

à¢ç*Ñè*â¢ê"8Ñ4ãÎãÔÚãçÓÕÚà¢Ñ

$%&

Ø

à¢ç*Ñè*â¢ê"8Ñ4ãÎãçTÓ_ãà¢Ñxâ¢ÒÔÚÙÓà¢Ñ

MU*rblmX,/kNPORQK^fXeihi/XpXpuKc_i

sKadubSXpXpuKc!chQch`bXYixamW«gbl}U*cRQTO.Ueuksixgki4j·XuksbiadcVi!Xpz<Xy^fgbchamQTu0gbuKchaml@ch`bXYixamW«gbl}U*cRQTO

i4adWgblUechQO,chQ´U*ldlmQe ch`bXadubamcha}U*ldam¸eU*cRadQu Qe¡.ch`BX0sbUec_U¬i4chOhg¥^fchgbORXei,ubXpXes<Xys ¡¢QTOch`BX

i4adWgblUechamQTuQe¡ch`ba}i!jbOhQK^fXyihif§ ®`bXpu´U¶jbORQK^fXeiRiai!`kUeldcRXes QuU(ldQK^_0QTOtU$r¥U*OhORadXpO

QO.`kUTi!chXOhW(amukU*cRXes¶amc_iXpzKXe^fgBchadQuqkch`bX^fQOhORXeixjkQTu¥s<adubSXpXu<cai!OhXj·QOhcRXeschQch`BX

i4adWgblUechQOp§ AcR`bXpOPXXpu<cMc4{<jkXei^fQTgbl}srkXXeUixamld{,Usbs<Xes,adu,QO_s<XOcRQ.ixamW«gBlU*cRX|Qch`bXpO

# '& (E* -,+." *'YUHW

cRadQusKOhadXuixamW«gbl}U*cRQTOp§B|`bXei4XjBOhadWYadcham[email protected]_UerbldX<§

|`bX

) 0, !(!2

jBOhadWYadchamX.ai.^pU*lmldXesU*cch`bXrkXpSTamububamubSQe¡ch`bXi4adWgblUechamQTu0chQ

i4c_UeOhc/ch`BXj¥U*O_UeldlmXplUejbjblda}^pU*cRadQu§b|`bX.jkUeOhXpuKc/jbORQK^fXeihi|cR`bXpuixcVU*ORc_i/chQ,XpzKXe^fgbcRX!Ueuks

cR`bX

) 0, ; #7 '(#

jbORadW(amchadX § ®`bXpu´U('*),+

XpXu<cai.s<XplmadXpORXes(chQch`BX

i4adWgblUechQOpqTcR`bX!i4adWgblUechQOP`kUTi@chQXpW«gBlU*cRX|cR`bX!QTjkXpOVU*cRadQTuH§b/XpW(XpW,rkXpOMch`kUec|/`bXu

jkXpu¥s<Xes6§k|`bX

) 0, .!

XW«gbl}U*cRXeslmQK^,a}i¡¢ORXpXqQTcR`bXpOR/aixXch`BXjbORQK^fXeiRi`kUi|chQ./Ueadc|gBu<cRadlkUeubQTcR`bXpO|jBOhQK^fXeiRi

ORXpldXyUTixXyi¦cR`bX!lmQK^ § ®`bXpu$U*u.-/0'1)&+

XpXpuKcPa}i¦a}ihi4gbXes6qch`BX.ixamW«gbl}U*cRQTOPXpWgbl}U*chXyi

cR`bX,QTjkXpOVU*cRadQTu´/adch`0cR`bX

) 0, # .1!(

cR`bai,ldQK^_OhXei4gbW(Xeiamc_i,XpzKXe^fgbcRadQTu U*uksXu<cRXpO_icR`bX^fOhamcha}^pU*lwixXe^fcRadQu§32 045456 4

XXpu<cViUeOhXchORXeU*cRXes«i4adW(amlUeOhld{ §p]jbORQK^fXeihiPrblmQK^KaduBSQu(U!rkUeOhORadXpO@i4gkixjkXpu¥sbiamc_iPXpzKXp£