From mboxrd@z Thu Jan  1 00:00:00 1970
Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA19386; Thu, 22 Mar 2001 15:22:03 +0100 (MET)
X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f
Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id PAA19628 for <caml-list@pauillac.inria.fr>; Thu, 22 Mar 2001 15:22:02 +0100 (MET)
Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35])
	by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f2MEM1b24675;
	Thu, 22 Mar 2001 15:22:01 +0100 (MET)
Received: (from xleroy@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id PAA18987; Thu, 22 Mar 2001 15:22:00 +0100 (MET)
Date: Thu, 22 Mar 2001 15:22:00 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Alex Baretta <alex@baretta.com>
Cc: "caml-list@inria.fr" <caml-list@inria.fr>
Subject: Re: [Caml-list] "Nasty" functions and memory usage
Message-ID: <20010322152200.A11178@pauillac.inria.fr>
References: <3AB2BF73.75CD2B03@baretta.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Mailer: Mutt 1.0i
In-Reply-To: <3AB2BF73.75CD2B03@baretta.com>; from alex@baretta.com on Sat, Mar 17, 2001 at 02:35:47AM +0100
Sender: owner-caml-list@pauillac.inria.fr
Precedence: bulk

> So how can the memory usage of the ocaml interpreter be constant
> at 2200Kb?

It can be that it is traversing a data structure with lots of
sharing, while not allocating any long-lived data structure.
Consider for instance the following type:

                *
               / \
               \ /
                *
               / \
               ...
               \ /
                *
               / \
             'a   'b

It uses little memory, but a full (tree) traversal of it will take
a lot of time.

- Xavier Leroy
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr