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=0.9 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 B1676BC69 for ; Wed, 30 May 2007 21:09:38 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.173]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l4UJ9VB2002464 for ; Wed, 30 May 2007 21:09:38 +0200 Received: by ug-out-1314.google.com with SMTP id p27so246591ugc for ; Wed, 30 May 2007 12:09:38 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=iay482I9V2Eah/6/kwekDZARSvovUoVCgVpTBFKMLGptt03tx+BB/5RwIfofQhQB8lZCeWpksBUyrC3JfrG9EqtCm5T8HwMOF8UOo+oWC53GZF//JAX4B1aE+ZSPiKZJ6c+oU42UACXrzmRZccfqCrfDexpSer2N/qD3s8dqYpg= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:subject:from:to:cc:in-reply-to:references:content-type:date:message-id:mime-version:x-mailer:content-transfer-encoding:sender; b=Y33rqpwPbVZMkbcilTtcbZVyMc/s21YWqfhiOuzni94zHFly161L6iWjiaj8WulNeQew6TRmwEoRyu+8KduqJ4ggGldP/BCUMhnjg7CMuw7XLey6zsbRT9hO3W2ht5mJOdbjoJ2jLxCE9Ez4T0/EXJ57v7ZkBHVXFNkpFZPBKSw= Received: by 10.67.22.2 with SMTP id z2mr752648ugi.1180552177354; Wed, 30 May 2007 12:09:37 -0700 (PDT) Received: from ?192.168.0.1? ( [82.246.197.195]) by mx.google.com with ESMTP id b36sm301781ika.2007.05.30.12.09.36; Wed, 30 May 2007 12:09:36 -0700 (PDT) Subject: Re: [Caml-list] Faking concurrency using Unix forks and pipes From: David Teller To: Jon Harrop Cc: caml-list@yquem.inria.fr In-Reply-To: <200705300831.25376.jon@ffconsultancy.com> References: <200705300442.59906.jon@ffconsultancy.com> <20070530070229.GB334@first.in-berlin.de> <200705300831.25376.jon@ffconsultancy.com> Content-Type: text/plain Date: Wed, 30 May 2007 18:22:28 +0200 Message-Id: <1180542148.11197.26.camel@Blefuscu> Mime-Version: 1.0 X-Mailer: Evolution 2.10.1 Content-Transfer-Encoding: 7bit Sender: David Teller X-Miltered: at discorde with ID 465DCBEB.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; forks:01 ens-lyon:01 cheers:01 0100,:01 camlp:01 unix:01 wrote:01 caml-list:01 concurrency:02 concurrency:02 static:03 pipes:04 xavier:06 inria:06 implementing:06 Great, another one of my splendid ideas of concurrency, being already done by someone smarter than me. Gosh. Well, I'll just return to work on my static analyser... Cheers, David On Wed, 2007-05-30 at 08:31 +0100, Jon Harrop wrote: > > Since I found OCamlP3l, I'm not shure if implementing > > such stuff would make sense, because using OCamlP3l > > might be the right way. > > > > OCamlP3l: http://camlp3l.inria.fr/eng.htm > > May I just ask Xavier et al. what the ETA is on ocamlp3l? Its just, I really > want to take over the world and this is holding us up. ;-)