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 sympa.inria.fr (Postfix) with ESMTPS id DFB31E003C for ; Sat, 9 Oct 2021 03:12:14 +0200 (CEST) Authentication-Results: mail2-smtp-roc.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-f42.google.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of michael.bacarella@gmail.com) identity=pra; client-ip=209.85.208.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.bacarella@gmail.com"; x-sender="michael.bacarella@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of michael.bacarella@gmail.com designates 209.85.208.42 as permitted sender) identity=mailfrom; client-ip=209.85.208.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.bacarella@gmail.com"; x-sender="michael.bacarella@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-ed1-f42.google.com) identity=helo; client-ip=209.85.208.42; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="michael.bacarella@gmail.com"; x-sender="postmaster@mail-ed1-f42.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3AhWy+FhIKF2oNg7VeTNmcuDBhWUAX0o4c3iYr45Y?= =?us-ascii?q?qw4hDbr6kt8y7ehCFvbM81RSUAs3y0LFts6LuqafuWGgNs96qkUspV9hybSIDk?= =?us-ascii?q?tgchAc6AcSIWgXRJf/uaDEmTowZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF?= =?us-ascii?q?5Ovn5FpTdgsipy+y+4ZnebxhHiDe9Y755MQm7oxjWusQKm4VpN7w/ygHOontGe?= =?us-ascii?q?uRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lTbNDFzQpL3o15Mzwuhb?= =?us-ascii?q?dSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDtQLsqRTqt8btkSB7wi?= =?us-ascii?q?CcGKTE59n3Xitdth65fuR6tugBzz5LRbIyTKfFwfL7SfckCSGVOUMZeVSxPDI2?= =?us-ascii?q?/YYUSEeQOIf1VoJPhq1YUtxayGRWgCeHpxzRVhnH2x6o60+E5HA/B3QwvA9IOv?= =?us-ascii?q?27Ko9XxKawfTPq6w7XSwjXZcfxW3TP955LVeR0mpPGMXK5/ccrLxkYxEwPJlE6?= =?us-ascii?q?fppb5MDyPzOQCrWyb7+56Wu+0hG4nrht+ojmrxss2lobJgYcVx0nC+C5kz4k7O?= =?us-ascii?q?ce2R1RnYd64DpRQrSeaOpN1T84tQWxmtyY3x7wFtJO4YSQHxokqywPCZ/CZcoW?= =?us-ascii?q?G4hLtWemSLDpkmX9odryyiRaz/EWv1+DyWMi53UpKoydHlNTHq34D1xvW6sedS?= =?us-ascii?q?/t9+F+s2TGT2A/J7+FEJVo4la3BK54uxLM7i5kdsVzbEyPohEn7iLWae0Yk9+S?= =?us-ascii?q?y9ejrfrbrqoWTOoNqjAz1L74gldalAesiNwgDR2ib9vq41L3k5UD5Ra9Fjvwyk?= =?us-ascii?q?qXArp/VONkXqre3AwJazIov8Rm/DzCh0NQXmXkIMkhJdw6Aj4jsI13OIfb4Aum?= =?us-ascii?q?jg1m0jjtn2/TLMqfiD5jNNHTPjqvtcLVn50NT1gY/1dVf6IhVCrEFLvLzQEjxt?= =?us-ascii?q?NnAAx88Mgy73+bnB89j2YMaQ26AGbWWP7/Ivl+S+O0vJ+2Ma5UOtTbyLvgq/f/?= =?us-ascii?q?ujXsjlVABeqmp2IMbaGqkEfR+P0WZfX3sj88PEWgQuAo+Q/LliFmcXj5PfHuzX?= =?us-ascii?q?qM85jQgB4K8F4jPXIGtgLqb3Ce6BJJafG5GCkqUG3fya4qEQ+sMaD6VIsJ5jjM?= =?us-ascii?q?LT72hS4s42RGqtQ/60KZnI/HP+iwYsJLjzMJ66/fSlRE07zx0Dt6S33uDT2Fuz?= =?us-ascii?q?Ss0QGod3Lp+ulB60leOmZJxjfJREdhSr6dCUh07LoLb1+x3I8r7VAzIetOIDlu?= =?us-ascii?q?7FIaIGzY0G/cwyN8HbkI1MdyphwrO2y6jS+sQlreLDZEwtKjV1HHrKsJ5wl7J0?= =?us-ascii?q?aAgix8tRc4ZZj7uvbJ26wWGX92BqE6ejav/MP1EhEYlFU+GxGuK+UxUCUt+Df+?= =?us-ascii?q?DUncYaU/b69/+4xGaJ1dLIbsiOwpFj8WFL/kSAjUGpVpDTfbnft/ZZjDo81o?= =?us-ascii?q?=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3Ax3wCVa8G3MmmHoe9vTFuk+C/I+orL9Y04lQ7?= =?us-ascii?q?vn2ZLiY1TiX4ra6TdZsgpHzJYVoqKRMdcLO7V5VoP0m9yXcd2+B4Vt2ftWLd1F?= =?us-ascii?q?dAQrsO0bff?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CtBgCYahphfyrQVdFaHgEBCxIMhTtWO?= =?us-ascii?q?zGER4Eeh2+GPIInlTiILAsBAwENMRAEAQGEYQKCawIdBwEENBMBAgQVAQEFAQE?= =?us-ascii?q?BAgEDAwQBEwEBDQsQCDgmhWgNgjUpAYNjAQEBAQIBEhEdARsdAQMBCwYDAgQHD?= =?us-ascii?q?SoCAiEBAREBBQEcBhMiglCCVAEDDiEPi2KPF4EEPYo4eoEVBReBAYIIBoRsChk?= =?us-ascii?q?oDWUDgVcCAQYSgSiFbgITQEgBAYZmJxCBVUSBS4I/MD6CIEIDggyCaoJkBIQVg?= =?us-ascii?q?TcCIJQfjk+cPTEtB4MrgTEGC4dmgRWNM32FZSuEJ6JOok+DNpAhFoUKECMSgUK?= =?us-ascii?q?BfU0jUDGCOFAZDo4gDBYVgzuFFIVqJC84AgYBCgEBAwmJdQEB?= X-IPAS-Result: =?us-ascii?q?A0CtBgCYahphfyrQVdFaHgEBCxIMhTtWOzGER4Eeh2+GPII?= =?us-ascii?q?nlTiILAsBAwENMRAEAQGEYQKCawIdBwEENBMBAgQVAQEFAQEBAgEDAwQBEwEBD?= =?us-ascii?q?QsQCDgmhWgNgjUpAYNjAQEBAQIBEhEdARsdAQMBCwYDAgQHDSoCAiEBAREBBQE?= =?us-ascii?q?cBhMiglCCVAEDDiEPi2KPF4EEPYo4eoEVBReBAYIIBoRsChkoDWUDgVcCAQYSg?= =?us-ascii?q?SiFbgITQEgBAYZmJxCBVUSBS4I/MD6CIEIDggyCaoJkBIQVgTcCIJQfjk+cPTE?= =?us-ascii?q?tB4MrgTEGC4dmgRWNM32FZSuEJ6JOok+DNpAhFoUKECMSgUKBfU0jUDGCOFAZD?= =?us-ascii?q?o4gDBYVgzuFFIVqJC84AgYBCgEBAwmJdQEB?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="532935791" X-MGA-submission: =?us-ascii?q?MDEX8uhDqcnpPUYcgoDwpy4deO5AtecJTs2/FK?= =?us-ascii?q?CkKwqglp/VPgR9mi9Z7A5WUmfGawiui0a0yodi2QuS+j/JhpvCD++MIY?= =?us-ascii?q?pcIM53pGoTnNVxdwNecdq9izglDHOizIDAiblL9nhISKauU4tkSSLGPJ?= =?us-ascii?q?mGczGLWLTKR9X/IT0rhnfC5Q=3D=3D?= Received: from mail-ed1-f42.google.com ([209.85.208.42]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Oct 2021 03:12:13 +0200 Received: by mail-ed1-f42.google.com with SMTP id x7so40670755edd.6; Fri, 08 Oct 2021 18:12:13 -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=IzlkCo2q52yANyuuvdQ2KCZCgiwnNsjrbFlRnc1x/w8=; b=KCuWMvgAUyFe1Xn683FdqVtJb8Y4jo5GYRyMl/D49XpWyMwH/VLbToFHKg56ljEplo bEiucDOGHdAIjTstFN8mgIZKXgBTcpTVfpZXxu9QywkVD45V0GLvvMBXIyiWGEgF1TVO NbO7+ml1uAN22iANXuN61s1Ji+bOBV+S4dACTZOkZ4sOMf8kuPERiDEDI0YRfyskdsaE 781g/hIu8DljvwMorLCnfggpeGmumeN+KIQPBOp/qekAhPYVUZvIzY5wxqLxKjZxnyGm bPSKJYURmhMsuz3A70aHL8u237jA4P/D2y3QlMjh+UK2BK5e7/y5i0BvDIH7WsjORN8U NoDQ== 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=IzlkCo2q52yANyuuvdQ2KCZCgiwnNsjrbFlRnc1x/w8=; b=teoMuPRel49CCCyQpkkvHIA99+jZM/JhJLWjDGjYHeY3qXWIpLPcXRnfom7stVi7G9 AVPFjefpuu02tA88IKD6kbyOQc4Rj+AtAvqiCT7vYWyFWIQ95A3GnRx54kaU1XNm8MdX MhcP18HqIEBCcS4xfMnYGcDRxYa/7oRiVjPakcXwHotoCp27b7vwz6oB3XRxQru9eXbP 7hjVDGXdcK0bvHan+fGiidudZ7hHeLn/NRHwtbnjoFIOW2wXolVCVpLcFW/DJG+S6JWa 8kMq5aCV4ffmHYeZYqBNB49L6fVUaG9rKZLRcZcZsiYLp/9hXAmcsJilNL92ZLlqXxVy 64aA== X-Gm-Message-State: AOAM531SGmdLJOnV6pPdjTleB/icmEPoQtJFZIP+E06lwNCZPcg8f63Y LQjmPzVtCpOEjrztu4c/xkP3DO0eK5+5C51BNf0= X-Google-Smtp-Source: ABdhPJw2Do+d88AFsLLs6pYbLrY5oGMbJYbu6Zm2ErIv9/sme8ZzrfkgbKGdqJPdRXUyZHTxT01PA5EkSjEmKmGEWCI= X-Received: by 2002:a17:906:584:: with SMTP id 4mr8436563ejn.56.1633741933156; Fri, 08 Oct 2021 18:12:13 -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:11:37 -0700 Message-ID: To: Christophe Raffalli Cc: Florian Angeletti , caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000949dc605cde12f13" Subject: Re: [Caml-list] Sequential speed 4.12.0 vs 4.13.1 vs multicore (Was: The road to OCaml 5.0) --000000000000949dc605cde12f13 Content-Type: text/plain; charset="UTF-8" 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 > 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 >> > --000000000000949dc605cde12f13 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Sorry, you actually said as much "On the same example= s, same options (flambda everywhere),"

Thoug= h, the expectation that was thwarted for me is that there's no specific= multicore flambda switch. Just multicore. And that 20-25% speedup felt lik= e 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.<= div>

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 Christop= he 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
--000000000000949dc605cde12f13--