From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 8A24A7F736 for ; Sun, 20 Sep 2015 00:33:05 +0200 (CEST) IronPort-PHdr: 9a23:a2TJDhMi/xC4Fpw72tAl6mtUPXoX/o7sNwtQ0KIMzox0KfjzrarrMEGX3/hxlliBBdydsKIYzbGI+PCwEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i760zceF13FOBZvIaytQ8iJ35jxjL75q82bSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoJvvRNWqTifqk+UacQTHF/azh0t/vQqALbQACTynwZW2QQ2loUUkmWpCz8RYr75yvmqvJmim7dJtzzVblyWDK47q4tRgWvkzYCLzd++Xvczcd5iaYepBO6u09DxNv9Zo2EfMB3b+uJdNUWVCxbV9d5Si5IB4G1dc0ECO9XbshCqIyoiFIEtxqzAUGXD+Pi0DJSziv51Kcg0uklVxrN3AE6Esgmv3HdrdGzP6AXB7PmhJLUxCnOOqsFkQz275LFJ1V8+Pw= Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=gabriel.scherer@gmail.com; spf=Pass smtp.mailfrom=gabriel.scherer@gmail.com; spf=None smtp.helo=postmaster@mail-ig0-f171.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.171 as permitted sender) identity=mailfrom; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f171.google.com) identity=helo; client-ip=209.85.213.171; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f171.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0D8EAC74f1Vm6vVVdFdg0M1aQasSIUQi2cBAQiBeoV5AoEeBz4OAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsQAggDAQMMBgULDQICCR0CAiIBEQEFAQoSBhMSEId2AQMSDahBgTA+MYtGgWyCeYlAChknAwpWhBQBAQEBAQUBAQEBGAEFDoEUhVGEfYUNB4JpgUMFhXwMj1yFEYd2ghOXOxIjgRc+AQEBCIIegX88M4ltAQEB X-IPAS-Result: A0D8EAC74f1Vm6vVVdFdg0M1aQasSIUQi2cBAQiBeoV5AoEeBz4OAQEBAQEBAQEQAQEBAQEGCwsJIS6CHYIHAQEEEhEdARsQAggDAQMMBgULDQICCR0CAiIBEQEFAQoSBhMSEId2AQMSDahBgTA+MYtGgWyCeYlAChknAwpWhBQBAQEBAQUBAQEBGAEFDoEUhVGEfYUNB4JpgUMFhXwMj1yFEYd2ghOXOxIjgRc+AQEBCIIegX88M4ltAQEB X-IronPort-AV: E=Sophos;i="5.17,560,1437429600"; d="scan'208";a="178381192" Received: from mail-ig0-f171.google.com ([209.85.213.171]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 20 Sep 2015 00:33:04 +0200 Received: by igcpb10 with SMTP id pb10so57452592igc.1 for ; Sat, 19 Sep 2015 15:33:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; bh=9IorDGgLDbgvvm5Eq/UmohNVFrldAU8b0iyN9fW4Oto=; b=tTzKiCI2HLjsxkUHOa4Sn1t0LpFkkfg1mgBlC0LaCxjY8kjS45BBs92G7KJnocs3G5 uMMKzFL+dDXPmg+IEaKjaK22wHnNCzDu2XTpOPI8XvQjig/FWv2kr/mAYh+nGZBuBAvt cBkur5qytNcLfFA0/y5C48CFhXnElG/PbLVktBrKWKedwFDm2fEDsgDXfEdMroOfvoAj fWnm5WzrqRlORAX0m6XmJ8FUsD7grtWWaOsjwwXjiB/oPwtthPapYj4d5ip7zPNiGO7L L4Onq279ts5fv2HvFxwV+0SwKyX8TS/6H1KIFJ50oHRZfzfoKd8dUb0L336gnconhDSs 6qxA== X-Received: by 10.50.110.37 with SMTP id hx5mr4463142igb.50.1442701983395; Sat, 19 Sep 2015 15:33:03 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.19.68 with HTTP; Sat, 19 Sep 2015 15:32:23 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Sun, 20 Sep 2015 00:32:23 +0200 Message-ID: To: Andy Ray Cc: Ocaml Mailing List Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] Faster byte code I believe the change that was described is the now-merged GPR#226: Compiling the run-time system at higher levels of C optimization https://github.com/ocaml/ocaml/pull/226 >From the experiments reported by Xavier, I have the impression that most gains are about the way the C compiler optimizes the bytecode dispatch loop, so these would be specific to running bytecode-compiled programs. Native programs should also benefit by linking to a better-optimized runtime system, but no noticeable gains have been observed on these so far -- probably because a lot of the runtime code is memory-access-bound and harder to optimize. Note that we don't have much performance numbers for now, so extra data points are welcome: if you have a program spending a noticeable time in specific parts of the runtime system, you might see a gain. On Sun, Sep 20, 2015 at 12:06 AM, Andy Ray wrote: > Hi, > > Xavier; you mentioned during the state of ocaml 2015 talk that there > was a 30% faster bytecode runtime coming. Is there any more > information on this? I found this part of the talk difficult to > follow on youtube. > > I am mainly interested if there will be a change in the bytecode > runtime, or if it is related to the compiler. > > Regards, > Andy > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs