From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id ZZOnBN/GhV9mAQAA0tVLHw (envelope-from ) for ; Tue, 13 Oct 2020 15:25:19 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id 8PCNO97GhV8seQAAB5/wlQ (envelope-from ) for ; Tue, 13 Oct 2020 15:25:18 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id A2A539404C4 for ; Tue, 13 Oct 2020 15:25:17 +0000 (UTC) Received: from localhost ([::1]:54846 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kSMAt-0002ia-4K for larch@yhetil.org; Tue, 13 Oct 2020 11:25:15 -0400 Received: from eggs.gnu.org ([2001:470:142:3::10]:55592) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kSMAg-0002hf-4T for guix-patches@gnu.org; Tue, 13 Oct 2020 11:25:02 -0400 Received: from debbugs.gnu.org ([209.51.188.43]:36724) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1kSMAf-0001Q4-PL for guix-patches@gnu.org; Tue, 13 Oct 2020 11:25:01 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1kSMAf-0000qt-Kt for guix-patches@gnu.org; Tue, 13 Oct 2020 11:25:01 -0400 X-Loop: help-debbugs@gnu.org Subject: [bug#43745] [PATCH 04/27] gnu: ocaml-migrate-parsetree: Update to 1.7.3. Resent-From: Julien Lepiller Original-Sender: "Debbugs-submit" Resent-CC: guix-patches@gnu.org Resent-Date: Tue, 13 Oct 2020 15:25:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 43745 X-GNU-PR-Package: guix-patches X-GNU-PR-Keywords: patch To: zimoun Cc: 43745@debbugs.gnu.org Received: via spool by 43745-submit@debbugs.gnu.org id=B43745.16026026663152 (code B ref 43745); Tue, 13 Oct 2020 15:25:01 +0000 Received: (at 43745) by debbugs.gnu.org; 13 Oct 2020 15:24:26 +0000 Received: from localhost ([127.0.0.1]:48246 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSMA6-0000om-6o for submit@debbugs.gnu.org; Tue, 13 Oct 2020 11:24:26 -0400 Received: from lepiller.eu ([89.234.186.109]:45922) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1kSMA2-0000oV-Rj for 43745@debbugs.gnu.org; Tue, 13 Oct 2020 11:24:25 -0400 Received: from lepiller.eu (localhost [127.0.0.1]) by lepiller.eu (OpenSMTPD) with ESMTP id 13cae718; Tue, 13 Oct 2020 15:24:19 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=lepiller.eu; h=date :in-reply-to:references:mime-version:content-type :content-transfer-encoding:subject:to:cc:from:message-id; s= dkim; bh=8AGKE9ZCJUH91CIr6W2OdW04IM8JCBRyVZugNqO+qZM=; b=b1kH5mN 46Gt880PWZdZT3TF3vvidQ+Ap+L0t5CKP0elWcYsF488x+0Kt6mThR5tVsTzCETL 0Vc8g0yzAYlkUrKejqcmtHIcXlrZ2lY0tSFYZ+RS2g18Z9qsNotyX6Y5zGGv5OQs iO8xDdtCrjvRlcZVi6QwJA0wZR5c3b6WaO+xUqhxNil78eiLKSdjNH3wxdXA8QU7 7zhsVkfqdlk5m3PwI+w9jTfeyd453xI4oJ2JTBnB7A1d39/RC4OrgUcaBJvpQHIV B/qgd6xJdMgFzvmXUtqW5/T2JyldV4d+vYScrKi6g1jGGDvWbT3OCQlUljnTHsjy hBBBu2V9vo2GMLw== Received: by lepiller.eu (OpenSMTPD) with ESMTPSA id 54c63089 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO); Tue, 13 Oct 2020 15:24:19 +0000 (UTC) Date: Tue, 13 Oct 2020 11:24:12 -0400 User-Agent: K-9 Mail for Android In-Reply-To: <86wnzul430.fsf@gmail.com> References: <20201001153909.296c8d3e@tachikoma.lepiller.eu> <20201001134133.32105-1-julien@lepiller.eu> <20201001134133.32105-4-julien@lepiller.eu> <86wnzvnjig.fsf@gmail.com> <20201013040345.73b2367d@tachikoma.lepiller.eu> <86wnzul430.fsf@gmail.com> MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----O5KP4LRGAG6QA1QJO9DOOIKBRIKY68" Content-Transfer-Encoding: 7bit From: Julien Lepiller Message-ID: <44429C76-38D5-4C7A-BC41-256095556447@lepiller.eu> X-Spam-Score: -0.0 (/) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-Spam-Score: -1.0 (-) X-BeenThere: guix-patches@gnu.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+larch=yhetil.org@gnu.org Sender: "Guix-patches" X-Scanner: scn0 Authentication-Results: aspmx1.migadu.com; dkim=fail (rsa verify failed) header.d=lepiller.eu header.s=dkim header.b=b1kH5mN ; dmarc=fail reason="SPF not aligned (relaxed)" header.from=lepiller.eu (policy=none); spf=pass (aspmx1.migadu.com: domain of guix-patches-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-patches-bounces@gnu.org X-Spam-Score: 0.09 X-TUID: HkiPV43N1LTM ------O5KP4LRGAG6QA1QJO9DOOIKBRIKY68 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Your existing build was built unreproducibly=2E You need to remove it with = guix gc first=2E Then you can run --rounds=3D2=2E Alternatively add "-j1" as an argument to dune (as #:build-flags)=2E That = will change the output, ensuring you don't compare with an unreproducible b= uild=2E Le 13 octobre 2020 08:09:55 GMT-04:00, zimoun a =C3=A9crit : >Hi Julien, > >Wow! Thank you for this detailed investigation=2E > > >On Tue, 13 Oct 2020 at 04:03, Julien Lepiller >wrote: > >> So, my hypothesis is that dune is building files out of order, but >lets >> ocaml read the generated cmi files=2E Since the build is not in order, >> when it builds the same file in two different builds, the cmi are not >> the same and the result is different=2E Since dune will always use all >> my cores, I used a trick I learned from LFS: >> >> echo 0 > /sys/devices/system/cpu/cpu1/online >> (and similar for every other core, except cpu0) >> >> This way, I have a single-core machine and, hopefully, dune runs >> sequentially=2E This time, --rounds=3D2 passed (after removing the >existing >> store item of course)=2E > >Where do you this =E2=80=9Cecho 0 > /sys/devices/system/cpu/cpu1/online= =E2=80=9C to >disable all except cpu0? Because, I have tried as root on my 4 cpu >machine and then =E2=80=9C=2E/pre-inst-env guix build ocaml-migrate-parse= tree >=E2=80=93no-grafts =E2=80=93check=E2=80=9C still returns an error=2E > > >Cheers, >simon --=20 Envoy=C3=A9 de mon appareil Android avec Courriel K-9 Mail=2E Veuillez exc= user ma bri=C3=A8vet=C3=A9=2E ------O5KP4LRGAG6QA1QJO9DOOIKBRIKY68 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable Your existing build was built unreproducibly=2E Yo= u need to remove it with guix gc first=2E Then you can run --rounds=3D2=2E<= br>
Alternatively add "-j1" as an argument to dune (as #:build-flags)=2E= That will change the output, ensuring you don't compare with an unreproduc= ible build=2E

Le 13 octobre 2020 08:09:55= GMT-04:00, zimoun <zimon=2Etoutoune@gmail=2Ecom> a =C3=A9crit : 
Hi Julien,

Wow!  Thank you for this detailed =
investigation=2E


On Tue, 13 Oct 2020 at 04:03, Julien Lepiller &=
lt;julien@lepiller=2Eeu> wrote:

 So, my hypothesis is that dune is building files out of or=
der, but lets
 ocaml read the generated cmi files=2E  Since the build is=
 not in order,
 when it builds the same file in two different builds, th=
e cmi are not
 the same and the result is different=2E  Since dune will =
always use all
 my cores, I used a trick I learned from LFS:

 ech=
o 0 > /sys/devices/system/cpu/cpu1/online
 (and similar for every oth=
er core, except cpu0)

 This way, I have a single-core machine and, h=
opefully, dune runs
 sequentially=2E This time, --rounds=3D2 passed (aft=
er removing the existing
 store item of course)=2E

W=
here do you this =E2=80=9Cecho 0 > /sys/devices/system/cpu/cpu1/online=
=E2=80=9C to
disable all except cpu0?  Because, I have tried as root on =
my 4 cpu
machine and then =E2=80=9C=2E/pre-inst-env guix build ocaml-mig=
rate-parsetree
=E2=80=93no-grafts =E2=80=93check=E2=80=9C still returns =
an error=2E


Cheers,
simon

-- =
Envoy=C3=A9 de mon appareil Android avec Courriel K-9 Mail=2E Veuillez = excuser ma bri=C3=A8vet=C3=A9=2E ------O5KP4LRGAG6QA1QJO9DOOIKBRIKY68--