Q: GC and scope

Jocelyn Serot (Jocelyn.Serot@lasmea.univ-bpclermont.fr)
Fri, 16 Feb 1996 10:57:49 MET

Message-Id: <199602160958.KAA06153@concorde.inria.fr>
From: Jocelyn Serot <Jocelyn.Serot@lasmea.univ-bpclermont.fr>
Subject: Q: GC and scope
To: caml-list@margaux.inria.fr
Date: Fri, 16 Feb 1996 10:57:49 MET

Hello,

I have a basic question regarding the behaviour of the Caml-Light Garbage
collector: when an object becomes hidden, because of a its name is rebound at
the top level, is it automatically reclaimed by the gc ?...

For example:

#let m = make_vect 1024 0;;
m : int vect = [|0; 0; 0; 0; 0; ... |]
...
#let m = 0;;
m : int = 0 (* <- Will the space allocated for the vector be reclaimed ?*)

My problem is that i want manipulate *large* objects (image ADTs) in an
applicative way (ie creating a new object at each operation) without
saturating Caml memory..

Thanks for any help

Jocelyn

--
E-mail: Jocelyn.Serot@lasmea.univ-bpclermont.fr .............................
S-mail: LASMEA - URA 1793 CNRS, Universite Blaise Pascal, 63177 Aubiere cedex
Tel: (33) 73.40.73.30 - Fax: (33) 73.40.72.62 ...............................
.... http://wwwlasmea.univ-bpclermont.fr/Personnel/Jocelyn.Serot/Welcome.html