From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id oLZvFj5V+WHlUgAAgWs5BA (envelope-from ) for ; Tue, 01 Feb 2022 16:43:58 +0100 Received: from aspmx1.migadu.com ([2001:41d0:8:6d80::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id cPg8Dz5V+WEkTwAAG6o9tA (envelope-from ) for ; Tue, 01 Feb 2022 16:43:58 +0100 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 003EB3A232 for ; Tue, 1 Feb 2022 16:43:58 +0100 (CET) Received: from localhost ([::1]:45048 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nEvK1-0001nj-3e for larch@yhetil.org; Tue, 01 Feb 2022 10:43:57 -0500 Received: from eggs.gnu.org ([209.51.188.92]:33930) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nEuL5-0001y9-DJ for guix-devel@gnu.org; Tue, 01 Feb 2022 09:40:59 -0500 Received: from out4-smtp.messagingengine.com ([66.111.4.28]:60919) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nEuL3-0002ch-9W for guix-devel@gnu.org; Tue, 01 Feb 2022 09:40:58 -0500 Received: from compute4.internal (compute4.nyi.internal [10.202.2.44]) by mailout.nyi.internal (Postfix) with ESMTP id D37C75C0266; Tue, 1 Feb 2022 09:05:43 -0500 (EST) Received: from mailfrontend1 ([10.202.2.162]) by compute4.internal (MEProxy); Tue, 01 Feb 2022 09:05:43 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=fastmail.net; h= cc:content-transfer-encoding:content-type:date:date:from:from :in-reply-to:message-id:mime-version:reply-to:sender:subject :subject:to:to; s=fm2; bh=IOlKEBKk4tgUwgaJZY5lEpmTZmX+fVbVzvK7TQ atf1Q=; b=ZxYChhWbnSCpy6FWoYLTCvY93ipnAdsXjlWAznsjuh5kgR2KaYBw0p bSFeFVQMOzNpiwP/JX1axhp8Z3sFUmemIxuO3DGde+ANiRGs9Ht3/m0sdsU/Do0R uslF3PCuduyL87IhUM4ZCvGPvW9WBitqZbwMUOAPrprkuIYgRdOcVKFfGQJScND3 3iJvB9wz8ef1m6hmgEVB2MlHdD+egL+Zad2jOmjYzSNY12aHjT3o+0xVHL9Sq1RO zySSdZsnUX/a3PMdNY4qfTVGgz+Mn3pIwhefCUuN8fk+AGzwkgtjZ84RZzgxfRpx nV3lSS3NKQswNgQl01xJjKA3lgGMCQRw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d= messagingengine.com; h=cc:content-transfer-encoding:content-type :date:date:from:from:in-reply-to:message-id:mime-version :reply-to:sender:subject:subject:to:to:x-me-proxy:x-me-proxy :x-me-sender:x-me-sender:x-sasl-enc; s=fm2; bh=IOlKEBKk4tgUwgaJZ Y5lEpmTZmX+fVbVzvK7TQatf1Q=; b=WpVMqdQoryFIcmQmbknXshsaOLjk6plAS a1YiDVfLvaqbBthOBOzUYIdeMMmPN0PPXxn0Wkrf0tr4Vax4KJDOdA0skhQzAf7L gVEg2UFDKSnraNXkjEtCQr3ZVEbjt+HvHaWUhDQG+YScfXkZatY2x3mR6n16gdcz pPQRRSY//p3EvwzLcB2aZdIFKUpQLruLtbY8fljs9lvfJ3PdS8QdKCTU8yxLlzrB g/XfpWblrVewAqnQIYw671uT50UYZIyjfq4su/BxbPnE668xJB3wEw2xmhae3IES 8dC4yUfH+QvbD5ZRlaIlVTbhzjI2N08vdgOE3JPq8OpHY+xUaiN2g== X-ME-Sender: X-ME-Received: X-ME-Proxy-Cause: gggruggvucftvghtrhhoucdtuddrgedvvddrgeefgdehlecutefuodetggdotefrodftvf curfhrohhfihhlvgemucfhrghsthforghilhdpqfgfvfdpuffrtefokffrpgfnqfghnecu uegrihhlohhuthemuceftddtnecusecvtfgvtghiphhivghnthhsucdlqddutddtmdenuc fjughrpefhvffufffkgggtgfesthhqredttddtjeenucfhrhhomhepmfhonhhrrgguucfj ihhnshgvnhcuoehkohhnrhgrugdrhhhinhhsvghnsehfrghsthhmrghilhdrnhgvtheqne cuggftrfgrthhtvghrnhepuefhudffjeehleelleeljeefgfdvleetteejiedvgfeffeei ffdvffdtgedtieehnecuffhomhgrihhnpehgihhthhhusgdrtghomhenucevlhhushhtvg hrufhiiigvpedtnecurfgrrhgrmhepmhgrihhlfhhrohhmpehkohhnrhgrugdrhhhinhhs vghnsehfrghsthhmrghilhdrnhgvth X-ME-Proxy: Received: by mail.messagingengine.com (Postfix) with ESMTPA; Tue, 1 Feb 2022 09:05:41 -0500 (EST) From: Konrad Hinsen To: Guix Devel Subject: Investigating a reproducibility failure Date: Tue, 01 Feb 2022 15:05:40 +0100 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Received-SPF: pass client-ip=66.111.4.28; envelope-from=konrad.hinsen@fastmail.net; helo=out4-smtp.messagingengine.com X-Spam_score_int: -27 X-Spam_score: -2.8 X-Spam_bar: -- X-Spam_report: (-2.8 / 5.0 requ) BAYES_00=-1.9, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, FREEMAIL_FROM=0.001, RCVD_IN_DNSWL_LOW=-0.7, RCVD_IN_MSPIKE_H3=0.001, RCVD_IN_MSPIKE_WL=0.001, SPF_HELO_PASS=-0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: FLOW_IN X-Migadu-Country: US ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=yhetil.org; s=key1; t=1643730238; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=IOlKEBKk4tgUwgaJZY5lEpmTZmX+fVbVzvK7TQatf1Q=; b=DLE6xJLM5ykafhi4txRxiA3998yjiRfACIP3TmX/m3cQAQ53m14m7IyKfCTbanUcjCPbSg O4vbw0Y5TFn5yY4o1toATU8F4QpaTOB7vvncll0DMiTbrYEWfvIRjWvr5FlwEOZmlM8x2b EmtVRM8wLZ/Y90KScrUzz+P5OyFHFQ+kqUGwrg7ZkXSTqcb8J7xcl2zue3uHH+QqRMofpU 3et46NZiJ0U+rm/JxZQ3R26hM6rposRuw1ukLBUH2zPqgrZsE8S1ESp2DA2ZGGxjV08I/3 1M03lAgZBqGWb5c+YGLlRlDQqEAg2CXN/xoYkSx0GH+9/rtn8BjZ/4YmmbKnIg== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1643730238; a=rsa-sha256; cv=none; b=NXGl8XtoupDv2WjO6kKhlZi5X24pnLeTCW8UsqmUX98YOJAK3ZnhbfztexrjMkLY11EjP6 rNENtoeQdfJy4Y48RQHy0U8pL8zyyhuD/djTZSrxnWbezRKTeTqchj6aBfKO7cmDaNhp1N vCoo2Fnd6iS0sJu/TlZ6AWsmK0RKEOtI3tp1feS08bp95iqeD5hsKxrHadknlzLcxxDs+g s8Pe5edz8iRC67VfYeCQsu+5749zBSMDtwZouoaC3STt02lSzEJCzcw+/bTZzykRoWXzQP iDT1wOh4t5miDVh6Igmr7PSayZvcu0mCQIlpcX41rJVtqG/+UGimbfRSqcFTUQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=fastmail.net header.s=fm2 header.b=ZxYChhWb; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=WpVMqdQo; dmarc=fail reason="SPF not aligned (relaxed)" header.from=fastmail.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Spam-Score: -2.93 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=fastmail.net header.s=fm2 header.b=ZxYChhWb; dkim=fail ("headers rsa verify failed") header.d=messagingengine.com header.s=fm2 header.b=WpVMqdQo; dmarc=fail reason="SPF not aligned (relaxed)" header.from=fastmail.net (policy=none); spf=pass (aspmx1.migadu.com: domain of "guix-devel-bounces+larch=yhetil.org@gnu.org" designates 209.51.188.17 as permitted sender) smtp.mailfrom="guix-devel-bounces+larch=yhetil.org@gnu.org" X-Migadu-Queue-Id: 003EB3A232 X-Spam-Score: -2.93 X-Migadu-Scanner: scn0.migadu.com X-TUID: IXLHHqWWdYa6 Hi everyone, Two years ago, I published a supposedly reproducible computation, explaining how to re-run it at any time using Guix (it's at https://github.com/khinsen/rescience-ten-year-challenge-paper-3/). Yesterda= y, I got an e-mail from someone who tried, and failed. I tried myself, and failed as well. But I don't understand what's going on. To see the failure, do guix time-machine \ --commit=3D7357b3d7a52eb5db1674012c50d308d792741c48 \ -- build openblas The build log is attached, the first error is getarch_2nd.c: In function =E2=80=98main=E2=80=99: getarch_2nd.c:12:35: error: =E2=80=98SGEMM_DEFAULT_UNROLL_M=E2=80=99 und= eclared (first use in this function); did you mean =E2=80=98XGEMM_DEFAULT_U= NROLL_M=E2=80=99? printf("SGEMM_UNROLL_M=3D%d\n", SGEMM_DEFAULT_UNROLL_M); ^~~~~~~~~~~~~~~~~~~~~~ XGEMM_DEFAULT_UNROLL_M What makes this complicated is the DYNAMIC_ARCH feature of openblas that Guix uses on X86 architectures. I don't know the details of who this should work and why it could fail. In particular, I don't know if the source code file getarch=E2=82=82nd is supposed to be compiled at all if all goes well. I doubt we can do anything to fix the past, but I would like to understand what exactly went wrong here so we can make sure we do better in the future. Cheers, Konrad.