Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Jocelyn Serot <Jocelyn.Serot@lasmea.univ-bpclermont.fr>
To: caml-list@margaux.inria.fr
Subject: Q: GC and scope
Date: Fri, 16 Feb 1996 10:57:49 MET	[thread overview]
Message-ID: <199602160958.KAA06153@concorde.inria.fr> (raw)


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





                 reply	other threads:[~1996-02-16 15:24 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=199602160958.KAA06153@concorde.inria.fr \
    --to=jocelyn.serot@lasmea.univ-bpclermont.fr \
    --cc=caml-list@margaux.inria.fr \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox