Re: [Caml-list] Obj.out_of_heap_tag, out of minor heap or memory corruption?

["Sébastien Hinderer" <Sebastien.Hinderer@inria.fr>]

Hi,

Gerd Stolpmann (2016/04/29 16:25 +0200):
> Am Freitag, den 29.04.2016, 16:14 +0200 schrieb Markus Weißmann:
> > The value comes from C bindings, but from a string-value via Char.code.
> > It is then passed through a constructor-function to create the record;
> > I added a check there to see if the C bindings are to blame:
> 
> Well, there are other types of errors in C bindings that could also
> cause this. Imagine what happens when the C bindings do not properly
> handle pointers (e.g. do not declare them as local roots), and an
> outdated pointer to an int is followed by the GC because of this.
> Because the minor GC moves values to the major heap, this could cause
> that the int is overwritten then.
> 
> In my experience, it's always the C binding!
> 
> Unfortunately, there's no code for investigations.

Do you think there is room for improvement at this level?

Do you already have a bit more precise ideas about the kind of tools that
coould be helpful?

Cheers,

Sébastien.