Re: [Caml-list] Segfault in a native code multi-threaded program

["Krishnaswami, Neel" <neelk@cswcasa.com>]

David Mentre [mailto:David.Mentre@inria.fr] wrote:
> Brian Rogoff <bpr@best.com> writes:
> > 
> > A more type safe marshaling framework is way up there on my list of
> > desired enhancements. I think this will be part of the extensional
> > polymorphism enhancements that you can see now in G'Caml. 
> 
> In my opinion, they are two different kinds of marshaling 
> that one could expect: the safe one and the correct one. [...]
> 
> I have probably missed something on the difficulty of marshaling. I
> tried to look at the mailing list archive, but did not find out the
> relevant messages. Any pointer?

Dumb observation. It seems to me that a lot of the simpler 
marshalling problems -- tree-like structures with no closures -- can 
be handled using a tool like the Zephyr project's ASDL (abstract 
syntax description language). 

  http://www.cs.princeton.edu/zephyr/ASDL

I believe it has a mode to emit Caml, in addition to SML, Haskell
and Java. This ought to be able to handle a lot of cases with no
risk of core dumps. Code generation is a pain, of course, but it 
seems to me to be preferable to core dumps. 

--
Neel Krishnaswami
neelk@cswcasa.com
-------------------
Bug reports: http://caml.inria.fr/bin/caml-bugs  FAQ: http://caml.inria.fr/FAQ/
To unsubscribe, mail caml-list-request@inria.fr  Archives: http://caml.inria.fr