Re: Memory management under OCAML

From: Ching-Tsun Chou (
Date: Tue Aug 31 1999 - 22:00:34 MET DST

Date: Tue, 31 Aug 1999 16:00:34 -0400 (EDT)
Message-Id: <>
From: Ching-Tsun Chou <>
Subject: Re: Memory management under OCAML

   I am trying to understand the behavior of the interactive OCAML system. If I
   repeatedly perform the following line:

       let x = Array.create 1000000 0.0;;

   then each subsequent execution should shadow the previous ones making them
   unreachable. Yet the GC never collects the old bindings, even after I
   manually perform Gc.full_major() or Gc.compact(). Why is this?

Some time ago I observed the same thing and asked the same question.
To see the answer, go to the archive of Caml mailing list and search
for the thread "What exactly can be GC'ed?"

- Ching Tsun

  Ching-Tsun Chou E-mail:
  Intel Corporation Tel: (408) 765-5468
  3600 Juliette Lane, SC12-401 Fax: (408) 653-7933
  Santa Clara, CA 95052, U.S.A. Sec: (408) 653-8849

This archive was generated by hypermail 2b29 : Sun Jan 02 2000 - 11:58:25 MET