From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: * X-Spam-Status: No, score=1.4 required=5.0 tests=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 1687EBC6B for ; Wed, 30 May 2007 11:45:41 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.168]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4U9jew3014805 for ; Wed, 30 May 2007 11:45:40 +0200 Received: by ug-out-1314.google.com with SMTP id p27so137376ugc for ; Wed, 30 May 2007 02:45:40 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=googlemail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=o6udK6GeBqGSQgAPWRDv/Z9FOALWjB7gi/jzAfXLV9AVy7oixpJtqEWFKwMcrFHCPjGkGfLtaQSkMDSEXwS9zdVaP9GvkseqmhGJvW25lAvJJ5HJ3A6S/3bOQl+Taz6sf4IwUXwwNKOTizsG1KadG2nFDOGp132f11F9rvCGFJE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=googlemail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=gM/DdCauTZBE0V8QITbuIeSrrdN7kR5qY1zfDj0y9ds0ZcX0SkbVjqK/+Ay+XbAlilCI/FEWdhFV9lzTZqeE/TYr1xlE02aN7hXJBjhyrSChbFWRrBfzOHP3hQgbzYZ9X2PtHx+ZUXsacFOv429H/3UiBLaLKMF1RKITGvQeSV8= Received: by 10.78.195.9 with SMTP id s9mr118137huf.1180518339930; Wed, 30 May 2007 02:45:39 -0700 (PDT) Received: by 10.78.187.1 with HTTP; Wed, 30 May 2007 02:45:39 -0700 (PDT) Message-ID: <9b415f950705300245w1c6ffbe2hf9ec7c76f95ffb4@mail.gmail.com> Date: Wed, 30 May 2007 11:45:39 +0200 From: "Benedikt Grundmann" Sender: benedikt.grundmann@googlemail.com To: "Jonathan Bryant" Subject: Re: [Caml-list] Faking concurrency using Unix forks and pipes Cc: caml-list@yquem.inria.fr In-Reply-To: <3957E93F-A8E0-44F5-98F2-8730FD70ABFA@valdosta.edu> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <200705300442.59906.jon@ffconsultancy.com> <3957E93F-A8E0-44F5-98F2-8730FD70ABFA@valdosta.edu> X-Google-Sender-Auth: 98ae5c0ffe63b1e7 X-Miltered: at discorde with ID 465D47C4.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; grundmann:01 forks:01 erlang:01 sockets:01 cheers:01 ocaml:01 forks:01 marshalling:01 trivial:01 sockets:01 ocaml:01 syntax:01 beginner's:01 bug:01 beginner's:01 Hello, I'm also doing an OSP project on concurrency. In my case there will actually be a new api which will offer erlang style concurrency (e.g. asynchroneous messages). (Also implemented using UNIX & TCP sockets). Cheers, Bene PS: I already have some code that does the local message passing, but it is all in a flux and I consider that a prototype, so hold your breath until August. 2007/5/30, Jonathan Bryant : > > On May 29, 2007, at 11:42 PM, Jon Harrop wrote: > > > > > Has anyone implemented a parallel map function in OCaml using Unix > > forks, > > pipes and maybe marshalling? > > I've implemented a toy version of this, so I can say it does work and > is not too hard, although I don't still have the code. My OSP > project is a concurrency library that would make implementing this > pretty trivial though: it extends the Event module to work over UNIX > & TCP sockets and to have a common interface for thread creation / > forking / remote process creation. > > > > > This seems like an easy way to get concurrency in OCaml... > > It would also be nice to have a Apply in Parallel / Parallel List > Comprehension syntax for it a la NESL (http://www.cs.cmu.edu/~scandal/ > nesl.html). > > > > > -- > > Dr Jon D Harrop, Flying Frog Consultancy Ltd. > > OCaml for Scientists > > http://www.ffconsultancy.com/products/ocaml_for_scientists/?e > > > > _______________________________________________ > > Caml-list mailing list. Subscription management: > > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > > Archives: http://caml.inria.fr > > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > > Bug reports: http://caml.inria.fr/bin/caml-bugs > > _______________________________________________ > Caml-list mailing list. Subscription management: > http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list > Archives: http://caml.inria.fr > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > -- Calvin: I try to make everyone's day a little more surreal. (From Calvin & Hobbes)