From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 C9FE0E003C for ; Sat, 9 Oct 2021 02:58:38 +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-f41.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of michael.bacarella@gmail.com) identity=pra; client-ip=209.85.208.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.bacarella@gmail.com"; x-sender="michael.bacarella@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of michael.bacarella@gmail.com designates 209.85.208.41 as permitted sender) identity=mailfrom; client-ip=209.85.208.41; receiver=mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ed1-f41.google.com) identity=helo; client-ip=209.85.208.41; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="michael.bacarella@gmail.com"; x-sender="postmaster@mail-ed1-f41.google.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3Aqj4uvxToufPPkeR10Axw8yqF49psouqYAWYlg6H?= =?us-ascii?q?Pa5pwe6iut67vIFbYra00ygOTBcOKsrkZ1KL/iOPJYSQ4+5GPsXQPItRndiQur?= =?us-ascii?q?oEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZ?= =?us-ascii?q?vJuTyB4Xek9m72/q99pHNfwlEnj6wba59IBi2rwjaq9Ubj5ZlJqst0BXCv2FGe?= =?us-ascii?q?/5RxWNmJFKTmwjz68Kt95N98Cpepuws+ddYXar1Y6o3Q7pYDC87M28u/83kqQP?= =?us-ascii?q?DTQqU6XQCVGgdjwdFDBLE7BH+WZfxrzf6u+9g0ySUIcH6UbY5Uim54qx1VBHnl?= =?us-ascii?q?jsINz8h8GHWlMNwir5boAm8rBB72oLYfZ2ZOOZ7cq7bYNgUR3dOXtxJWiNODIO?= =?us-ascii?q?zbYsBAeQCM+hFsYfyu0ADogGiCQS2Hu7j1iNEi33w0KYn0+ohCwbG3Ak4EtwJs?= =?us-ascii?q?XTbsNX1O70MXuCx0aLF0C/MYO9M1jfn9ofIdhQhruuRVr93dMrRyFUgFwPfgVq?= =?us-ascii?q?OrYzpJSia2f4RvGeB9epvS+avi2o9pAxqrTivw90jiojNho4P1l/E8iB5zZ8zK?= =?us-ascii?q?NalR0F1fcSqH4FMtyGGKYR2WMUiTnlrtSs1yLAItp62cSkJxZkk2hLSZeGKf5W?= =?us-ascii?q?V7h79VeufITd2iX1mdb+jmhu//0atxO39W8S7zVtEoCtIn8XMu30P0RHY98aJS?= =?us-ascii?q?vx4/ki72DaP0Rje6uZYLk8ukKrbL4Qtwrkqlpoct0nIAyz4mF3ugaOIakkp/vK?= =?us-ascii?q?k5ufnb7n8uJOQK4x5hhvxP6gznMG0HP42PRIUX2eB/OSxzL3j8lP9QLVNlvA2l?= =?us-ascii?q?7PWsJHeJcgCuKG2HhJZ3p8t6xuwEjuqytsYnX4ALFJKfBKIkZLlNE3JIPD9Ffu?= =?us-ascii?q?/glKsnyl3x/3eILHtHpHAImLAnbrhZ7px9VJQxQkpwd1Q+p5YErQBL+jyWk/1u?= =?us-ascii?q?tzYFBg5MwmszubiCdVyyoMeVniRDa+dKq/dqkWH6f41LOmWeoAVvDL9JOI+6v7?= =?us-ascii?q?hiH82g14dfa2z0ZQLb3C4G+xqI1+Fbnr0ntcBDWAKsxIwTOPwjl2CXiBcZ3KsU?= =?us-ascii?q?KIg/Tw6CYOmDYLYSYC3mrONxia7HptMZmBHEF+AC3nod5+cUfcWdC2SOtNhkiA?= =?us-ascii?q?DVbW5V4AuzxSutAvjx7pjL+rU4TEYuIn41Nl14u3TjQs9+SZ1D8SbyWGNTnt7k?= =?us-ascii?q?nkGRz8sj+hDphlWyk2CyrR/m/xVXeZa6f1AVgM7fcrXz/Z7EMz1QgLMVs2ARli?= =?us-ascii?q?vRtGnRzwsGIEf2dgLNmN8ENWrgxSL9SOhCqUYk7iCTMgx86nc1nX1Ycx0wH/c2?= =?us-ascii?q?a0lhnEpR8JOMSutgasppFubPJLAj0jMz/XiTq8bxiOYsT7blQJmXWldWQ90FKj?= =?us-ascii?q?JBDUROhKQotP+6UfPCbSpDOZ/WuOk4cGHI6pOLNbuiAceLB8MENvbamO13Wy3A?= =?us-ascii?q?ETRro4=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AO/FASagbyMBV83+HqQvnKNZZYHBQXusji2hC?= =?us-ascii?q?6mlwRA09TyX4rbHJoB1/73SftN9/YgBZpTntAse9qFnnlaKdmLNhWYtKBTOW31?= =?us-ascii?q?dAT7sC0WKB+UyYJ8SWzIc06U4KScRD4bPLYGST5q3BkWuF+75K+qjlzEnRv4jj?= =?us-ascii?q?JoBWPGRXV50=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CzBgASaxphfynQVdFahTkBSlY7MYRHg?= =?us-ascii?q?R6Hb4Y8gieLbolKiCwLAQMBDTEQBAEBhGECgmsCHQcBBDQTAQIEFQEBBQEBAQI?= =?us-ascii?q?BAwMEARMBAQ0LEAg4JoVoDYI1KQGDZAEBAQIBEhEdARsdAQMMBgMCBAc3AgIiA?= =?us-ascii?q?REBBQEcBhMiglCCVAEDDiEPi2KPF4EEPYsygRUFF4EBgggGhGwKGSgNZQOBVwI?= =?us-ascii?q?BBhKBKIVuAhNASAEBhmYnEIFVRIFLgj8wPoJiA4IMgmqCZASEFYE3AiCUH45Pn?= =?us-ascii?q?G4tB4MrgTEGC4dmgRWNM4ZiK4Qnok6iT5NXFoUKECMSgUKBfU0jUDGCOFAZDo5?= =?us-ascii?q?XgzuFFIVqJC84AgYBCgEBAwmJdQEB?= X-IPAS-Result: =?us-ascii?q?A0CzBgASaxphfynQVdFahTkBSlY7MYRHgR6Hb4Y8gieLbol?= =?us-ascii?q?KiCwLAQMBDTEQBAEBhGECgmsCHQcBBDQTAQIEFQEBBQEBAQIBAwMEARMBAQ0LE?= =?us-ascii?q?Ag4JoVoDYI1KQGDZAEBAQIBEhEdARsdAQMMBgMCBAc3AgIiAREBBQEcBhMiglC?= =?us-ascii?q?CVAEDDiEPi2KPF4EEPYsygRUFF4EBgggGhGwKGSgNZQOBVwIBBhKBKIVuAhNAS?= =?us-ascii?q?AEBhmYnEIFVRIFLgj8wPoJiA4IMgmqCZASEFYE3AiCUH45PnG4tB4MrgTEGC4d?= =?us-ascii?q?mgRWNM4ZiK4Qnok6iT5NXFoUKECMSgUKBfU0jUDGCOFAZDo5XgzuFFIVqJC84A?= =?us-ascii?q?gYBCgEBAwmJdQEB?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="scan'208,217";a="395364282" X-MGA-submission: =?us-ascii?q?MDFhY7o/M6j5WdDMhprFOLazlJFvcqaJUABmNN?= =?us-ascii?q?c5yoO/HdK7PsK5YInfIv74EZ3zESLoEZTgESF1mPGkoayxj9deBH0dOf?= =?us-ascii?q?AsbMD03TbJjlxa9FyeLHbpnAlRrzWQTRJYoKV4YBDtcjzF3AVZx7Lc1H?= =?us-ascii?q?VEU/OhLIhyBtpLUVilVT/cvw=3D=3D?= Received: from mail-ed1-f41.google.com ([209.85.208.41]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 09 Oct 2021 02:58:37 +0200 Received: by mail-ed1-f41.google.com with SMTP id i20so26196802edj.10; Fri, 08 Oct 2021 17:58:37 -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=qcuRi7MvvGYpZXGD38DJyuRCV5/Z+kmdyF71GHyNHpw=; b=Y1oG8ZVbhvB9LkDTK+tpIRZdTCguoSr7KC32UPJI8nUiLzfMzv+GLmNrU6X0iXxoLW Uwe2PFOE5LiM2YewSIKWQ+N/5O1c3VLqwGei81+84L3203bm0nCa2CjsYlxToy5VaCHT M97z1nzkiF1YY0HswD2p/5itJW0qpIcCae2QzCzAOKo898d5Y66w9GgOIxLKtkohNtvq xXir1r4pMLM36GkE46zauVZOBJ2KPqmi2SpDk4a2ufVYgLrC2jjRj5FosWen3DlNaGsa Ai10dW81tn30JEqAYX3pPx7GEwJj6W6BJx6t32rCq2duyCPNf91wurDFdgVaLnmnfHN7 7Hdg== 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=qcuRi7MvvGYpZXGD38DJyuRCV5/Z+kmdyF71GHyNHpw=; b=cDz/2JuIukmTC/fViyOGTDpk/j/p4BSDdXWByt6iQFE1TchRbgf60QqPzL7cTn6ben H4EsXPgCieZ9niHy1pAdJgd4JRe4fQtvfcSJ1cVX/hP1zPcdEAiAKwzT8YkX9TuGimcd JOcL4nl3h+dylxh4EIjk5BFf2T//+qkk8NavuUin8L4QmDm/iUdAXdYKr5tM6Dsn3pVL 7+K7tgHwj8Drgblr2hTy03voLnmoJmOw9X2Zr2+nprjidCoxm/dpQSnZD5t9JviWzEvy RjqezyzbVdGweQ/MzngFKpIgrZbYNSCSk7Wg/xrJfMNaFF7cZPfLwl0682Wbw5coQP/n 6yyg== X-Gm-Message-State: AOAM530BZ9GINf2VrR07YOk+Ko6Sxzdy1HqaNG+IHIuHNdfsMa/Y9eDY waWRTF9wo2TdLAYl6fNrivDev+vh8ggcEpCMTmY= X-Google-Smtp-Source: ABdhPJwctSKIgWR2NxWahmnTTvtFmOhoNEe1IWyBKffQdLVtGpwNLNVV+F3BpBiYNSls3UmC9Adud9kAopNNIXKdTYI= X-Received: by 2002:a50:d90b:: with SMTP id t11mr19567567edj.215.1633741116473; Fri, 08 Oct 2021 17:58:36 -0700 (PDT) MIME-Version: 1.0 References: <1219673154.28999293.1633600103529.JavaMail.zimbra@inria.fr> <20211008203420.krbaicozculplmfk@oulala> <20211009000722.otsy76prtixl226t@oulala> In-Reply-To: <20211009000722.otsy76prtixl226t@oulala> From: Michael Bacarella Date: Fri, 8 Oct 2021 17:58:00 -0700 Message-ID: To: Christophe Raffalli Cc: Florian Angeletti , caml-list@inria.fr Content-Type: multipart/alternative; boundary="000000000000e702bb05cde0fe40" Subject: Re: [Caml-list] Sequential speed 4.12.0 vs 4.13.1 vs multicore (Was: The road to OCaml 5.0) --000000000000e702bb05cde0fe40 Content-Type: text/plain; charset="UTF-8" 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 > --000000000000e702bb05cde0fe40 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
My gut here says you're unwittingly comparing regular = ocaml to flambda ocaml.

<= br>
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 Ch= ristophe 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
--000000000000e702bb05cde0fe40--