Re: Parallel CAML

[Daniel de Rauglaudre <ddr@peray>]

> We're thinking of doing some experiments using CAML as the
> basis for a parallel distributed system.  (It's only in the
> early stages at present, so don't ask me how!!)  Is anyone
> else doing anything with CAML and parallelism?  I'd be
> especially interested in anyone who's ported Reppy's
> Comcurrent ML constructs, but anything to do with parallel
> execution would be of interest.

I implemented the continuations functions, a` la SML: "callcc" and "throw" 
in Caml-Light. I read Reppy's thesis. I just implemented his basic functions
"channel", "spawn", "send" et "accept" in Caml-Light using continuations.

This implementation of continuations is compatible with Caml-Light
version 0.5 on unix machines. No modification of the runtime is
necessary, just a link with a C program. The functions "callcc" and
"throw" are normal C functions, called from Caml-Light.

	Daniel de Rauglaudre
	ddr@margaux.inria.fr