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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id F0FA37F778 for ; Thu, 12 May 2016 20:26:22 +0200 (CEST) IronPort-PHdr: 9a23:DUUXzRA4/FxPKn4nHolsUyQJP3N1i/DPJgcQr6AfoPdwSP/5pcbcNUDSrc9gkEXOFd2CrakU2qyP4uu5ADNIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/nhqbrqtaKOloArQH+SI0xBS3+lR/WuMgSjNkqAYcK4TyNnEF1ff9Lz3hjP1OZkkW0zM6x+Jl+73YY4Kp5pIZoGJ/3dKUgTLFeEC9ucyVsvJWq5i/4UBCX63AAfmITmxtOS0iZvVCpFqv25w37svE18iSRPsDsBeQyWDC5qa1mQxzlkg8NNjkg7WjRloptiqMeoB+gqxF7yYPOb8eZOawtULnaeIY1TGBbX8tVHxdKAo6mYpFHW+UIN/xZoo27vFAOoAGzHyGjAeruznlDgXqgjv5y6PgoDQyThF9oJNkJqnmB6YisOQ== Authentication-Results: mail3-smtp-sop.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-f195.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gabriel.scherer@gmail.com) identity=pra; client-ip=209.85.213.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="gabriel.scherer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of gabriel.scherer@gmail.com designates 209.85.213.195 as permitted sender) identity=mailfrom; client-ip=209.85.213.195; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ig0-f195.google.com) identity=helo; client-ip=209.85.213.195; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="gabriel.scherer@gmail.com"; x-sender="postmaster@mail-ig0-f195.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BgAwDWyTRXdMPVVdFeg1Y3fgaobIVjiwsBDYF2IoVyAoEyBzgUAQEBAQEBAQERAQoLFCEvgi2CFgEBBBIRHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGExIQh3IBAxcOnjaBMT4xizuBaoJYBYc4ChknAwpSg1sBAQEBAQUBAQEBARoCBhBxhSSETIc/glkFhjsMkWCBVoQoiCCCN4xijgMSHoEOHgEBgjqCDyAyAYgwAQEB X-IPAS-Result: A0BgAwDWyTRXdMPVVdFeg1Y3fgaobIVjiwsBDYF2IoVyAoEyBzgUAQEBAQEBAQERAQoLFCEvgi2CFgEBBBIRHQEbEgsBAwwGBQsNAgIJHQICIgERAQUBChIGExIQh3IBAxcOnjaBMT4xizuBaoJYBYc4ChknAwpSg1sBAQEBAQUBAQEBARoCBhBxhSSETIc/glkFhjsMkWCBVoQoiCCCN4xijgMSHoEOHgEBgjqCDyAyAYgwAQEB X-IronPort-AV: E=Sophos;i="5.24,610,1454972400"; d="scan'208";a="177637785" Received: from mail-ig0-f195.google.com ([209.85.213.195]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 12 May 2016 20:26:21 +0200 Received: by mail-ig0-f195.google.com with SMTP id rc4so233839igc.0 for ; Thu, 12 May 2016 11:26:21 -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; bh=t2p/3ZFomekzUSTktXOya7prBw5yGqA12WUtSRspbME=; b=auu+xYf8zs4G6ueXGXIA/BTydQd6GXawkdsEQyQ1+89/IDGaZKPvgPSw2EELal1GA8 Ih0ULp7lzMZX5399v4Jtg6lubCULjh/7fkZa53f/m/TB80a5+Gq5bLeKGB3a9aFR//j/ 7J67rHRcfst5MPN0ddv6sZIqzEh7ievHYE6zhgaUER7a2LXQax0c8jEXmmkpSG4ZJ3PE j5+w+iZ/c+3/eAHT5zjLYkdepLGGGpSZoxudWvf/FK4CRo4ZF1Vp04ZZ63ms7++1SVg2 +zavbpzJnNZbF3vAHdXsgAokl56kqM7h780pAKhPBiSUPiNAyR9i8XWZvP2hIK6s36XU rgAA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc; bh=t2p/3ZFomekzUSTktXOya7prBw5yGqA12WUtSRspbME=; b=XUJQOldNTYD50bzbsOrk5RIAx0/65NWDE4AxPh64udXrNc2Fd7W6/jFo4vhHJs1nml 70vEqxeMhjSIIgMuWpY6TZX8pB5i0ohNRrHIAbPcxb/poaKNVT80PkPia27aiiiJ967C dF5JfCsGh4LdgIfYCVRI417/ZlTr2H3dQeYhA8jYczPRv6FXZvWQkSOAmalP7wtZhHsb ebirLKaWZJ0iywJa1UP1NDQ8byA5df0slKucTN5xHR5nFcaPoZtJG+S7vvcCq9JRYQ+p wemCc/IF2Dpgv55mDfBPyWfUjNH3Bja3fQRL/4BzMi4/FsA8XGTnVCywlWb6zns9fntS +hKw== X-Gm-Message-State: AOPr4FUZE/fyix1IhPimpC6gdnr4rI+qcbiY6jaoGEV4FlGDIs3ucgrXCv6uUdOrcukSkY1l0N1GKwh4U5r96A== X-Received: by 10.50.102.207 with SMTP id fq15mr29101364igb.94.1463077580136; Thu, 12 May 2016 11:26:20 -0700 (PDT) MIME-Version: 1.0 Received: by 10.79.89.195 with HTTP; Thu, 12 May 2016 11:25:40 -0700 (PDT) In-Reply-To: References: From: Gabriel Scherer Date: Thu, 12 May 2016 14:25:40 -0400 Message-ID: To: Nils Becker Cc: caml users Content-Type: text/plain; charset=UTF-8 Subject: Re: [Caml-list] flambda optimization settings My understanding is that -Oclassic does not compile with the pre-flambda compiler, but rather it tunes flambda heuristics to behave more or less like the other compiler. The goal was to reach a point in the optimization-vs-compile-time spectrum that is comparable to the other compiler, but I'm not sure it was actually reached yet. Thus, it would be interesting and important to also compare with the code produced by a 4.03 switch compiled without flambda. (Also, it would be interesting to have reports on compile time.) On Thu, May 12, 2016 at 12:13 PM, Nils Becker wrote: > hi, > > i'm happy to report one more data point on flambda speedup. > > (best of 3, wall clock time, 4 cores running with parmap) > -Oclassic 18.5s > -O2 17.0s > -O3 14.2s > > so, a nice 20% speedup with no work. > > this brings me to my question: given that O2 vs O3 does seem to matter, > is it actually important at what optimization level linked libraries are > compiled on a +flambda switch? > who controls that, the package author or the user? > > n. > > > ps, full disclosure: > > this is based on code that does stochastic simulation (basically > euler-maruyama forward integration), uses Gsl for heavy random number > generation but also does some floating point arithmetic in the inner > loop, and uses exceptions as part of control flow. > > > > -- > 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