A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program Specialization

HAL Id: inria-00073789

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

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-

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,

A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program

Specialization

Eugen-Nicolae Volanschi, Gilles Muller, Charles Consel, Luke Hornof, Jacques Noyé, Calton Pu

To cite this version:

Eugen-Nicolae Volanschi, Gilles Muller, Charles Consel, Luke Hornof, Jacques Noyé, et al.. A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program Specialization.

[Research Report] RR-2903, INRIA. 1996. �inria-00073789�

a p p o r t

d e r e c h e r c h e

A Uniform and Automatic Approach to Copy Elimination in System Extensions via Program

Specialization

Eugen-Nicolae Volanschi, Gilles Muller, Charles Consel, Luke Hornof, Jacques Noyé & Calton Pu

N˚ 2903

Juin 1996

THÈME 2

/=3>? )6@?-6

A-B#CEDGFIHKJMLONQPEROSTDVU PEROSWFYX,N[Z#L]\^ML_R`R_DTXabB#R_R`DGcd\#e ZSWcfR`DTXe PgFXDGR]\hBijDlkMPgcfF#PWmf\

njSgNGojB#DTXJMPTprqDlsterSTR`ufPgF;v-Bw

x?yjz

{|M{~}€=‚{6ƒT„…{~†…‡Qˆ „…‰„…{†

{6Š?‰f‹[†…‰ŒT†IŽG|g‡ †…„…‘dŒW{

’#“

‡,”]{Š>•j–˜—~™-š

›

‹œTœE‡

“

ŠžT{

“

{‰

y { “‰ y

{8ƒ Ÿd}Q  ¡ ¢¤£ ŒW„¥ƒ§¦f Q  ¨} ¢œE‹[ˆQ{

©ªY«6¬,­[®E¯[¬Q°²±

‡QŠ>‡QœE{

“

‹[Š³„…ƒTˆŽGŠ³{|

y

{f‹,´G„¥†…Ž

“

{†…Žµ‡Qƒ„¥ƒGŠ³{

“

|M{žT„¶‹[Š³{>žE‹Š·‹Š

“

ŒT‰6ŠŒ

“

{-¸_‡

“

|‡GžG¹

ŒT†¶‹

“

„…ŠOŽr‡

“

œg‡

“

Š·‹T„…†¥„…ŠOŽ

“

{f‹‡QƒTfº x?y

„…»œE‹œE{

“

{¼GŠ³{ƒTžT˜œ

“

‡Qˆ

“

‹|&œg{‰„¶‹[†…„…½f‹[Š³„…‡ ƒŠ³‡ {†…„…|„…ƒE‹Š{Š

y

{³{

„…ƒGŠ{

“

|{žW„¾‹Š{žE‹[Š]‹-Š

“

ŒT‰6ŠŒ

“

{?„…ƒ¿‹˜ŒTƒT„À¸_‡

“

|Á|µ‹[ƒWƒT{

“

ºIÂ>Œ

“ Š “

‹[ƒTÃ¸_‡

“

|µ‹[Š³„…‡ ƒ œ

“

‡G‰{?„…I¸_ŒT†…†…Ž ‹[ŒTŠ³‡[¹

|‹[Š„…‰»‹ƒTž „…#E‹[³{ž‡ ƒ‹>³œE{6‰„¶‹[†…„…½{

“

¸_‡

“Ä

œ “

‡Qˆ

“

‹|,Åfƒg‹[|{6ž

x

{|œg‡Eº x?y

{?ÆQ{Žr‹[žW´ ‹[ƒGŠ·‹ˆ {‡¸E‡ Œ

“

‹œTœ

“

‡G‹[‰

y

„…Š

y

‹[ŠŠ

y

{?žT{ˆ

“

{{˜‡[¸j·‹,¸`{ŠOŽr‡¸ÇŠ

y

{>³‡ Œ

“

‰{>œ

“

‡ ˆ

“

‹|Ȅ…#œ

“

{³{

“

´Q{žGŽrŠ

y

{?‡ œTŠ³„…|„…½f‹[Š³„…‡ ƒ2º

–˜~‹

“

{³ŒT†…ŠfÅg|µ‹ŠŒ

“

{>ŽG³Š{|8‰‡GžT{ ‰f‹ƒE{

“

{ŒT³{žlÉ?„…Š

y

‡QŒTŠ

“

{6‘dŒW„

“

„…ƒTˆ¿‹žTžT„…Š„…‡QƒE‹[†g´ {

“

„ÀÊE‰f‹[Š³„…‡ ƒ2º

˜Œ

“ œ “

{†…„…|„…ƒE‹

“Ž “

{6ŒT†…Š‡ ƒ=Š

y

{µ‹[ŒWŠ‡ |‹[Š³„¥‰,‹[†…†…Ž‡ œTŠ³„¥|M„…½{ž

›>’Ä

‰‡GžT{µ‹

“

{´ {

“

Ž=œ

“

‡Q|„…„…ƒTˆ

„…ƒ=Š

y

‹Š~Š

y

{ŽË‹

“

{„…žT{ƒGŠ„…‰f‹†Š³‡Š

y { “

{³ŒT†…Š É{‡ TŠ]‹[„…ƒT{ž=GŽµ|‹[ƒGŒE‹†2œg{‰„¶‹†¥„…½f‹Š„…‡ ƒV‡[¸»Š

y

{·‹|{

‰‡GžT{Qº?ÌOƒŠ

y

„…?†¶‹[³Š>{¼Gœg{

“

„…|{6ƒdŠ,ÅGœE{

“

¸_‡

“

|µ‹ƒT‰{ |M{f‹[³Œ

“

{6|{ƒGŠ‡[¸Š

y

{œg{‰„¶‹[†…„…½{ž

›˜’Ä

¸“

‹ˆ |{6ƒdŠ³

 y

‡[É?~‹|„…ƒT„…|µ‹,†Wœg{{žTŒTœV‡[¸Y¢Q¡ Í&‰6‡ |œg‹

“

{6žµŠ³‡rŠ

y

{ ƒT‡QƒG¹Oœg{‰„¶‹[†…„…½{ž‰‡GžT{ º

šY†¥„…|M„¥ƒg‹[Š„…‡[ƒ˜‡[¸E„…ƒGŠ{

“

|{žW„¾‹Š{#žE‹Š·‹˜Š

“

ŒT‰Š³Œ

“

{6»„…2œg‹

“

Š#‡¸Î‡QŒ

“#“

{³{f‹

“ ‰ y

{]ÏLJ

“

ŠŠ³‡[ÉЋ

“

žTI‡ œTŠ³„…|„…½]¹

„…ƒTˆM‡ œg{

“

‹Š„…ƒTˆŽGŠ³{|щ6‡ |œg‡ ƒW{ƒGŠ>´G„¶‹œ

“

‡ ˆ

“

‹|ҍœg{‰„¶‹[†…„…½f‹[Š³„…‡ ƒ2º-ÌOŠ˜„¥|Mœ

“

‡[´Q{>‡Qƒl‡ Œ

“ œ “

{´G„…‡ ŒT

ɇ

“

Ƅ…ƒŠ

y

‹Š?‡ œTŠ³„¥|M„…½f‹[Š³„¥‡QƒT»‹

“

{ ƒT‡[É5‰f‹

“³“

„…{žl‡QŒTŠ>‹[ŒTŠ³‡ |‹[Š„…‰f‹†…†¥ŽŒT„…ƒTˆ‡QŒ

“

œg{‰„¶‹[†…„…½f‹Š„…‡ ƒŠ‡G‡Q†Óº

Ô Œ “ Šy { “

|‡

“

{ ÅQ„¥ŠÕ

y

‡[É?

y

‡[ÉֈQ{ƒT{

“

„…‰>ŒWTŽGŠ³{|‰f‹ƒE{-‹[ŒTŠ³‡ |µ‹Š„…‰f‹†¥†…Ž˜œg{‰„¶‹[†…„…½{žM„¥ƒGŠ³‡~³œE{6‰„ÀÊE‰

³Žd³Š{|Ò{6¼dŠ³{ƒT³„¥‡QƒT>GŽM{¼GœT†…‡ „…Š„…ƒTˆr‹œTœT†…„…‰f‹[Š³„…‡ ƒ‰6‡ ƒT³Š

“

‹„…ƒdŠ³fº

×MØGÙgÚ·Û Üg­ Ý#«[°"’#“

‡ ˆ

“

‹[|ҍ³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒ2ÅgœE‹

“

Š„¶‹[†I{´ ‹[†…ŒE‹Š„…‡ ƒ2ÅW‰‡ œGŽ{†…„…|„…ƒE‹Š„…‡ ƒ2ÅQ{¼GŠ{6ƒT„…T†…{‡ œG¹

{ “

‹[Š³„¥ƒWˆŽGŠ³{|,Å

“

{6|‡ Š³{>œ

“

‡G‰{žTŒ

“

{r‰,‹[†…†

ޅßà

áÃâOãfä

à

áÕåæ…âOç`èé

êjë[ìîí ï`ðí`ðñï`òOëìîí í`ó[ô[ô õ6ï_ö`ð÷Mìîølô[ñï`ö~ù,úû[ï_ñ6ø[òð êGðüîð³òõý>þ6ÿgê ï`ñø,ö! -ñø[÷

ò³õøfö`ï`ñòögû"#! $&%'(#ÿ,û)ï`ñøfö%%*!##((!+ ·ñ6ø[÷,¶ø,ö_ð³ü.-

/0Iï_ð$õø1#ï`ñ÷[ó[ñö`ð ,¶ø[í`ö`ìîö_ó[ö`ðjõ2Eÿ,òìîð³ø[òðjñø[÷˜êdð³òOë[ø[õüîõú

á43¶ä65798å

òñüîö`õø;:Iòí`ð-õ6ì.-ð÷,ó

3>18?µ63>18µ¿18)3˜1Ò3?43161812'1I3- 3>1&-

1 3>? )61#-"µ3§Mr<¤ 3>1

ØΫذ

•I‹˜œT†…ŒTœE‹

“

ŠžT{ÕŽGŠ

z

{|{Õž{¼GœT†…‡ „…Š·‹Š„…‡ ƒ ŒWŠ„…†…„¥³{ƒGŠ#„¥ƒGŠ³{ƒT„…´Q{|{ƒGŠIžT{³Š

“

ŒW‰ŠŒ

“

{?žT{

žT‡QƒTƒ?‚{{6~„…ƒGŠ{

“ | ‚{6žT„¶‹[„

“

{?‹,ÊgƒlžT{-|{Š³Š

“

{ {ƒ-ŒT´

“

{†¥{6?œ

“

‡Qœ

“

„,‚{ŠT‚{-žT{ œg‡

“

Š]‹[T„…†…„…ŠT‚{˜{Š>|M‡džWŒT†¶‹

“

„…ŠT‚{ º

Ä

{Š‹

“

Š„…‰†…{œ

“

‡ œg‡ ³{»ŒWƒT{»{6¼dŠ³{ƒT³„¥‡Qƒ

z

‹†¶‹ œ?‚{‰6„¾‹†…„¥]‹[Š³„¥‡Qƒ-žT{»œ

“

‡ ˆ

“

‹||{6TœE‡QŒ

“ ‚{†…„…|„…ƒT{

“

žT{|µ‹[ƒW„

z

{ “{

ŒTƒW„¸`‡

“

|M{ †…{ ‰‡QœT„…{ „…ƒGŠ{

“ | ‚{žW„¾‹„

“

{,º—>‡QŠ

“

{œ

“

‡G‰{³ŒTžT{Š

“

‹ƒTO¸_‡

“

|‹[Š„…‡Qƒµ{6Š‹[ŒTŠ³‡ |µ‹Š„…‘GŒT{-{Š

“

{œE‡Q{l³Œ

“

ŒTƒ ³œÐ‚{‰„¶‹[†…„…{6Œ

“

žT{œ

“

‡ ˆ

“

‹||{6

Ä

‹œTœE{6†f‚{ x

{|MœE‡gºl•î‹,´ ‹[ƒGŠ·‹ˆ {|µ‹”K{Œ

“

žT{MƒT‡ Š

“ {

‹œTœ

“

‡G‰

y

{={ŠM‘GŒT{l†…{žT{ˆ

“ ‚{˞W{lŒ “

{ŠT‚{=žTŒ œ “

‡ ˆ

“

‹||{³‡ Œ

“

‰{l{³Šœ

“ ‚{³{

“

´‚{ œE‹

“

†…{lœ

“

‡G‰{6ŒW

ž‡QœTŠ„…|„…]‹[Š„…‡Qƒ2ºš#ƒ ‰‡QƒTT‚{6‘dŒW{ƒT‰{ ÅՄ…†»žT{6´d„…{ƒGŠ œg‡ ³„…T†…{žW{

“ ‚{ŒTŠ³„…†¥„…³{

“

žWŒ ‰‡GžT{³Žd³Š

z

{|M{|‹[ŠŒ

“{

]‹[ƒT˜|{Š³Š

“

{-{ƒ-ŒT´

“

{žT{>´‚{ “

„ÀÊE‰f‹[Š³„…‡ ƒT>‹žTžT„…Š„…‡ ƒWƒT{†…†…{fº

—˜‡ 

“ ‚{ŒT†…Š]‹[Š?œ

“ ‚{†…„…|„…ƒE‹„

“

{³‡ ƒGŠ?Š

“z

{>œ

“

‡ |M{ŠŠ³{Œ

“

2†…{-œ

“

‡džWŒT„…Š?žT{-†‡QœTŠ„…|„…]‹[Š„…‡[ƒ‹[ŒTŠ³‡ |‹,¹

Š³„¥‘GŒT{?žW{¸

“

‹ˆ |{6ƒdŠ³2žT{?‰6‡džW{>žT{?†î‹[œTœg{†GžT{?œ

“

‡G‰Ç‚{žTŒ

“ { z

‹>žW„¥³Š·‹ƒT‰{?{³Š»³„¥|M„…†¾‹„

“

{‹[Œ‰‡GžT{?œ?‚{‰„¶‹[†…„…T‚{

|‹[ƒGŒT{†…†…{|{6ƒdŠ,º

’

‡ Œ

“

‰{ŠŠ³{r{6¼dœ?‚{ “

„…|{6ƒdŠ]‹[Š³„¥‡Qƒ2ÅG†…{>|M{Œ

“

{˜žT{ œg{

“

¸_‡

“

|‹[ƒT‰{-³Œ

“

†¥{-‰‡GžT{œ?‚{‰6„¾‹+¹

†…„…T‚{-žTŒ

›>’Ä

|‡QƒdŠ

“

{ƒGŠŒTƒˆG‹[„…ƒ|M„…ƒT„…|rŒT|;žW{¢Q¡ Í&{6ƒµŠ³{|œW»ž{¼‚{‰6ŒTŠ„…‡ ƒœE‹

“?“

‹œTœE‡

“

Š>‹Œ‰‡GžT{

ƒT‡Qƒœ?‚{‰6„¾‹†…„¥T‚{ º

•‚{†…„¥|M„…ƒE‹[Š³„‡ ƒVžT{Š

“

ŒT‰Š³Œ

“

{MžT{žW‡ ƒTƒ?‚{6{r„…ƒGŠ{

“ | ‚{6žT„¶‹[„

“

{„…ƒdŠ

z

{ˆ

“

{žE‹ƒTƒT‡ Š

“

{µ‹¼G{žT{

“

{]¹

‰ y { “ ‰ y { “ {†¶‹[Š³„¸ z

‹†‡QœTŠ„…|M„¥]‹[Š³„¥‡QƒržW{~‰6‡ |œg‡ ]‹[ƒGŠžT{ ³ŽGŠ

z

{6|{?ž{¼GœT†…‡Q„¥Š]‹[Š³„¥‡QƒœE‹

“

œ?‚{6‰„¶‹[†…„…·‹[Š³„…‡ ƒ

žT{œ

“

‡ ˆ

“

‹[|M|{ º

Ä

{Š³Š{ {ŠŒTžW{r{ƒ‚

“

„…‰

y

„…Š~ƒW‡ >Š

“

‹,´ ‹ŒT¼œ

“ ‚{‰j‚{žT{ƒGŠžE‹ƒT>†¶‹|M{Œ

“

{ Œl†…{œ

“

‡G‰{6ŒW

ž‡QœTŠ„…|„…]‹[Š„…‡Qƒr{³Š>|‹[„…ƒGŠ{ƒE‹ƒGŠ

“ ‚{f‹†…„¥T‚{ ‹[ŒTŠ³‡ |µ‹Š„…‘GŒT{|M{ƒGŠœg‹

“

ƒT‡QŠ

“

{‡ ŒTŠ³„¥†gžT{ ³œ?‚{‰„¶‹†¥„…]‹[Š„…‡Qƒ2º

bÜg¬+«KÚK¯ Ø °"!

œÐ‚{‰„¶‹[†…„…·‹Š„…‡ ƒMžT{ œ

“

‡ ˆ

“

‹[|M|{ ÅՂ{´ ‹†¥Œg‹[Š„…‡Qƒµœg‹

“

Š³„…{†…†¥{QÅ?‚{†…„…|„…ƒE‹Š„…‡ ƒžT{ ‰‡QœT„…{fÅg³ŽdÃ¹

Š z

{|{?ž#{6¼dœW†¥‡Q„…Š·‹[Š³„…‡ ƒ{¼GŠ{6ƒT„…T†…{ Åj‹[œWœE{†jžW{ œ

“

‡G‰j‚{6žTŒ

“ { z

‹žT„…Š·‹ƒT‰{

4 5 2V

! { “

´G„…‰{>‡ÏÇ{

“

{žGŽ‡ œg{

“

‹Š„…ƒTˆŽGŠ³{|?‹

“

{-dŽƒE‹ŠŒ

“

{~ˆQ{ƒT{

“

‹[†Oº#–>?ƒW{É*‹[œWœT†…„¥‰,‹[Š„…‡QƒT»‹[ƒWž

y ‹ “

žG¹

É?‹

“

{ œT†¶‹[ŠÃ¸_‡

“

|{|{

“

ˆ { ÅWŠ

y

„…?„…ƒT‰

“

{f‹[³„…ƒTˆˆQ{ƒT{

“

‹[†…„…ŠOŽœg{ƒE‹[†…„…½{˜œE{

“

¸_‡

“

|µ‹ƒT‰{ º x?y

„…?‰‡Qƒ6E„…‰Š˜E{ŠÃ¹

É{{ƒ ˆQ{ƒT{

“

‹[†…„…ŠOŽË‹[ƒTžVœE{

“

¸_‡

“

|µ‹ƒT‰{„¥-Š

y

{E‹[³„…>‡[¸?{6´ {

“

‹[†

“

{{f‹

“ ‰ y œ “

‡f”]{6‰Š É

y

„¥‰

y ‹ “

{‹[„…|{ž

‹ŠržT{6„…ˆ ƒT„…ƒTˆ=‡ œg{

“

‹[Š„…ƒTˆ=ŽG³Š{|MrÉ

y

„…‰

y

‰f‹ƒ ‹žE‹[œWŠ Š‡=ŒT·‹ˆ {MœE‹[Š³Š{

“

ƒTŠ³‡lŠ

“

{f‹[Š³œE{‰6„Êg‰l‰f‹[³{

{7‰6„¥{6ƒdŠ³†…Ž98…¦[ÅE}WÅT¢TÅ:.;º

x?y

„¥˜œE‹[œg{

“

{6¼dœW†¥‡

“

{ ‹ƒT{É ‹[œTœ

“

‡d‹‰

y

¸_‡

“

‹ŒTŠ‡Q|µ‹[Š³„…‰f‹[†…†…ŽrˆQ{ƒT{

“

‹[Š³„¥ƒWˆµ³ŽGŠ{6|²{6¼dŠ³{ƒT³„¥‡QƒT-„…ƒ

Š y

{‰‡ ƒGŠ{6¼dŠ‡¸~{¼GŠ³{ƒT„…T†…{l‡QœE{

“

‹[Š³„…ƒTˆË³ŽGŠ{6|fº ˜Œ

“

|µ‹[„…ƒ ‰‡QƒGŠ

“

„…TŒWŠ„…‡ ƒ „¥Š‡=œ

“

‡[´d„…žT{‹=ÉЋ,Ž

‡¸»œE{

“

¸_‡

“

|„…ƒTˆœ

“

‡ ˆ

“

‹| ³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒl‡[¸ˆ {6ƒT{

“

‹†ŽG³Š{|†¾‹,ŽQ{

“

˜{¼GœT†…‡ „…Š„…ƒTˆŠ

y

{ŒT·‹ˆ { œE‹ŠŠ³{

“ ƒ

‡¸‹=œg‹

“

Š³„…‰ŒT†¶‹

“

‹œTœT†…„…‰f‹[Š³„¥‡Qƒ2º x?y

„…‹[œWœ

“

‡G‹[‰

y

„¥³ŒT„…Š{ž ¸_‡

“

‰f‹{MÉ y { “

{˄…ƒG¸_‡

“

|‹[Š„…‡QƒË‰f‹ƒ E{

{¼GŠ

“

‹[‰6Š{ž¸

“

‡Q|;Š

y

{?ŒT³{

“

‹œTœT†…„…‰f‹[Š³„¥‡Qƒ-„¥ƒ‹[žWžT„…Š„…‡ ƒ-Š‡-„…ƒG¸_‡

“

|‹[Š„…‡Qƒ>ˆ „…´Q{ƒrGŽ-ŒWTŽGŠ³{|,º=<»{6‰f‹[ŒT³{

³ŒT‰

y

„¥ƒÎ¸_‡

“

|µ‹[Š³„…‡ ƒ´ ‹

“

„…{?¸

“

‡ |҇QƒT{¿‹œTœT†…„…‰f‹[Š³„…‡ ƒŠ‡‹[ƒT‡QŠ

y { “

ÅjŠ

y

{r³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒµœ

“

‡G‰{³r„…>ŒW{ž

“

{œE{,‹[Š{6žT†…Ž>#Š

y

„…>|‹[Æ {6>„…Š ‹[ŒWŠ‡ |‹[Š³„¥‡Qƒµ‹ƒT{‰{³„…ŠOŽ=„¥ƒ=Š

y

{r³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒl‡[¸»†¶‹

“

ˆ {œ

“

‡džWŒT‰Š„…‡Qƒ

‰‡GžT{ ³ŒT‰

y

‹‡QœE{

“

‹[Š³„¥ƒWˆ ŽG³Š{|Mfº&–ÑŠOŽGœT„…‰f‹†-{¼T‹[|œW†¥{‡¸Š

y

„…„…ŠŒE‹Š„…‡ ƒ ‡G‰‰Œ

“

l„…ƒ

›

{|‡QŠ{

’#“

‡G‰{žTŒ

“ { Ä

‹[†…†…@?

›>’Ä)A

ÅTÉ y { “

{ ‰‡QƒGŠ{¼GŠ>„…ƒG¸`‡

“

|‹[Š³„¥‡QƒB?

/'CD*C

ÅWœ

“

‡G‰{6žTŒ

“

{„…ˆQƒE‹[Š³Œ

“

{

A

„…?œ

“

‡[´d„…žT{6ž

GŽÖ‹ƒÖ‹œTœT†…„…‰f‹[Š³„¥‡Qƒ ‹[ƒTž ŒT³{ž GŽÖ‹VŠ‡G‡ †?

/'C2*+C

ÅՍŠŒW ‰‡ |MœT„…†…{

“  A

Š‡ ˆQ{ƒT{

“

‹[Š{Vœg{‰„¶‹[†…„…½{ž ‰‡GžT{

“

ŒTƒTƒT„…ƒTˆ‹Š?ŒT{

“

†…{´ {†Oº

˜Œ

“

‹[žE‹œTŠ·‹Š„…‡ ƒ œ “

‡G‰{6„…E‹[³{ž ‡ ƒb‹=œg{‰„¶‹[†…„…½{

“

¸_‡

“Ä

œ “

‡Qˆ

“

‹[|,ŃE‹|{ž

x

{|MœE‡E8GFH;ú

x

{|MœE‡-‹[ˆ ˆ

“

{³„…´ {6†¥ŽœE{

“

¸_‡

“

|I´ ‹

“

„…‡QŒT#œ

“

‡Qˆ

“

‹|;Š

“

‹[ƒTÃ¸_‡

“

|µ‹[Š³„…‡ ƒTIŒT‰

y

‹[{†…„…|„…ƒE‹Š„…‡ ƒ˜‡[¸EŒWƒdŒW{ž

‰‡GžT{>‹ƒTž´ ‹

“

„¶‹T†…{fÅ[‹[ƒWžrœ

“

‡G‰{žTŒ

“

{>ŒTƒÎ¸_‡ †…žT„…ƒTˆgºÇ• „…Æ {?‹[ƒGŽ-‡ œTŠ³„¥|M„…½{

“

Å,„À¸E„…Š2„…#{6|µ‹[ƒGŠ³„¥‰Õœ

“

{³{

“

´G„…ƒTˆgÅ

Š y

{r³œE{6‰„¶‹[†…„…½{

“

É?„…†¥†Iœ

“

‡GžTŒW‰{‡ œTŠ³„…|„…½{žM‰‡GžT{rŠ

y

‹[Š-‰f‹ƒlg{rŠ

“

ŒT³Š{žI?„¸Š

y

{rƒW‡ ƒG¹Oœg{‰„¶‹[†…„…½{ž=‡ ƒW{

„… A º

JLK ­[Ø `ØMG®$N¯[ØPO !

ŽdƒGŠ

y

{Š„…¼jÅ>‹ƒTž*Š

y { !

ŽGƒdŠ

y

{³„¥ÆQ{

“

ƒT{6†8î¨H;ÃÅ

y

‹,´ {lžW{|‡QƒTŠ

“

‹[Š³{ž ³„¥ˆQƒT„ÀÊE‰f‹ƒdŠ

œg‡ Š³{ƒGŠ„¶‹[†#ˆd‹„…ƒT-‡[¸»³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒl„…ƒl‡ œg{

“

‹Š„…ƒTˆMŽGŠ³{|,ºQ>‡[É{´Q{

“

Åjg‡ Š y Šy { !

ŽGƒdŠ

y

{³„¥-ÆQ{

“

ƒT{6†

‹ƒTž

!

ŽGƒGŠ

y

{6Š„…¼{¼Gœg{

“

„…|M{ƒGŠ>ŒWœlŠ‡ƒT‡[É

y

‹,´Q{~g{{ƒ=žT‡QƒT{ GŽ

y

‹ƒTž2º?˜Œ

“

{6¼dœg{

“

„¥{6ƒT‰{É?„¥Š

y Š y

{³{

{¼Gœg{

“

„…|M{ƒGŠ?

y

‡[É??Š

y

‹Š?„¥ƒM‡

“

žT{

“

Š‡‰,‹[†…{-ŒTœŠ

y

{-{¼Gœg{

“

„…|{6ƒdŠ³>‹[ƒTž‹[œTœW†¥Ž³œE{6‰„¶‹[†…„…½f‹[Š³„¥‡QƒŠ³‡¿‹ƒ

{ƒGŠ³„

“

{rœ

“

‡GžTŒT‰Š³„…‡ ƒ=‡ œg{

“

‹Š„…ƒTˆŽG³Š{|=ÅEÉ{ƒT{{ž=œE‡[É{

“

¸_ŒT†2Š³‡G‡ †…>Š³‡µ‹[ŒWŠ‡ |‹[Š³{~Š

y

{ ³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒ

œ “

‡G‰{,º x?y

„…-„…>œE‹

“

Š„…‰ŒW†¾‹

“

†…ŽŠ

y

{‰,‹[{¸`‡

“ œ “

‡GžTŒT‰Š³„…‡ ƒ=‰‡GžT{É?„…Š

y

³„¥|ŒW†¥Š]‹[ƒT{6‡ ŒT

“

{‘GŒT„

“

{6|{ƒGŠ

‡¸Yœg{

“

¸_‡

“

|µ‹[ƒW‰{ ÅG‰‡

““

{6‰ŠƒT{6fÅ |‡GžTŒT†¶‹

“

„…ŠOŽdÅ ‹ƒTžœE‡

“

Š]‹[T„…†…„…ŠOŽdº

–b‰

“

„¥Š³„…‰f‹[†j„…³ŒT{ „…ƒŠ

y

{ ‹

“

Š?‡[¸‡QœE{

“

‹[Š³„…ƒTˆr³ŽGŠ{6|҇ œTŠ³„¥|M„…½f‹[Š³„¥‡Qƒ „…>‹,´ ‡Q„¥žW„¥ƒWˆ~œ

y

ŽG³„¥‰,‹[†j|{6|‡

“ Ž

‰‡QœGŽdº

±

‹ƒGŽËŠ³{‰

y

ƒT„…‘GŒT{

y

‹,´ {g{{ƒ „¥ƒGŠ

“

‡GžTŒT‰{6ž „…ƒ Š y

{M†¶‹[ŠÊT¸_Š{6{ƒ ŽQ{f‹

“

 Š‡l‡QœTŠ„…|M„¥½6{r³Žd³Š{|

³Š

“

ŒW‰ŠŒ

“

„…ƒTˆdŽM{†…„…|„…ƒE‹[Š³„…ƒTˆ-‰‡ œT„…{8GRGÅTSTÅg GÅ2¦,¡TÅ2¦Q¦U;º

± { “

ˆ „…ƒTˆ³Žd³Š{|҆¶‹,ŽQ{

“

?Š³‡ ˆ {6Š

y { “

‡ÏÇ{

“

~‹ƒ

‡QœTœE‡

“

Š³ŒTƒT„…ŠOŽŠ‡

“

{|M‡[´ {„…ƒdŠ³{

“

|M{žT„¶‹[Š³{?žE‹[Š]‹ ³Š

“

ŒT‰ŠŒ

“

{˜É

y

„…‰ y ‹ “

{>ƒT‡

“

|µ‹†…†¥Ž-ƒT{6{žT{ž¸`‡

“

|M‡džWŒT†¶‹,¹

“

„¥ŠOŽ

“

{f‹[³‡ ƒT,ºQ˜‡[É»{´Q{

“

ÅG‰6‡ œGŽ{†…„…|„…ƒE‹[Š³„…‡ ƒ „…E{ŽQ‡ ƒTžM‰‡ ƒG´Q{ƒGŠ„…‡ ƒE‹†Eœ

“

‡ ˆ

“

‹| ³œE{6‰„¶‹[†…„…½f‹[Š³„¥‡QƒV>GŠ

y

„¥

‡QœTŠ„…|„…½f‹Š„…‡ ƒ

“

{‘GŒT„

“

{-‹[žTžW„¥Š³„…‡ ƒE‹†EŠ

“

‹[ƒWO¸_‡

“

|µ‹Š„…‡ ƒWfº

W-ÜTNI¬f­.X`ª#¬'X¶ÜPN«OÒx

{|œg‡„…|œT†…{|M{ƒGŠ‡ Œ

“

ˆ {ƒT{

“

‹[†‹[œTœ

“

‡d‹‰

y

Š‡µ‹ŒTŠ‡Q|µ‹Š{-ŽGŠ³{|чQœTŠ„…|M„¥½,‹,¹

Š³„¥‡QƒTfº x?y

{ ‰‡ ƒGŠ

“

„…TŒTŠ³„¥‡QƒT‡[¸Š

y

„…?œE‹œE{

“

‰f‹[ƒg{ ŒT|M|µ‹

“

„…½{ž‹¸_‡ †…†…‡[É?fº

Y[Z { y

‹,´ {lžW{´ {†…‡QœE{žb‹=ƒT{Éы[œWœ

“

‡G‹[‰

y

Š‡ ‰6‡ |T„…ƒT„…ƒTˆË‹ƒTž ³œE{‰6„¾‹†…„¥½6„¥ƒWˆ {¼G„¥³Š„…ƒTˆ ³Žd³Š{|

†¶‹,Ž {

“

?ŒT„…ƒTˆœ

“

‡ ˆ

“

‹[| Š“

‹ƒTO¸`‡

“

|‹[Š³„¥‡Qƒ2º

: Y x

‡µ‹[‰

y

„…{´Q{rŠ

y

„…-„¥ƒGŠ³{ˆ

“

‹[Š„…‡QƒË‡¸»†¶‹,Ž {

“

fÅjÉ{r„…ƒGŠ

“

‡GžTŒT‰{‹ƒT{É&Š{‰

y

ƒW„¥‘GŒT{Š‡{†…„…|„…ƒE‹Š{-|{K¹

|‡

“

Ž-‰‡ œGŽGŽ ‰‡ ƒWŠ

“

ŒT‰Š³„¥ƒWˆ¿‹ƒ¿‹TŠ

“

‹[‰6Š‰‡ œGŽ

y

„…Š³‡

“

Ž‹[ƒWžr{†…„…|„…ƒE‹Š„…ƒTˆ„…ƒdŠ³{

“

|M{žT„¶‹[Š³{»žg‹[Š·‹

Š

“

ŒT‰Š³Œ

“

{6fº

J¬ XN#ØPOÒx?y

{ “ {Š‡¸>Š

y

{MœE‹[œg{

“

„¥‡

“

ˆd‹ƒT„…½{žÖ‹-¸_‡Q†¥†…‡[É?,º

!

{‰Š³„¥‡QƒÖ}žW{‰

“

„…E{MŠ

y { x

{|œg‡

³œE{‰6„¾‹†…„¥½6{

“

‹[ƒWž Š y {=|{

“

ˆ „…ƒTˆ ‡¸r{¼G„…Š³„¥ƒWˆ ŽG³Š{| †¾‹,ŽQ{

“

M„…ƒ*‹ ³œE{‰6„¾‹†…„¥½6{ž*³ŽGŠ{6|{6¼dŠ³{ƒT³„¥‡Qƒ2º

!

{6‰Š„…‡ ƒ ¢„…ƒGŠ

“

‡GžTŒT‰{Š

y

{‰‡ œGŽ {†…„…|„…ƒE‹Š„…‡[ƒlŠ³{‰

y

ƒT„…‘GŒT{l‹[ƒTž „¥Š³r„…ƒGŠ{6ˆ

“

‹Š„…‡ ƒ „…ƒGŠ‡

x

{6|œg‡T>#Š

y

„¥

Š³{‰

y

ƒT„…‘GŒT{?„…2Ê

“

ŠÕ„¥†…†…ŒT³Š

“

‹Š{žGŽr‹[ŒWŠ‡ |‹[Š³„¥‰#³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒr‡¸Çœ

“

‡ Š³‡d‰6‡ †T³Š·‹[‰]Æ †¶‹,ŽQ{

“

#É

y

„…‰

y

|M„…|„‰

›˜’Ä

>GŠ

y

{6ƒ2ÅGÉ»{˜œ

“

{6{ƒGŠ>œ

“

{†…„…|„…ƒE‹

“Ž “

{ŒT†…Š³?„¥ƒ‹œTœT†…ŽG„…ƒTˆ ‡ Œ

“

Š³{‰

y

ƒT„…‘GŒT{˜¸_‡

“

‡QœTŠ„…|M„¥½6„¥ƒWˆ

›˜’Ä

„…ƒ

Š y { Äy

‡ “

ŒT

Ä

†¶‹[³„*‡QœE{

“

‹[Š³„…ƒTˆr³ŽGŠ{6|˺

!

{‰6Š„…‡ ƒ :œ

“

{³{ƒGŠ

“

{6†¾‹Š{žÉ‡

“

Ƅ¥ƒMŠ

y

{-³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒ

‡¸Y‡QœE{

“

‹[Š³„…ƒTˆr³ŽGŠ{6|fº

Ô

„¥ƒg‹[†…†…ŽdÅ

!

{‰Š„…‡Qƒ FˆQ„…´ {?‰‡QƒT‰†…ŒTžT„…ƒTˆ

“

{6|µ‹

“

ÆGfº

?'r3 5

3˜< -#"7¤9b-#)Ö(57~),-

x?y

{?‰6‡ ƒ6E„…‰ŠÕE{ŠOÉ{{ƒM|‡GžTŒT†¶‹

“

„…ŠOŽ>‹[ƒTžœg{

“

¸_‡

“

|‹[ƒT‰{?„…#ƒT‡[É ‹>É{†…†À¹Ó„…žT{6ƒdŠ³„ÀÊE{ž œ

“

‡ T†…{|Á„…ƒr³Žd³Š{|

³‡[¸_ŠOÉ?‹

“

{žT{´ {6†¥‡QœT|{6ƒdŠ,º

±

‡džWŒT†¶‹

“

„…ŠOŽl„…ƒ=ŽGŠ³{|‰‡GžT{

y

‹[|µ‹[ƒGŽl‹[žW´ ‹[ƒGŠ·‹ˆ {-ŒW‰

y

‹[ |‹[„…ƒGŠ·‹„¹

ƒE‹T„…†…„¥ŠOŽGÅ

“

{K¹ÓŒT]‹[T„…†…„…ŠOŽdŋƒTž ˆ {ƒW{

“

‹†¥„…ŠOŽGº Q˜‡[É»{6´ {

“

Å?Š

y

{6{ˋžT´ ‹[ƒGŠ·‹ˆ {‰‡Q|{µ‹ŠŠ

y

{V{¼GœE{ƒW{l‡¸

œg{

“

¸`‡

“

|‹[ƒT‰6{µ„À¸-Š

y

{|‡GžTŒW†¾‹

“

žT{³„…ˆ ƒ „…r|‹[œTœg{ž žW„

“

{‰Š³†¥Ž Š‡ ‹ƒ „…|œT†…{|M{ƒGŠ·‹Š„…‡[ƒ2º=ÌOƒTžT{{6ž2ń¥Š

‡¸_Š{ƒ„…ƒGŠ

“

‡džWŒT‰{˜‡ |M{>‡[´Q{

“y

{,‹[žžTŒT{-Š‡‡QœE{

“

‹[Š³„…‡ ƒT?³ŒT‰

y

‹?œ

“

‡QŠ{‰6Š„…‡ ƒžT‡Q|µ‹[„…ƒ‰

“

‡Q³„¥ƒWˆEÅTžg‹[Š·‹

‰‡QœGŽd„…ƒTˆ=‹[ƒTž=¸_‡

“

|‹[Š>Š

“

‹ƒT†¶‹[Š³„…‡ ƒ g{ŠOÉ»{6{ƒ †¾‹,ŽQ{

“

,ŋƒTž

y

{f‹,´G„…†…ŽËœg‹

“

‹|{Š³{

“

„…½{6ž „¥ƒGŠ³{

“

¸Ó‹‰{¸`ŒTƒT‰]¹

Š³„¥‡QƒTfº

›

‹[Š

y { “

ÅQ|‡GžTŒW†¾‹

“

žT{6„…ˆ ƒM

y

‡QŒT†…žE{˜Š

y

{?E‹„…‡[¸2‹-Š³{œGÉ?„¥³{

“

{]ÊEƒW{|{ƒGŠœ

“

‡G‰{³?Š‡ žT{

“

„…´ {

‹ƒµ„…|MœT†…{|{ƒGŠ]‹[Š„…‡[ƒ2ŝ„¥ƒWŠ{,‹[ž‡[¸#E{„…ƒTˆžW„

“

{‰Š³†¥ŽM|µ‹œTœE{6žŠ‡‹ƒ„¥|MœT†…{|{6ƒdŠ]‹[Š³„‡ ƒIº

Z {-‰†¶‹„¥| Šy

‹Š>Š

y

„¥

“

{]ÊgƒT{|{6ƒdŠ˜œ

“

‡G‰{6-‰f‹[ƒVE{‹[‰

y

„…{´Q{žlGŽœ

“

‡ ˆ

“

‹[|8œg{‰„¶‹†¥„…½f‹Š„…‡ ƒIº x?y

„¥

‹ŒTŠ‡Q|µ‹[Š³„…‰Š

“

‹ƒTO¸_‡

“

|‹[Š„…‡Qƒ~œ

“

‡G‰{³»‰f‹ƒr‰6‡ †…†¶‹[œT³{|‡GžTŒT†…{IGŽ~³ŒT‰

y Š “

‹[ƒTÃ¸_‡

“

|µ‹[Š³„…‡ ƒT2‹

“

{|‡[´G„…ƒTˆ

œE‹

“

‹|{Š³{

“

„…½f‹Š„…‡ ƒl‡¸»„…ƒGŠ{

“

¸Ó‹[‰{¸_ŒTƒW‰Š„…‡ ƒW‹ƒTžlœ

“

‡ œE‹ˆd‹Š„…ƒTˆ‰6‡ ƒT³Š·‹[ƒGŠ³fº ÌOƒVŠ

y

„…-{‰6Š„…‡ ƒ=É»{Ê

“

Š

ˆQ„¥´Q{µ‹ƒ ‡[´ {

“

´d„…{É ‡[¸~‹œ

“

‡ ˆ

“

‹[|³œE{‰6„¾‹†…„¥½,‹[Š„…‡Qƒ ŽGŠ³{|ËÅ#ƒE‹|{ž

x

{|MœE‡ 8GFH;º x?y

{6ƒ2ÅÉ{µ‹

“

ˆ ŒW{

Š y

‹[Š‡QŒ

“

‹œTœ

“

‡G‹[‰

y

Š‡žT{´ {6†¥‡QœT„…ƒTˆ

x

{|œg‡>|‹[Æ {6„…Š#œE‹

“

Š„…‰ŒW†¾‹

“

†…Ž É{†…†À¹Ó³ŒT„…Š{žŠ³‡ ‡ œTŠ³„…|„…½{³Žd³Š{|

‰‡GžT{Qº

Ô

„…ƒE‹[†…†…ŽdÅQÉ{~žW„¥³‰ŒT³

y

‡[É Š y {-¸_{,‹[ŠŒ

“

{-‡[¸

x

{|œg‡r‹

“

{-{¼GœT†…‡ „…Š{6žµŠ³‡‰‡ †…†¶‹[œW{-†¶‹,Ž {

“

fº

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

x

{|MœE‡l„…‹lœ

“

‡ ˆ

“

‹|Š

“

‹[ƒTÃ¸_‡

“

|µ‹[Š³„…‡ ƒ ŽG³Š{|§E‹[³{ž ‡ ƒ œ “

‡Qˆ

“

‹|œg{‰„¶‹†¥„…½f‹Š„…‡ ƒ 8…¦f}GŦf¢;º ÌOŠ

Š]‹[Æ {6µ‹=‡QŒ

“

‰6{˜

“

‡ ˆ

“

‹[|§É

“

„…Š³Š{ƒ „…ƒ

Ä

‹[ƒTž œE‹

“

ŠM‡[¸ „…ŠM„¥ƒWœTŒTŠfÅ?‹ƒTž œ “

‡GžTŒT‰6{l‹=œg{‰„¶‹[†…„…½{ž

œ “

‡ ˆ

“

‹[|=º x?y

„…˜œ

“

‡Qˆ

“

‹| ³œE{6‰„¶‹[†…„…½{

“

„…˜‡[Ïg¹Ó†…„…ƒT{ 8…¦f}GÅ2¦,¢H;„…ƒlŠ

y

‹[Š?„…Š>œ

“

‡G‰{³{r‹œ

“

‡ ˆ

“

‹| „…ƒŠOÉ»‡

³Š{œT žTŒ

“

„…ƒTˆŠ

y

{-Ê

“

Š˜œ

y

‹[³{ ‡ ƒW†¥Ž‹ ÆGƒT‡[É?ƒ4[ŒTƒTÆGƒT‡[É?ƒžT„…´G„…„…‡ ƒM‡[¸#Š

y

{ „…ƒTœWŒTŠ?„…?ˆ „…´ {ƒIº

’

‡ „…ƒGŠ{

“

‹ƒTž³„¥žW{]¹Ó{KÏÇ{‰6Š?„¥ƒÎ¸_‡

“

|µ‹[Š³„…‡ ƒ-‡[¸2Š

y

{>³ŒT ”]{‰Š?œ

“

‡ ˆ

“

‹| ‹ “ {?Ê

“

Š‰‡ |MœTŒTŠ³{ž2º x?y

{ƒ2ÅT‹65

87+*:9# "/

+$. !;

žW{Š{

“

|„…ƒT{˜Š

y

{‰‡ |MœTŒTŠ·‹Š„…‡ ƒW»É

y

„…‰ y“

{†…ŽM‡ ƒlŠ

y

{ ÆGƒT‡[É?ƒœg‹

“

Š³>‡¸YŠ

y

{ „…ƒTœTŒWŠfº

Ô

„…ƒE‹†¥†…ŽGÅ

‹ƒ ‹‰Š„…‡Qƒµ‹[ƒg‹[†…ŽG„…»žW{Š{

“

|„…ƒT{>‹œ

“

‡ ˆ

“

‹| Š“

‹[ƒTÃ¸_‡

“

|µ‹[Š³„…‡ ƒ¸_‡

“

{f‹‰

y

‰6‡ ƒT³Š

“

ŒW‰Š>„…ƒŠ

y

{-œ

“

‡ ˆ

“

‹[|=º

x?y

{ “

{³ŒT†…Š2‡¸ÎŠ

y

{#Ê

“

ŠIœ

y

‹[³{‰f‹ƒ {„…Š y { “

g{ŒT{6ž ¸_‡

“

‰‡ |MœT„…†…{]¹ÓŠ³„…|{j‡

“2“

ŒTƒG¹OŠ„…|{Iœg{‰„¶‹[†…„…½f‹Š„…‡ ƒ2º

ÌOƒŠ

y

{>¸`‡

“

|M{

“

‰f‹[³{ ÅE‹‰‡ ƒW‰

“

{Š³{r´ ‹†…ŒT{>„…ˆ „…´ {ƒ¸_‡

“

{,‹[‰

y

ÆdƒW‡[É?ƒ„…ƒTœTŒTŠ>‹Š»‰6‡ |œW„¥†…{?Š³„¥|M{ ÅG‹[ƒTžMŠ

y {

œ “

‡ ˆ

“

‹[|҄…?³œE{‰6„¾‹†…„¥½6{ž ‹Š>‰‡Q|œT„…†…{>Š³„…|{ ‹[˜É»{†…†OºÌOƒlŠ

y

{r†¶‹[Š³Š{

“

‰f‹[³{ ÅjŠ

y

{ ‰‡QƒT‰

“

{6Š{´ ‹[†…ŒT{6>‡ ƒW†¥Ž

g{‰‡Q|{-ÆGƒT‡[É?ƒl‹[Š

“

ŒWƒlŠ„…|{QÅd‹ƒTžœg{‰„¶‹[†…„…½f‹[Š³„…‡ ƒ

“

{†…„…{˜‡ ƒl‹ ³Š

“

‹[Š{6ˆ ŽE‹[³{žl‡QƒµŠ³{|œW†¾‹Š{8…¦H:;ú