From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 4565CBBAF for ; Sun, 20 Dec 2009 13:21:46 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AogBAHqlLUvRVdzjkGdsb2JhbACECowMin0/AQEBAQkJDAcTA6ZugVuEGYhPAQIDBYEqgi1SBIsw X-IronPort-AV: E=Sophos;i="4.47,427,1257116400"; d="scan'208";a="40318528" Received: from mail-fx0-f227.google.com ([209.85.220.227]) by mail3-smtp-sop.national.inria.fr with ESMTP; 20 Dec 2009 13:21:45 +0100 Received: by fxm27 with SMTP id 27so4030002fxm.3 for ; Sun, 20 Dec 2009 04:21:45 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:cc :content-type; bh=TvscZsv/7FOvCGsQAe7Muyboo/JjcOBi/0s9XCXnReU=; b=xNr3Wlqv/GUTlzgjOIG7KVGMAcF3UC43K0M/5v4jT1LnO3A3EMHahmpVJr0Ip45+e+ WAVuiUNLECNUSFgaBEmc8Erhy0kt4aYdMAoyqQWmVRYW1z1pcZ38mQfJqpJdzOS40OaO Viracgpt/OvQCItaddPQ2uL6WCpWRjiSfqyRo= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:cc:content-type; b=cbjidbV8Pi37WK/p0lnkp7e89yg2P+Kz52X4dmzxv8CKWDxCxgBNwKrYNongazVq6u a5da654vZhmijhAPWUFCGjfHOjr0td2KlsJHi+mIWHdNfMQjL/TLk5JA4IPtFBI9bzkv RVe7yQsKfg69HR5TWV9aYuIskB+xzIpuoqASI= MIME-Version: 1.0 Sender: rigtorp@gmail.com Received: by 10.223.145.129 with SMTP id d1mr7683922fav.99.1261311704691; Sun, 20 Dec 2009 04:21:44 -0800 (PST) In-Reply-To: <200912200443.57698.jon@ffconsultancy.com> References: <4B2D2BC1.6020204@msu.edu> <200912200443.57698.jon@ffconsultancy.com> Date: Sun, 20 Dec 2009 13:21:44 +0100 X-Google-Sender-Auth: a5af889bec38faf4 Message-ID: Subject: Re: [***SPAM*** Score/Req: 10.1/8.0] Re: [Caml-list] Re: OCaml is broken From: Erik Rigtorp Cc: caml-list Content-Type: text/plain; charset=UTF-8 X-Spam: no; 0.00; ocaml:01 ocaml's:01 bug:01 bug:01 ocaml:01 erlang:01 runtime:01 req:98 20,:98 2009:98 wrote:01 caml-list:01 library:03 erik:04 erik:04 On Sun, Dec 20, 2009 at 05:43, Jon Harrop wrote: > As long as you're looking at OCaml's close relatives with multicore support, > F# is your only viable option. Soon, HLVM will provide a cross-platform open > source solution. If you look further you will also find Scala and Clojure. F# is not viable since i'm developing for Solaris. I also believe the .NET GC is not good enough for real-time systems. Clojure running under real-time Java might be interesting. It's too bad that INRIA is not interested in fixing this bug. No matter what people say I consider this a bug. Two cores is standard by now, I'm used to 8, next year 32 and so on. OCaml will only become more and more irrelevant. I hate to see that happening. I think right now only Erlang got this right and they have a great library for developing enterprise applications too! The first step for OCaml would be to be able to run multiple communicating instances of the runtime bound to one core each in one process and have them communicate via lock free queues. Erik Rigtorp