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.0 required=5.0 tests=none autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 857C7BBCA for ; Fri, 9 May 2008 13:58:58 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAGLZI0jVujhf/2dsb2JhbACrMA X-IronPort-AV: E=Sophos;i="4.27,460,1204498800"; d="scan'208";a="10547097" Received: from witko.kerneis.info ([213.186.56.95]) by mail2-smtp-roc.national.inria.fr with ESMTP; 09 May 2008 13:58:58 +0200 Received: from [2001:660:3301:8063:20c:f1ff:fe40:edcf] (helo=tatanka.kerneis.info) by witko.kerneis.info with esmtpsa (TLS-1.0:RSA_AES_256_CBC_SHA1:32) (Exim 4.63) (envelope-from ) id 1JuRFZ-0007hy-6z; Fri, 09 May 2008 13:58:57 +0200 Received: from gabriel by tatanka.kerneis.info with local (Exim 4.69) (envelope-from ) id 1JuREn-0003Ez-Ee; Fri, 09 May 2008 13:58:09 +0200 Date: Fri, 9 May 2008 13:58:09 +0200 From: Gabriel Kerneis To: Gerd Stolpmann Cc: Jon Harrop , caml-list@yquem.inria.fr Subject: Re: [Caml-list] Re: Why OCaml rocks Message-ID: <20080509115809.GA5717@kerneis.info> Mail-Followup-To: Gerd Stolpmann , Jon Harrop , caml-list@yquem.inria.fr References: <200805090139.54870.jon@ffconsultancy.com> <74cabd9e0805082145p120ce487h6c1194d87f3f8396@mail.gmail.com> <200805090609.36123.jon@ffconsultancy.com> <1210331526.17578.32.camel@flake.lan.gerd-stolpmann.de> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <1210331526.17578.32.camel@flake.lan.gerd-stolpmann.de> User-Agent: Mutt/1.5.17+20080114 (2008-01-14) X-SA-Exim-Connect-IP: 2001:660:3301:8063:20c:f1ff:fe40:edcf X-SA-Exim-Mail-From: gabriel@kerneis.info X-SA-Exim-Scanned: No (on witko.kerneis.info); SAEximRunCond expanded to false X-Spam: no; 0.00; ocaml:01 0200,:01 gerd:01 stolpmann:01 o'caml:01 pointer:01 threads:01 wrote:01 caml-list:01 seems:03 latter:03 fri:05 separately:05 parallel:05 fork:05 On Fri, May 09, 2008 at 01:12:06PM +0200, Gerd Stolpmann wrote: > Of course, we did not use multithreading very much. We are relying on > multi-processing (both "fork"ed style and separately started programs), > and multiplexing (i.e. application-driven micro-threading). I especially > like the latter: Doing multiplexing in O'Caml is fun, and a substitute > for most applications of multithreading. For example, you want to query > multiple remote servers in parallel: Very easy with multiplexing, > whereas the multithreaded counterpart would quickly run into scalability > problems (threads are heavy-weight, and need a lot of resources). Do you have any pointer on multiplexing (or some piece of code you could show)? This seems interesting but I can't figure out what it looks like. Thanks, -- Gabriel