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 8CB6DE003C for ; Sun, 10 Oct 2021 05:37:58 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christophe@raffalli.eu; spf=Pass smtp.mailfrom=christophe@raffalli.eu; spf=None smtp.helo=postmaster@mail.raffalli.eu Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christophe@raffalli.eu) identity=pra; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of christophe@raffalli.eu designates 144.91.90.233 as permitted sender) identity=mailfrom; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="christophe@raffalli.eu"; 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.raffalli.eu) identity=helo; client-ip=144.91.90.233; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christophe@raffalli.eu"; x-sender="postmaster@mail.raffalli.eu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?A9a23=3Ak6qDvhy3aUW6fxbXCzJGylBlVkEcU1XcAAcZ59I?= =?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+9qxBjxoLZZpyeOvhjcaPHZd4US2pPUNhMWSJCDIO?= =?us-ascii?q?zYJcAAPcDMutDoInxu0EDoAGiCQWwBu7izCJDiH/s3a091uQsCR/L3Aw6H9IPq?= =?us-ascii?q?3TUsNL1NL8SUe+r0aLG0S/Mb/1Y2Tjn7IjIdhEhquyLUL1sccrR00gvFxjZjlW?= =?us-ascii?q?XsYzlPy2a2/8Xs2eB4epgW/igi2ojqwFwuDSg2Nosh5DPi4kIxV/K6T93z5wpJ?= =?us-ascii?q?d2kVkF7e9ikHYNfuSyVOIV6X80sTWFntis11LAItoO2cSgWxJkj2xPRZfyJf5W?= =?us-ascii?q?W7x/9SuqcLyl1iXBndb++mhu/7EatxvHiWsS01ltBsyRLkt7Jtn8X1hzT7NCKS?= =?us-ascii?q?vR8/ke92TaPyhvc5vtYLkAzkKrWLYMqzL0olpcLrEjOESD7lF/ygaOLbEkp/vS?= =?us-ascii?q?k5/75brjoqJKQL5J4hh3wP6g0hMCyAes1PhIQU2WV+emwzrPu8VH/Tb5XlPM5i?= =?us-ascii?q?LPZv4rfJckDpq62HQtV0oE75ha6FTim0dAYkWMdLF1fdhKHgZLmO1XKIPD5F/u?= =?us-ascii?q?wnUmsnC9qx/DAILLhHo3AImXMnbruZ7pw71NQxBA3wNxD/Z5YFL8MLfzrVk/0r?= =?us-ascii?q?tPYDxs5MwKuw+bgDdVwzp8RWWKVAq+YK6PSrViI5vovI+aSf4IVoizyK/Yr5/H?= =?us-ascii?q?0iX85nV4dcbO30psKcHy4BOhpI12FYXrwhdcMCXsFsRA7TOzukVGCVT9TZ22uX?= =?us-ascii?q?68n/TE6CIemDZ/ZSYy3gbyB2j27HpxMaWxcBFCMCySgS4LRa/4SaS+IautsiDs?= =?us-ascii?q?VHeyxQpEg2AvosALgzKtPJe3Q/iAXuNfv2Z17/eTVnhx0+yYiXOqH1GTYZGFun?= =?us-ascii?q?3gUQCc20ehFqEJzw1OH0OAsiPxCFMdP4OtJXy8gPJDSxuh+Cpb/R1SSLZ+yVF+?= =?us-ascii?q?6T4D+UnkKRdUrzopLOh4lcz1DphXK3i7sGbYbmbWPAJ1y/7+OhxAZyO5nwnjI3?= =?us-ascii?q?a0ljh8rX5kWXYVDrrR2+QbaA4rI1UiExf7CSA=3D=3D?= IronPort-HdrOrdr: =?us-ascii?q?A9a23=3AhIs1eKru/RjgaK1kfHSp1OAaV5pMeYIsimQD?= =?us-ascii?q?101hICG9Ffb4qynOppomPHDP+VUssR0b6LK90cq7Lk80i6QU3WB5B97LN2PbUQ?= =?us-ascii?q?CTQL2Kg7GO/wHd?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DiAACYahph/+laW5BaGwEBAQEBAQEBB?= =?us-ascii?q?QEBARIBAQEDAwEBAYIZgyJXKBIxhEeJBIhpA5BnjH0LAQMBCAU1CgIEAQGEYQK?= =?us-ascii?q?CbB4HAQQ0EwECBBUBAQUBAQECAQMDBAGBEBOFaA2CNSkBg2QBBAEjHQEBNwEPC?= =?us-ascii?q?0ICAlcGgwWCZiABD6dsgTGBAYIHAQEGhiiBUwcDBoE6gVOEHQoJQIY2ekM/gU6?= =?us-ascii?q?ECjA+gmIChHeCZIUnGxCBEIFnkUiZTZIdgzKBN4dxgRWTe0UQgSuCKotjhg2RI?= =?us-ascii?q?KJPk1eFMIF3JIFZTSZNgmlQGQ6OIDeDO4EBigEdMjgCBgEKAQEDCWkmE4hTAQE?= X-IPAS-Result: =?us-ascii?q?A0DiAACYahph/+laW5BaGwEBAQEBAQEBBQEBARIBAQEDAwE?= =?us-ascii?q?BAYIZgyJXKBIxhEeJBIhpA5BnjH0LAQMBCAU1CgIEAQGEYQKCbB4HAQQ0EwECB?= =?us-ascii?q?BUBAQUBAQECAQMDBAGBEBOFaA2CNSkBg2QBBAEjHQEBNwEPC0ICAlcGgwWCZiA?= =?us-ascii?q?BD6dsgTGBAYIHAQEGhiiBUwcDBoE6gVOEHQoJQIY2ekM/gU6ECjA+gmIChHeCZ?= =?us-ascii?q?IUnGxCBEIFnkUiZTZIdgzKBN4dxgRWTe0UQgSuCKotjhg2RIKJPk1eFMIF3JIF?= =?us-ascii?q?ZTSZNgmlQGQ6OIDeDO4EBigEdMjgCBgEKAQEDCWkmE4hTAQE?= X-IronPort-AV: E=Sophos;i="5.84,326,1620684000"; d="asc'?scan'208";a="533021122" X-MGA-submission: =?us-ascii?q?MDGYYQGiP5Bx1CWZxiQVPyjuOJRa2wh5OYFFc9?= =?us-ascii?q?jif03onG7bEWUwD9AZ+1+4j0/iQfyemUOZUZgj1gRkABJfUm6k15K7r/?= =?us-ascii?q?7cqwUQitcakueBqUfRHaqiExaLXCKthvlLykb8sXAk3G5BrtiQefz0E6?= =?us-ascii?q?uIcJn97+zjdqpD+zIVCMbP+A=3D=3D?= Received: from vmi311709.contaboserver.net (HELO mail.raffalli.eu) ([144.91.90.233]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 10 Oct 2021 05:37:57 +0200 Received: from localhost (30.235.254.103.dsl.dyn.mana.pf [103.254.235.30]) by mail.raffalli.eu (Postfix) with ESMTPSA id 3984A641BBA; Sun, 10 Oct 2021 05:37:54 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=raffalli.eu; s=mail; t=1633837076; bh=5Ass/OmYKmW6DYrgVhu3pSzywoEWrZLsTbDUGgTRN5M=; h=Date:From:To:Cc:Subject:References:In-Reply-To; b=TIT09mIeG/WUe4UphpM5g8p547Nrj2XTyU/pHsDkVS3/WrkXgKmjeNDGl7pCojWMR aMwQhpCJ3CB11kODQewtP6uhhoa7CkzRsaKKATirKJlain8YX60AngsAusfeOa30hT hjY9oWVDmBZzIdeBBIQK5PFONZuCvfP35WTrzCHtAPqT+VDIKGsE3iiWOasLACX+5K dyxGw9sA8F6lk0WjYYNv9NWdu1rRTrsF5GaE+XIR9AJYSNPDsakdJRSXTqqodOKiLJ l/fjlx6sS8RXIpQzRCjw2Fyu+346k3O7cvv5ckZpKtJPvzF3y9uAb115zNDQKMhwt8 3+e2BdXRPWGig== Date: Sat, 9 Oct 2021 17:37:50 -1000 From: Christophe Raffalli To: Xavier Leroy Cc: caml users Message-ID: <20211010033750.rxa23jdifilpdetr@oulala> References: <1219673154.28999293.1633600103529.JavaMail.zimbra@inria.fr> <20211008203420.krbaicozculplmfk@oulala> <20211009000722.otsy76prtixl226t@oulala> <20211009021049.2sqf3eqh3tsigseu@oulala> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="74gmiwyjiqrbukhv" Content-Disposition: inline In-Reply-To: Subject: Re: [Caml-list] Sequential speed 4.12.0 vs 4.13.1 vs multicore (Was: The road to OCaml 5.0) --74gmiwyjiqrbukhv Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: quoted-printable Hello, First I have cleaned the inlining instruction and get better result leting flambda deciding alone. This leads to 36s with 4.13.1 sequential 36s with 4.12.0 sequential 32s with 4.12.0 multicore (but not using any parralelism) So being more reasonable with inlining annotation yields no more changes between 4.13.1 and 4.12.0. Still I am surprised that multicore is better (should expect a bit worth ?) > > Christophe: please put your benchmark online somewhere so that we can mak= e our > measurements.=C2=A0 Without reproducibility, your initial message is usel= ess.=C2=A0 > Thanks. The code is there (it uses functors a lot, could be a good bench for flambd= a): https://github.com/craff/hypersurfaces.git and depends from (opam version might not be sufficient) https://github.com/craff/gles3.git https://github.com/craff/pacomb.git and other opam packages. If you "opam pin ." the three git repos above everything should work. The command to test: dune exec --release Hyper -- tests/hard/hilbert-sextic.txt -b It prints its own timing as below among other messages: total: 36.329s ( 0.012s self) for 1 call(s) You can use other files in tests or tests/hard. > - Xavier Leroy > H --74gmiwyjiqrbukhv Content-Type: application/pgp-signature; name="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAABCgAdFiEEJ369adg37nCCF0BCVXIaPfvmsfAFAmFiYAsACgkQVXIaPfvm sfDIyQf+NIRnXlv8qVhPPe2T92GJINv+4Z+6W2hx9UcOOkoANbk9tgNt4U+pbAbL 8Cx9SRwGfwXFWflDJ07RX0IlEKY83bj8uU27WWSgA+0gGkCv478DeW5R9qekoFlO UWPC4f5PG0yrM4gh2WKsPxRwAv5iFm/w82bssrrkcBQMfS1/iSExn0oGFTKVi8DS 955sROExhOsQCWC5bvc8gEYbLan5nPQS7cWK0YiIwWDD64jvmPLL6OzCBZT9pcyq pEFxyzMtzzdSKyiuHus/Zbks7+mK7kMlVUjd3wQ3dBt60YIAieuTnlHlCO0SAPrf 2fEMFR/POl2pQIPR0ei5HOs7W5QShg== =7aGn -----END PGP SIGNATURE----- --74gmiwyjiqrbukhv--