Version française
Home     About     Download     Resources     Contact us    
Browse thread
Mastering the garbage collector
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Tiphaine Turpin <Tiphaine.Turpin@i...>
Subject: Re: [Caml-list] Re: Mastering the garbage collector
Christophe Raffalli a écrit :
> You need to make sure that a complete GC cycle has run after producing
> your result, before
>
> (Gc.stat ()).Gc.live_words gives you what you want.
>
> The function you need is that one :
>
> val full_major : unit -> unit
>   
I already do that before querying the live words count.
> let x = ... in
> (* here you are not sure x is collected even if the variable does not
> appear after this comment *)
>   
Thanks for making this clear. I was indeed thinking that collecting x 
here could require some sort of variable liveness analysis, and that the
GC might not be that smart, and this is why I tried to put x in a
function and prevent inlining, but I don't know if it is enough to make
x definitely unreachable.
> let y = 3 in
> ...
>
>
> Cheers,
> Christophe
>
>   
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>