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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 51B7ABBAF for ; Sun, 22 Feb 2009 14:56:13 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoIBALfooEnUnwdjkGdsb2JhbACCPZIgAQEBAQcLDAcRBL8whA8G X-IronPort-AV: E=Sophos;i="4.38,249,1233529200"; d="scan'208";a="23341591" Received: from relay.pcl-ipout01.plus.net ([212.159.7.99]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Feb 2009 14:55:56 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8EAHvooEnUnw6T/2dsb2JhbACCPdIOhA8G Received: from ptb-relay03.plus.net ([212.159.14.147]) by relay.pcl-ipout01.plus.net with ESMTP; 22 Feb 2009 13:55:54 +0000 Received: from [87.114.3.156] (helo=leper.local) by ptb-relay03.plus.net with esmtp (Exim) id 1LbEoE-0001Qc-Dt for caml-list@yquem.inria.fr; Sun, 22 Feb 2009 13:55:54 +0000 From: Jon Harrop Organization: Flying Frog Consultancy Ltd. To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] ocaml garbage collector_S_ Date: Sun, 22 Feb 2009 14:00:57 +0000 User-Agent: KMail/1.9.9 References: <20090222112614.GA14473@philou.ch> In-Reply-To: <20090222112614.GA14473@philou.ch> MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200902221400.58077.jon@ffconsultancy.com> X-Plusnet-Relay: 81ab9910fe556fb40dea5935a07e2b8f X-Spam: no; 0.00; ocaml:01 ocaml:01 runtimes:01 ocaml's:01 bytecode:01 compiler:01 2009:98 2009:98 22.:98 frog:98 garbage:01 wrote:01 compilers:01 caml-list:01 benchmark:04 On Sunday 22 February 2009 11:26:14 Philippe Strauss wrote: > Remembering other needs like a concurrent GC and the multicore GC project > of the OSP 2008, does the idea of modifiying the GC of ocaml to make it a > "pluggable" subsystem, with 3 runtimes you may choose from, the > "traditional" GC, the "real-time, pool based", and the "concurrent" one > sounds reasonable? > > Did this kind of need often pop-up in your mind? Yes, although I have been considering what might be done with OCaml's bytecode. Presumably it conveys all of the necessary information in a more GC agnostic way already. Moreover, a JIT compiler built upon LLVM could easily outperform the existing OCaml compilers. You may be interested in these benchmark results I gathered for different VMs: http://flyingfrogblog.blogspot.com/2009/01/mono-22.html -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e