Re: [Xen-devel] [PATCH v3-RESEND 12/28] libxl: ocaml: make Val_defbool GC-proof

[Ian Campbell <Ian.Campbell@xxxxxxxxxx>]

On Thu, 2013-10-31 at 18:57 +0000, Ian Jackson wrote:
> Ian Jackson writes ("Re: [PATCH v3-RESEND 12/28] libxl: ocaml: make 
> Val_defbool GC-proof"):
> > What difference do you think it makes whether things are "assigned to
> > variables" or not ?
> > 
> > Bonus if your explanation refers to sequence points.
> 
> Perhaps these special CAMLlocal macros make the things volatile or
> something, I guess.

They seem to end up being structs.

> Perhaps you could refer me to the Ocaml docs ?

Hah!

I usually scrobble around under /usr/include/caml/*.h

I also referenced
http://www.linux-nantes.org/~fmonnier/ocaml/ocaml-wrapping-c.php in the
past (and there's a link in the series somewhere) but sadly it appears
to be 404 now -- Rob can you find a replacement?

(CCing Dave, who seems to understand some off this stuff)



_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel