From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id B284B5D6 for ; Sat, 9 Oct 2021 01:21:13 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532937709" Received: from prod-listesu18.inria.fr (HELO sympa.inria.fr) ([128.93.162.160]) by mail2-relais-roc.national.inria.fr with ESMTP; 09 Oct 2021 03:21:10 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id E2C3EE0156; Sat, 9 Oct 2021 03:21:10 +0200 (CEST) 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 ED572E003C for ; Sat, 9 Oct 2021 03:21:05 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.bacarella@gmail.com; spf=Pass smtp.mailfrom=michael.bacarella@gmail.com; spf=None smtp.helo=postmaster@mail-ed1-f48.google.com IronPort-PHdr: =?us-ascii?q?A9a23=3AT6So/xyqxr+T8A3XCzKIzVBlVkEcU1XcAAcZ59I?= =?us-ascii?q?dhq5Udez7ptK+ZhSZtKwm0QCBdL6YwsoMs/DRvaHkVD5Iyre6m1dGTqZxUQQYg?= =?us-ascii?q?94dhQ0qDZ3NI0T6KPn3c35yR5waBxdq8H6hLEdaBtv1aUHMrX2u9z4SHQj0ORZ?= =?us-ascii?q?oKujvFYPekdi72/q29pHObAlFhDiwaq5uIRurqgncqtMYipZ4JKYrzRvJrHpIe?= =?us-ascii?q?+BIym5tOFmegRXy6Nqu8ZB66yhftO4v+MBGUaXhYqQ3VqdYAyg8M2A0/8Lkqx/?= =?us-ascii?q?ORhaS63QGU2UWlh1IAxXZ7Bz/Q5z8vDf2uvZ71SKHJsD9U6w6Viq+4KdqUB/oi?= =?us-ascii?q?TkINzgl8GHMl8d8iLtXrA+9qxBjxoLZZpyeOvhjcaPHZd4VSmRBUcRRWSJPAY2?= =?us-ascii?q?ycpUBAPYaMOlCs4XwvUEDoQeiCQSuAu7k1z9GhmXx3a0/y+kvFgDG0xAgH90Ur?= =?us-ascii?q?nvUqMj+OboIXu+p1qbI1yvMb/dS2Tjn9YPFdRUhofCQUrJwa8Xe100vGxnegVq?= =?us-ascii?q?KtYPqJSmV2foJs2if9eVtTu2vi2s9pAFwpjij3Nsjio7Mho8MzF3P6Cp2zpovK?= =?us-ascii?q?9KiVE57fcCrEIFWtyyCNIZ7TcEvTW5otSs7ybALuoO3cSYXxZg62hLTdf2KfYi?= =?us-ascii?q?I7B/sV+ucPSp1iXxrdby/hhu//lWtxOP9W8So0FtHrCxImcTCuHAK0hzc8MmHS?= =?us-ascii?q?v1l80emxTmAzQXT6uVeLUAzj6rbJJgsyaMzmJoLqUnPADP6lUHsgKKVdkgo4Pa?= =?us-ascii?q?k5/jkb7n8qZKRNIl5gRzkPKs0gMywG+E4PxAOX2eF/eS806Xu/UjjT7VLiv06i?= =?us-ascii?q?7fWv43HKcgCqK60DAxY3pws6xa4CDem39AYkmcdIF1ZfxKHipDlO1DIIP/mEfe?= =?us-ascii?q?ym0qgnCtvyvzcPbDsAo/BImbfnLriZ7pw5E1RxBI2zd9F5pJUDr8BIOj0Wk/0r?= =?us-ascii?q?NHYCx45PBC0w+n9Ftp90pkSVnmVDaCFKqzSq0GH5uYrI+aWf4IVtzP9JOIk5/7?= =?us-ascii?q?ql3M2hVgdfayx0ZsNdH+4BuhmI1meYXf0jNcOC2EKvgUgQ+zullKCTSVeZnezX?= =?us-ascii?q?6I5/T47EpipAZ3CRoCrmryB3T20EodYZmBcElqMC2vnd52YW/cQbyKfOtNunSY?= =?us-ascii?q?BVbilUoMh0RCutBTmy7d8NerV+igYtYr529Rv5u3Tkwsy9T1uAMiH3WGNVTI8o?= =?us-ascii?q?mRdbD8s3btjplR9xx+52KZ2ivhcFJQH7PNTUxwmMobcwsRgAt78UwbFf5GEVQD?= =?us-ascii?q?1bM+hBGQUT9kxytIKK2x0ENy4gxTH1mL+Br4el7WGANo++6nVxXX1I89VxHPP1?= =?us-ascii?q?a1nhF4jFJgcfVa6j7JyolCAT7XClF+UwuPzLfx0NM/l8W6CyS+DsBgdXlIgF6r?= =?us-ascii?q?CWn8baw3dqtGrvisqqpehDL0mNk1KzsvQcsOihfXmiFxHQLHoP9GMOgqM?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Aw8oa9KDFZxUsYkjlHemB55DYdb4zR+YMi2TD?= =?us-ascii?q?GXoBMCC9Vvbo9PxG+85rtyMc6QxhPU3I9urwX5VoLUmsj6KdgrNwAV7dZniahI?= =?us-ascii?q?LAFugLguWC/9SHIVyEygc379YZT0ERMqyXMbEDt7ef3CCIV+oFhPOD8KyumKP3?= =?us-ascii?q?wnp3JDsAAcwN0ztE?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtBgASaxphfzDQVdFaHgEBCxIMhTtWO?= =?us-ascii?q?zGER4Eeh2+GPIIkA5U4iCwLAQMBDTkIBAEBhGECgmsCHQcBBDQTAQIEFQEBBQE?= =?us-ascii?q?BAQIBAwMEARMBAQ0LEAg4JoVoDYI1KQGDYwEBAQECARIRHQEbHQEDAQsGAwILD?= =?us-ascii?q?SoCAiEBAREBBQEcBhMigk8BglQBAw4hD4tijxeBBD2KOHqBFQUXgQGCCAaBPwE?= =?us-ascii?q?WAQ4Jgn4KGSgNZQOBVwIBBhKBKIVuAhNASAEBhmYnEIFVRIFLgj8wPoIgQgOCD?= =?us-ascii?q?IJqgmQEhBQBgTcCIJQfjk+KfpE/MS0HgyuBMQYLh2aBFY0zfYVlK4Qnok6iT4M?= =?us-ascii?q?2kCEWhQoQIxKBQoF9TSNQMYI4UBkOjiAMFhWDO4UUhWokLzgCBgEKAQEDCYl1A?= =?us-ascii?q?QE?= X-IPAS-Result: =?us-ascii?q?A0CtBgASaxphfzDQVdFaHgEBCxIMhTtWOzGER4Eeh2+GPII?= =?us-ascii?q?kA5U4iCwLAQMBDTkIBAEBhGECgmsCHQcBBDQTAQIEFQEBBQEBAQIBAwMEARMBA?= =?us-ascii?q?Q0LEAg4JoVoDYI1KQGDYwEBAQECARIRHQEbHQEDAQsGAwILDSoCAiEBAREBBQE?= =?us-ascii?q?cBhMigk8BglQBAw4hD4tijxeBBD2KOHqBFQUXgQGCCAaBPwEWAQ4Jgn4KGSgNZ?= =?us-ascii?q?QOBVwIBBhKBKIVuAhNASAEBhmYnEIFVRIFLgj8wPoIgQgOCDIJqgmQEhBQBgTc?= =?us-ascii?q?CIJQfjk+KfpE/MS0HgyuBMQYLh2aBFY0zfYVlK4Qnok6iT4M2kCEWhQoQIxKBQ?= =?us-ascii?q?oF9TSNQMYI4UBkOjiAMFhWDO4UUhWokLzgCBgEKAQEDCYl1AQE?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="395364643" X-MGA-submission: =?us-ascii?q?MDERTJxG/Nl/+r+SdDG40d+Wx0R9JVoh+rOyOE?= =?us-ascii?q?ohsV+bJLZncQ0ySFeZgO95WK6vPIXmI/MsBEM7417jj8avDSIEudgOKN?= =?us-ascii?q?sh6+2VE9S6liDoYuHEffLNL7rQKEQkLQo/SGFCu8I9qqANsEQoQ81M/Z?= =?us-ascii?q?E3Gp/yxFB/jQIRNZ4nSUUlRg=3D=3D?= Received: from mail-ed1-f48.google.com ([209.85.208.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Oct 2021 03:21:04 +0200 Received: by mail-ed1-f48.google.com with SMTP id r18so42643868edv.12; Fri, 08 Oct 2021 18:21:04 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=IKgj/WtjsFOUnA9xpWyWmZ6NVrYaXZHoUyO9VSVixEs=; b=F2CeQ0mpoufMCHMvNsZ2QKMhZoyTicDDWsPce989Vvw5eFxjcxH5BKDwHMbEKPGTJ9 damFjad1uJvxzz/FGBWXl6LrZnJksJw12xNjLqx2SR3tFNT7b9FoetSYCzpAynuHKigW tlGLB4evCfDtl4fKCrlQ+q19AkwLw31tls68hGMQulde8lm2mrfzafjZspv2Wtk6DBsM WsoVjsVoEtzoYKWJKGF1u4DT8VjjZbCCM06HDVd7H8+T/aE34CT5lAkrjZyYfhfjpvif 28hMgJ/EAiVJqRT0yjEMtw6QvEX2OvWFo4gti8W+BJTmuMMIYSGeqvFxzjoYe1ATnu72 W3fA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=IKgj/WtjsFOUnA9xpWyWmZ6NVrYaXZHoUyO9VSVixEs=; b=c0q9vxacW2QSA+Skyn7LzJG53dNGgl9NYz0PRH7K/h+wBk43AbTCu33fo6bVkvjfkK 7Ow3UlWGmJnvRdeG8sjQcRTSDIkYyOAwQgfUBqcsfkbFh35JZn1wtAK/zrUQSsNn9pp2 isNQDDK0OaSYYq12u45GCv6dcttopBEgsNKbBPTg6mOKjUUgs+gEpLAv1KeIVTK1FsWV 0P9UYXFnDDAS5w9fNdoI1x5eyYqfL18BAy68WmPsCGvwXaW4ghDa+AdX1CkFvILT3j36 1wMzz/hpQl5LWbeXjgX+LYdxPg8Z0zmxrdZesqcWLmXedC1mf9sz62GgEuf0A7VjZdWj 14Hg== X-Gm-Message-State: AOAM533irtTMhoyUaCALrKX1ZQNEGhVdgxLVi0Ueick15PoH9Yl7dy3C Jvx5XLX0Un4iZp2b6+XxUbMh8PqNPwPzPiFplcxUpXj79iE= X-Google-Smtp-Source: ABdhPJy90KO5UyQtMgn3VDFtiRZAZVRlyvX+4ThEOrUAIcTt4RzKNjvnMufL4YVLjZx8ArDEfOO8La0RZ4ZhrQ4TJGo= X-Received: by 2002:a05:6402:5194:: with SMTP id q20mr19856146edd.245.1633742463517; Fri, 08 Oct 2021 18:21:03 -0700 (PDT) MIME-Version: 1.0 References: <1219673154.28999293.1633600103529.JavaMail.zimbra@inria.fr> <20211008203420.krbaicozculplmfk@oulala> <20211009000722.otsy76prtixl226t@oulala> In-Reply-To: From: Michael Bacarella Date: Fri, 8 Oct 2021 18:20:27 -0700 Message-ID: To: Christophe Raffalli Cc: Florian Angeletti , caml-list@inria.fr Content-Type: multipart/alternative; boundary="0000000000003145ec05cde14f9f" Subject: Re: [Caml-list] Sequential speed 4.12.0 vs 4.13.1 vs multicore (Was: The road to OCaml 5.0) Reply-To: Michael Bacarella X-Loop: caml-list@inria.fr X-Sequence: 18593 Errors-To: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: --0000000000003145ec05cde14f9f Content-Type: text/plain; charset="UTF-8" Oh. Or I'm just out of date. Apparently the way you choose compilers options (like flambda) in a switch changed awhile ago: https://discuss.ocaml.org/t/experimental-new-layout-for-the-ocaml-variants-packages-in-opam-repository/6779 Sorry about the noise! On Fri, Oct 8, 2021 at 6:11 PM Michael Bacarella < michael.bacarella@gmail.com> wrote: > Sorry, you actually said as much "On the same examples, same options *(flambda > everywhere)*," > > Though, the expectation that was thwarted for me is that there's no > specific multicore flambda switch. Just multicore. And that 20-25% speedup > felt like a familiar we-switched-to-flambda speedup to me. > > On Fri, Oct 8, 2021 at 5:58 PM Michael Bacarella < > michael.bacarella@gmail.com> wrote: > >> My gut here says you're unwittingly comparing regular ocaml to flambda >> ocaml. >> >> https://ocaml.org/manual/flambda.html >> >> Perhaps multicore only comes in flambda flavor now (I notice it's not >> available as a switch). >> >> On Fri, Oct 8, 2021 at 5:07 PM Christophe Raffalli < >> christophe@raffalli.eu> wrote: >> >>> >>> Hello, >>> >>> I managed to install ocaml 4.12.0 with multicore. I could not >>> parallelise my >>> code in 5mn ;-) but I check just the sequential speed and got a bit >>> surprised. On the same examples, same options (flambda everywhere), etc >>> ... >>> >>> Ex 1 Ex 2 Ex 3 >>> 4.13.1 normal 45s 12s 49s >>> 4.12.0 normal 36s 11s 45s >>> 4.12.0 multicore 31s 10s 40s >>> >>> These are not small differences and it is rather surprising that >>> >>> 4.13.1 is significantly slower than 4.12.0 (20 to 25%) >>> >>> 4.12.0 + multicore is faster on sequential code. >>> >>> Other people observe the same ? >>> Any idea ? Should I report an issue for the speed degradation of 4.13.1 ? >>> >>> Christophe >>> >> --0000000000003145ec05cde14f9f Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Oh. Or I'm just out of date. Apparently the way you ch= oose compilers options (like flambda) in a switch changed awhile ago:

On Fri, Oct 8, 2021 at 6:11 PM Michael Bacarella &= lt;michael.bacarella@gmail.c= om> wrote:
Sorry, you actually said as much "On the same examp= les, same options (flambda everywhere),"

Tho= ugh, the expectation that was thwarted for me is that there's no specif= ic multicore flambda switch. Just multicore. And that 20-25% speedup felt l= ike a familiar we-switched-to-flambda speedup to me.

On Fri, Oct 8, 20= 21 at 5:58 PM Michael Bacarella <michael.bacarella@gmail.com> wrote:
My gu= t here says you're unwittingly comparing regular ocaml to flambda ocaml= .


<= /div>
Perhaps multicore only comes in flambda flavor now (I notice it&#= 39;s not available as a switch).

=
On Fri, Oct 8, 2021 at 5:07 PM Christ= ophe Raffalli <christophe@raffalli.eu> wrote:

Hello,

I managed to install ocaml 4.12.0 with multicore. I could not parallelise m= y
code in 5mn ;-) but I check just the sequential speed and got a bit
surprised. On the same examples, same options (flambda everywhere), etc ...=

=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2= =A0 Ex 1=C2=A0 =C2=A0 =C2=A0 Ex 2=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 Ex 3 4.13.1 normal=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A045s=C2=A0 =C2=A0 =C2=A0 =C2= =A012s=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A049s
4.12.0 normal=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A036s=C2=A0 =C2=A0 =C2=A0 =C2= =A011s=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A045s
4.12.0 multicore=C2=A0 =C2=A0 =C2=A0 31s=C2=A0 =C2=A0 =C2=A0 =C2=A010s=C2= =A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A040s

These are not small differences and it is rather surprising that

4.13.1 is significantly slower than 4.12.0 (20 to 25%)

4.12.0 + multicore is faster on sequential code.

Other people observe the same ?
Any idea ? Should I report an issue for the speed degradation of 4.13.1 ?
Christophe
--0000000000003145ec05cde14f9f--