Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] CamlDL/Abstract pointers problem
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2004-01-29 (23:07)
From: David Brown <caml-list@d...>
Subject: Re: [Caml-list] CamlDL/Abstract pointers problem
On Thu, Jan 29, 2004 at 08:24:04PM +0000, Richard Jones wrote:
> On Thu, Jan 29, 2004 at 08:55:16PM +0100, wrote:
> > Reference:
> 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?

Well, it uses a page table, but yes, it does do what you expect.

I have several applications that use types that are pointers outside of
the ocaml heap, and they work well.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: