GNU bug report logs - #34276
‘guix system disk-image’ successfully builds a bad image

Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.

Package: guix; Severity: important; Reported by: Tobias Geerinckx-Rice <me@HIDDEN>; merged with #37164; dated Fri, 1 Feb 2019 15:59:01 UTC; Maintainer for guix is bug-guix@HIDDEN.
Merged 34276 37164. Request was from Ludovic Courtès <ludo@HIDDEN> to control <at> debbugs.gnu.org. Full text available.
Severity set to 'important' from 'normal' Request was from Ludovic Courtès <ludo@HIDDEN> to control <at> debbugs.gnu.org. Full text available.

Message received at 34276 <at> debbugs.gnu.org:


Received: (at 34276) by debbugs.gnu.org; 17 Mar 2019 12:09:47 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Sun Mar 17 08:09:47 2019
Received: from localhost ([127.0.0.1]:46988 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1h5Ubr-0002M1-2I
	for submit <at> debbugs.gnu.org; Sun, 17 Mar 2019 08:09:47 -0400
Received: from eggs.gnu.org ([209.51.188.92]:57936)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <ludo@HIDDEN>) id 1h5Ubo-0002Lp-Qz
 for 34276 <at> debbugs.gnu.org; Sun, 17 Mar 2019 08:09:45 -0400
Received: from fencepost.gnu.org ([2001:470:142:3::e]:43782)
 by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@HIDDEN>)
 id 1h5Ubj-00064T-7O; Sun, 17 Mar 2019 08:09:39 -0400
Received: from [2a01:e0a:1d:7270:af76:b9b:ca24:c465] (port=41608 helo=ribbon)
 by fencepost.gnu.org with esmtpsa (TLS1.2:RSA_AES_256_CBC_SHA1:256)
 (Exim 4.82) (envelope-from <ludo@HIDDEN>)
 id 1h5Ubi-0003s4-Jr; Sun, 17 Mar 2019 08:09:39 -0400
From: =?utf-8?Q?Ludovic_Court=C3=A8s?= <ludo@HIDDEN>
To: Tobias Geerinckx-Rice <me@HIDDEN>
Subject: Re: bug#34276: =?utf-8?Q?=E2=80=98guix?= system =?utf-8?Q?disk-im?=
 =?utf-8?Q?age=E2=80=99?= successfully builds a bad image
References: <877eejfqmb.fsf@nckx>
Date: Sun, 17 Mar 2019 13:09:35 +0100
In-Reply-To: <877eejfqmb.fsf@nckx> (Tobias Geerinckx-Rice's message of "Fri,
 01 Feb 2019 16:57:48 +0100")
Message-ID: <878sxdzoqo.fsf@HIDDEN>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)
MIME-Version: 1.0
Content-Type: multipart/mixed; boundary="=-=-="
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.2.x-3.x [generic]
X-Spam-Score: 0.0 (/)
X-Debbugs-Envelope-To: 34276
Cc: 34276 <at> debbugs.gnu.org
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -1.0 (-)

--=-=-=
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable

Hello,

Tobias Geerinckx-Rice <me@HIDDEN> skribis:

> ERROR: In procedure copy-file:
> In procedure copy-file: No space left on device
> ^MESC[Kcopying 422 store items
> boot program
> '/gnu/store/lbvrvrlqab4qpw9f907na445kppmknab-linux-vm-loader'
> terminated, rebooting
> [ 1071.512054] Unregister pv shared memory for cpu 0
> [ 1071.522414] reboot: Restarting system
> [ 1071.542285] reboot: machine restart
> successfully built
> /gnu/store/lbyq5790j5hfq3spbm76i1yw3sj41l8b-disk-image.drv

I investigated a bit.  I managed to get our code to cause a kernel panic
upon failure (patch below).  However I fail to turn that guest kernel
panic into a different QEMU exit code.

I tried to use the =E2=80=9Cpvpanic=E2=80=9D paravirtualized device (the =
=E2=80=98pvpanic.ko=E2=80=99
module in the guest, and =E2=80=9C-device pvpanic=E2=80=9D on the QEMU comm=
and line),
but unfortunately that thing is almost undocumented and I can=E2=80=99t get=
 it
to turn the panic into a non-zero exit code, nor do I know if it=E2=80=99s
possible.

Thoughts anyone?

The other option would be to create a special file in the 9p mount
that=E2=80=99s shared with the host upon success, but that seems a bit hack=
y.

Thanks,
Ludo=E2=80=99.


--=-=-=
Content-Type: text/x-patch; charset=utf-8
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

diff --git a/gnu/system/linux-initrd.scm b/gnu/system/linux-initrd.scm
index 983c6d81c8..cb29a656b9 100644
--- a/gnu/system/linux-initrd.scm
+++ b/gnu/system/linux-initrd.scm
@@ -1,5 +1,5 @@
 ;;; GNU Guix --- Functional package management for GNU
-;;; Copyright =C2=A9 2013, 2014, 2015, 2016, 2017, 2018 Ludovic Court=C3=
=A8s <ludo@HIDDEN>
+;;; Copyright =C2=A9 2013, 2014, 2015, 2016, 2017, 2018, 2019 Ludovic Cour=
t=C3=A8s <ludo@HIDDEN>
 ;;; Copyright =C2=A9 2016 Mark H Weaver <mhw@HIDDEN>
 ;;; Copyright =C2=A9 2016 Jan Nieuwenhuizen <janneke@HIDDEN>
 ;;; Copyright =C2=A9 2017 Mathieu Othacehe <m.othacehe@HIDDEN>
@@ -279,6 +279,7 @@ FILE-SYSTEMS."
             "isci")                      ;for SAS controllers like Intel C=
602
           '())
=20
+    "pvpanic"
     ,@virtio-modules))
=20
 (define-syntax %base-initrd-modules
diff --git a/gnu/system/vm.scm b/gnu/system/vm.scm
index e561285964..b671c74ab8 100644
--- a/gnu/system/vm.scm
+++ b/gnu/system/vm.scm
@@ -187,8 +187,9 @@ made available under the /xchg CIFS share."
                   ;; When USER-BUILDER succeeds, reboot (indicating a
                   ;; success), otherwise die, which causes a kernel panic
                   ;; ("Attempted to kill init!").
-                  #~(when (zero? (system* #$user-builder))
-                      (reboot))))
+                  #~(if (zero? (system* #$user-builder))
+                        (reboot)
+                        (exit 1))))
=20
   (let ((initrd (or initrd
                     (base-initrd file-systems

--=-=-=--




Information forwarded to bug-guix@HIDDEN:
bug#34276; Package guix. Full text available.

Message received at submit <at> debbugs.gnu.org:


Received: (at submit) by debbugs.gnu.org; 1 Feb 2019 15:58:30 +0000
From debbugs-submit-bounces <at> debbugs.gnu.org Fri Feb 01 10:58:30 2019
Received: from localhost ([127.0.0.1]:55165 helo=debbugs.gnu.org)
	by debbugs.gnu.org with esmtp (Exim 4.84_2)
	(envelope-from <debbugs-submit-bounces <at> debbugs.gnu.org>)
	id 1gpbD4-0003Qo-H5
	for submit <at> debbugs.gnu.org; Fri, 01 Feb 2019 10:58:30 -0500
Received: from eggs.gnu.org ([209.51.188.92]:42708)
 by debbugs.gnu.org with esmtp (Exim 4.84_2)
 (envelope-from <me@HIDDEN>) id 1gpbD1-0003QX-Ls
 for submit <at> debbugs.gnu.org; Fri, 01 Feb 2019 10:58:29 -0500
Received: from lists.gnu.org ([209.51.188.17]:51972)
 by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <me@HIDDEN>) id 1gpbCv-0006qZ-NF
 for submit <at> debbugs.gnu.org; Fri, 01 Feb 2019 10:58:22 -0500
Received: from eggs.gnu.org ([209.51.188.92]:57081)
 by lists.gnu.org with esmtp (Exim 4.71)
 (envelope-from <me@HIDDEN>) id 1gpbCu-0005lA-OC
 for bug-guix@HIDDEN; Fri, 01 Feb 2019 10:58:21 -0500
X-Spam-Checker-Version: SpamAssassin 3.3.2 (2011-06-06) on eggs.gnu.org
X-Spam-Level: 
X-Spam-Status: No, score=0.8 required=5.0 tests=BAYES_50 autolearn=disabled
 version=3.3.2
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
 (envelope-from <me@HIDDEN>) id 1gpbCt-0006pO-7e
 for bug-guix@HIDDEN; Fri, 01 Feb 2019 10:58:20 -0500
Received: from tobias.gr ([2001:470:7405::1]:43716)
 by eggs.gnu.org with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32)
 (Exim 4.71) (envelope-from <me@HIDDEN>) id 1gpbCs-0006lv-1m
 for bug-guix@HIDDEN; Fri, 01 Feb 2019 10:58:19 -0500
Received: by tobias.gr (OpenSMTPD) with ESMTP id 9420957b
 for <bug-guix@HIDDEN>; Fri, 1 Feb 2019 15:58:11 +0000 (UTC)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=tobias.gr; h=from:to
 :subject:date:message-id:mime-version:content-type
 :content-transfer-encoding; s=2018; i=me@HIDDEN; bh=ta/uen3kb
 +winSWcV//ucKwK+DejGLRUIjU3C6FNOk4=; b=bFPWea5WiVsHKDSggbAi5Ddgm
 2PLUWqQqQ2GDpGacUUsDNIQS/e/O3tqg70baUkMIQ2Ukm4bTfSSEt2mErCF78CUe
 +mXhIPaGGgsx5b2F/q4RiUU+AoVU5lwmHJmkC0hXxdepDTTB1JRf1Mq/I3vI81Os
 SF3h80+Pcph56lqox/DHf87M2nPsnX2Ejrp1eks1bd6B8h2dGmG8DKEqhzOmLX03
 G8aIPcbY7P9NxsuAiFiQ5oa+XSxl0UHObF58EWbY/iRlNjkaPJyy4OXpaDpWqfGF
 yDVnjuWnVgnT+13iwOkUFgrEHJW5fM1RSUYKOecISPgmAcIJ30Pcchq69tp/g==
Received: by submission.tobias.gr (OpenSMTPD) with ESMTPSA id 68eec9ce
 (TLSv1.2:ECDHE-RSA-AES256-GCM-SHA384:256:NO) for <bug-guix@HIDDEN>;
 Fri, 1 Feb 2019 15:58:07 +0000 (UTC)
From: Tobias Geerinckx-Rice <me@HIDDEN>
To: Bug Guix <bug-guix@HIDDEN>
Subject: =?utf-8?Q?=E2=80=98guix?= system =?utf-8?Q?disk-image=E2=80=99?=
 successfully builds a bad image
Date: Fri, 01 Feb 2019 16:57:48 +0100
Message-ID: <877eejfqmb.fsf@nckx>
MIME-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: quoted-printable
X-detected-operating-system: by eggs.gnu.org: Genre and OS details not
 recognized.
X-Received-From: 2001:470:7405::1
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x
X-Spam-Score: 0.9 (/)
X-Debbugs-Envelope-To: submit
X-BeenThere: debbugs-submit <at> debbugs.gnu.org
X-Mailman-Version: 2.1.18
Precedence: list
List-Id: <debbugs-submit.debbugs.gnu.org>
List-Unsubscribe: <https://debbugs.gnu.org/cgi-bin/mailman/options/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=unsubscribe>
List-Archive: <https://debbugs.gnu.org/cgi-bin/mailman/private/debbugs-submit/>
List-Post: <mailto:debbugs-submit <at> debbugs.gnu.org>
List-Help: <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=help>
List-Subscribe: <https://debbugs.gnu.org/cgi-bin/mailman/listinfo/debbugs-submit>, 
 <mailto:debbugs-submit-request <at> debbugs.gnu.org?subject=subscribe>
Errors-To: debbugs-submit-bounces <at> debbugs.gnu.org
Sender: "Debbugs-submit" <debbugs-submit-bounces <at> debbugs.gnu.org>
X-Spam-Score: -0.1 (/)

Hullo!

I wanted to install this =E2=80=98Guix=E2=80=99 thing that everyone's so hy=
ped up=20
about.

I have a small forgotten script in my ~/guix.git that runs:

  ./pre-inst-env guix system disk-image --fallback=20
  --image-size=3D1.5G \
	gnu/system/install.scm

This was written back when 1.5G was higher than the default.

Now it's much lower and too small to store all the Guix.  However,=20
the command completes =E2=80=98successfully=E2=80=99:

copying 422 store items  [#########:
In srfi/srfi-1.scm:
   466:18 19 (fold #<procedure 1a60440 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
          18 (_ #<procedure 1917270 at ice-9/ftw.scm:454:44 ()>=20
          #<p?> ?)
In ice-9/ftw.scm:
   452:32 17 (loop _ _ #(21 1706421 16749 3 0 0 0 4096 1548869386=20
   ?) ?)
In srfi/srfi-1.scm:
   466:18 16 (fold #<procedure 1a60160 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
          15 (_ #<procedure 1917240 at ice-9/ftw.scm:454:44 ()>=20
          #<p?> ?)
In ice-9/ftw.scm:
   452:32 14 (loop _ _ #(21 1739151 16749 3 0 0 0 4096 1548869386=20
   ?) ?)
In srfi/srfi-1.scm:
   466:18 13 (fold #<procedure 1b8f8c0 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
          12 (_ #<procedure 1b5bc90 at ice-9/ftw.scm:454:44 ()>=20
          #<p?> ?)
In ice-9/ftw.scm:
   452:32 11 (loop _ _ #(21 1772091 16749 13 0 0 0 4096 1548869389=20
   ?) ?)
In srfi/srfi-1.scm:
   466:18 10 (fold #<procedure 1b8f280 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
           9 (_ #<procedure 1a56750 at ice-9/ftw.scm:454:44 ()>=20
           #<p?> ?)
In ice-9/ftw.scm:
   452:32  8 (loop _ _ #(21 2132258 16749 98 0 0 0 4096 1548869432=20
   ?) ?)
In srfi/srfi-1.scm:
   466:18  7 (fold #<procedure 140dd20 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
           6 (_ #<procedure 19ea030 at ice-9/ftw.scm:454:44 ()>=20
           #<p?> ?)
In ice-9/ftw.scm:
   452:32  5 (loop _ _ #(21 4589344 16749 24 0 0 0 4096 1548869676=20
   ?) ?)
In srfi/srfi-1.scm:
   466:18  4 (fold #<procedure 1969540 at ice-9/ftw.scm:452:38=20
   (sub?> ?)
In unknown file:
           3 (_ #<procedure 1725750 at ice-9/ftw.scm:454:44 ()>=20
           #<p?> ?)
In ice-9/ftw.scm:
   482:39  2 (loop _ _ #(21 4589402 16749 3 0 0 0 4096 1548869687=20
   ?) ?)
In ./guix/build/utils.scm:
   312:27  1 (_=20
   "/gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a8-linux-?" ?)
In unknown file:
           0 (copy-file=20
           "/gnu/store/ricf82z3mqqrqim67jz3jlsglfm1g1a?" ?)

ERROR: In procedure copy-file:
In procedure copy-file: No space left on device
^MESC[Kcopying 422 store items
boot program=20
'/gnu/store/lbvrvrlqab4qpw9f907na445kppmknab-linux-vm-loader'=20
terminated, rebooting
[ 1071.512054] Unregister pv shared memory for cpu 0
[ 1071.522414] reboot: Restarting system
[ 1071.542285] reboot: machine restart
successfully built=20
/gnu/store/lbyq5790j5hfq3spbm76i1yw3sj41l8b-disk-image.drv
/gnu/store/dby523cy1l4wrqi8wwmk5ln9qr7g5mh8-disk-image

Kind regards,

T G-R

Sent from my GNU Emacs




Acknowledgement sent to Tobias Geerinckx-Rice <me@HIDDEN>:
New bug report received and forwarded. Copy sent to bug-guix@HIDDEN. Full text available.
Report forwarded to bug-guix@HIDDEN:
bug#34276; Package guix. Full text available.
Please note: This is a static page, with minimal formatting, updated once a day.
Click here to see this page with the latest information and nicer formatting.
Last modified: Mon, 25 Nov 2019 12:00:02 UTC

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997 nCipher Corporation Ltd, 1994-97 Ian Jackson.