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 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id F0E13BBAF for ; Thu, 10 Jul 2008 08:15:04 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAJxFdUjAXQIm/2dsb2JhbACwMwM X-IronPort-AV: E=Sophos;i="4.30,336,1212357600"; d="scan'208";a="14947658" Received: from discorde.inria.fr ([192.93.2.38]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Jul 2008 08:15:04 +0200 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id m6A6F0kv024471 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Thu, 10 Jul 2008 08:15:04 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwDANNEdUjLOwGUZWdsb2JhbACSWBICHgSdKwM X-IronPort-AV: E=Sophos;i="4.30,336,1212357600"; d="scan'208";a="27186438" Received: from outbound.icp-qv1-irony-out3.iinet.net.au ([203.59.1.148]) by mail4-smtp-sop.national.inria.fr with ESMTP; 10 Jul 2008 08:15:02 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEADtGdUjLzuai/2dsb2JhbACwNwM X-IronPort-AV: E=Sophos;i="4.30,336,1212336000"; d="scan'208";a="287870574" Received: from unknown (HELO hendrix.mega-nerd.net) ([203.206.230.162]) by outbound.icp-qv1-irony-out3.iinet.net.au with ESMTP; 10 Jul 2008 14:14:59 +0800 Received: from hendrix (hendrix [192.168.200.99]) by hendrix.mega-nerd.net (Postfix) with SMTP id DF798AD0CE for ; Thu, 10 Jul 2008 16:15:10 +1000 (EST) Date: Thu, 10 Jul 2008 16:15:10 +1000 From: Erik de Castro Lopo To: caml-list@inria.fr Subject: Re: [Caml-list] thousands of CPU cores Message-Id: <20080710161510.966b8363.mle+ocaml@mega-nerd.com> In-Reply-To: References: Reply-To: caml-list@inria.fr Organization: Erik Conspiracy Secret Labs X-Mailer: Sylpheed 2.4.8 (GTK+ 2.12.9; x86_64-pc-linux-gnu) Mime-Version: 1.0 Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit X-Miltered: at discorde with ID 4875A8E4.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocaml:01 haskell:01 haskell's:01 haskell:01 ocaml:01 openmp:01 jocaml:01 jocaml:01 suck:98 vacuum:98 threads:01 threads:01 sml:01 garbage:01 wrote:01 J C wrote: > As much as I hate to look a gift horse in the mouth, and I think Caml > has been a great and grossly underappreciated product, Agreed. > I need to see > if writing Caml is a viable code investment for the coming years or > something like Haskell, I think Haskell's STM is way overhyped and while it may be a good solution for small numbers of cores (ie < 8) I am not convinced it will scale to thousands of cores. The haskell community also seems to be working towards some other solutions: http://www.haskell.org/haskellwiki/GHC/Data_Parallel_Haskell but I don't know enough about these. > SML, The life signs on this one are rather weak from what I have seen. > F# Seriously? Being shackled to the .Net platform makes that one a bit of a non-starter for me. > Are there plans to make Caml threads OS-native threads, This doesn't help because there is still a global lock around the garbage collector. However, I believe that a concurrent GC is being worked on as part of Jane ST Capital's Ocaml Summer of Code. > or add OpenMP-style primitives, Not exactly OpenMP, but see JoCaml : http://jocaml.inria.fr/ CoThreads : http://cothreads.sf.net/ HTH, Erik -- ----------------------------------------------------------------- Erik de Castro Lopo ----------------------------------------------------------------- "The day Microsoft makes something that doesn't suck is probably the day they start making vacuum cleaners." -- Ernst Jan Plugge