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 VAA30394; Thu, 29 Jan 2004 21:24:18 +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 VAA30085 for ; Thu, 29 Jan 2004 21:24:17 +0100 (MET) Received: from aomori.annexia.org (annexia.force9.co.uk [212.56.101.183]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id i0TKOBP16112 for ; Thu, 29 Jan 2004 21:24:13 +0100 (MET) Received: from rich by aomori.annexia.org with local (Exim 3.36 #1 (Debian)) id 1AmIho-00047w-00 for ; Thu, 29 Jan 2004 20:24:04 +0000 Date: Thu, 29 Jan 2004 20:24:04 +0000 Cc: caml-list Subject: Re: [Caml-list] CamlDL/Abstract pointers problem Message-ID: <20040129202404.GA15171@redhat.com> References: <20040129192641.GA12533@redhat.com> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.4i From: Richard Jones X-Loop: caml-list@inria.fr X-Spam: no; 0.00; caml-list:01 pointers:01 2004:99 alain:01 frisch:01 fahndrich:01 malloc:01 vectors:01 hashes:01 funcs:01 allocator:01 ltd:98 ocaml:01 ocaml:01 doligez:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk On Thu, Jan 29, 2004 at 08:55:16PM +0100, Alain.Frisch@ens.fr wrote: > Reference: http://pauillac.inria.fr/~doligez/caml-guts/Fahndrich99.txt Interesting. Can someone who knows about the guts of OCaml comment on this: Does OCaml store simply the start and extent of the "ML Heap"? Or does it know about individual blocks of ML heap and use some sort of tree structure to work out if a pointer points into the heap? I could imagine a scenario like this: +---------+ | ML | | Heap | | | | ---------\ | | | +---------+ | | +---------+ | | C |<--/ | malloc | +---------+ +---------+ | More | | ML | | Heap | | | +---------+ If OCaml only knew about the start and extent of the ML heap, then it might think that the pointer to the C-allocated space lies within the ML heap. Rich. -- Richard Jones. http://www.annexia.org/ http://www.j-london.com/ Merjis Ltd. http://www.merjis.com/ - improving website return on investment C2LIB is a library of basic Perl/STL-like types for C. Vectors, hashes, trees, string funcs, pool allocator: http://www.annexia.org/freeware/c2lib/ ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners