Destructors, Finalizers, and Synchronization

Hans-J. Boehm Internet Systems and Storage Laboratory HP Laboratories Palo Alto HPL-2002-335 December 4th , 2002*

destructors, We compare two different facilities for running cleanup actions for finalizers, objects that are about to reach the end of their life. threads, garbage Destructors, such as we find in C++, are invoked synchronously collection when an object goes out of scope. They make it easier to implement cleanup actions for objects of well-known lifetime, especially in the presence of exceptions.

Languages like Java, Modula-3, and C# provide a different kind of "finalization" facility: Cleanup methods may be run when the garbage collector discovers a heap object to be otherwise inaccessible. Unlike C++ destructors, such methods run in a separate thread at some much less well-defined time.

We argue that these are fundamentally different, and potentially complementary, language facilities. We also try to resolve some common misunderstandings about finalization in the process. In particular: 1. The asynchronous nature of finalizers is not just an accident of implementation or a shortcoming of tracing collectors; it is necessary for correctness of client code, fundamentally affects how finalizers must be written, and how finalization facilities should be presented to the user. 2. An object may legitimately be finalized while one of its methods are still running. This should and can be addressed by the language specification and client code.

* Internal Accession Date Only Approved for External Publication To be presented at SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 15-17 January 2003, New Orleans, LA ã Copyright ACM Destructors, Finalizers, and Synchronization

Hans-J. Boehm Hewlett-Packard Laboratories 1501 Page Mill Rd. Palo Alto, CA 94304 Hans [email protected]

ABSTRACT General Terms

¢¡¤£¦¥¨§ © ¡ ¥¡ ¡ £¦! ¡"#$¥% & '()*£ ¡ +,'(©- +£. ]I +)%'3 )%¡"@?,(¡")¨

¥%"*$¥% ¥¨/10$¡¦£"*23 +4 ¡5 /¥¨'( ¥6 ¡ £272(¡8¡(9¥¨:2(¡ $¡<;

=>¡" '£¥% "@?A"'£2B +"¡DC(E!GFIH&H&?J ¡KLM¥%NM¡E"O,(. Keywords

=A¡ + ¥<£Nr? (¡" '£¥% @? C3 + !n< ¥¨ ?x)~ /3 +)¨¡u£¥¨ ¡£¥¨ ?>"O.

£2 ¥%¥%'" OPI2(¡Q R¥%/S0T¡£U)¨¥<¡"¤¥¨'(U¥%V"£¥¨©¡;XWI2¡O6§4 N¨¡

£2 ¥¨(n ¥¨ ?,2( ¡

¡< "¡ ¥4§ © ¡§Y¡Y£ ¡ +,'(©Z £¥¨(" $¥% ¥¨/10$¡¦£" ¥¨[¡¦ ! . N(¥@I8 !T¡§ ¡?,¡¦"©¡£ O8D2(¡J© ¡"¡¦£¡&¥% ¡\£¡©(!¥%"@;

]^ ()¨'3 +)¨¡": !NM¡8_M `L ¨abc?3dY¥<'( .fe¨ag¨h+c?A +EFIi ajc3©( ¥kL,(¡ 1. INTRODUCTION

&¡ ¡¦, N!(4¥¨*lmC n ¥%oD` £ pOSq¤Fr ¡ +'©6§ ¡2¥<("

WI2¡Y$¥¨ ¥kI)4"¡£¥¨("#¡"£ /¡*¥8§Y¡£f2 (!"§·T¥¨ u ""¥%.

§K OY/¡: '*I2(¡X2¡[) / )%¡:£¥% ! ¡£¦¥¨ I"£¥kLM¡¦ "# V2(¡ ©¥%/.

£ ()7£ ¡ +'©£¥<(¡¢I2¥¨/10$¡¦£"@qQFIH&H(¡" '£¥% "R +

0T¡£&¥X/¡Y¥%2¡ I"¡ 3 +££¡""/( !¡<;#s NM¡DFIH&Ht¡" '(£¥¨ "@?

_M `L ¨¸¨dY¥<(' .fe%¸¨FIiBC3 + !n¦¡ "@;

"'(£f2R§Y¡2¥<("U '(RQ Y"¡©3 + @ ¡X2 ¡ +Q U"¥¨§Y¡u§U'£25 ¡""

FIH&HZ(¡" '£¥% "X ¡ £¦ !¡< '©- £¥¨("&¡\¡£'(¡¢©( §4 O

A¡ .v(¡C(¡D§ ¡;

I2¡¦E &©( ¥¨)% @ §«L~ + p +/ ¡U)¨¥<¡" ¥¨'[¥¨>"£¥%©¡;^WI2¡#© ¡L )

¢¡ )%'¡&2 I2¡¦"¡ ¡&T' § ¡¦,@ + !O(!¡¦ ¡@?1 +u©¥¨.

¥¨©(¥¨"82 ¢FIH&H¹¡" '(£¥¨ "P ¡4£ ¡ + !O7'"¡T' ; (

}

¡¦, + ! Ou£¥¨§ ©( ¡§ ¡@ O,?< ()¨'3 +)¨¡U +£ !¡"@; ¢¡ "¥ Ou¥

2¡¦ ¡8"*"¥¨§ ¡R )¨ ¡¦¡§ ¡*¥¨E2¥kº2(¡OR"2¥%' E/¡8'"¡¦G»$£`;

¡¦"¥¨ LM¡#"¥¨§ ¡&£¦¥¨§ § ¥%D§ "'(¡ "@ +(!()¨"¤ /¥%'VC n ¥%

l¼3¡"¥%' £¡XdK +3 )%¡§ ¡o*9ag¢%c½;

D2(¡J© ¥<£¦¡""@;xw8© £' + @q

dK Ot© ¥%)¨ @ §Y§ )Q )%'3 +)¨¡"52 4© ¥kL¡t +'¥¨§K £?

) + /3 +)¨¡.¾£¥% ! ¡£¦¡§ ¡§ ¥% OR§4 )%¡§ ¡6 "¥5©( ¥kL,(¡8¿3(M°±À

WI2¡R "O£2 ¥%¥¨'("*3 +' ¡D¥%JC n¡ ""X(¥¨*0T'"6

Á+ ¡:¥K£ ¡ E'©R2(¡ ©R¥%/S0T¡£" "¥%§ ¡§ ¡8/¡¦$¥¨ ¡u£¥¨ ¡£¥%3;

£¦£¡ ¥%§ © ¡§Y¡@ ¥¨¤¥¨ V 3"2¥% £¥¨§ ():¥¨( @ £()

s:( !N¨¡D¡" '(£¥¨ "@?>C3 + !n¦¡ "6 ¡K¥%$¡7L,¡A¡| +"Âl;;;Â'.

£¥% ! ¡£¦¥¨ "@z<!>"(¡£¡""@ + O $¥% £¥% ¡£¡¦""¥¨{£ ¡£¦¥<¡?

$'( § ¡@ + ! O7 ¡¦£"&2¥kGC(3 n¡ "#§U'"J/¡¤I ¡3?

£ +u£ +'"¡ ¡ @ £:/¡¦23 `L!¥% @?¨©¥<¥¨ I©¡ T¥¨ §4 +£¡

(52¥k|C n ¥%R £¦! ¡" "2(¥¨' 5/¡*©( ¡"¡¡5¥

pOK©( ¥¨/ ¡§Y"oR»agc?1@ +NM¡4" )¨2 O6¥%'J¥%^£¥%,¡¦\,@?~6"¡£¥¨

2¡:'"¡ @;

¡ ¡Zl LM¥¨uC3 + !n¦¡ "o½;

}

£¥%§ § ¥%tL¡«"u2 X2¡E "O(£f2( ¥¨¥%'"X3 +' ¡4¥¨&C(.

}

3 + !n< ¥¨5"X #£¥¨("¡Ã'¡(£¡ ¥¨A2¡¤'"¡ ¥%& U @ +£)u) / )%¡

P¥¨/10$¡£¤§4 `OP ¡)%!§4 +¡ O5/¡C n¡RI2 ¡X¥¨¡¥%

y8}

£¥% ! ¡£¦¥¨ I2£27(¡¡£" )~ / )¨¡8¥¨ Ot + ©¡ ¥<£D¡ L "@?

"u§Y¡2¥<("5 + ¡¢" J '()~;tWI2(!"X"2¥%' (£

(923 UY§ )%2,¤/¡£¥%§ ¡8§ ¥% ¡u'("¡$'( ^ @ +¥¨ I ¡T¡ .

/¡X ( ¡""¡¦D/OX2(¡J ()¨'3 +)¨¡U"©¡£C£< ¥¨E +§ 8£ ¡

¡(£¡Y£¥%')¡¦ ¡Y'"¡¦Â +"J§U'£2Â +"J©¥¨""/( !¡

£¥<(¡;

C n¡ ">£¥¨'( /¡I ' "O(£f2( ¥¨¥%'" Ou x2¡I©( ¡£"¡V© ¥%)¨ @ §

©¥¨ +&I2£f2Â ¢¥¨/10$¡£¦&/¡£ §Y¡ 3 £¦£¡""/ ¡;$Ä¢wpJ2 " + !"¥ ¥<££ +"¥¨3 + !OK/¡¦¡8£ +!§Y¡K23 +[3C(3 n +!¥%K§¤'("V/¡&'"¡ ?

Categories and Subject Descriptors ¥¨(¡8"2(¥¨' `LM¥¨Â ¥<£N!()¢EC n¡ "@;R P¡8©¥%,Y¥¨'Y23

=:;!e%;ea &k~ ~k5Pm ( ~ ( ~cq ]^ )%'3 +)¨¡Fr¥%.

/¥¨2£ +!§Y"U ¡:I ¥%)~?<2(¥¨'()¨2*2¡[ ¡ !""¥¨§ ¡I2 ^§Y¥¨.

" '(£"# +*~¡ +' ¡":@¨Y#+mMp¨¡ ¤¤MM¡ ¡¤ ¡zS=:; ¢~;h

L ¡u/,O£¥%§ § ¥%D )%'3 +)¨¡#§ © ¡§ ¡¦,@ +¥¨D/(')¨"@;

a £¤x@(¥m §¦r¨S¡¥5cqª©k¥¨ @ )%¡«dK )¨¡¦§ ¡¬>Mf®+M¡

P¡ )%'¡J2 # + !2(¥¨'()¨28C(3 + !n +¥¨D"I @ ¡¦ !O(¡¡¡¦3?¨I"

¨°°± +¡mM zS=J; ¢;g*a £X¤xk¥mr E¦r¨S¡¥5cqV² ¥<£¡""*dK +3 +)¨¡.

¥¨T¡6£ !£< xI2¡4:"J(¡¡(¡3;Iwp42¡¦"¡¤£ +"¡"@?!" /("¡£¡

§Y¡³r´M +MµM

¥%' ¡(¡ *2(¡K) / )%¡¢£¥% !¡¦£¥¨ X'"¡ ¡""@;t~' 2(¡ § ¥¨ ¡

2(¥¨')%2QC3 + !n< ¥¨t§ )9"8£¡ @ + OÂ(¡¡ § ¡?I

"2¥%' D(¥¨I ¡ 8¥ '( ¡ p +/ ¡#© ¥%)¨ @ §Y"@; ©@¥%§ ¡V¥¨12¡V¥¨/("¡ L ¥¨("'(¡ O)&2(!">©3 +©¡ 2 `LM¡V/¡¡

Permission to make digital or hard copies of all or part of this work for © ¡¦L,¥%'" O4§4 (¡ /OK¥¨2¡¦ "@;¤ P¡D ¡§ ©(&¥8©¥%!&¥%'&"'£2

personal or classroom use is granted without fee provided that copies are © ¥% ¥% Nr;QÅS'(YA¡R ¡8¥¨D `& ¡8¥¨* +O5©'(/ "2¡9¥% N

not made or distributed for proﬁt or commercial advantage and that copies 23 + 2¥% ¥¨'()¨2 OR(!"£¦'""¡"2¡u§ © £ ¥%"¥¨ 2¥¨"¡u¥¨/("¡ . bear this notice and the full citation on the ﬁrst page. To copy otherwise, to

republish, to post on servers or to redistribute to lists, requires prior speciﬁc L ¥¨("@?r¡2¡ #¥¨R2(¡*I !()4¥¨I£¥% ¡£Y£¦ !¡U£¥<¡

POPL’03 January 15–17, 2003, New Orleans, Louisiana, USA "¥¨D)% ¥¨'(©"@?r +u !¡¦"" T ¡Ã'¡ O¥¨P ÆMÇmm¡¥ÈDmÆMÆMÉmÆ¨~9;

23 `LM¡K"¡¦LM¡ @ (L~ +,@ +)¨¡"¥kLM¡ X¡\© ££ "8¥ tlm¡¦" ¥@Oo 2(¡:'(¡¦ !O)#(¡")¨8¥%S2(¡:C(3 n +!¥%8` £ pO,?{ (u© £.

§ ¡2(¥<3q '( O¢¥%52¡*T' pO6¥¨I¡¦"!)%)8"O,"¡¦§ "¤T¥¨ #"O£2 ¥%¥¨'("

C(3 + !n +¥¨3;!Ê

g¨;:Fr p +""^2(¡ @ £¦¡ "^2 ( ¡*£¥¨ ¡¦£ O /OK "¥U,L¨¥¨N)

2¥¨'()¨2G¥%' 4¥¨/("¡ L ¥¨("¢"2(¥¨' G©¡¦ 23 ©("4/¡R¥¨/L!¥%'"@?

}

"'©¡ £ +"" (¡" '£¥% "@;

2(¡ ¡[!"¥#"2¥% @ )¨¡ ¥¨1¡§ ©(! £ + {¡L!(¡£¦¡ 2 2(¡OK + ¡:(¥¨@;

Ë ¡ O¡L¨¡ OÂ(¡Ì_M `L 4§ ©( !¡¦§ ¡@ ¥¨t"¡¡§Y"D¥7(! + ! O

h¨;>wp&£ +5/¡*)¨' @ ¡¡¦523 +X O4"@ £N- + ! ¥<£ +¡9¥¨/10$¡£¦

¡¦\,¡¦£'¡VC n¡ "A"O,(£f2( ¥¨(¥¨'" O¤$ ¥¨§2¡V)~ /3 +)¨¡.¾£¥% !¡¦£)

I! 3/¡#¡¦" ¥@O¨¡K¡\S £ OuI2¡K2(¡U¥%/S0T¡£ )¨¥<¡"J¥%'[¥¨

2( ¡ ?%¡LM¡¦ 2¥%')¨2*2(">"A© ¥¨2(/¡ /OU2¡V )%'3 +)¨¡["©¡£.

"£¥¨©¡;IWI2¡¦ ¡Y":(¥X¥%©©¥% 'Ou¥$¥% )¨¡:¥X§K NM¡U2¡

C(£ ¥¨ ;JWI2¡Y£¦' ¡*FIi"©¡£C£ +¥¨3aj+cJ +©©¡ + "J¥5 + !¥k

£ ;

C(3 + !n¡¦ "^¥#/¡ '(*"O,(£f2( ¥¨(¥¨'" OSÍ?%"©¡[¥¨12¡V +£^2 @?

+"V¡ + )¨'¡:/¡ ¥@U?<2"I§4 +NM¡"II )%¡ Ou§ ©¥%""!/( ¡&¥YI ¡

e¨; "# V©3 £'( O*§ ©¥¨ @ +,I("@ £¦¡:¥¨S2¡ p +"I©¥¨@?

}

(¡ ( ¥<£fN.¾$ ¡¡AC n¡ "@; '§U/¡ 1¥¨£¥¨§Y§ ¥¨U§ ¡§ ¥% OJ§4 +.

}

¡" '(£¥¨ "A"!)%C£< O "§ © $O £¦ !¡< '©¥¨{"@ +£fN4 + !¥%.

+)¨¡§Y¡r§ © ¡§Y¡@ ¥¨("r$¥% IFIH&HE» ¡Î¡ÎIÅS¥<¥%"[ÏÐÑkÒ,Ó%Ô ÕÖ¨ÒM×@½

£ ¡8¥¨/10$¡£"[82(¡J© ¡"¡¦£¡&¥%3¡\£¡©¥%"@;

§ ©( ¡§ ¡V¡""¡ O8"O£2 ¥%¥%'"IC n ¥%3;

WI2(¡#!""'(¡"* + ¡#£¡ @ ( !Ou¥*/¡¡¦ ['((¡ "¥<¥<E § ¥%)*2(¡

©@(£¡¢u!"8¡ "¡ K¥923 +( !¡¢¥¨/10$¡£¦D£ ¡ '(©t2("8& `O

+'2(¥¨ "&¥¨A£ ¡J£¥<¡Y23 7 +§ ¥¨()8 ()¨'3 +)¨¡*§ ©( !¡¦§ ¡¥¨ "@;

FIH&H&?<!I"V£¥%§ § ¥¨u¥ O*¥ § ¥kLM¡* O*N!(8¥%r ¡"¥%' £¡u £¦.

+ )¨¡$ @ +£¥¨9¥¨V2¡*C(3 + !n +¥¨9'"¡"U23 +#¡23 `LM¡"¡¡

Ã'"¥¨Y¥* x£¥¨(" '£¥% @? +U2¡£¦¥¨ ¡"©¥%()J¡ + !¥<£< .

}

LM¥% !L¨¡&'(!¡(¡ @ £¡¦"r'(¡x¥I!("'Ø £¦!¡¦,1"O£2 ¥%n ¥%

¥¨&¥V2¡x¡" '(£¥¨ @;WI2"^ ©©( ¥ +£f2#"S£¦¥¨§ § ¥% OJ ¡T¡ ¡

D2(¡JC n¡ @;

¥4 +"Kl ¡"¥¨'( £¡u £Ã'(!"¥¨K"V n ¥%o¥¨ ¤¼ ww¡ag+¢¨c;Vù

}

Wr¥X§K NM¡#2" "£'""¥%6§Y¥¨ ¡U£¥¨(£ ¡¡?A¡UI [ ""'(§ ¡8

"D © £'( p + OE '" @ +!L¨¡R (7£¦¥¨§ § ¥%7¡¦\r +§ © ¡?3¡¦.

}

§U' .¾2 ¡ +¡¤¡L! ¥%§ ¡¦,@; "3A¡II! ("¡¡I/¡ ¥kU?%C n¡ "

" '£¦¥¨ "¤ ¡&¥%$¡K'("¡8¥ ¡¦ !¡< "¡# ¥<£fN"@;!ú

}

»$ NM¡Us:(!\u")¨3 + "&¥¨ :2 (& ¡¤,¡¦ '©"@½3¡""¡ OK ¥¨.

WI2'"

('£¡2(¡ Y¥kIR2 ¡ +R¥¨[£¥¨ ¥% p;DWI2'"UL ¥¨'("Y""'¡"¤/¡.

£¦¥¨§ ¡#¡ +"!¡¦ :¥ ¡\©( ¡"" 32( ¡ ("Y + ¡u ¡ (O8©( ¡"¡@;xË ¥¨(¡

ÜMþ<ÿ¡ £¢¥¤§¦

¥%#¥¨' X""'¡"8"@ ©(©¡ X K"()¨ ¡.¾2 ¡ +¡¡¦,L ¥¨(§ ¡@?

üAý

¢¥¤§¦

/('2¡¦OE§U'"/¡E + ¡¦""¡I2-¡ ¡@?& +-©( ¥¨/3 +/ O

Ü¨þ<ÿ £¢¥¤¦

¡""[3 +' @ + p?<¡£2(!Ã'(¡"@aÙc;

üAý ©

2¥¨'()¨2¤¥¨' +©© ¥~ £2 ¥JC(3 n +!¥% I ~¡L ¡" !)%2, O

}

T ¥¨§Ì_¨ L U"¡¦§4 £"&¢J `O,"&A¡Y(!"£¦'""&/¡ ¥kU?1A¡YI A'("¡

¥%' D/¡J ¡¦© £¡¦K/,O

§Y¥¨" OE_M `L~ &¡ § (¥¨ ¥¨)%O62( ¥¨'()¨2¥%' 2"J©3 +©¡ @;:wp4© £.

'( @?x J§ ¡2¥<4¥% 4¥¨/10$¡¦£J"+%(¡´Mp¨Á+ +µY> +£Ã' ¡"

¥<£NS;

ÏMÿ¨þ¡ÕÓ@ÔMÜMþ<ÿ¡ |Ï%Ü¢ ¤§¦

wS"1¥% 2U ¡¦§ ¡§U/¡ )I2 ¥%')%2¥¨'(^ + M¥¨2"123 +S£ ¡ +'©

¢¥¤§¦

+£¥¨("@?3 NM¡§ ¡§Y¥¨ OP§K 3 +)¨¡§Y¡Y""'¡"UR)¨¡(¡ @ ? ¡ + ! O

/¡¦£¥¨§ ¡#¥% ,¡¦ ¡"V¥¨ O$¥% +I ¡ "[§ ¡(!'(§ .¾"n¡D©( ¥¨)¨ @ +§ "

§K ©(' )8 ¡ LM¡ O6£¥¨§ ©( ¡\¢ @ #" '£'( ¡; (P2(¡O

}

I2¡¦ ¡Y2¡¤£¥¨(" '£¥% &$¥% ! 4 £Ã'(! ¡¦"&2¡K + )¨'(.

/¡¦£¥¨§ ¡#` :§Y¥¨ ¡#,¡¦ ¡")*$¥% "O"¡§Y" 2 V Ou¥Y ¡ O8¥¨

§ ¡V ¥<£fNR 8"@ L¨¡" " !(¡pO,?<"¥*23 [2¡#(¡" '£¥% V£

§Y¥<' + !Ou"¥*2 V2¡¦OX(¥ ¥%I23 `LM¡&¥ ¡¦ !OX¥¨R ")¨ ¡#§ .

¡ ¡ +"¡u@;Xw ¢¥¤# @ +!"¡¦"K P¡\£¡©¥%3?S2(¡*¡" '(£¥¨ #"¤(.

©( ¡§ ¡¥¨ :'(¡ "@ ()X2¡U¡ ¡ "O"¡§4;:s $¥% ' ¡ O

LM¥%NM¡Â(' )¢"@ £N7'(I!()~?A"¥52 ]"" ! ¡ ¡ "¡¦3;

(¥¨(¡&¥¨32¡¦"¡U ¡(D2¡¦§ "¡ LM¡"V¥*£ '("!¥%E "[¡\S § ©( ¡"V!R

WI2'"II"I)¨' @ ¡¡¦823 +I]¢I 1/¡J ¡ ¡ "¡¦9 I/( !¥<£N¡\@;#"

=A¡" '(£¥¨ "t + ¡-)¨' @ +,¡¦¡ ¥Z/¡-¡\¡£'(¡ t 9¡ .

©( ¡¡;

¡¦C¡¦¤©( ¥¨)¨ @ +§|©¥¨@;1WI2"x© ¥%©¡ pO#§4 +NM¡"x2¡¦§G'"¡T' ,$¥%

£ ¡ +,'(©G +£¥¨("*23 Y23 `LM¡8§ §Y¡ ¡¦ !O9L"/ ¡D"¡.¾¡¡¦£"@?

"'£2R +" ¡¦ !¡< ")* ¥<£N,"V¥% [£¦ !¥%")*I(¥@I"@;

2. C++ DESTRUCTORS =A¡" '(£¥¨ "* ¡4 + !"¥8¡\¡£'¡¦6I2(¡62¡ +©¢¥%/S0T¡£"u ¡¤¡\.

WI2(¡4FIH&HZ ()¨' )¨¡6 + !¥kI"#¥¨/10$¡¦£"#¥u2 L¨¡K - ""¥<£ +¡

}

(¡" '£¦¥¨ § ¡2(¥<3;ÚÛ -2¡G 8"@ £NG + !¥<£< ¡¥%/S0T¡£X)¨¥<¡"

2"IA¥¨ N"I¡ 1r2¡ © ¥%)¨ @ §Y§ ¡ V"U J ¡&¥%r¡\S £¦ !OI2(!£2

¥%'¤¥¨V"£¥¨©¡X¥¨ ¤"Y¡\© £ O5¡< ¥<£ ¡E'"()7Ô<ÓMÜMÓ@Ö,Ó%?x2(¡

¥¨/10$¡¦£"¤ ¡&¡< ¥<£ ¡R II23 +I©¥¨@;%$:¥k¡¦LM¡ @?<!I/¡¦£¥¨§ ¡¦"

¥%/S0T¡£@Ý "I¡¦" '£¥% "# '(¥¨§4 +£ O£ ¡3;rWI2("^§ ¡£23 +"§

2)%2 OG© ¥%/ ¡§4 +£Âu"¥%§ ¡B +'¥%§4 £-¥% P"¡§ .f '(¥¨§4 +£

£< */¡IL¡¡K "> p + )¨¡ OD A"O,@ +££V£¥¨LM¡(¡£¡(¥<¡"

§ ¡£23 +"§¹"V'"¡D¥Y©¡ $¥% §¹¡ + ! ¥<£ +¥¨" § © £ O,;

Ê©@¥¨§Y¡ ¥¨Þ2(!" © ©¡ " + ¡\©3 +"¥¨ ¥¨ß2(¡

ù 2¥¨'()¨2U2"r" (¡")¨(¡¤¥Y ©(© OJ¥¤ ¥¨/10$¡¦£"@?k "¡¦¡§ " ¥

}

A¡/ ©3 )%¡" ¡ © ¡L¥¨'(" O §4 (¡ `L / ¡ +

/¡V§ ¥¨ ¡['"¡¦$' $¥¨ A"@ £N4 ¥<£ +¡u¥%/S0T¡£"A23 *T¥¨ A"@ £ O

à à à à

¥¥¤rámâ~â~ã ã ãYÉ ¤ ÇmÉ ¤ ÉmÆ¨~5â~¤xk¡~ ÇmâäD åY{ 5â

¥<£ +¡7¥%¡"@;XWI2¡¢ '(2¥¨ #N¥kI"U¥¨V§ ¥% ¡X2 5¥%¡ )%¡

à à à à

ÆMâ~æ ¥ æ ¡¥kÉ ¥PÇ ¥¦¥¤ ámâ~â~ãYã ã É ¤ ÇmÉ ¤ ÉmÆM~5â

à à

¤xk¡~ (Çmâ~äDr åY{ 5â ~ÆMâ~ç rÇmmèM(¥m~ É ¥5Ç

¥<£ +¡*L~ + / ¡">'(¡^¥:2(¡IØ £'( pO#¥¨~¡¦"' ()J23 +3£¥¨(.

ÍpW ¥é¥%' N¥kI ¡)%¡?êFIi !§Y© ¡§ ¡@ +!¥%")¨¡¦¡ @ + ! O " '£¦¥¨ JLM¥<£ +!¥%"J¥<£¦£' JÂ #"@ +$¡ ¥% ¡ @;[wp" +©© £ +/ !O

(¥ë2(¡ì )¨2·2)~?í î'"¡ï ð"¡©3 + @ ¡ñC n ¥% ¥ 2(¡ ©u¥¨/10$¡£"[" ("£'""¡8/¡ ¥@U;

2( ¡ ; ò(¡ñ¥¨¹2(¡§ ¡§ ©¥% @ O(!¥¨@; ©@¡¦¡

à à

©k¡¡DT¥¨ *¡\S §Y© ¡ ¥¥¤ ámââ~ã ã ã Émóx{~¡¥Ém@ â~Çmmó ¡â~¥ @(æ â

à à

ór ~ÉmÆM ~mõ,mæ öD÷ø~÷~÷~÷ ¥¥¤rámâ~â~ó èMmÇmÇmÉmô1m5mrÉmÆM~5â~ (ã

æ {ÆMâ~6 ¥ô1É ¥¦5Çv;

;

w7¥%' ¥%©¥%3?>2(" @ "¡"¢ *"pO !"£D""'(¡?>E23 Y2¡ ¡

©@¡¡ ¥¦¥¤ ámâ~â~ãYã ã Émóx{~¡¥Ém~k ~â~Çmmór¡â~¡5k¥ ¤ ¥kâ

§4 `OU/¡[(¥J& `O¤¥&"¡¡VI2¡2(¡ J > !¥<£NY"A/¡)J ¡ ¡ +"¡¢ >2¡

à à

kæ ¤r¥kÉ ¥

¡(5¥¨¤ Y/ ¥<£N¢I2(¥¨'U ¡ +)K2(¡X¡¦, ¡*/( !¥<£NS;uWI2'"#¡

Ë:¥¨¡&2 [2¡&¡ §§l¡" '(£¥¨ oD2¡uFIiG ()¨'3 +)¨¡U¡C(. ""¡¦ :¥¨( O823 +V!@Ý " £¥¨§ §Y¥¨K© @ +££¡? +K ¡ `LM¡#2¡& ¡< ¡¦

(!¥%D£¥% ¡"©¥¨("[¥Y¥¨'( V'"@ )%¡#¥¨ 2(¡J¡ §ëlmC(3 + !n¡¦ o; ¥ 0T')%¡&I2¡2(¡ V@Ý "V(¡" @ / ¡;

¥¨ 2(¡XFr¡3 + [` £ pO ×[¥¨ VR_M `L ¨Ý "=,Ñ Ü¨Ñ ÒÓ ;

?Aý ¨

3. FINALIZERS ý

& ¡ ¥k\9² ¼IFZFr¡3 + @a!g%ec('@?>dY¥<(' .fe%a!g*)¨c? +6¥¨'( :) + /3 +)¨¡

}

dY¥¨ ¡#,¡¦ ¡")¨ O,?S µM @ ¡p ¡({¥%/S0T¡£[!"[¥%C¡D¥%32¡

£¦¥¨ ¡£¥¨ ¤$¥% 8FI¸%FIH&H&ahc?I § ¥%)K¥%2¡ "@?A ¥@Û ¤C n ¥%

' ¡< £23 /( !OX¥%[ D¥%/S0T¡£@;

T'(£¥¨R¥D/¡6 +""¥<£ ¡9I2Q R¥%/S0T¡£@;*WI2¡C n ¥%

T'(£¥¨X!"¡\¡£'¡¦X"¥%§ ¡§ ¡ +$¡ & X¥¨/10$¡££ X¥U ¥¨)%¡

A>¡£LM¡ O,?12(¡ ¥%C£ +!¥%5§ ¡""@ +)¨¡£ +5/¡ L¡¡- "8 UC(.

/¡Y £¦£¡""¡¡\£¡©(A/O¤2¡VC n ¥¨§ ¡¦2¥<$¥% 2¡V¥%/S0T¡£

3 + !n¦¡ V!LM¥<£< ¥¨ ?,/'(^I2D2¡:¡ ¡(£¡J23 +I2¡JC(3 + !n¡¦

"¡ `;Ä,+ÌwpX"8)%!L¨¡ ££¡¦""D¥92¡4¥¨/10$¡£¦D"¡ ;B3! n¡

$'(£¥%6(¥<¡":(¥¨ 23 `LM¡u ££¦¡""J¥*2¡U'( ¡ £23 +/ ¡#¥¨/10$¡£¦J.

LM¥<£ +¥¨D§4 ÒX/¡ /( @ O8¡¦ p ÒM¡¦8D'("©¡£C¡¦8& Ò"@;

"¡ ?S (D2¡(£¡J2 I¥¨/10$¡¦£ £< D/¡J§ §Y¡ ¡¦ !Ou ¡£ § ¡¦3;

s NM¡D(¡" '£¥% "@?C n¡ "P ¡E @ +£f2(¡Â¥P2¡ +©| ¥¨.

ò2¡¦ "I23 `LM¡ + !"¥6 + )¨'(¡DD `LM¥% V¥¨3¥%$O)4 +¥¨2(¡ V¥¨/(.

£< ¡¢¥¨/10$¡£"@?{pO©£ + !O4P£¦¥¨¡\"JPI2(!£26¥¨/10$¡£#(¡ ¥¨.

0$¡¦£ ;9WI2(¡R ©(© ¥~ £2Â23 +"*"6 L @ +)¨¡" 7¡ § "*¥¨ © ¥%.

£< ¥¨R"U!§Y© £@;uWI2¡OÂ ¡(¥¨#'"¡PI!2R"@ +£fNÂ ¥<£ +¡

)¨ @ +§ § )U"pO ¡?~ +*§4 `O¤¡ §4 +NM¡VC3 + !n¦¡ "^§ ¥% ¡ £¥%§ © ¡¦.

¥%/S0T¡£"@?<¥¨ A¥¨/10$¡£"II2(¥¨"¡ !T¡§ ¡ J O"I¡("J # ^"O@ £.

2¡¦"/ ¡?"£¦¡Bl¥¨/10$¡£¦u ¡"'( ¡£¥¨(oR£ Â¥5 ¥¨()¨¡ X¥<££'( @;

ÄÄ

£< O8¡¦¡ § 3 +/ ¡&© ¥%)¨ @ §¹©¥%,@;

}

¢¡AI < ¡T¡ ¥V¥¨/10$¡£¦" I28 +u ""¥<£ ¡¦Y¥%¡§Y©pO[C .

""'¡"@;P»©@¡¡¢ ©(©¡(\ ½;B$ ¥@A¡LM¡ @?1!U£ +R/¡*¡§¤'( ¡R

}

n +¥¨Z £¥% +"Y¿ M°±Á+Mm$MÀv ¡M®¡°± +µM;D33 + !n< ¥¨(.v¡¦3 /( ¡

¥¨'( ^§ ¥<(¡ ?1 +^ ¡ "U +^2"^ ¡L¨¡ ¥¨S¡@ +! ?M/O4 ()8 I©¥¨"".

¥%/S0T¡£"[I2£2R ¡&(¥¨I ¡ +£f2 /( !¡&T ¥¨§¹¥% 3 + OX ¥<¥%"VI! S/¡

/ O¡§ ©(pO-lm¡¦\,¡¦£'¥% o*¥¨/10$¡£CD¾?1 ©¥¨¡ V$ ¥%§E¤¥1D¾?S +

¡¦$¡ ¡K¥D "[¿3(M°±Á+MmM(À +MµM@;ÄpÊ

¡)%!"¡¦ !()5 JC(3 n¡ ¥¨( !O8$¥¨ F ;IWI2'(" :(¥<¡"3Ý ¡ O9 T.

WAO©£ O4C n¡ "X ¡Y!§Y© ¡§ ¡¡6/ODNM¡¡¦©)X©¥¨¡ "

$¡¦£:¥%' ["£'""¥%3?3 (K¡U¥*(¥¨[£¥¨("!(¡ :2(" + !¡¦ 3 LM¡

¥* ¥%/S0T¡£"xI2 ¥%¡§ ©(pO&C(3 n¡ ">K A"¡¦©3 @ +¡V"¡x3 @

$'( 2¡ V2(¡ ¡;

" '(£' ¡.-;=A'( !()¢(! + @ +£)?>2¡D)~ /3 +)¨¡K£¥% !¡¦£¥¨

_M `L :C3 + !n¦¡ ":(!¡¦ :$ ¥%§ìdY¥<(' .feJC n¡ " !K2 [¥¨/(.

)%¥¨ ¡¦"[2("I3 @ V" '£'( ¡;rWI2¡:) / )%¡&£¥¨ ¡£¥% [2(¡P "¥

0$¡¦£" §K O/¡&C(3 n¡8¡LM¡D 2(¡O¢ ¡# ¡ +£f2 / ¡&T ¥¨§ Mm´M ¡

@ +£¡"»$; ¡;I§4 N" ¥¨ :£¦¥¨©¡"@½>¥¨/10$¡£": ¡ £23 +/ ¡¤/Ou$¥¨ ¥kI)

C n ¥%.¾¡3 +/ ¡7¥¨/10$¡£"@;9WI2"6 ¡¦£"*2¡u!§Y© ¡§ ¡@ +.

£23 +":¥%J¨ [¥% :§ ¥% ¡Y©¥%!¡ " $ ¥%§ 2¡#¥%/S0T¡£"J/-; O

}

¥¨u¥¨ O" )¨2 O,;3WI2(¡J§ ©3 +£I¥¨u£ ¡I£¥<¡&"I"£'(""¡D

¥%/S0T¡£"32 I + ¡0-7/'(rA¡ ¡(¥¨r @ +£¡U'( !()V¡2¡ ©(23 +"¡

©(©¡(\ ;

}

/¡¦£¥¨§ ¡[¡ )¨/ ¡ $¥¨ AC n ¥¨ ;r33 O1- (*2¡I¥¨/10$¡¦£"^

FIiðlm(¡" '£¦¥¨ "o4 + ¡& ¡ OuC(3 + !n¡¦ "[u¥¨' V¡ §Y!(¥¨ ¥¨)%O,?

¡¦$¡ ¡(£¡" ¡£ OP ¡& @ £¦¡K¥ ¡("' ¡&23 +V¥¨/10$¡£"[¡¦¡¡

(8/¡2 `LM¡J¡""¡ O8 NM¡X_M `L C n¡ "@;

/OC n¡ "Y ¡& ¡@ +¡D/O*2(¡&) / )%¡U£¦¥¨ ¡£¥¨ @;

WI2(¡*C n¡ #$¥% D +P¥¨/10$¡¦£2u§4 `OÂ +"")¨38¥~?S$¥% U¡¦\r +§ .

1X§4 `OD ¡§4 +!¢ !L¨¡

©( ¡?x U"@ £¤£ ""#§ ¡§U/¡ @;:wp42 :£< "¡ 3.2 Example uses of ﬁnalization

WI2¡5 (¥¨E¥¨* C n¡ .¾ !N¨¡8§ ¡£23 +"§ì" A¡ [§Y¥¨.

(¡C(¡ Ot T¡ *"*C3 + !n¦¡ *23 +" ' ;RWI2("*!"*"¥%§ ¡§ ¡"@?

L ¡4-a6G+cp;:$ ¡ ¡¤A¡Y ¥<¥¨N7 + #T¡ +¥¨ x¡\S §Y© ¡"J¥

©¡¦ 23 ©("!(£¥¨ ¡¦£ O,?I ¡¦$¡ ¡¥ "Pp ¡*4f ¡m$M;wX(¡ "

§ ¥%!L ¡K ¢£ $O¢¥¨'( &"£'""¥%3;YWI2¡Y2 P¥%¡ I /¡

T ¥¨§¡¦" '£¥% [/¡¦23 `L!¥% @?/('^£< '"¡¦" (¥ ¡ 1© ¥%/ ¡§ "@;

ÄÍ

'"¡¦*¥&"£'"">"¥¨§Y¡ ¥%12(¡I"O£2 ¥¨(n ¥¨*""'(¡"I2(!£26 ¡ £¡ @ + S¥ ¥%' V"£'(""¥¨3;

3.1 Alternatives wpu)¨¡(¡ @ ?(C(3 + !n¡¦ " "2(¥¨' D/¡&'("¡8¥* ¡¦£ § ¡"¥¨'( £¡"@?

² ¼IFI²{ £¦¡5©k§4 @ NQ»$"¡¡¢a65c$¥¨ D "£'""¥%3½[©( ¥kL,(¡"

}

¥¨2(¡ Y2 9) + /3 +)¨¡8£¦¥¨ ¡£¡7§ ¡§ ¥% O,?rI2¡9§ )6¥¨[2¡

K" )¨2 O-¡ ¡uC3 + !n< ¥¨t§ ¥<¡¦ p; ¥%/S0T¡£D£ +Q/¡

}

¡"¥%' £¡D ¡¦£ §4 +!¥%-"*¥% £ £ ;Ew72(¡8£ +"¡D¥¨ "£ £¦¡

¡¦$¡ ¡(£¡Q/OB 87x + 95Mp¨%;«©@'(£f2- ¡¦$¡ ¡(£¡"9 + ¡¢(! + ! O

¡"¥%' £¡"@?I¡\© £¡ + !¥<£< ¥¨t"u'("'3 OE© ¡T¡ @ /( !¡<;ºÅS'

)%¥¨ ¡¦7/OP2(¡u)~ / )¨¡8£¥¨ ¡£¥% I2¡E¡¦¡ § )4¥%/S0T¡£

"8¡6"¡¡PQ2¡6"¡£¥%t¡\S § ©( !¡6/¡ ¥kU?[D"8(¥¨5 & `O"

¡< £23 /( !O,?/' £ ¡ ¡¦¢¥%£¡8 4¥¨/10$¡¦£J"J£¥% ! ¡£¦¡3;V -2¡

2("&23 ©(©¡"@?~2(¡Y¡< N7 @ `O4¥¨/10$¡£¦&!"&(¥¨C¡¦¢2 J¥%¡ ¥%

"V¡ ¡"V23 +"[("@ ©©¡< ¡ ; I23 X¡42 L¨¡K/¡¡"£'("")9-pA¥

WI2("u(!¡¦ "uT ¥¨§ 3.2.1 Legacy libraries

²¡ 2 ©"A2¡V§ ¥%"£¥%§ § ¥¨X'"¡V¥%SC(3 n +!¥%u"A¥8 +££¥%§ .

J `O,"@q

§ ¥< ¡& / @ ¡" I ¡D$¥% IHÑMÜMÜMþ<ÿ@¸ Ò,Ó¨Ó&§ ¡¦§ ¥¨ OX§4 )%¡.

§ ¡^P [)~ /3 +)¨¡&£¥% !¡¦£¡8¡¦,L ¥¨(§ ¡@;rWO©(!£< O*"'£2u .

33 + !n +¥¨5"J£¥%§¤/(¡6I2- 5lm¡< NK©¥¨¡ ou £¦! .

/ @ + ¡"A©( ¥kL,(¡U ¡\©( !£x¡< ¥<£ ¥¨T'£¦!¥%1&23 +>§U'"

pO,;D»$ ¢¡ N4©¥%!¡ "u + ¡*©¥¨¡ "#23 &(¥D¥%&© ¡L¨¡

/¡ LM¥¨N¨¡¢I2(¡ +P¥%/S0T¡£J §4 +3 )%¡P/OK2(¡ !/( @ O4"#¥

[)~ / )¨¡&£¦¥¨ ¡£¥¨ [$ ¥%§¹L!¡¦I!()K +8¥¨/10$¡¦£¤ "I3 +££¡".

¥¨()¨¡ I(¡¡¡¦3;rwp12¡ ¥¨/10$¡£¦; S"I'"¡X/O4 [)~ / )¨¡:£¥¨ ¡£¡

"/ ¡;½:WI2¡:"@ § ¡&£¥%§¤/(3 ¥%D"['("¡X!u ¡ VLM¡ "¥%"

¥¨/10$¡¦£2K{?2¡¦P#!"U£¥%§ § ¥¨P¥D,L¨¥¨NM¡1DT ¥¨§LK{Ý "#C3 + !n¦¡ @;

WI2"¤§4 `OP'(¡£¦¡""@ OR¡ `OP ¡¦£ §4 +!¥%7¥%C ? /'#2(!"¤"

¼x¥kL¡ @ag%ec~(¡"£ /¡"& +*¡ O L¨¡ "¥¨¥¨AFr¡ C(3 + !n +¥¨3;

]^ ¡ VLM¡¦ "!¥%"Y ¡&£ ¥%"¡ ¥Y2¡dY¥<(' .fe LM¡¦ "!¥%3;

pO©(!£< O¢(¥D§ ¥¨ ¡*¥%U ¤© ¥%/ ¡§·2 P2(¡*¡ `OM¡¢¡ + !¥<£< .

Ä,+W ¥¢"§ ©( !TOR§4 ¡¦ "@?xA¡8)¨(¥¨ ¡D"©¡£¦p + Dlm¡< NoP ¡T¡ ¡(£¡"

¥¨D¥% § ¡§Y¥¨ OX!(2¡ ¡¦,I9 [ @ £)Y) / )%¡U£¦¥¨ ¡£¥¨ @;

2 X + ¡*!)%¥% ¡55§4 +N,()82"#¡¦¡ § 3 +!¥%3;K©k'£2 U` . £¦! pOK"J¥%$¡6£¥%§¤/(!(¡4I2- JC n ¥%P +£ !O,?x 42(¡

£¦¥¨§U/3 +!¥%K£ u/¡&Ã'¡J'"¡¦$' ; 3.2.2 Files in ropes

ò££ +"¥¨3 + !OP£¥¨§ ©( ¡\¢ @ Y" '(£' ¡"#£¥%@ 5¡§U/¡(¡

ÄÄ 3 %Ý "8'"¡¢¥¨U2¡6¡ § lC n ¥¨(oÂ£¥% ¡"©¥¨("D¥E¥¨'(

}

¥%.¾§ ¡§Y¥¨ O: ¡¦"¥¨' £¦¡"@; )%¥<¥<U¡¦\r +§ © ¡>¥¨<2 1!"S2¡ lm ¥%©¡o

l¡" '(£¥¨(o;

}

3 +@ " '£¦' ¡J(¡"£ /¡D9aec;$Ä

ÄpÊ

P¡ `LM¥¨#2¡>¡ §t¿3¨°±Á+M®¡°± S"£¡>r2 " /¡¡¦U'("¡&¥[§ ¡

¡¦!2(¡ V¥¨32(¡"¡;I©@¡¦¡&$¥¨ V¡\S +§ © ¡Xa65c^ 5abc;

Ä A: O L¨¡ "¥¨">'"¡¦7lm© £N~ +)¨¡V ¡$"o~;MAA¡£¦!L¨¡ O¤2(¡I) / )%¡

ÄÍ

Ë:¥¨(¡2¡¦ !¡¦"" *!"*¥%$¡EL¡¡G " ©( ¥¨/( !¡¦§4 £;RWI2¡D¥% O

£¥% ! ¡£¦¥¨ *)¨(¥¨ ¡Z *© ¡(¡¡ § ¡¦R,'(§¤/¡¦ ¤¥% ¡T¡ ¡(£¡" ¥

¡< "¥¨RA¡*£ ¢¡$O4"#23 u +& !¡< "U!¢2¡ ¥% )¨3 + &_M `L

C n ¥%.¾¡3 +/ ¡K¥%/S0T¡£"@;ag¨ec

"©¡¦£C£ +!¥%3?x2¡ ¡u& "Y¥6& `O5¥6 ¡¡3 +/ ¡8C(3 + !n +¥¨Â¥

Ä ©k¡¡Q$¥% 7¡\S +§ © ¡?2¡"£'(""¥¨¹¥¨Gl¡ +2º¥%!£¦¡"o|¥¨

/¡ '¢ )~ 8I2(¡X2¡:#/¡£¥%§ ¡"I3 +££¡""/( !¡*» ) +3½; WI2"

~ÆMÇmm¡¥¦ÈDmÆMÆMÉmÆM~R;

¡¦" !£¦!¥%Q ©(©¡ "&¥u/¡Y` OÂ + / @ O7 +Â_M `L~ +.v"©¡¦£C£;

ù "§ @?/(' ¡\© £ !Oß ¡¦$¡ ¡(£¡ £¦¥¨'¡ ?ï @ wV!"V(¥¨I"23 + ¡D/O,?M$¥% [¡¦\r +§ © ¡?1dY¥<'( .fe:¥¨ ;&:¡¦ ¥@\¢Fr¡ @; }

Concat 3.2.3 External object data

""'(§ ¡:2 IA¡J23 `LM¡ V£ +""=SJ?<"'£2X23 & {!("@ (£¡"V¥¨

}

S7§4 +!@ +!5 I ¡ +"["¥%§ ¡&¥¨r2¡ I"@ ¡*» =S TVU S"@ +£¡<½

#©¡ §4 (¡ OK ¡ £23 +/ ¡6 @ `O,;UWI2("8 + !¥kI"U'"J¥8¡ " O

"23 + ¡5 Y"()¨ ¡8S TVUW ^/¡¡¡¦R§¤'( !©( !¡XSA"U£¥¨@ +!()42¡

Concat Substring "@ §Y¡*3 @ %;¤WI2¡Y)¨ ¥¨/ & + @ `OÂ + !¥kI"U'"&¥u¡ " O¢"¡< £25$¥%

u¡\"!()/S T,U r¥¤ ¡'"¡; ¢¡Ý ! 1"¡¡ +¥%2¡ I ¡ +"¥¨D¥Y¥

N flen

2"V82(¡&¡\I¡\S §Y© ¡; WI2"V ¥<¥¨N"["¥¨§ ¡2() NM¡q

Substring

ZY![H<ÕÜ

"z" ÿ¨ÜMÑMÏMÏ

\ \Z]

þ¡H~Ó-ÏkÖ ÓMÓ%ÔÓ%Ô3`abYc[ ÏkÖ,Ñ ÿ¨Ó<Ï

0 N−1 ©^¨ ¨_

ÔÑ@Ö,Ñ%¦

Õ `Ü![MÿZY!![¥H<ÕÜB¢ Ôe¤ Ô<Ñ@Ö,Ñ_f-ÔM¦ d Finalizer to ©

close file file

len: flen

ÿ¨ÜMÑMÏMÏZY

\ \

ÐÓ þMÜMÜMþhgi[ Ög(þÂÑ@ÒMÒ,Ña,Ï-Ñ@Ò,ÓRÕÒþ@Ö,Ó<ÿkÖÓ%Ô

d ¨ ?

NVm ~ kKø~á ¦ Çmm ¥Çm¨9æ m¥æEç ÇmKYPk~¤x

\ \

`a-Ö%Ð(Ó-ÜMþ<ÿ tþ Ö%ÐÓj[¥H<ÕÜ<Ï7Ñ@ÒMÒ,Ña

ÏkÖÑ@Öi[MÿZY!![¥H<ÕÜc[H<ÕÜ<Ïlknmbf ÓhgbY![¥H<Õ(Ü£kno!ml¦

\ \

ÐÓ H!`Ó@ÒZþ Y,Ï-Ï¦ÐÑ@Òi[ Ö%ÐÓ

d © ¨ !?

$ ¡ ¡# x" !():"x ¡© ¡¦"¡¡K +"[ >/ O# ¡¡^¥% [= ;¡AJ +£f2

}0O

\ \

ÿ¨þ@ÒMÒÓ<ÏÕþ Ô^[ Y![H<ÕÜ

? ý

¡ +I"8 U" !()D£¥%"@ @;Yw,¡¦ !¥% &¥<(¡"# ¡© ¡"¡¦,&2(¡ £¥%.

ÏkÖÑ@Öi[Mÿj[ Öp[¥H<Õ(Ü Ï¨Ó<ÿ¨þ ÖqkVmrf Óhgp[ Öqkno ml¦

£< ¡ ¥¨9¥¨V2(¡X" ()¨"Y ¡¦© ¡"¡¡P/,O62¡ ¡TK (R )¨2

"'(/ ¡¡¦"@;3WI2("I ¡© ¡"¡¦,@ +¥¨R + !¥kI"[£¥¨("@ I§ ¡J£¥%£ +¡.

\ \

[ Ö3H^a^ [ ÔÓsl¦ [¥H<Õ(Ü<Ïj[ Ô<Ós þ@Ò3H^a-Ò,Ó¡Õ

¨ ý

¥¨R¥%U /(! @ + !O¢ ¥¨)K" ()¨"@;*wpI"¥¨§Y¡X£< ¡*"¤@ +NM¡5¥

N¨¡¡©D ¡ `LM¡"V"§4 + V (8 ¡¡"[/3 + £¦¡3?!¤ + !"¥¢ + ! ¥kI":¡¦Ø £¡

Õ `Ü![MÿZY%¢ ÖR¤

"'(/" )P¥¨©¡ @ +!¥%"¥¨7 ¥¨)P" !()¨"@;ÂWI2(¡"¡D§4 +NM¡K*©¥¨".

Ïha ÿÐ<Ò,þ [t<Ó%ÔM¢u[¥HMÕÜ<Ï¤

"/( !¡

þ@Òv¢u[ Öw[8fjxM¦y[_z3o£¦W{{^[¤

¡¦© ¡"¡"V2¡:¡! ¡&C( ¡&/¡) ¡(¡R +" "()¨ ¡& ¥¨©¡;

[ ¢u[¥H<ÕÜ Ï¨Ó Mÿ¨þ Ö|k}[mw~_x_

¨ © ©

£¥%§ § ¥%u¡\¡("¥¨"^¥u ¥@C( ¡ (¡"£ ©¥% "^"¡ +u¥%

}

z![¥H<Õ(Ü<Ïlk}[m-ÒÓ Ï¨Ñ `(ÜMÓ ~^¤

¡¦\,©( !£¦! O&"¥% ¡Y" )%"[ " ¡ `LM¡¦"@?( +U¥ + ! ¥k9,¡¦ !¥% 3¥<(¡"

H^a^![ ÔÓscfr[¦

¡¦© ¡"¡)['(¡L '3 +¡#"'/" () ¡\©( ¡""¥¨"@;rWI2(¡"¡& + !¥k

Ò,Ó@Ö Ò ¦

+9¡¥¨ ¤¥4¥¨©¡ @ +¡u¥% )%¡8C( !¡X ¡©( ¡"¡¡t "D ¥¨©¡?

I2(¥¨': ¡ (!()u2(¡Y¡ ¡UC ¡Y¥u§Y¡§ ¥¨ O,; $¡¦ #"()¨ ¡

}

£23 + @ £¡¦ &!("¡ ¥¨¢¥¨2(¡Y ¡¡ 6lmno5 $¡¦ &2¡=Pu2¢©¥%"!¥%

H^a^ [ ÔÓsrf [kÒ(ÏkÖMÑ>,Ñ![%ÜMÑ `ÜMÓB¢¥¤§¦

¢ ^ )¨¡ C ¡?¨2(¡[(.v§Y¡§ ¥¨ OY ¡© ¡"¡¦,@ +¥¨¥¨12¡V ¡"'( !()

[¥H<Õ(Ü<ÏlkH^a![ ÔÓhs!mpf ÓhgbY!![¥H<ÕÜB¢pÖR¤§¦

C( ¡&§ )¨2V/¡ "[8C)%' ¡Xg%;

[¥H<Õ(Ü Ï¨Ó<ÿ¨þ ÖqkH^a^ [ ÔÓs mf¦

w4)¨¡(¡ @ 3J"J(!ØY£' :¥X© ¡¦£:I2(¡62¡UC ¡¤(¥<¡":!

"'(£f2E : @ :" '(£' ¡&I 3/¡& ¥%©©¡ ;A~¥¨ [¡\S §Y© ¡?,K2(¡

Fr¡¦3 &©( ¥¨)% @ § § ()8¡L ¥¨§Y¡@a!g%ecx ¥¨©¡¦" ¡ '("¡Â "J2(¡

"@ + *" )# ¡©( ¡"¡@ ¥¨ ?~ (6 ¡[2'"x2¡§Y"¡ LM¡">¡§ .

ÕÒþ@Ö,Ó<ÿkÖÓ%Ôj>,þ![@Ô [ ÑMÜ [tÓ¢¥¤

/¡¦¡¦PP§4 +OK¥¨2¡¦ U @ #" '£'( ¡"@;2AAL¨¡¢52(¡Y¡(¥¨

Ïha ÿÐ<Ò,þ [t<Ó%ÔM¢u[¥HMÕÜ<Ï¤

£< "¡? +*¡§¤/¡¦¡¦YC ¡V¡¦"£ ©¥¨ >I ~/¡I ¥%©©¡ A (£f2 .

[H<ÕÜ Ï¨Ó <ÿ¨þ ÖqkHa^![ Ô<Ós!ml¦

+£¡ "^X2¡V¥¨ )%! {C ¡ ¡: ¡¦© £¡¦3;rWI2'"A!1¡[& +¡u¥

[ ¢*[¥H<ÕÜ Ï¨Ó <ÿ%þ Öqk#H^a^![ ÔÓs!mffbxi¤

¨ © ©

¡¦\,©( !£¦! O £¦ !¥%"¡* C( !¡

[¥HMÕÜ<ÏlkHa^![ Ô<Ós!mrf Ü¨Ü%¦

I2(¡E :C ¡#¥<(¡&":¥Y !¥%)%¡ * +££¡""/ ¡U$ ¥%§ì +,OP £¦£¡""/ ¡

¥%©¡"@zA¡¡¦£LM¡ O5¡u¥%' 923 `LM¡X¥6 ¡¦¥6¡\S £ O52(¡uA¥¨ N

+ ¡ (Ou©¡ T¥¨ § ¡¦K/,O*2(¡&£¥¨ ¡£¥% @;

3 n¡ "4 + ¡8¡¦ ! .¾"'¡9¥423 +( !()62("¤©( ¥¨/ ¡§K;4 ¢¡

"§ ©( Ot @ £2 XC n¡ ¥6¡ +£f2E ¡ J£¦¥¨@ ()- *C ¡8(¡.

ÏkÖÑ@Öi[Mÿj[ Ö [kÒ,ÏkÖ^MÑ>Ñ![¨ÜMÑ `(ÜMÓ¢¥¤

"£¦ !©(¥¨ @;I©k¥¨§ ¡§ ¡Y T¡ >23 > ¡ {/¡£¦¥¨§ ¡"A'( ¡ £23 +/ ¡?%2(¡

YÑMÜ¨ÜMÓ@Ò_H Ï¡Ö7ÐþMÜ%Ôc[¥H<ÕÜ<Ï-Ü¨þ<ÿ

C(3 + !n¡¦ r£ ¥¨"¡¦" 2¡xC ¡;{WI2"1§4 `O: ¡ #¥VC ¡"1/¡)VNM¡¦©{¥¨©¡

þ@Ò¢u[ Öp[3fbx%¦ [z8o£¦W{ {^[!¤

¥%)¨¡¦ ¤2 P(¡£¡""@ + OSzr/'&T¥¨ #pO©(!£< : ©©( !£< ¥¨("¤"'(£f2- "

[ ¢u[H<ÕÜ Ï¨Ó <ÿ¨þ Öqk}[hmpf fjxi¤5Ò,Ó@Ö Ò [¦

¨ © © ©

2(¡:¡\A¡¥¨ I¡¦\r +§ © ¡?MLM¡¦ O $¡C( ¡"^¡(u¥U/¡:¡§U/¡(¡

¥%©¡">!Y2"x§4 (¡ @?%"¥:2"A"x'( !N¨¡ O¤¥J/¡U + ""'¡; "

}

Ö@ÐÒ,þhg

ý¨ýMý

A¡:I "¡¡[/¡ ¥@U?MA¡ £ +©¥¨¡ O ¡£ +!§ C ¡[¡"£ ©(¥¨ "

§Y¥¨ ¡J©( ¥¨§ ©( !O*I2X"¥¨§ ¡:2¡ ©X$ ¥¨§¹2(¡ £¦ !¡I£¥<(¡ (uC( ¡

¥%©¡D ¥%'¡"@;

" '(£' ¡ " £ '(¡ 2(¡Þ© w Ë s L¨¡ .

O O

"¥%"ð¥¨º2(¡ïFIH&HÞ"@ î¡§ © +¡ñ !/( @ O,; ©@¡¦¡

à à à

WI2¡¤3 +@ U" '£¦' ¡Y"&©(!£¦' ¡6PC)%' ¡Dh¨;IAA¡£¦!L¨¡ O_S ¥¥¤rámâ~â~ã ã ãYÉm¡ ~mÉmÆM~5â¥Æ â¡¥ÇmâRQ~¤xÉ ¥PÇv; impl_use_count impl C_impl s C s T: References from client

Object representing temporary file. (Finalizer removes table entry.) (Synchronized for reachability.)

"tmp000013" Object containing fd: 17 temporary file data. 2 (No finalizer.)

Table of temporary files needing cleanup.

(Needs mutual exclusion.)

N[m kK÷~á=D (k1¥,æÂÆMÇm1 ¤ÂR[¥5¤x~kk¨Eç Çm

Sq h§X ¡§ ¥kLM¡"u +,O6¡ ¡"U !¡¦$U! +U©( ¥<£¡""¤¡ § 3 +.

NVm ~ k ~á=u¥¢¡¥k ÆM¥ k/Xô15¤rÇmD÷~Én~Ém÷

¥¨ ;

WUW TVB!hK¥6 :)¨ ¥¨/ @ +/ ¡

¥%/S0T¡£" £¥¨@ 4¥¨( O5 +K!(¡\ 3.3 Locking of ﬁnalizers

dK O¤C3 + !n¦¡ "^"2¥%' *)¨' ¢ )~ "A£¥¨(£' ¡¦,J ££¦¡""¥

TVU *¡;QWI2(¡K ¡ "@ (£¡43 +@ u"u ¡T¡ ¡(£¡/O92¡D@ +/ ¡

2¡X'(¡ O)K¥%/S0T¡£ /O +£Ã' )7 * !¥<£NS;4WI2(¡ ¡R + ¡u¥

TVU *¡;S -2(¡¢ 0SR"^¥# ¥¨()¨¡ ^¥%2¡ I"¡ ¡ £23 +/ ¡?M"C .

¡ +"¥¨"[$¥% V2"@q

n¡¦ U"&LM¥¨N¨¡3;JWI2"#'© ¡":T,U £ ¥R§ +6©¥¨""/ O

¡¦\,©( !£¦! O ¡¦§ ¥kLM¡"# JS TVU $ ¥¨§ 2¡V@ /( ¡:"¥#23 +£ +/¡

g¨;>WI2¡ ¡V"'("'3 OY(¥¨>§¤'(£f2*¥%A ©¥¨A*I )u ^C3 + .

¡¦£ § ¡ ;

!n¦¡ I23 +^¥¨'(£f2(¡"I¥¨( !O*2(¡:¥%/S0T¡£V/¡)¤C3 + !n¦¡3?M"£¡

w:A¡D23 +7©(' 2(¡3S TVU "@ +¡D ¡£ OR¥cS ¥%/S0T¡£"

"'£28¥¨/10$¡¦£V'©3 +¡"I¥%' Ý I¥¨ §K Ou/¡J¥%/"¡ L /( ¡;

("¡ ?IA¡K¥%' -23 `LM¡K(¡¡(¡B +| '(\, OE@ /( !¡4¥5C(

WI2,'("#'"¡T' >C3 + !n¦¡ "¤§U'"&¥%'£25)¨ ¥%/3 A"23 + ¡5"@ ¡

£< (3 ¡¦"UT¥¨ & ¡'("¡;UWI2("U@ +/ ¡ A¥¨' ¢23 `LM¡Y©( ¡LM¡¡42(¡

»$¡; );1"@ +£AC(¡ "1¥¨S_M `L~ £ +""¡"@½; ¡(¡ @ OJ2"1"23 + ¡

)~ / )¨¡£¥% !¡¦£¥¨R¥¨SZ¥¨/10$¡£"UI2¥%'X ¤§ ¡¦£f2 "§Û"'(£f2

"@ ¡&£ +D/¡J£¥%£'( ¡ !OX'© ¡X/O£ !¡¦,V£¥<(¡&¥¨'(.

+" A¡ NX©¥¨¡ "@;

"!(¡8C(3 n¡ "@;PwZ ()¨' )¨¡8"'£2 +"4_M `L ¨?3§¤'( !©( !¡

Ë ¥¨¡u23 ¤2¡uC3 + !n¦¡ 2¡¦ ¡8§U'"K +£Ã' ¡82(¡u£¦ p +""* ¥<£fN

C3 + !n¦¡ "^$¥% I2¡["@ § ¡ £ ""I§4 `O4 + "¥Y '£¥%£'( ¡ O

"(£¡&['(©3 +¡"V"23 ¡¦D3 +@ [" '£¦' ¡"@;

!8"¡©3 + @ ¡#2 ¡ +"Y»$¡LM¡u32¡&¥¨ )%! [ +©© £ +!¥%K"

l½?1"¥D2 &A¡ §¤'("&¡"'( ¡ §U''3 + x¡\.

3.2.4 Removal of temporary ﬁles "!()¨ ¡.¾2 ¡< ¡¦

£ '"¥¨D/¡¦p¡¦¡DC n¡ "@;

ò£¦£ "¥¨ O*A">¡£¡¦""@ OY¥#©( ¥@L¡IT¥¨ A ¡ p +/ ¡[£ ¡ '©

¥%3£¡ @ +!8 ¡"¥¨'( £¡":/¡¦$¥¨ ¡&©( ¥<£¡""[¡\@; ¼3¡§ ¥kL {¥¨3¡§Y©¥¨.

©@¥¨§Y¡§ ¡"@?[ "Y9¥¨'( Y ¥%©¡"Y¡\S +§ © ¡P /¥kLM¡? 2¡X¥¨( O

@ + OuC( ¡"V!"V¥%$¡9 +D¡\S §Y© ¡&¥¨ 2("@;

"23 ¡¦t"@ +¡¢2 X"D¥¨'(£f2(¡"8"¡62¡6¥¨©¡¦ @ )

"*"u(!"£¦'""¡-G ©©¡¦\ ? C(3 n¡ "X/O92¡§ "¡¦ !L¨¡"

"O,"¡¦§ "3NM¡ (¡ <¥¨ x ¥kR !¡¦LM¡ "O"¡§G / @ ¡"@?@"¥:23 +32¡

} }

£< (¥¨A© ¥kL!(¡V2"A` £ pO*"£¦¡ 2(¡[C(3 + !n +¥¨§ ¡£23 +"§

¡£¡¦""@ OE"O,(£f2( ¥¨(!n< ¥¨7!"2(!(¡ ;Ew7§4 +OE¥%2¡

(¥<¡"3Ý V23 `LM¡&2(¡J¡¦£¡""@ OX¥¨ (¡ ) ($¥¨ §K ¥¨ ;

£ "¡"@?1 ¡Î¡Îx!u¥¨'( ^¡\¡ 3 + {¥¨/10$¡£V @ [¡¦\r +§ © ¡"@?<'"¡¦ .

$ ¡ ¡^A¡I¥¨' ¡I2(¥kE¥:'"¡^C(3 n¡ ">¥: ¡¦§ ¥kLM¡I¡§ ©¥% @ O

L,"/ ¡& ¥<£N,"¤ + ¡U(¡¡(¡3;

C( ¡"K +"¤2(¡O- + ¡u( ¥¨©(©¡5'( )D©( ¥¨)¨ @ +§ ¡¦\,¡¦£'¥¨ ?rI2 ¡

h¨;:ò/S0T¡£:K§4 `Ou/¡UC(3 + !n¡¦6/¡¦$¥¨ ¡2£6(»½323 " C(!"2(¡

§K N)4Y©¥¨""/( !¡u$¥% 4 9¡\© £Y ¥%'¡X¥4 ¡§ ¥kLM¡2¥%"¡

¡\¡£'();1WI2("3!"3©¥%""/ ¡I"£¡l#(»½§4 `O&¥: ¥%)¨¡¦

2 ¤ ¡& ¡¦§4 ()4 V© ¥<£¦¡"" ¡¦\,@;

¡¡- ££¦¡""Y¥ ¢©3 "u ¤£¦¡ @ 5©¥%!#52¡Y§ ¡2¥< ?

©k£¡&C(3 n¡ " £ (¥%[)%'3 + @ ¡¡#¥* ¡§ ¥kLM¡u S"'£2DC ¡"@?

U2'"S2¡ ¡A!"r¥[ ¡ "¥%Y$¥% £¤¥[/¡ ¡ +¡8 "3 ¡ +£f2(.

A¡¤I (¡¡E K¡¦\,©( !£¦![ ¥¨'(¡J¥ h§hY¥*/¡#£ ¡4/¡$¥% ¡

/ ¡^/OJ2(¡)~ /3 +)¨¡^£¦¥¨ ¡£¥¨ x© " 2 ©¥%!@;^Fr¥%"¡¦

©( ¥<£¡""[¡\@;3wVI! S/¡&2¡J£ ¡"[ ¡"©¥¨("!/( !OR» "VV§¤'("

"©¡£C£ + !OSq

/¡<½>¥¡"'( ¡#23 2":" ¥¨ OD£< ¡7 $¡¦ J2¡# "J'("¡¤¥%

¡¦§ ©¥¨ @ + O8C ¡?,/'V/¡T¥¨ ¡U2¡& ¡§Y¥@L r¥¨[ Ou¥¨2¡¦ ¥%/S0T¡£"

(¡¡(¡8/O¥ h§h;

ÿ¨ÜMÑ<ÏMÏ8

WI2("¥ h§K ¥%'¡uI! [¡¡¦G +££¡""*¥¢2¡8"O"¡§ ¡.

H[ Ó%¦

"¥%' £¡¦"XI2(£f2G ¡K" + ! ¥<£ +¡3;|ò(¡8& `O9¥Q +££¥¨§Y© "2

2("J"* ¥¨)%¥¨'("&¥u¥%' :©( ¡L¥¨'" ¡\S § ©( ¡;[ ¢¡¤NM¡¦¡©E 6¡\.

Õ `Ü![Mÿ3M¢¥¤

©( !£¦!@?S & `O"[ ¡ £23 +/ ¡?<@ / ¡¥¨3¡¦§ ©¥¨ @ + OuC( !¡¦"@;

H[ ÓZf Óhg ¢¥¤§¦

Fr ¡"¤ ¡&(¥¨I)¨LM¡¦8 ¡£¦U ££¡¦"" ¥2¤;rWI2(¡"¡&£ ¡"I.

ýMýMý

"¡< ¢ ££¦¡""IC n ¥¨(.¾¡3 +/ ¡¡§ ©¥% @ O C( !¡[¥¨/10$¡¦£"^£¥%.

@ +)K©( !§K O- +5¡¦\6¥%?S¥% D U ¡$¡ ¡¦£¡*¥~?S2¡ £¦¥¨ ¡.

Õ `Ü![Mÿ þMþ¢¥¤

"©¥%(!()DC ¡ ($¥¨ §K ¥¨RU;#WI2¡ @ ¤" '(£' ¡ "&¥%'.

ýMýMý

¡¦uC)%' ¡Ye¨;$ÄpúU33 + !n()K ^¡§ ©¥% @ O*C ¡[¥¨/10$¡£¦^£ '("¡"

H[ Ó `Ñ@Òl¢¤§¦

¡¦§ ¥kL~ + J¥¨#2¡4C( !¡

Äpú

Ë:¥¨¡x2 r ¡¦$¡ ¡(£¡" ¥I2(¡A£¦ !¡.¾L"!/( ¡A¥%/S0T¡£I + ¡"O£2 ¥%. $¥% u ¡< "¥¨("u("£'""¡/¡¦ !¥kU; ££¡¦""¡"u¥§U'"¢ + !"¥9/¡

}

(n¡3?; ¡<;J £Ã'(! ¡&2(¡& ¥<£fNu¥¨D2(¡&¥¨/10$¡£@;>WI2" "[¡£¦¡""@ O "O£2 ¥%n¡ ?"£¦¡&!V§U'"I"'(©©¥¨ I£¦¥¨£¦' ¡U £¦£¡""@;

Õ `Ü![¨ÿZ>,þ![@Ô [ ÑMÜ![htÓ¢¥¤ £¥¨§Y© ¡ J§ )¨2 !( !(¡y?~¥%/"¡ LM¡U23 +:B UW TVB!h4"

}

H[ Ó `ÑtM¢¥¤§¦ ¥<¥¨©u!L @? +X2,'(""§ ©( !O*N¨¡¡©X!!P I ¡)¨"¡ @; wp§4 `O

2¡¦8¥¨/("¡ LM¡&2 ;*"[(¥kt(¡ ?S +D(¥Y ¥¨()¨¡ [¡¦¡"V¥ /¡

NM¡©(& +,OI2(¡ ¡;rwpS2¡ £¥¨§ ©( !¡¦ I¡ !§Y! ¡"CYX2"^§4 +(¡ @?

(#2¡x£¥¨ ¡£¥% 32¡# '("1I2 ¡2¡> ¥<¥¨©U"r¡\¡£'()?rI

"£¥kLM¡¦ ^23 +¦¤"^'( ¡ +£f2 /( !¡

I2¡¦ ¡UTVB"D Y"'(/¥¨/10$¡£¦¤(¥¨#L!"/( !¡¥D2(¡*¥¨'("!(¡

WI2¡AC n¡ 3I ,"¡¦lB UW TV§!hU¥ ÜMÜ%?( +#£ '("¡^2¡>¡¦\,

¥% 3?3 (4I2¥¨"¡U§ ¡2(¥<" £ 42'"[¥% /¡U£ ¡6¡\.

£ ¡¦§ ¡V¥Y + p;

£¡©(D2 ¥%')%2Z2(¡¢£¥% ¡"©¥¨()î¥%/S0T¡£@; ""'§Y¡

}

WI2¡8 ©(©3 + ¡:£¥%£ '"¥%¢T ¥¨§Û2(!" "J23 +:¡U¡¦¡4¥u/¡

23 +u¥% OE¥¨¡42( ¡ '("¡"u¥%/S0T¡£W-¥¨#£ ""WR?#

:/V§ ¥% ¡&© ¡£"¡u /¥%'VI23 + ¡¦$¡ ¡(£¡"[£ K/¡&¡¦ !§ ¡

23 +V2¡J "¤ +£¥¨K¥¨W8" ¥Y£ £6(»½; -2¡8

/O¢2(¡*£¥¨§Y© ¡ @?I (52¥k"¥<¥¨RC n¡ "¤£ 5/¡ '(3;*s:.

£ + ! "UWTV§i ¥?¡E§K O9(¥¢ ¥¨()¨¡ */¡8 ¡ £23 +/ ¡;Rwp "

$¥% ' ¡ O,?M¡ + ¡J¥%# `& + ¡J¥¨V +O )%'3 +)¨¡&"©¡£C(£ ¥¨("

Ã'¡#©¥¨""/ ¡¤23 @?r :2(" ©¥%!@?(2(¡¤ ¡¦)¨"¡ :2(¥¨ ()

23 +U ¡#"'ØY£¡ !O©( ¡£"¡X /¥%'V2"@;

¢I >23 `LM¡Y/¡¦¡P ¡'("¡3?> (¢2(¡Y"@ +£fN4$ @ +§ ¡*$¥%

" 6¡\S § ©( ¡?2¡8_M `L~ &]I +)%'3 )%¡4©@©¡¦£C£ +!¥%3abcx"©¡£¦.

¥¢ ¥¨)%¡ ¡\""*'¡8¥P@ [£ [¥¨©(!§Y!n< ¥¨ ;ÂWI2,'("

}

C¡"[23 +4l ¡ £23 +/ ¡U¥¨/10$¡£["* +,OX¥¨/10$¡¦£:2 [£ K/¡u £¦.

2¡:C3 + !n¦¡J§ ¡2(¥<8§4 `O/¡JLM¥¨NM¡¦5 +I2"I©¥¨@?{

}

£¡""¡¦t| +O7©¥%¡p + J£¥%,'()5£¥¨§Y©'@ +¥¨Q$ ¥%§ +O

H[ Ó `Ñ@ÒM¢¥¤u§K O9 '(7£¥%£'( ¡ OEI2bH[ Ó `ÑtM¢¥¤¡;

ý ý

LM¡42 ¡ +3;¹ò©§ n()E @ +"T¥¨ §4 +!¥%"D£< /¡4¡")%¡

wpr/¥¨2D'(©3 ¡&2(¡&"@ § ¡# @ " '(£' ¡?2"V" (¡ O

23 + ¡¦'£¦¡U2(¡&'§U/¡ V¥¨x¥¨/10$¡£¦":23 + + ¡¤ ¡< £23 /( ¡U¥/¡

£¡ @ +D¥ /¡&' ££¦¡©@ +/ ¡;

¡""X23 72¥%"¡KI2£f2Â¥¨'( -3 +!L¨¡ O7/¡K£¥%"¡¦ ¡- ¡ +£f2(.

P¡¤£ ¢¡"'( ¡Y2 JH[ Ó `ÑkÒl¢¥¤u (8H[ Ó `ÑtM¢¥¤& '

ý ý

/( ¡; oP P¡[/¡ ¡LM¡J2 A!X )¨2^¥¨S2¡Y /¥kLM¡ ¡\S § ©( !¡

"¡Ã'¡¦, + ! O5/OÂ ()4 ¥<£fN)~?V ¡Î¡Î¢/O¢§K N)

¥%V"'Ø £¡ O© ¡£¦!"¡<;

Ä("

(3TV§ TV¢ D +"["O(£f2( ¥¨n¡¦3;

§ (!§K "¥% !'(¥¨4¥*2"[© ¥¨/( ¡§$¥¨ _M `L~ :A¥¨'( !4/¡&¥

}

""&23 + ¢¥¨/10$¡£¦&!"& ¡< £23 /( ¡4 & ¡ +"&' 32¡Y ¥<£N4¥¨

WI2("U"u &¥<("&I252(¡Y¥<££ +"¥¨3 + # (L!£¦¡ ¥9 `LM¥¨¢"O,(.

2¡¤¥¨/10$¡£¦&23 "&/¡¦¡¢ ¡¦ !¡< "¡5T¥¨ &2(¡Y "&§ ¡;&WI2"&A¥¨'

£2 ¥%n +!¥%K8C n¡ "@;

¡ § 3 +¡ 2¡U© ¥%/ ¡§«!62¡8 /¥kLM¡U¡\S §Y© ¡Y¥%£¡¤¡Y§K NM¡ "O,(£f2( ¥¨(!n¦¡3;w £¥%' 7 "¥X/¡U'("¡K¥¡ § 3 ¡U£¥% ¡.

3.4 Reachability and Optimization

"©¥¨()Y© ¥¨/( ¡§ "VD¡\S § ©( ¡"¤e¨;h¨;e* (9e¨;h%; ¢~;

dY¥%"¤"©¡¦£C£ +!¥%"¤$¥¨ ¤ )%'3 +)¨¡"¤"'©©¥% )KC n ¥%

©@¥%§ ¡[¥¨12¡[£¥¨(" '£¥¨("¢ ©(©¡(!\ ¥¨12"© ©¡ @? +"

}

+ ¡Y¡¥¨3 + !OK"¥%§ ¡I2 JL )%'¡K +/¥¨'(:C n¡ J¡¦\,¡¦£'¥¨

¡¦ ! J "@?ST¥¨ U¡\S § ©( ¡?#lm3 n¡ ' (p +oD£¦¥¨" '(£¥¨R

§ ()u4/¥¨24 ¡£¦!¥%"@; WI2(¡OD(¥¨:¥% O9 + ! ¥kBC n ¥%

agc?¨ ¡Ã' ¡I2 x£¡ @ +!*¥%2¡ x©¥%¡p + !O¤' ££¡¦""¡ ¥¨/10$¡¦£"

¥&/¡I(¡ `OM¡3?k/'(: + "¥8 + !¥k7C3 + !n¦¡ "A¥:/¡[¡¦\,¡¦£'¡¤¡ ¡

¡¦¡K¥*/¡&£¥¨("¡ ¡4 ¡ +£f2 /( !¡<;wpD© £' + @?(>2(¡ ¡#"

2 u§ )¨2^/¡J¡\©¡£¦¡3?{ "I2(¡J ¡"'( !I¥%r£¥%§ © ¡ V¥¨©(§ n .

¡T¡ ¡£¦¡:$ ¥%§v¥¥J©8? +¥" ¡ +£f2 / ¡?MA¡:¡¦¡*¥¤N(¥@

¥%"@; P¡&C( "I£¥¨(£¡ @ ¡&¥%D2¡J +¡ @;

23 +F©I ! 3(¥¨[/¡&C n¡3; ¢¡#I! £¦¥¨,'(¡#¥*§4 NM¡&2("

¢¡Y"@ `|P2¡¤© ¡£¦¡)u"¡£¥¨PI2,OK2("&§ )¨2&23 +©©¡

""'(§ ©¥%R¡ ¡X¡£¦¡""@ O,?S"(£¡u¡¦\,")K£¦¥<¡ ¡ ¡"Y¥%5

I26© L ¡U"'/¥¨/10$¡¦£"@;£$:¥kA¡LM¡ @?~2()¨":£< 4)¨¡:¡LM¡4 ¡""

(3?(¥¥%' :N(¥@I ¡()¨¡?3 + 3¡\!"()X§ ©( ¡§ ¡@ ¥%":"@ +"$O

©( ¡ "@ +,@;

@;-»$wp¤¥%' 7/¡P £¦£¡©@ +/ ¡8¥6 ¡" £ 2("K ""'(§ ©¥%7¥

Fr¥%"¡¦ Y +8¡\S +§ © ¡& ¡"¡§U/ )Y2¡:¡¦\,¡¦ 3 1¥¨/10$¡¦£V3 @

[ ÑMÜ* ª>,þMÜMÑkÖi[¨ÜMÓJ ¡$¡¦ ¡£¡¦"@;!½

¡¦\r +§ © ¡u$ ¥¨§ "¡£¥¨e¨;h¨;e%;9wE2(" £ "¡

WI2¡"'3 +¥¨9tFIi +©©¡ + "Y¥K/¡LM¡ O6"§ p + @? +R

2 `LM¡I¥¨/10$¡£¦"A¥%£ ""|¤£¥%@ )* (¡\0UW T,§!h ¥J2(¡

¡¦¡-¥¨#"§ u"¥¨ '¥¨("@;~¥¨ X"¥¨§Y¡¢¥%2¡ ()¨'3 +)¨¡"@?V2¡

¡¦\,¡¦ 3 > + @ `O1¥ ;A: £2X¡ OY¥Q"^'("¡/OK A§ ¥¨"¥¨¡£¤

¡¦C¥¨u¥¨Yl ¡ £23 +/ !Oo*!"V¡L¨¡8 ¡""[© ¡£¦!"¡<;

¥%/S0T¡£@;rw>£¦¥¨@ "x¡2(¡ ÜMÜ©¥%!¡ @?k!@Ý ">¥%>£¦' ¡ O

'("¡E/,O- O5¥%/S0T¡£@?>¥% ¥¨2(¡ I"¡9 * ¡$¡ ¡¦£¡u¥- +7¥%/S0T¡£

eB(h4C(¡ 3;5WI2¡8C3 + !n¦¡ $¥% ¤ ¡"¡"*2(¡

£¦¥¨@ () 3.5 Finalization must be asynchronous.

+ @ `O*¡ OY¥ ÜMÜ¨; ""'§ ¡ 23 +¦¤ 2 "& I§ ¡2(¥<X&23 +

_M `L & ¡¦Ã,'( ¡":C(3 n¡ " ¥ 'K"¡8 J2 ¡ +42¥¨ (!()¥

}

"§ ©( O¤£¥%'"32¡,'(§¤/¡¦ ¥¨~"xLM¥<£ ¥%"x/OU(£ ¡§ ¡)

'"¡¦ .vL"/ ¡ ¥<£fN"@;uWI2(¥¨"¡L! ' >§4 £2(¡"¤2 U§ © ¡§ ¡¦,

2(¡&£¥¨ ¡¦"©¥¨()1R§((q

2"J£¦¥¨ ¡£ OE +©©¡ + J¥'LM¡¦ "@ OK¥"¥8/O8 '((!()C3 + .

n¡ "[9 "¡© @ ¡&2( ¡ 8¥¨ V2 ¡ +"@?<¥¨(£¡&2¡&£¥% !¡¦£¥¨ [23 +"

>þ![@Ô þ¨þ¢¥¤

¡¦¡ § ¡ ? A!" !¡¦!"'( ¡?M23 +& ¥%/S0T¡£^"^¡ )¨/( !¡:$¥¨ C3 + .

{ {§|kH^a^![ ÔÓs!m ÿ¨þ Ö,Ó@Ò£¦

ý ©

n ¥%3;

W ¥X'(¡ "@ +62¡U ¡ "¥%)D/¡¦242"& ¡Ã'(! ¡¦§ ¡@?

"'("¡$'( ¥#£¥¨("¡ @?%("¡ ¥¨A_M `L ¨?%2(¡V£ "¡[*I2£f2* ¥<£N"

Ë ¥k£¦¥¨"(¡ #I23 #2 ©©¡¦"&I2¡¦ P!("@ (£¡D¥¨¤·"

£ +¥%¤/¡X ¡ +£Ã' ¡R/O- 2( ¡ ;R»$~¥¨ ¤¡\S § ©( !¡

+££¡""/( !¡¤¥¨( !OX/O5 :"()¨ ¡¤2( ¡ ?r +D[!"[ " ££¡¦""¡4!

¥<£fN"@ag¨g+c ¥% N82(!"VJ OX/Ou(¡ +' @;½Jwp3C n¡ "[£ 8/¡& '

2(¡& ¥<¥¨©

U +OX©¥%,I5 O*2 ¡ +3?1 [C(3 n¡ V ¡Ã'(! ()Y ¥<£fN«9§4 `O

£¥%!(£¡@ + ! OX/¡: '(uR V2 ¡ +82 U ¡ +O2¥% "I ¥<£fN« ;

þ@Òv¢u[ Öp[3fjxM¦y[Zzp x xx x x xM¦.{{^[¤

WI2¡X +¡§ ©(I¥ ¡ £¦Ã,'( ¡&2¡& ¥<£fNX ¡"'( !"V8(¡ ( ¥<£fNS;

Ô þMþB¢¥¤§¦

ý,¨

wp AC n¡ x¡¦¡"x¥* +£Ã' ¡U A ¥<£Nr?k2¡ ¡!"xLM¡¦ OU ¡I2¡

wp¡ ¡")% O,? +" ¡D("£'""*E2¡8(¡\Y"¡£¦!¥%3?x!Y¥¨'(

Ä("

)¨ @ +§ § )¤ )%'3 +)¨¡?< !N¨¡ _M `L ¨?{ ¥kI"V !¥<£N"^¥U/¡: ¡ +£Ã' ¡

©( ¥¨/ / OD"'(Ø £¡U¥¡£ + ¡Y¥¨( OZ6 +":"O£2 ¥%n¡ ;VWI2

/O¤2(¡I"@ § ¡V2( ¡ ?@2¡I"' ¥¨¥<¡¦"A(¥¨x§ © ¥kLM¡;1wp"¡<

A¥¨'( !¡¦"' ¡42 ¡§4 ("u LM¡4' 2(¡4 ¡ ¡ "¡6¥¨&2(¡

¥¨ 7¥¨/L!¥%'"*` ' ¡?AA¡DI + ! ¥kpA¥P ¥¨)%!£< OÂ"¡© @ ¡

+""¥<£ ¡t ¥<£fNS?& +-2'""'(Ø £¡ O7(¡ OEC n ¥%t¥

¥¨©¡¦ @ ¥¨("@?< § ¡¦ !OY2¡V£ ¡2 ¡< 2¥% !()J«Q (X2(¡VC3 + .

¡¦"' ¡#2 V2¡&§ ¡¦2¥<"Y ¡# '(D"¡Ã'¡ O,; "V"£'""¡¦

}

n¡ @?¥ 2¥% !.«B V2¡:"@ § ¡#§ ¡;3WI2¡&¡\S +§ © ¡&9 ©(©¡(\

/( ¡¡¨O Pa65c?M¥¨2¡¦ ^§ ¡2(¥<"^T¥¨ I)¨' @ +,¡¦¡)U2¡: LM¡(¡""^¥%

u§4 `Ou/¡J2J ¡D/O*£¥%§ © ¡ [¥¨©(!§Y!n< ¥¨("@; ÅZ '" @ ¡¦"X2 2("*£ 7 ¡"' Â¡ § ¡ (£¥¨ ¡£¦

©(© ¥%© ¡&©( ¥<£¡'( ¡"@; ¡¦\,¡¦£'¥¨ ;

WI2¡¦"¡ ¥ktC(3 + !n¡¦ "[¥U/¡J'("¡u"@ +$¡ OXu")% ¡.¾2 ¡ +¡ WI2("X""'(¡6J "¢ ©(©3 + ¡ !O9N¥kI7¥52¡9 +'2(¥¨ "¥¨ab+cp;

¡L ¥¨§Y¡"@?

3 + !n¦¡ "#I2¡¢!&"#"@ T¡*¥8(¥8"¥?{; ¡<;¤¥¨'("!(¡ £¥<(¡ "¡£¥¨(" 2 `LM¡ § ©( ¡§ ¡¡2"A!(£¥¨ ¡¦£ O*!2(¡ LM¡¦ "!¥%"@;

23 +I"2¥%' D/¡J¡\¡£¦'¡5 ¥¨§Y!£< O,;xWI2(!"¤ +©©¡ + "[¥Y/¡J2¡ ¢¡9 )%'¡K2 2"*¥¨/("¡ L ¥¨-"X¡Ã'3 + ! OZ ©(© £ /( ¡6¥

"@ T¡"I& `O ¥#2 ( ¡ C(3 n +!¥%u")% !¡¦.v2( ¡ (¡£¥<¡

2¥%')%2K![23 +" "¥%§ ¡U£ ¡ "@ (L~ +,@ +)¨¡"[K£¡ @ +!4£¥%¡\"@q )~ / )¨¡u£¥¨ ¡£¥%3?V (R¡LM¡5VC n ¥%E"¤!§Y© ¡§ ¡¡

²¥¨¡¦, + ! OR )%¡R +§ ¥¨'(,"¤¥¨V£¥<(¡?x¡¦"©¡£ OR ¥¨)%.¾ '() / "¡8¥¨D(¡" '£¥% "@;

¥¨'(¡"@?§U'"[/¡#¡\© £ !O8"© N ¡KI24C3 + !n¦¡ :LM¥<£ +. ¥¨ U¡\S § ©( !¡

¥¨("@;^ÅS'x"'(£f2¤£¥<¡I§U'"3(¥¨3/¡^£ + !¡¦*!¤£¥¨¡\"3 I2(!£2 +'¥%§4 £U§ ¡§ ¥% Ou§4 +3 +)¨¡§ ¡¦,[$¥% FIH&H&?23 +[(¡" '£¦¥¨ "

C n¡ VLM¥<£ ¥%"Y ¡&'("@ T¡; T¥¨ x2¡< ©Y¥%/S0T¡£"x"2¥%' Y/¡¦23 `LM¡^0T'"3 NM¡^¡¦" '£¥% ">T¥¨ x"@ £N

(¥¨2(¡ ^©¥¨¡¦, + S'("¡J$¥% Y +8¡\©( !£I£ + S¥¤ '8C(3 + !n¡¦ " ¥%/S0T¡£"@?~ +U23 +32¡O&§U'"3/¡^ '(¤2(¡"@ +32¡^ "3 ¡¦$¡ .

}

"D¥9 ¡£ § £¡ @ t"O"¡§ ¡¦"¥¨' £¦¡"DI2£2 ¡P© £'(. ¡¦£¡ ¥D +u¥%/S0T¡£I"I ¥%©©¡ ? ¡Î¡ÎxX ¡"©¥¨("¡:¥D V ¡T¡ ¡(£¡

OK"£ + £¡;:~¥% :¡\S §Y© ¡?~:"J£¥%§ § ¥¨6¥X$¥¨ £¦¡K &) / )%¡ £¦¥¨'¡ &(¡£ ¡§Y¡@; (¢2(!"&"#¡\S £¦ !O4I2 #"&£¥¨§ §Y¥¨ O

}

£¥% ! ¡£¦!¥%Q (¢LM¥%NM¡¤C(3 + !n¡¦ "&I2¡Â UC( !¡¤¥¨©¡6£ + ! xA¥¨' (¥¨(¡P/OBFIH&H ¡$¡ ¡¦£¡¢£¥¨'(,u§ © ¡§ ¡¦,@ +¥¨"E»$£¦;Ûa ¢¨c½;

¥¨2(¡ I"¡ ` ~('¡^¥& £NY¥%C ¡I¡¦"£ ©¥¨ "@;%$ ¥k¡LM¡¦ @?%2"x" ²O2¥%3ag¨j+c3'"¡" &"§ X +©©( ¥ £23;IwpK/¥%2K£ "¡¦"J¡" '(£.

£¥%§ © £ ¡¦K/,OX"¡LM¡¦ @ r""'(¡"@?,I2(!£2K¥¨T¡K"¡¡§¹¥*/¡&¥kLM¡¦ . ¥% "%Ê}+Y + ¡&'"¡u¥ § © ¡§Y¡[C(3 + !n¡¦ "@;

¥<¥¨NM¡¦3q Å1'I2"I¡(£¥¨'(¡ "V¡\S £ O2¡ "@ § ¡&©( ¥¨/ ¡§Y"[2 IA¡ ¡

¡¦£¥%'¡ ¡Z/,OQ¡ + Oº_M `L ¢§ © ¡§Y¡@ ¥¨("@q =A'(¡5¥-2(¡

g¨;:¼x'(()D¥¨(¡uC(3 n¡ ¤§4 `OP£ +'"¡X¥¨2(¡ ¤¥%/S0T¡£" ¥4/¡

©( ¡"¡(£¡:¥%r ¡T¡ ¡£¦¡:£¥%')?MI2(!£2X!"¡")¨(¡X¥¤T ¡¡:2(¡

¡ !)%/ ¡K$¥% XC(3 + !n +¥¨3;9~¥¨ *¡¦\r +§ © ¡? X/('¡ ¡9C( !¡

©( ¥¨)% @ § § ¡¦ $ ¥%§|¥¨ OD /¥%'x¡ + !¥<£< ¥¨X§ )?@2¡I§ .

§4 `O8¡¦¡K¥*/¡¤C(3 + !n¡¦E» ¨('"2(¡3½ /¡T¥¨ ¡Y2(¡#'.

()J¥¨C(3 n¡ x¡\¡£¦'¥¨¤!"x(¥J ¥¨)%¡ x @ ("©3 ¡¦,@;13! n¡ "

¡ O)D @ `C ¡*£ R/¡*C(3 + !n¡¦Q» (52¡*(¡"£ ©¥%

§K OY '** ¡"©¥¨("¡ ¥u ^ ¡T¡ ¡£¦¡:¡¦£ ¡§ ¡: J OK +""!)%.

¡£ § ¡ ½;Swp#2(¡A£ +"¡^¥¨rdY¥<'( .fe>"O, ¡>¥¨ (¡ ¡UC3 + .

§Y¡ ¥¨ /( ¥<£fNR¡\@?[ 92(¡£¡5 ©(©¡ ¥62¡u© ¥%)¨ @ §Y§ ¡

!n< ¥¨ ?12¡YC3 + !n¦¡ "#¥¨'( 5§ © £ O6/¡Y 'P¢£¥¨(.

¥E/¡Â "O£2 ¥%¥¨'("@; =A¡< ¥<£N"D,L¨¥¨ L!()Z K ¥<£N2¡ Q/O

"¡£'LM¡¤£¥¨ ¡£¥%5£O£ ¡"@; "J¡Y¡\© 6!Â ©(©¡(\

2(¡V2 ¡ +*© ¥<£¡""()¤2(¡[ ¡¦$¡ ¡(£¡[£¥¨'(,x(¡£ ¡§ ¡¦,: (* ¡.

}

?(2(!" /¡23 `L¥¨ £ ?3 K¥%$¡6§U'"[/¡?¡§U' ¡4

Ã'(! ¡¦ /O¤2(¡[C(3 + !n¡¦ J + ¡[(¡2¡ >© ¡¦£@ /( ¡[(¥¨ : `LM¥¨3 +/ ¡;

}

_M `L~ %;

w " !§Y© @ £¦!£< x$¥% * J @ £()X)~ / )¨¡¦.v£¦¥¨ ¡£¥¨ #¥ 'KC(.

n¡ "6 +Y¡\S £¦ !O¢2¡X©¥¨Y92 ¡ +R¡\¡£'(!¥%9I2¡Z

h¨;>WI2¡K ¡"¥%' £¡7 ¥<£ +!¥%Q£ ?# ¡Î¡Ît2(¡DC ¡K¥¨©¡¦-£ ?

¥%/S0T¡£¤/¡£¥¨§Y¡"YC(3 n +!¥%.¾ ¡ +O,;5ÅS'(¤¡¦LM¡5V¤£¥%' R¥

§4 `O /¡ §K ¡ $ ¥%§ £ ¡£¥<(¡:2 2(¥¨ " !¥<£N"@;rWI2¡"¡

"¥~?M2"^¥%' X!` £^§K NM¡ !A§¤'(£f22 ¡¦ @?¨ @ 2¡¦ 23 +¡ ".

!¥<£N"V§4 `Ou/¡J(¡¡(¡8/OC n¡ "@;

¡ @?¥ I ¡&£¥¨ ¡¦£V£¥<¡;

©©¡(\uÅD¡\©3 ("3¥%*2¡8lm¡¦\,¡¦ 3 (¥¨/10$¡£¦A @ o&¡¦\r +§ .

}

WI2¡uC " ""'(¡8"*¡ " OZ ( ¡""¡EI27£< ¡T' [!¡ ` £¡

©( ¡UT ¥¨§«"¡£¥¨7e%;!h%;e#¥*)%!L¨¡8 J£¥%£ ¡¦¡U '" @ +!¥%¢¥%32¥k

¡¦"!)%3;V¼[ 2¡¦ I23 R ¡§ ©()Y¥Y 'R + rC n¡ "VI2

"O(£f2( ¥¨¥%'"DC(3 + !n +¥¨t ¡"©¥¨("¡5¥ 4 ¡T¡ ¡(£¡5£¥%'

(¡£ ¡§Y¡*£ -` ['¡¦\,©¡¦£¡ O,;9WI2¡D¡\S +§ © ¡E "¥5 '".

@ +¡":2 § ¥<'( !¡u +/" @ £¦!¥%¢/¥%'(3 ¡" ¡¡£LM¡¦ !Ou§4 N¨¡

]

a(Ï¡Ö,Ó¡H ÿB¢¥¤§¦

ýV?

J§ ©¥%""/ ¡ ¥P L¨¥¨¢"'(£f24(!"@ +"¡ "@?¡LM¡4I2|l¡¡¦ § .

]

a(Ï¡Ö,Ó¡H Ò [ ÑMÜ![tÑkÖi[¨þ ¢¤§¦

ý © ¬

"£o* ¡T¡ ¡(£¡.¾£¥¨'(!() ) + /3 +)¨¡#£¥¨ ¡£¥%3;

WI2(¡J¥¨T¡8 ¡¦©¡ ¡u£¥¨§Y© "V23 8lC n¡ "¤ ¡J'(©( ¡.

(£@ /( !¡¦o6»$£;Vagc½ " (¡£¡""@ + OuT¡ '( ¡?<¥¨¤ (¡C£¦!¡¦£O,;

¡&"2(¥¨'( !8'"¡ û

3.5.1 Explicit Finalizer Invocation Ôþ

]

_¨ L r© ¥kL¡" § ¡2(¥< a(ÏkÖ,Ó¥H Ò [ ÑMÜ [tÑ@Öi[%þ ¢¥¤xI2£2

ý © !¬

]

a,ÏkÖ,Ó¡H ÿB¢¥¤§¦

ýn?

¡¦\,©( !£¦! O9$¥% £¡"C n¡ LM¥<£ ¥%3;Z: ¥%'"*C n¡ § .

]

a,ÏkÖ,Ó¡H Ò [ ÑMÜ![t<Ñ@Öi[¨þ ¢¥¤§¦

ý © ¬

©( ¡§ ¡@ ¥%"X (4© ¥¨©¥%"@ "X»$£`;*Fr¡3 + Xa!g%ec? '3 ( "@a6G+cp?

g¨Ðe[¨ÜMÓ¶¢*zkÒ,Ó<Ï¨þ Ò(ÿ¨Ó Ñh>,Ñ![¨ÜMÑ¡`ÜMÓ ~

2(¡:A> ! ".f=A¡ ¡T"["@ +$¡XFIH&HÂ©( ¥¨©¥¨"@ + a!Ù+cr¥% J<<Ñ>,Ñ ÜMÑ Ò,Ó !

ý ?Aý ¨

]

rz a(ÏkÖ,Ó¥H Ò [ ÑMÜ [tÑ@Öi[%þ ¢¥¤Ô[@ÔtÏ¨þ¡HÓ@Ö%ÐR[ ~^¤

ý © !¬ !?

_¨ L ¨h%½x(¥ ¥%¤ & `O" '(8C(3 n +!¥%K© ¥<£¡¦' ¡¦"[§ ©( !£¦! O,?

/('[§4 `O8"¡< 4"§ © OD¡(Ã'¡'(¡&C3 + !n< ¥¨(.v ¡< O8¥¨/10$¡£"@?

WI2¡&"¡¦£¥¨(D""'¡&"V§ ¥¨ ¡&(!ØY£' V¥ ¡"¥% !L¨¡;

¡ `L)R¥52¡K£¦ !¡¥5 ¡ +-2¡8Ã,'(¡'¡E +7!LM¥%NM¡D2(¡

]

""'(§ ¡[23 a(ÏkÖÓ¡H Ò [ Ñ¨Ü![tÑ@Ö^[¨þ ¢¥¤["^£ + ! ¡X$ ¥%§·

ý © ¬

}

2 ¡< K2¥% ) ¥<£fN.«B (K¥¥¨2(¡ ¥<£N"@;Vw[" ©¥¨""/ ¡Y¥~?

Ä ©@¡¡ $¥¨ ß¡¦\r +§ © ¡ pO©(!£< £¥%§ © + ¥¥¦¤ á

¡ " !¥%)¨£ + ! O,?~ '8¡ £2KC n¡ :4" ¥kI42 ¡< 3;WI2("

ââ~ã ã ã Ém ,{ÆMkã ÇmkÉmÆM~5âkÆ n®,¡â÷~â~øR¯R°â~øR¯R¯R±â

I 1£< '"¡:¡\S £ O*2¥%"¡:C(3 n¡ "I2 A¥U¥¨¡¡«R¥U '

¯âR²~â~øR²e³R¯R´~øR³â ¥% 2(¡ § ¥¨ ¡ (¡@ ¡Þ("£'""¥¨ +

¥K£¥%§ © ¡¥¨ ;uWI23 +@Ý "Y©¡ 2 ©"#2(¡X/¡¦"UA¡£ R(¥?r/'(&

à à à

¥¥¤rámâ~â~ã ã ãYÉmÆM¡ÉmkmèM~rÉmæ â~¡r5¥k(â ÇmÇme (5â

£¡ @ + OR ¡ `LM¡"*¥¨©¡¦72(¡u©¥%""!/( !OE2 "¥%§ ¡D/( !¥<£NM¡9C(.

P~ m¥~µkçr ÇmmèMkÉ ¥5ÇxWI2¡* ¡¦ ¤¥kLM¡ ¥<¥%N,"U2¡Y ¡Ã' ¡.

3 + !n¦¡ "^¥%' X23 `LM¡V£ '("¡X¥¨2¡¦ @?%©¥¨""/ O*§ ¥% ¡:¡ ¡")~?

§Y¡-¥¨ 0 `L~ %; !¥%)~;!ò/10$¡¦£@; C3 + !n¦¡2 l2¡G2( ¡ «23 +

LM¥%NM¡" [ ÑMÜ![tÓ I Â(¥¨B/¡º2(¥¨ )ñ O·'"¡ .¾L"/ ¡

¥¨/10$¡¦£" ¥Y/¡J ¥%©©¡ ;

"O(£f2( ¥¨n +¥¨P ¥<£N"X;!;; o?> (¢2'("J£¥¨($'("¡"X 6§ © ¡§ ¡¦.

"¡¦£¥¨( ©¥¨""/ pO ¥¨'( /¡ ¥ "" 23

}

@ +¥¨D/(')YT¥¨ ¤ "©¡£¦!C(£ ¥%K/')~;rWI2¡ Ë s¹_M `L £¥%§ © ¡

Ò [ ÑMÜ [tÑ@Öi[%þ ¢¥¤·(¥¨/¡í£ ¡ª$ ¥%§ £¦¥¨¡\"23

£¦¥¨ ¡£¡¦ 6"§ 4§ © ¡§Y¡@ ¥¨G/(') T¡ 4¡5©¥%!¡

§ )¨2U2¥% !R ¥<£N"¤"2 ¡R/O6C3 + !n¦¡ "@;8WI23 +Y¥%' R ¡Ã' ¡

¥%'I2(¡J© ¥%/ ¡§4;r ¢¡J/¡ ¡LM¡J2(!"VJ "U £¥%§ § ¥%8§ "@ N¨¡&!

"§ : ¡¦" !£¦!¥%" ¥¨DC( !¡#¥%©¡D¥¨ [¥¨2(¡ V ¡"¥¨'( £¡u ¥<£ ¥%

2("Y£¥%,¡¦\,@?1I2£f292 "U£¥¨ /'(¡R¥K2¡/3 +R ¡©'(@ ¥¨

¥¨'(¡"@? I2(£f2Q§ )¨2D£< Ò [ ÑMÜ![t<Ñ@Öi[¨þ ¢¥¤¢¡ O,;

¥%3C n¡ "@;

Ê}+

WI2"¤ ©(©¡ "[¥ '("I¥ /¡X L / ¡X + !¡¦ 3 LM¡<; ¡ § ¡2(¥<"VR²O,2(¥¨

£¥%'¡3½3§ ¡§Y¥¨ O8§K 3 +)¨¡§Y¡:"£2¡§ ¡¦"@?("£¡U62(¡"¡#"O". WI2(¡K£' ¡¦,¢_M `L ²w "©¡£¦!C(£ ¥%3agG+cJ"u'($¥% ' ¡ O

}

¡§ "[2¡#©( ¥¨)¨ @ +§ § ¡ 23 +" + !"¥X£2¥¨"¡¦K¥6 /" @ +£* `J Ou2¡ '(£ ¡ + 7¥%¹2¡¡(¡º'("@ )¨¡t§ ¥<(¡ ?u¥¨ E¡LM¡ I2¡2(¡

¡¦@ "D +/¥¨'#I2(¡5¥¨/10$¡¦£"¤/¡¦£¥¨§ ¡3 +££¡""/( !¡<;Xwp#"#¥¨2(. 5"Q +££¡©(@ /( !¡7¥Z '(|C3 + !n¦¡ "5 2(¡72( ¡ |LM¥¨N)

¡ I"¡K§ © @ +££ V¥¢¡"'( ¡823 + C n¡ "*£ +(¥¨ /¡u ' Ò [ ÑMÜ![tÑkÖi[¨þ ¢¤k;

"¡X [£ !¡¦,V2(¥¨ )Y !¥<£N"@; ¢¡V£¥¨(£ '¡V2 >!>"©( ¥¨/3 +/ OY'("¡$'( ~¥&¡\© £ O LM¥¨NM¡

dY¥¨ ¡K"©¡¦£C£ + ! O,?A +)¨' )%¡K¡")¨(""'©©¥% )PC(3 + !n¡¦ " C(3 + !n¡¦ "3¥ ¡£¦ p +§G¡¡¦¡# ¡"¥%' £¡"3#2" §K (¡ @;1 ¢¡J + ¡

"2¥%' D¡("' ¡J2(¡&$¥% ! ¥kI)~q `J ¡:¥%S"¡¦LM¡ @ 3_M `L~ ^§ © ¡§Y¡@ ¥¨("^23 +A§ ©( !£ O* OY¥

¥Y¥Y"¥~;VÅS'II"V¥¨I£¦ !¡< V¥ '"I2 U +,O*¥% 2¡¦"¡J"O"¡§ "

wpÂ ¤§¤'( !.¾2( ¡ (¡¢¡¦,L ¥¨(§ ¡@?!&§U'"&/¡¤)¨' @ (.

(¥ "¥ £¥%§ © ¡¡¦ !OX"@ T¡ O,?,¥% [2( ¥¨'()¨282(¡& )¨2V!¡ ` £¡¦"@;

¡¡923 + C n¡ " I V '9 *2 ¡< 97I2(!£2E¥ !¥<£N"[ ¡I2(¡ 3;1WAO©£ O#2"3§ ¡ +"32 3¡2¡¦ 3C3 + !n¦.

4. CONCLUSIONS ¡ "& + ¡ '( X2(¡ A¥kI2 ¡< 3»$"@½?@¥¨ 2 >C n ¥¨(.

¡ (O-¥¨/10$¡£¦"E ¡5¡(Ã'¡'(¡ (t2(¡Q 'Q¡\© £ O

¢¡A2 `LM¡A©¥%,¡¦U¥%'S23 ^FIH&H6(¡" '£¥% "V (u_M `L~ C .

$ ¥¨§ª©( ¥¨)% @ § § ¡¦ .v(! +¡B2 ¡ +"@; WI2'("6C(3 + !n¡¦ "

n¡¦ "J + ¡I£¥¨§ ©( ¡¡ O¤(¡ ¡3 +£ !¡"@;VFIH&HP¡¦" '£¥% ": + ¡

§¤'("I/¡X ¥@A¡K¥?1 (8¡(£¥¨'( @ )%¡K¥?1 £Ã'(! ¡& ¥<£N"@;

'("¡6¥8© ¥kL¡¤)¨'3 + @ ¡¡¢£ ¡ '(©- +£¥¨"X +&¡ .¾¡C(¡

©( ¥¨)% @ §¹©¥¨"@?<¡"©¡£ OX!u2¡J©( ¡"¡(£¡J¥¨r¡\£¡©¥%"@;rwp

wpP©(' ¡ O6")¨ ¡.¾2( ¡ (¡5¡L ¥¨§Y¡"&2¡*© ¥%)¨ @ +§ .

¥%' L¡¤ÊÄ:2¡O- ¡8§Y¥¨ ¡8£¦ !¥%"¡ OR ¡ ¡E¥7_M `L~ 6+%(¡´Mp¨À

§ ¡ U§¤'("U/¡*)%LM¡R¡\© £U£¥¨ ¥¨ A¥kLM¡ #I2¡R¥8 '

(Á+ +µY (KÖMÒ ar· [ ÑMÜMÜar· /( !¥<£N"¥% @?¨!2(¡

ýMýMý¹¸Z¨ ýMýMý}¸

C3 + !n¦¡ "@;YWO©£ + !O42(!"#I A/¡K ££¥%§ © "2¡¦5/OK¡\.

£< "¡6¥¨& ¥<£fN"@?U+%(¡´MpM(Á+ +µ6/ ¥<£N"@?I2 -2(¡OZ ¡6¥Q_M `L

[ ÑMÜ![htÓ&§Y¡2¥<("@;

wY£¥% @ "@?@C(3 + !n +¥¨ Y +)¨' )%¡"A NM¡U_M `L >"x¡£¦¡""@ O

WI2¡: +)¨' )%¡:"©¡£C(£ ¥¨u§¤'("©( ¥@L¡[2¡[© ¥%)¨ @ +§ .

R¥% ¡ #¥K§4 +3 )%¡u ¡¦"¥¨' £¦¡"¤¥%2¡ U23 +5) + /3 +)¨¡.¾£¥% ! ¡£¦¡

§ ¡ 1I!2u rJ O:¥I¡"'( ¡A2 1¥¨/10$¡£"S ¡§4 +!# ¡ +£f2 /( !¡

§Y¡§ ¥¨ O8/3 "¡¦K¥¨4) + /3 )%¡.¾£¥¨ ¡£¥% .¾"£¥kLM¡ ¡6 ¡ +£f2 / pO,;

!¥%)5¡¦¥¨'()¨27¥P© ¡¦LM¡ © ¡¦§4 '( ¡DC n ¥¨ ;7WI2¡

Â!2(¥¨'( 2" ` £ pO,?@ A¥¨'( !¤¥¨T¡¤/¡A¡£¦¡""@ O#¥[/3 "£ + !O

p +"J '(.¾!§Y¡U ¡¦© ¡"¡@ +!¥%4¥¨: &©¥%,¡¦ J¥¢ 4¥¨/10$¡£¦

¡¦¥D2(¡ ) + /3 )%¡*£¥¨ ¡£¥% "¤A¥¨ N6P¥¨ (¡ &¥D§4 +3 +)¨¡*2¡¦"¡

§4 `O&"@ ©(©¡ 3 ¥¨() /¡¦$¥¨ ¡I2(¡A +"3 !¥%)¨£ + 3 £¦£¡""3¥[¥¨¡

¡¦"¥¨' £¦¡"@; !2(¥¨'()¨2P#23 +"#£ ¡ OP ¥<'(£¡- ¤")¨C(£

¥¨^"&C¡¦ !("@;¤WI2¡¦ ¡ "¡¡§·¥u/¡ £ ¡ ¢& `O"#¥8© ¥kL¡

}

+§ ¥¨'(r¥¨,£¥%$'("¥¨3?, © ¥%©¡ OJ¡")%¡# +£ !O&£ #/¡>'"¡

2¡[¡£¡¦""@ O*)¨' @ +,¡¦¡"@?M/'A^¥<¡"¥¨J ©(©¡ ^¥U'"

"@ +$¡ O,?1 (8¥<¡¦"I¥¨& u")¨C(£ I£¥%§ © ¡\pO*/¡O¨¥¨X23 +

23 U +OX +)¨' )%¡U"©¡¦£C£ +!¥%K£' ¡¦, O¥<¡¦"["¥~;

(2¡ ¡ID§U' .¾2 ¡ +¡u© ¥¨)% @ § §Y!();

]r/ @ + OX£< "[¥¤¡\© £ OXLM¥%NM¡:2(¡J) + /3 )%¡&£¥¨ ¡£¥%

2¥¨'()¨2X¡&/¡ ¡LM¡:23 IC(3 + !n +¥¨D"U u¡""¡ S £¦! .

}

ÂC3 + !n¦¡ "¢ ¡7 ©(©3 ¡¦, O9Ã'¡K'"¡¦$' [-§4 +3 )%.

O8D§4 +,Ou )¨¡U"O"¡§ "@?(A¡#¥*¥%V/¡ !¡¦LM¡#23 [ "2(¥¨'( !

!()8 ¡ +!L¨¡ O6"£< £¡ (¥¨(.v§Y¡§ ¥¨ OK ¡¦"¥¨' £¦¡"@;J$ ¥@A¡LM¡

/¡#'("¡K$ ¡Ã'(¡ !O,;:Å^ "¡4¥%K2¡& § ¡4"@ "£"J¡#2 L¨¡

"¡¦¡3?%¥%¡V'"¡I©¡¦ Jg*)? )))U ¡¦"¥¨ >§ ¥% ¡[¥%¡ .¾I ¡*£¥<¡V"

§¤'("[/¡&£¦ !¡< O8"©¡£¦!C(¡KI2K ¡"©¡£V¥*"O£2 ¥%n +.

©( ¥¨/ / ODO©£ ;UÅS' ¡ § 3 ()u'("¡¤¥%>C(3 + !n +¥¨6¥¨'(

!¥%7/¡¦23 `L!¥% @? +92¡¦O5§¤'("K +££¥¨§Y§ ¥<3 +¡D2¡u £¦

¥%'£28(¡ O¡LM¡ O§ ¥<(' ¡J8"'(£f2u"O"¡§ "@;MAAL¨¡82(¡:"§4 + !

23 S2¡ ¡A§4 `O&/¡A(¡©¡(¡(£¡"V §Y¥¨) C n¡ "@;^Fr'( .

+§ ¥¨'( ¥%>£¦¥¨§ ©( !¡¦\,O82(¡ ¡ KC(3 n +!¥%4£ K(¥¨ §4 + ! O

¡> +)¨' )%¡ "©¡£¦!C(£ ¥%")%¡¡¦ @ O4 ©(©¡ >¥J + ¥¨

/¡V"¥¨ +¡¥ $¡E§ ¥<(' ¡"¥%> )¨¡V"O"¡§4;1WI2"": ) +

/¥¨28£¦¥¨'"@;

(¡ ¡¤T ¥¨§ð¥% §4 UFIH&HB¡" '(£¥¨ U'"@ +)¨¡?3I2£2R¡("

¥¤/¡J + I§ ¥¨ ¡:©¡ L~ +"LM¡?MI2 ¡&¡ £2X!(L'3 + {'"¡:¡¦"I¥

"V` ¤ "[C n ¥¨K"V£¥%£¡ (¡3?<2¡¦ ¡&!"V(¥ Ã'3 @ LM¡

}

/¡&` V ¡""[¡""¡ ;

¡ +"¥¨¥&© ¡T¡ : ¡$¡ ¡¦£¡.¾£¥%')&£¥% !¡¦£¥¨ A¥@L¨¡ J @ +£)

WI2(¡V!""'(¡"T¥¨ J ©©( !£< ¥¨X© ¥%)¨ @ §Y§ ¡ "£¦¡¡ A¥%*2¡V +£

£¥% ! ¡£¦¥¨ @; ¡¦$¡ ¡(£¡ £¥%')£¥% ! ¡£¦¥¨ #§4 `OD23 `LM¡D #Ã' .

}

2 C3 + !n< ¥¨4¡¡£¦!L¨¡ OD, ¥<('£¡¦"* E +(!¥%3 32( ¡

@ LM¡¢ (L~ +@ )¨¡*R2 #¤§4 `O6¡T¡ U2¡ #¡\¡£'(!¥%R$¥%

¥% £¥%, ¥% ?r (82'"£¥¨(£' ¡(£O""'¡"V§U'"I/¡J£¥%"¡¦ ¡3?

&"2¥¨ ¡¦ J©¡ ¥<P¥%A§ ¡;*Å1'J2(¡ J¡\¡£'(!¥%4§¤'("J" ! x/¡

¡¦LM¡9$¥% *¥¨2¡¦ I!"¡8"!()¨ ¡.¾2 ¡< ¡¦ +©©( !£ +¥¨"@; )¨'3 +/ O

}

¡¦$¡ ¡ ?S +V !¡< "[!u"¥¨§ ¡#£ +"¡"@;

(¥R$'(3 +§ ¡@ OE¡«""'¡"5 ¡4, ¥<('£¡¦3?/'(2¡K§ . ©¥% @ (£¡¢¥%#'(¡ "@ ()R£¦¥¨£¦' ¡(£O7""'(¡"D"8¡ ¡L ¡¦3;

©kO£2 ¥¨(n ¥¨8!"V¡""¡¦, + r$¥% VC3 + !n¦¡ "@; 5. ACKNOWLEDGEMENTS

]^ ()¨'3 +)¨¡[§ © ¡§ ¡¦,¥% "A§U'": "¥# ¡"©¡£¦A2(¡I £¦23 +AC(.

WI2¡#¥%/"¡ L ¥¨(" +/¥¨'( 2(¡&¡£¡¦""!O8T¥¨ ["O,(£f2( ¥¨(!n< ¥¨

n¡ "x3 +' @ + ! O#£¥%"'¡# >"¡©3 + @ ¡# +"O,(£f2( ¥¨(¥¨'"32( ¡

C(3 n¡ "K)% ¡í¥¨'(K¥¨Y("£'""¥¨("@?J¥¨@ +/ OI2¹Å^ + O

¥%x£¥¨ ¥¨ ;!ÊÊWI2("* ©(© ¡"[¥6 OuC(3 + !n¡¦ ":¥¨K2(¡ ©8¥¨/10$¡£"@?

$* `OM¡¦"@?§4 +OuOM¡< "Y )¨¥~;>WI2(¡U©( ¥¨/( !¡¦§4?2(¥¨'()¨2D(¥¨V2¡&"¥% !'(.

I2(¡¡¦LM¡ U2¡"¡X/¡£¥%§ ¡u ££¡¦""!/( ¡R 8 ©¥¨¤2 U"Y¥%

¥¨ ?"[©3 + ! OX¥¨'( !(¡DRa65c;

£¦¥¨§ ©( !¡¦¡ O ©(©3 + ¡U¥K2(¡*© ¥%)¨ @ §Y§ ¡ @;Xw5©3 + £' @?rC(.

©@¥%§ ¡*¥¨2¡*£¥%£ '"¥%"U2¡ ¡ )% ¡¥¨'#¥%^"£'(""!¥%"¤¥¨

n¡ ""2¥%' E¡LM¡¦ Y/¡8 '(9!§Y© £ !OZ +" ©3 + ¥¨ £ ¡

2¡&)%£0V» Ë s¹_M `L :£¥¨§ ©( !¡¦ @½3§K !() !"@; Ë:¥%@ /( !O ( ¡

O }

2( ¡ uI2£28§4 `O*/¡J2(¥¨ )¤¥¨2(¡ I ¥<£fN"@; "^J "VN¥kI8¥

$* + ¡OrÊ`ÍY©¥¨¡7¥%'*2(¡83 +)%¡ *Â£ + ! )P '3 n ¥¨

}

»$"¥%§ ¡V¥¨k½~2(¡#_M `L~ >£¥¨§ §U'(pO,?¡2"[ ©(© ¡"A~2(¡^¥¨/10$¡¦£"J + ¡

$ ¥%§ì J2( ¡ K2(¥¨ ) ¥<£N,"@?3 ¡Î$¡Î[I2 ¡Y O)*¥¢ + ! ¥<£ +¡K

§K 3 +)¨¡Â/,O B +'¥%§4 £K @ £¦!()P)~ /3 +)¨¡K£¥% !¡¦£¥¨ @;BÅS'(

C ¡A¡"£ ©(¥¨ @;^»©k¡LM¡ @ +

D "¥- +©©( !¡"¤¥4"¡§ .f '¥%§4 £5» ¡Î¡Î6§4 +'3 O5 ¡T¡ ¡(£¡

¡ OR§4 (¡D"§ ¥¨/("¡ L~ +¥¨"*"¥%§ ¡I2 ¡ ¡ @?A2(¥¨'()¨2

¥%VN,(¥kI8¥ 2(¡ '(2¥¨ ¤ +I2¡&§ ¡;½

ÊÄ

}

ÊÊ

wp3§U'"x/¡U "O£2 ¥%¥%'"3 2¡I"¡¦"¡I23 +x2¡^C(3 n¡ >£ +.

£¦¥@L¨¡ " 2(¡&¥¨/10$¡£¦ ¥*/¡&3 +££¡""/( !¡<;AWI2"[¥<¡"[¥%[/O"¡

Ê`Í

5¡ R²e²~÷R¯R²~É ¥5Çv; ¡¦ § "£U¡¦\,¡¦£'¥¨ ;

6. REFERENCES D: A: B:

a!g+c_M;S_M;SÅ1 !¥<£23;½§@ +¡m ¾¡ =¿< ¾¡À>p¡¡p¨YY$2ÁM 4M¡

¬|4µM ¡; ("¥¨(.v ¢¡" ¡O,?hu))g%;

}

a!h+c:$*; .f_M;1ÅS¥<¡2(§4; ) / )%¡U£¦¥¨ ¡£¥¨ [$¥% FQ +RFIH&H&;

}

reachable

} table Added link for ordering.

%Â(Ã+n7xM =ÀAM¡m+ M(µ ¡ LM¡&¥ " ()¨"@; Added By As constructor.

Deleted by As finalizer.

½¡Ä}Å, ¡f ¡(+ ¡? hG%»g¨h¨½qg%e¨gG*Æg%e¨eu)~?A=>¡£¡§U/¡ ¤g55G¨;

a ¢%c ;1Fr¥¨ L! ?rÅ^;1=J `¡¦"@?r²{;S=>!§Y¥@LS?{ (9=J; ( ¡ @;SÅ1¥<¥¨"

O }

a#G+c¼[;ÇX;{=AO/L!)~?{FI;rÅS '()¨)¨¡¦§4 ?r (R=J; A>/O,; ' (p +"

2¡¦"¡q ò OK¥%'£2)u2¡ ¥%/S0T¡£&"¡ I"&'"¡ ¡""@?S"(£¡ &"

9 )%¡¡ @ +¥¨.¾/ "¡D)~ / )¨¡#£¥% !¡¦£¥¨ @;(w8ÂiÈ@¬|À|ÁÉ£Ê

¥8 !¥%)%¡ ¤ ¡< £23 /( ¡?I (52'"&£ +3Ý ¤/¡*"¡¦¡5/O42¡* ¡"U¥¨

Ë Ì Í

MhÃ+ ¡p ¡( ¤MyÀA¡¡pM¤Y(=Á~M( 4M¡ : ¡+¡4M(µ

¯%Î ¯%Ñ

Í Í Ï Ð

a!j+c:A:FId ;%Â(mMµ¨Mpµ½ É[À Á~¨ 4M¡

}

"O"¡§B ¡"¥%' £¡"@;r¥¨ >¥¨2¡¦ >N("3¥¨C(3 n¡ "@?@/¥¨2 £23 +)¨¡¦"

ÂÅ, +¡ ¿ +MmM(;iAJFId ?S=>¡£¡§U/¡ ¤hu))g¨;

}

23 +I2¡&¥%/S0T¡£"[!I(¡¡("[2 `LM¡J¥%VOM¡I/¡¡uC n¡3;

P¡ /¡ ¡LM¡¹23 +G£23 ()¨¡ð»h%½B /¥kLM¡º"« (¡$¡¦£|23

}

O O

ÂÅ, +¡ ¿ +MmMiÒqÂ ++M(µW½>µMmM(; (!"¥%.¾ P¡¦" !¡¦O,?hu)));

}

a#5+cÅ^;!$* `OM¡"@;<33 + !n +¥¨482¡&£¦¥¨ ¡£¥¨ [¡ +£¡;,w

Î Î

Èm ¡¨mM¨°;Ó4¨9¡+´MÅ5M ¡Y¨f ¨M¡ ¡¤ ¡

ÎWÎ ¯

ÌÕ Í§×VØ

ag*)¨cX_M;$:¥¨ ()?1Å^;!ÇX "¥kU?r²{;1dY£_f¥¨(¡"@?r + ;<Ë:¡¦ !"¥%3;

ÅS'( 42"[¡L, ¥%§ ¡[¡U¥*(¥¨[N,(¥k2¥kt¥I !¡U ¡ .

/( ¡ C n¡ "&23 +:(¥u§U'£2¢§Y¥¨ ¡Y2 62"@qIWI2¡ ¡¤£ ¢¥

¥¨()¨¡ U/¡4 Y)¨' @ +,¡¦¡*23 X +O6¥%2¡ #¥%/S0T¡£"@?r¡LM¡¦P^2¡¦O

Í Õ

;(w}A¡A|A:?1hu))~g¨; Î À

Ù Ú Ú Ú Ú Ù Ù

¡&£¦ !¡< O ¡ £23 +/ ¡&2 ¥%')¨2X¥¨ (3 O ¥<¥%"@?,23 `LM¡ ¥%I/¡¡

ag%hc ;<Ë:¡ "¥¨ ?,¡(¥¨ @;BÂ@m ¡¤IÀA¡¡pM¤Y(=7xm´

C n¡D/¡¦$¥¨ ¡u )%LM¡8C(3 + !n¡¦ '("@;!Ê

¡µ 4°±MÀ ;S²{ ¡£¡.V$ ?rg55¨g%;

ag%ecX²{;S¼3¥kL¡ @;{òR +(!() ) + /3 +)¨¡#£¥¨ ¡£¥%E u '§ ¡

"@ (3 + X¡¦ ¥¨ I" ¡ +§ "^2 ¥¤"¡¦¡:2¥k-A£ X)¨' @ ¡¡

&:¡¦ ¥@\¢²3 + !¥ ¥4¼x¡¦"¡ £29Fr¡¡ @?1_f' O¢g5%bG%;

}

¯Ü:Ü

("¥¨(.¾ P¡" ¡O,?{g55¢~;

23 `LM¡& ¡ (O¤/¡¦¡YL~ + ! ¡ ;Swp3"x23 + ¥:"¡¦¡[2(¥kE3A¥¨'

}

WI2¡"'3 +¥¨R"D +)¨)% @ L ¡¦E52 u O6¡ ¥¨ "D ¥¨()K2¡"¡

P¡#/¡ ¡LM¡U23 +:£23 +)¨¡8»h¨½x& +"J§ ¥¨L ¡4/OR J(¡" ¡¤¥

ag%jc ;

)¨' @ +,¡¦¡^23 + C n¡ "3 'U¡LM¡¦,' O&¥ ¡¦3 /( ¡^2¡§Z¥:/¡

A. APPENDIX: FINALIZER ORDERING £¥% ¡£ OuI2(¥¨'V2(!"V£23 +)¨¡<;

_¨ L rC n¡ "V +FIi lm(¡" '£¦¥¨ "oV¡ 1$ ¥%§Z2(¡:dY¥<('.

""¡PÂ_M `L~ %;Jwp: ¡¦Ã,'( ¡"J23 +J2(¡YC n¡ JT¥¨ &¥%/S0T¡£¥

g¨;Jò/10$¡¦£"r§4 `O /¡AC(3 n¡#¡L¨¡&,2(¡O* + ¡A ¡< £23 /( ¡$ ¥%§

¨m´M ¡JC3 + !n< ¥¨(.v¡¦3 /( ¡7¥%/S0T¡£"@;¢WI2'("K_M `L ¥%/S0T¡£"

¥%2¡ I© 2 ;

¡ +£f2 /( !¡# @ " '(£' ¡I¤4?S (82¡¦823 `L)1¥YÝ "[C(3 + !n¡¦

h¨;AwEFIi ? J ¡ +£f2 / ¡¤¥¨/10$¡£@?3 ¡Î$¡Î K¥%/S0T¡£J(! ¡¦£ ¡¦$¡ .

¡§ ¥kLM¡&2(¡J ¡T¡ ¡£¦¡ +"V!"V"2(¥@I8!8C)¨'( ¡J¢;

¡¦£¡X$ ¥%§í I"@ £J§ ¡§U/¡ ^¥%I V£ ""I§4 `O*/¡JC(3 n¡

} }

¥¨( OY§ O ¡ +¡*¥#2"@;Swp{¥%2¡ >2 ¡ +": ¡[" ! '()

Å1¡$¥% ¡^¡>"£'("" 2¡"¡

"¥u¥X& `OD¥X)¨'3 + @ ¡¡¤23 C n¡ "&¥%3Ý J/¡U£ ¡¢¥¨

¥¨/10$¡¦£" 2 U + ¡U" 1/¡)4 +£LM¡ Ou'("¡3;

îWîDôS(5¤ Çm(;

A: A: A’: â~Æ

á^á^á^á^á^á

â^â^â^â^â^â

á^á^á^á^á^á

â^â^â^â^â^â á^á^á^á^á^á

* â^â^â^â^â^â *

Fr¥¨("¡ ^ ()I2¡xT¥¨ ¥@I():¥I2¡ l¡\¡ 3 + ¨¥¨/10$¡¦£r @ o

á^á^á^á^á^á

â^â^â^â^â^â

á^á^á^á^á^á

â^â^â^â^â^â

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

á^á^á^á^á^á

â^â^â^â^â^â

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

á^á^á^á^á^á

â^â^â^â^â^â

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

2¡XT¥¨ §4 +!¥%Â"¥% ¡792¡TVUW 8 @ `OR$¥% 1M?3/3 +"¡E¥¨

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

ç^ç^ç^ç^ç^ç^ç

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

è^è^è^è^è^è^è

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

"VC "V£¥¨©(¡3q

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ

å^å^å^å^å^å^å^å^å^å^å

æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æ å^å^å^å^å^å^å^å^å^å^å

B: B: æ^æ^æ^æ^æ^æ^æ^æ^æ^æ^æB’:

ã^ã^ã^ã^ã^ã

ä^ä^ä^ä^ä^ä

Õ `Ü![Mÿ-Ï a ÿÐÒþ [tÓ@Ôc>þ![@Ô ÕÔÑ@Ö,Ó¢}Ytþ@Ö%ÐÓ@Òe¤

ã^ã^ã^ã^ã^ã

ä^ä^ä^ä^ä^ä ã^ã^ã^ã^ã^ã

* ä^ä^ä^ä^ä^ä *

ã^ã^ã^ã^ã^ã

ä^ä^ä^ä^ä^ä

Ïha ÿÐ<Ò,þ [t<Ó%ÔM¢u[¥HMÕÜ<Ï¤

[ Ötÿ¨þ Öcfb[¥H<ÕÜ Ï¨Ó Mÿ¨þ Ö|kH^a^![ ÔÓs!mM¦

é^é^é^é^é^é^é

ê^ê^ê^ê^ê^ê^ê

Ó gi>,ÑMÜf

é^é^é^é^é^é^é

ê^ê^ê^ê^ê^ê^ê

é^é^é^é^é^é^é

ê^ê^ê^ê^ê^ê^ê

é^é^é^é^é^é^é

ê^ê^ê^ê^ê^ê^ê

ÿ¨þ¡H!`R[ Ó¢u[¥HMÕÜ<ÏlkHa^![ Ô<Ós!m Ô<Ñ@Ö(Ñ%ï

H~ÓMÏMÏha^ ¢+þ@Ö%Ð(Ó@ÒR¤ ¤§¦

ý ¨h

NVm ~r@ ´á=Þ:Çmm5mr¥m~ER[ç (ÇmmèM¥m-ÆM¨1ÆMÇm

[ ¢+ÿ¨þ Öp~c¤

¨ ©

\ \

YÜMþ ÓXH^abY![H<ÕÜ

[ Ö Ó gi![ Ô<Ósrf [kÒ,ÏkÖ^MÑ>Ñ![¨ÜMÑ `(ÜMÓ¢¥¤§¦

Fr2 ()¨¡»g%½U(¥<¡"D23 `LM¡42(¡- +L @ )%¡¢2 8 ¥%)9 !""8¥¨

[¥H<ÕÜ Ï¨Ó <ÿ%þ Öqk Óhgi![ ÔÓs!mwf¦

£¦O,£¦ !¡¦"J¥¨>C n ¥¨(.¾ ¡ (OD¥¨/10$¡£¦"J£ 7 +'¥¨§K £ O4/¡¤C(.

[¥H<ÕÜ<ÏMk Óhgi [ ÔÓs mpf ÓhgcY![H<ÕÜ¢ Óhgi>,Ñ¨Ü^¤§¦

n¡u!P I"!()¨ ¡J£O£ ¡;IÅ1'^2(¡:"@ §Y¡J¡¡££ X'"' O*/¡

[¥H<ÕÜ Ï¨Ó <ÿ%þ Öqk#H^a^![ ÔÓs!mfQÿ¨þ Ö ¦

+£f2(¡LM¡DI2EdY¥<(' .fe:"pO ¡#C n¡ "[/,O/( ¡ N)*¥%/S0T¡£"

H^a^![ ÔÓscf Ó gi![ Ô<Ós£¦

ÓMÜMÏ¨Ó

/O52(¡8C(3 n¡ @;QFr¥%"¡ 6 +) +!Â2¡X£ "¡DEI2£2¥YÝ "*C(.

[¥HMÕÜ<ÏlkHa^![ Ô<Ós!m Ô<Ñ@Ö,Ñrf Óhgih>,ÑMÜ%¦

£< P/¡¤ @ ("$¥¨ §Y¡Q "&6C)%' ¡yG%; $ ¡ ¡YC(¡ "&¡¦¡¡6/O

C(3 + !n¡¦ "I23 `LM¡[/¡¡X!(£ +¡u/O "2 (!()?{ (-luëo¤£ +¡"

2 ¤ 8¥¨/10$¡£[" C(3 + !n +¥¨.¾¡ /( !¡¦3;!Êú*w82(¡& @ "T¥¨ § ¡¦

""'(§ ¡J2

}

L¨¡ "¥¨3?¥:DS!":¥¨ ¡ £23 +/ ¡YT ¥¨§ì &C(3 + !n +¥¨.¾¡ /( !¡¦¢¥%/.

0T¡£@?& +Â£< -2'"*/¡8C3 + !n¦¡-C "@;BòE2¡K¥%2¡ *2 (3?

C(3 + !n +¥¨3;

(¡LM¡ I£23 +)¨¡¦" T¥¨ ¤ )¨LM¡¦ZS7"@ (£¡;

h¨;q¹& +"AI ¡Y/,O#"¥%§ ¡¥¨(¡V¡ "¡[I2(¥¨§|¡I2 `LM¡3Ý x2¡<

T ¥¨§DCLM¡ OM¡ + "@;

¡¦$¡ ¡(£¡"XÂC n ¥%.¾¡3 +/ ¡¥%/S0T¡£"23 +P + ¡K¥%*$¥¨ .

¥k¡¦P/ODC n¡ "@;Jwp>2"J '( ¡¤"&$¥% !¥kA¡3?{¡Y/¡¦ !¡L¨¡Y23 +

e¨;As N¥kI*¥U'"@? §4 @ "& I"§K {£ £2¡[¥¨¦SEL '¡"

(¡2¡ V£O£ ¡"V(¥¨ V ¥¨)Y£f2 "V¥¨3¥%/S0T¡£"Y ¡X "¡¦ !¥%'"[""'¡;

» O ¡§K )V£O£ ¡"S/¡pA¡¡&C(3 n +!¥%.¾ ¡ +OJ¥%/S0T¡£"I + ¡

¡'( PL '¡¦"@;# -2(¡62¡Y£< £2¡ /¡£¦¥¨§ ¡"#¥<¥u p + )¨¡?

}

¡< " O8¡¦¡£@ /( ¡&/,O2(¡J '§ ¡;½

B. APPENDIX: SYNCHRONOUS FINAL- Ã' ¡u/,O¢ 2( ¡ ;rË:¥kQ£¥¨("¡ V2¡:"£¡3 + ¥*!8I2£f2

Me !},;

IZATION FAILS g¨;A ¢¡&£

¢¡8 '" @ ¡K2(¥k¹"O,(£f2( ¥¨(¥¨'"¤C n ¥¨ ?"'£2G +"*¥¨(¡

h¨;Aw +£Ã' ¡"[2¡& ¥<£fNS?( ¡< "Y :¥R§I¥¨[h%? (D2¡8£ "

§Y!)%2 ¥%/@ KI27 *FIH&HQ ¡¦$¡ ¡(£¡U£¥¨'(,() £¥¨ ¡£¥% J23 +

/ UWih >;

e¨;q/ UWih >Ý "3£ £2¡A¥<¡"3(¥¨ O¨¡r£¥%@ 2 ð(;1wr2'"

}

¨;

£¦¥¨ ¡£¥¨ oK ¢ÅS¥<¥%"I"O£2 ¥¨(n ¥¨X£ +u/¡ $¥¨'(¢ ¥¥¦¤ á

à à à

ââ~ã ã ã É ¤ ÇmÉ ¤ ÉmÆM5â~¤x@¡ Çmâ~ä8 åY{ 5â~¤x~¤rÇn²~÷

'(©3 ¡¦3;

G¨;q:/¡¦£¥¨§ ¡¦" ¡ )¨/( !¡#T¥¨ [C3 + !n< ¥¨ ;

"[¡L¨¡ U £' OuT¥¨ ¥k¡4$ ¥%§ð ¥%.¾C n¡ V2 ¡< 3?<2¡¦ ¡

"I(¥U)%'3 + @ ¡¡J2 2(¡:£¥% !¡¦£¥¨ I§U'"A£¥¨("!(¡ I^I2¡¦X(¡.

¡¦ § ) ¡< £23 /( !O,;

'¡"@q

}

0T¡£J ¡< £23 /( !O6"J(¡C(¡K"¥82 F¥IDS"&¥%:C n¡6I2 ¡

g¨;A33 + !n¦¡ "D + ¡ LM¥¨NM¡¦¢§ § ¡¦ ¡ O6I2¡Â ¤n¡¦ ¥8 ¡T¡ .

¥Z!"¤ +££¡""/ ¡;

¡(£¡V£¥¨'(>">¡¡¦£¡3?k$ ¥%§2(¡I2 ¡ + 23 +x£ '("¡*2¡

P¡[23 `LM¡Y "¥K +""'§ ¡X23 +@?{ "^PdY¥<' +.¦e%?{ VC(3 n +!¥%.

Êú

¡T¡ ¡(£¡#£¥¨'(,I¥Y/¡&¡£ ¡¦§ ¡¡3;

h¨;q¨Ý "IC(3 + !n¡¦ ^I ! 1/¡[!LM¥%NM¡$ ¥%§ 2(¡:2 ¡< 23 +^£ ¡

"2(¥¨'( !6/¡;ò2¡¦ I!"¡

R!^(,;

D D

e¨;AWI2(!"U2 ¡< 5" 2(¥¨ "#2¡Y !¥<£N6$¥¨ U£ ""0TVUW `;6=>¡ (.

¥<£N% ¡< r ¡¦$¡ ¡(£¡&£O£ ¡;

¥%32¡ +/¥kLM¡?<2¡J"£¡¦3 ¥*£¥%!'(¡"@q

g¨;q¨Ý "^C n¡ II 1/¡[LM¥¨NM¡¦XT ¥¨§º2(¡ 2( ¡ 2 ^£ + !¡¦

e !},;

h¨;AWI2(¡ C(3 + !n¡¦ ^ ¡ £¦Ã,'( ¡"^2¡[ ¥<£fNS?M)¨(¥¨ )U2¡[ +£^23 +

O) @ V" '£'( ¡;

e¨;AWI2(¡uC(3 + !n¡¦ ¡£¦ ¡§ ¡"Y2(¡£¥¨'(,D»$/'(¤(¥¨=e !},Ý "

¢;Iñq!^(:"@ + ! "¤ [£¦¥¨'^¥%VgI!¥¤2¡:¥% 8¡ O,?¨I2¡¦8

"2(¥¨'( !u23 `LM¡J/¡¦¡Dn¡ ¥~;

Fr ¡ + O,?,I2K$'( ! S")¨2V,¥Y2¡&¡ ¡&"O"¡§4?,A¡#£¥¨'( !

¥¢¡"'( ¡D§U''3 + V¡\£ '"¥¨ ?: (Â£¥% ¡£ O9£¥¨'(¡7¥%Â2(¡

)~ / )¨¡£¥% !¡¦£¥¨ ¤¥D@ NM¡Y£ ¡*¥%I§ ¡§ ¥% O6(¡ ¥<£ +!¥%Z

§K NM¡&V'(¡£¡¦""@ O¥ ¡ +"¥¨E /¥%'V¡< ¥<£ ¥¨4§ )Y!

2("[J `O,;

C(3 + !n¡¦ Y +"O£2 ¥¨(¥¨'(" !O,?¨¡¦¡£LM¡ Ou"I¥kI82( ¡ ;rWI2,'("

(¡¡£" 3 £¦£¡""/ pO4§ § ¡(p +¡ O,?¡¤"2¥¨'( 6" 3¡(Ã,'(¡'¡

2(¡RC n ¥¨B£< D +G£< Ot!K¥%'4 ¡ 6¹ ¢(¡ ¡ 2( ¡ ;