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.4 required=5.0 tests=AWL 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 846D9BBC4 for ; Mon, 2 Mar 2009 04:14:48 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhkCAMbdqknUnwckjmdsb2JhbACCJ5IyAQEBAQkLCAkPBr58hBoG X-IronPort-AV: E=Sophos;i="4.38,286,1233529200"; d="scan'208";a="24896500" Received: from relay.ptn-ipout02.plus.net ([212.159.7.36]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 02 Mar 2009 04:14:48 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: As0FANLdqknUnw4T/2dsb2JhbACCJ9FuhBoG Received: from pih-relay06.plus.net ([212.159.14.19]) by relay.ptn-ipout02.plus.net with ESMTP; 02 Mar 2009 03:14:47 +0000 Received: from [87.112.14.152] (helo=leper.local) by pih-relay06.plus.net with esmtp (Exim) id 1LdycB-0003FC-Ir for caml-list@yquem.inria.fr; Mon, 02 Mar 2009 03:14:47 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Odd performance result with HLVM Date: Mon, 2 Mar 2009 03:20:04 +0000 User-Agent: KMail/1.9.9 References: <200902280112.24115.jon@ffconsultancy.com> <200902282152.18430.jon@ffconsultancy.com> In-Reply-To: <200902282152.18430.jon@ffconsultancy.com> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200903020320.05337.jon@ffconsultancy.com> X-Plusnet-Relay: d4ed51967a0895d8c6f1d2b440d6c33e X-Spam: no; 0.00; ocaml:01 ocaml:01 2009:98 frog:98 wrote:01 caml-list:01 benchmark:04 problem:05 implementing:06 odd:09 memory:09 memory:09 actually:10 creates:10 runs:11 On Saturday 28 February 2009 21:52:18 Jon Harrop wrote: > However, a simple benchmark that creates and folds over a huge list > actually runs faster on my HLVM than it does in OCaml. I just finished implementing a list-based solution to the n-queens problem and that does run 5-14x faster in OCaml than on my HLVM: n=8 OCaml: 0.012s HLVM: 0.190s n=9 OCaml: 0.088s HLVM: 0.591s n=10 OCaml: 0.740s HLVM: 3.713s n=11 OCaml: 6.68s HLVM: Out of memory HLVM ran out of memory in the last case because I have not yet reintegrated the GC. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e