From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <loup.vaillant@gmail.com>
X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr
X-Spam-Level: *
X-Spam-Status: No, score=1.0 required=5.0 tests=AWL,SPF_NEUTRAL 
	autolearn=disabled version=3.1.3
Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38])
	by yquem.inria.fr (Postfix) with ESMTP id 38A3DBC69
	for <caml-list@yquem.inria.fr>; Wed, 30 May 2007 09:34:53 +0200 (CEST)
Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.247])
	by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4U7Yqpf021133
	for <caml-list@inria.fr>; Wed, 30 May 2007 09:34:52 +0200
Received: by an-out-0708.google.com with SMTP id c24so658072ana
        for <caml-list@inria.fr>; Wed, 30 May 2007 00:34:48 -0700 (PDT)
DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed;
        d=gmail.com; s=beta;
        h=domainkey-signature:received:received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=N9Ph/vnqtIVzZpR0Azcb6JhBSYp30/vmutnjxtG3ciqugUvjWKNrDV5jFXghHsmPTrbyB50QGgsTDK1EXLn3DsIlTI+hh6uypaw8zr4sZnrDo3dIcYNw9AQ1rFZ8dH9NoQsNz+txILPuGeKEC5wLsmHX0hrwJ4meDqw0QgEFeBk=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=beta;
        h=received:message-id:date:from:to:subject:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references;
        b=FrsPFDLEdlagQKZj2Wjd3tsNs6tSqI31exxmhaIQxrqN1ulKn+bhSizbqqZZbBw+Aq3LlYMsJGiWCvxz3jnbPGm6eCMXoskdvMNhTrw1jyDMQT4gfNyW0Mue/RTaMnLwyoqWKR+W8v3RI8Zrki65udm9Z9bHchzYYTiHvlH1ILU=
Received: by 10.100.165.9 with SMTP id n9mr5769808ane.1180510488231;
        Wed, 30 May 2007 00:34:48 -0700 (PDT)
Received: by 10.100.168.16 with HTTP; Wed, 30 May 2007 00:34:48 -0700 (PDT)
Message-ID: <6f9f8f4a0705300034g37006497t55f30e8ca3f3f191@mail.gmail.com>
Date: Wed, 30 May 2007 09:34:48 +0200
From: "Loup Vaillant" <loup.vaillant@gmail.com>
To: caml-list@inria.fr
Subject: Re: [Caml-list] Faking concurrency using Unix forks and pipes
In-Reply-To: <20070530070229.GB334@first.in-berlin.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Content-Disposition: inline
References: <200705300442.59906.jon@ffconsultancy.com>
	 <20070530070229.GB334@first.in-berlin.de>
X-j-chkmail-Score: MSGID : 465D291C.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1
X-Miltered: at discorde with ID 465D291C.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)!
X-Spam: no; 0.00; forks:01 bandel:01 in-berlin:01 0100,:01 ocaml:01 forks:01 marshalling:01 cheers:01 unix:01 unix:01 wrote:01 oliver:01 oliver:01 syntactic:01 caml-list:01 

2007/5/30, Oliver Bandel <oliver@first.in-berlin.de>:
> Hi,
>
> On Wed, May 30, 2007 at 04:42:59AM +0100, Jon Harrop wrote:
> >
> > Has anyone implemented a parallel map function in OCaml using Unix forks,
> > pipes and maybe marshalling?
>
> [...]
> Since I found OCamlP3l, I'm not shure if implementing
> such stuff would make sense, because using OCamlP3l
> might be the right way.
> [...]

I've just read some of the user manual, and can notice a small
syntactic burden, as well as the unavoidable fact that one must learn
it to use it. (This is not a complaint. Any library is like that.)

Jon, were you talking about reimplementing List.map and the like, so
users have concurrency for free? A simple solution would be to use a
third party tool, like OcamlP3l.

Cheers,
Loup Vaillant