Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Parallel CAML
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Daniel de Rauglaudre <ddr@p...>
Subject: Re: Parallel CAML
> 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