From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp10.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms0.migadu.com with LMTPS id wHhXEMY7+2GLcQEAgWs5BA (envelope-from ) for ; Thu, 03 Feb 2022 03:19:50 +0100 Received: from aspmx1.migadu.com ([2001:41d0:2:bcc0::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp10.migadu.com with LMTPS id wOrxCMY7+2HX1QAAG6o9tA (envelope-from ) for ; Thu, 03 Feb 2022 03:19:50 +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 9F1B913E80 for ; Thu, 3 Feb 2022 03:19:49 +0100 (CET) Received: from localhost ([::1]:59260 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1nFRiu-000827-5Y for larch@yhetil.org; Wed, 02 Feb 2022 21:19:48 -0500 Received: from eggs.gnu.org ([209.51.188.92]:48042) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1nFRiU-00081h-4M for guix-devel@gnu.org; Wed, 02 Feb 2022 21:19:22 -0500 Received: from [2a00:1450:4864:20::42d] (port=35335 helo=mail-wr1-x42d.google.com) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1nFRiS-0008Ba-8i; Wed, 02 Feb 2022 21:19:21 -0500 Received: by mail-wr1-x42d.google.com with SMTP id j25so1319703wrb.2; Wed, 02 Feb 2022 18:19:19 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=from:to:cc:subject:in-reply-to:references:date:message-id :mime-version:content-transfer-encoding; bh=+6xq2fRSytYfcY6czuKwm4zxAsYJMjXsjZlqGKOGEsM=; b=dNLQt0iaN4sH+R14tpHXqEPfbexjzg5/p7rYLAeg2Yrcx04yeDdiP0x33iE3Za0F0e PPXuEcivKynVNmGmENfw9s49LwzZ6P4QV+PsFVYrH3vwPHzyTTjLzHRRU+o4OEL78FbW wH56T6aKAm3BY++VNC0UBxSwrkRlh+tfd57r5KgGgLesBlu7tjBAC5wV2YiF2W81KyDu sNUCMbF0pIgTyWn8Uhf5tBbd91bSY9d8/wAzDpEzqG7ak7DH66usom0o7vX/ujmO9nQY BsKgHFZaionLRuaIVwMIQTYX4ugCP/4thAZGhyQv5HgUfbbNAyZSlAbiY7f5RTBEB92f 48Iw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:from:to:cc:subject:in-reply-to:references:date :message-id:mime-version:content-transfer-encoding; bh=+6xq2fRSytYfcY6czuKwm4zxAsYJMjXsjZlqGKOGEsM=; b=qP2QFDoCg0Uv5xzY90qZmnzq/CxNRCj5FptC0lnpfD1WWVG42oKbylnlaQ2DvUX7iM rss6FvARmuhb3DhnCGLoAcReQw5p3HIBDlrJVaahdTUXcEJsAvSYGNEi46WguZY7p8ys c3RjwQK8JLw/v7OErqK7CWwE7JW2yyPNM4l7ztgAIwGa8wwrr5d4XeUpV3V7fwFDFH6d auUnuqUZdd55tmH4Ld+6KkDbOezgyOSInICfjLV+MEnNa9CId+8VBrjV6UVGo//f/dSZ Kktq924C8mvQx4KwRC7kvzNxP+RKYesXQhmPzLv5uviE+aJnU38jBWyQpfTC8eec1ZNh 0eqQ== X-Gm-Message-State: AOAM532wiyoBLTY31B5mi2RbqnmAmnCppsZ04JSoP7GPoUsX7iry/URW jx2f4dgN2ERAxA3esA5ICIWdls88/xA= X-Google-Smtp-Source: ABdhPJyJRfhMRKCjvGf9+ALSCaBqKeGgusg8nKBuFIiu+5SvRIznPZkhTcRtVAhNHob4+ZfEmS8keA== X-Received: by 2002:adf:e7cc:: with SMTP id e12mr27108113wrn.637.1643854757781; Wed, 02 Feb 2022 18:19:17 -0800 (PST) Received: from lili ([2a01:e0a:59b:9120:65d2:2476:f637:db1e]) by smtp.gmail.com with ESMTPSA id l10sm62116wry.79.2022.02.02.18.19.16 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Wed, 02 Feb 2022 18:19:16 -0800 (PST) From: zimoun To: guix-devel@gnu.org Subject: Re: weird OpenBLAS time-machine In-Reply-To: <87k0ed9pb2.fsf@gmail.com> References: <87k0ed9pb2.fsf@gmail.com> Date: Thu, 03 Feb 2022 03:19:08 +0100 Message-ID: <86r18k1ylf.fsf@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable X-Host-Lookup-Failed: Reverse DNS lookup failed for 2a00:1450:4864:20::42d (failed) Received-SPF: pass client-ip=2a00:1450:4864:20::42d; envelope-from=zimon.toutoune@gmail.com; helo=mail-wr1-x42d.google.com X-Spam_score_int: -12 X-Spam_score: -1.3 X-Spam_bar: - X-Spam_report: (-1.3 / 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, PDS_HP_HELO_NORDNS=0.001, RCVD_IN_DNSWL_NONE=-0.0001, RDNS_NONE=0.793, SPF_HELO_NONE=0.001, SPF_PASS=-0.001, T_SCC_BODY_TEXT_LINE=-0.01 autolearn=no 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: , Cc: maxim.cournoyer@gmail.com 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=1643854789; h=from:from:sender:sender:reply-to:subject:subject:date:date: message-id:message-id:to:to:cc:cc:mime-version:mime-version: content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:list-id:list-help: list-unsubscribe:list-subscribe:list-post:dkim-signature; bh=+6xq2fRSytYfcY6czuKwm4zxAsYJMjXsjZlqGKOGEsM=; b=HxUy8SPAnpsaWrPYnw5zNO8dIsZFsiIaJIi241Z5HFHrb2WfgG2FB0MkHXmNtGx0pLQbNs qxqKlv++fobRcaWe78sUx9BOyA2YjLLs5/GKvmn1Fub2YFrwB+j0Xl9bFNBaRi3P2dgCZQ AN5Q6DO/o0oiGt+L16Am8lQx3pyhV0JDGzwDa3DwCgKUAWp3ec840xq34QjL6sTb3RaNy8 4YHwWYONFKm7+mNWb8GUAnyDDZDQeaOTE9CR0+Bm0rbFVF9f5OV7x3aT/T9mXx+JOi5YsI bZbD6zW2c2rQN3AQwbv/38Y7DhsBeXJhxGlGA1pAxILrqqDoaii4ozxbqUD/eA== ARC-Seal: i=1; s=key1; d=yhetil.org; t=1643854789; a=rsa-sha256; cv=none; b=vDepoIrMWA74LjMtA6+DCQwYcGx5PMHUxwokOCmwI/bVbPiYDAh3vqkLvljsTREIn9u5x8 UXec4X0xn+XWTcM+FNdIqVbXaO7jvC/zx06Gr7sQySsE+IJgDXV85trijOzK5mLw4QMSXO tdhKXntdz3jtdXluwUjGbJeDP+3aglXrF42vxLWxWrvdiVnvnfFQiBd/j8PLHNwtIHovS9 deuiLJDi+TQzJ+wokxMd5LmbU1fX2SKVeqlp6LZKSsJFhCjhFSeyQu0UTtdIHqeZPiIo+R VXZjSA5/HcGsjGOzSQddvGI5mLfo+D4bVelXPpYeVuqFKp+DgKeHe5pvrrl7LQ== ARC-Authentication-Results: i=1; aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=dNLQt0ia; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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.03 Authentication-Results: aspmx1.migadu.com; dkim=fail ("headers rsa verify failed") header.d=gmail.com header.s=20210112 header.b=dNLQt0ia; dmarc=fail reason="SPF not aligned (relaxed)" header.from=gmail.com (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: 9F1B913E80 X-Spam-Score: -2.03 X-Migadu-Scanner: scn1.migadu.com X-TUID: Z/IqZJ0ZVYDP Hi, On Wed, 02 Feb 2022 at 18:00, zimoun wrote: > --8<---------------cut here---------------start------------->8--- [...] > $ guix time-machine --commit=3D4b1538e6ef -- show openblas | recsel -P ve= rsion > 0.3.9 > --8<---------------cut here---------------end--------------->8--- The issue is because concurrency. If two time-machines are run concurrently, they both update ~/.cache/guix/checkouts/ and the end result is hard to predict. Well, I probably ran inside one terminal =E2=80=9Cguix time-machine --commit=3DXXXX -- help=E2=80=9D where XXXX a commit with openblas@0.3.9; a= nd in the same time inside another terminal, =E2=80=9Cguix time-machine --commit=3D4b1538e6ef -- help=E2=80=9D. Depending on =E2=80=9Cthe same tim= e=E2=80=9D, the state of the checkout ~/.cache/guix/checkouts/pjmkglp4t7znuugeurpurzikxq3tnlaywmisyr27shj7apsnalwq used by the time-machine at 4b1538e6ef was the state for the commit XXXX. Then, all is messed! Somehow, IIUC the code behind, what is missing is a lock when updating the cached checkout to prevent concurrent unrelated updates. For sure, on 3 independent other machines, and after GC the initial machine, I get the same error for this commit 4b1538e6ef: --8<---------------cut here---------------start------------->8--- (repl-version 0 1 1) Generating package cache for '/gnu/store/9zq283291ak72xrvlhax89gyl578kbbg-p= rofile'... (exception unbound-variable (value #f) (value "Unbound variable: ~S") (valu= e (rust-1.52)) (value #f)) --8<---------------cut here---------------end--------------->8--- Sorry for the noise. Cheers, simon