GNU bug report logs - #42002
'guix pull' build processes get SIGKILL on ARMv7

Previous Next

Package: guix;

Reported by: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>

Date: Mon, 22 Jun 2020 12:29:01 UTC

Severity: normal

Done: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>

Bug is archived. No further changes may be made.

To add a comment to this bug, you must first unarchive it, by sending
a message to control AT debbugs.gnu.org, with unarchive 42002 in the body.
You can then email your comments to 42002 AT debbugs.gnu.org in the normal way.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox


Report forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Mon, 22 Jun 2020 12:29:01 GMT) Full text and rfc822 format available.

Acknowledgement sent to Léon Lain Delysid <leon.lain.delysid <at> gmail.com>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Mon, 22 Jun 2020 12:29:01 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>
To: bug-guix <at> gnu.org
Subject: Bug: Signal kill during build
Date: Mon, 22 Jun 2020 14:28:33 +0200
[Message part 1 (text/plain, inline)]
Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
(ARM like instruction set).
"guix pull" always results in failure with this message:

building
/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv...
 76% [#######################################################
   ]builder for
`/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv' failed
due to signal 9 (Killed)
build of /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv
failed
View build log at
'/var/log/guix/drvs/3h/as7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv.bz2'.
cannot build derivation
`/gnu/store/z728xwhxnaczkjky15939zjp4v2pvrld-guix-cli.drv': 1 dependencies
couldn't be built
building
/gnu/store/rmbf654gah845f3hbzn9hdamn3xn1s25-guix-config-source.drv...
cannot build derivation
`/gnu/store/1i3w8dgf5lzapb8l59i3lriskcd8q30c-guix-packages-base-modules.drv':
1 dependencies couldn't be built
cannot build derivation
`/gnu/store/4rzrb0xwgh2achzijn6fsdkhgqych6br-guix-packages.drv': 1
dependencies couldn't be built
cannot build derivation
`/gnu/store/4hk3v9q8nlzy18xg6cklmrv1x1hi1f4j-guix-system-tests.drv': 1
dependencies couldn't be built
cannot build derivation
`/gnu/store/ha53vvwh6v1d68v1kj5m43csinxlrflc-guix-system.drv': 1
dependencies couldn't be built
cannot build derivation
`/gnu/store/3q6g7ppayihip0wxhghwkq2nc0qg8kd9-guix-fae72ebb4-modules.drv': 1
dependencies couldn't be built
cannot build derivation
`/gnu/store/gl3gim8cd8p920iw3m5qwdyv6zvlhwnv-guix-fae72ebb4.drv': 1
dependencies couldn't be built
cannot build derivation
`/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv': 1 dependencies
couldn't be built
guix pull: error: build of
`/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv' failed1



What can I do? Some help would be much appreciated. Thanks!

Best regards,
Léon
[Message part 2 (text/html, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Mon, 22 Jun 2020 12:48:01 GMT) Full text and rfc822 format available.

Message #8 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>
Cc: 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Mon, 22 Jun 2020 15:47:08 +0300
[Message part 1 (text/plain, inline)]
On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote:
> Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
> (ARM like instruction set).
> "guix pull" always results in failure with this message:
> 
> building
> /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv...
>  76% [#######################################################
>    ]builder for
> `/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv' failed
> due to signal 9 (Killed)
> build of /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv
> failed
> View build log at
> '/var/log/guix/drvs/3h/as7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv.bz2'.
> cannot build derivation
> `/gnu/store/z728xwhxnaczkjky15939zjp4v2pvrld-guix-cli.drv': 1 dependencies
> couldn't be built
> building
> /gnu/store/rmbf654gah845f3hbzn9hdamn3xn1s25-guix-config-source.drv...
> cannot build derivation
> `/gnu/store/1i3w8dgf5lzapb8l59i3lriskcd8q30c-guix-packages-base-modules.drv':
> 1 dependencies couldn't be built
> cannot build derivation
> `/gnu/store/4rzrb0xwgh2achzijn6fsdkhgqych6br-guix-packages.drv': 1
> dependencies couldn't be built
> cannot build derivation
> `/gnu/store/4hk3v9q8nlzy18xg6cklmrv1x1hi1f4j-guix-system-tests.drv': 1
> dependencies couldn't be built
> cannot build derivation
> `/gnu/store/ha53vvwh6v1d68v1kj5m43csinxlrflc-guix-system.drv': 1
> dependencies couldn't be built
> cannot build derivation
> `/gnu/store/3q6g7ppayihip0wxhghwkq2nc0qg8kd9-guix-fae72ebb4-modules.drv': 1
> dependencies couldn't be built
> cannot build derivation
> `/gnu/store/gl3gim8cd8p920iw3m5qwdyv6zvlhwnv-guix-fae72ebb4.drv': 1
> dependencies couldn't be built
> cannot build derivation
> `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv': 1 dependencies
> couldn't be built
> guix pull: error: build of
> `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv' failed1
> 
> 
> 
> What can I do? Some help would be much appreciated. Thanks!
> 
> Best regards,
> Léon

The signal 9 (killed) makes me think a C++ program killed. I checked
wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
anything else running at the time? 'guix pull' can be resource
intensive, especially on lower powered machines.

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Mon, 22 Jun 2020 12:54:01 GMT) Full text and rfc822 format available.

Message #11 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Mon, 22 Jun 2020 14:53:16 +0200
[Message part 1 (text/plain, inline)]
Oh! Yes, of course, I see!
Yes, those little credit card sized one-chip computers are very low on
resources.
So I think it shouldn't build the programs itself but rather download the
binaries everytime I "guix pull". What command line option should I use to
only download the binaries instead of building everything myself? Could you
please give me the command?

On Mon, Jun 22, 2020, 14:47 Efraim Flashner <efraim <at> flashner.co.il> wrote:

> On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote:
> > Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
> > (ARM like instruction set).
> > "guix pull" always results in failure with this message:
> >
> > building
> > /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv...
> >  76% [#######################################################
> >    ]builder for
> > `/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv'
> failed
> > due to signal 9 (Killed)
> > build of
> /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv
> > failed
> > View build log at
> >
> '/var/log/guix/drvs/3h/as7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv.bz2'.
> > cannot build derivation
> > `/gnu/store/z728xwhxnaczkjky15939zjp4v2pvrld-guix-cli.drv': 1
> dependencies
> > couldn't be built
> > building
> > /gnu/store/rmbf654gah845f3hbzn9hdamn3xn1s25-guix-config-source.drv...
> > cannot build derivation
> >
> `/gnu/store/1i3w8dgf5lzapb8l59i3lriskcd8q30c-guix-packages-base-modules.drv':
> > 1 dependencies couldn't be built
> > cannot build derivation
> > `/gnu/store/4rzrb0xwgh2achzijn6fsdkhgqych6br-guix-packages.drv': 1
> > dependencies couldn't be built
> > cannot build derivation
> > `/gnu/store/4hk3v9q8nlzy18xg6cklmrv1x1hi1f4j-guix-system-tests.drv': 1
> > dependencies couldn't be built
> > cannot build derivation
> > `/gnu/store/ha53vvwh6v1d68v1kj5m43csinxlrflc-guix-system.drv': 1
> > dependencies couldn't be built
> > cannot build derivation
> >
> `/gnu/store/3q6g7ppayihip0wxhghwkq2nc0qg8kd9-guix-fae72ebb4-modules.drv': 1
> > dependencies couldn't be built
> > cannot build derivation
> > `/gnu/store/gl3gim8cd8p920iw3m5qwdyv6zvlhwnv-guix-fae72ebb4.drv': 1
> > dependencies couldn't be built
> > cannot build derivation
> > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv': 1 dependencies
> > couldn't be built
> > guix pull: error: build of
> > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv' failed1
> >
> >
> >
> > What can I do? Some help would be much appreciated. Thanks!
> >
> > Best regards,
> > Léon
>
> The signal 9 (killed) makes me think a C++ program killed. I checked
> wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
> anything else running at the time? 'guix pull' can be resource
> intensive, especially on lower powered machines.
>
> --
> Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted
>
[Message part 2 (text/html, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Mon, 22 Jun 2020 13:52:02 GMT) Full text and rfc822 format available.

Message #14 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Leo Famulari <leo <at> famulari.name>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>,
 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Mon, 22 Jun 2020 09:51:44 -0400
[Message part 1 (text/plain, inline)]
On Mon, Jun 22, 2020 at 03:47:08PM +0300, Efraim Flashner wrote:
> The signal 9 (killed) makes me think a C++ program killed. I checked
> wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
> anything else running at the time? 'guix pull' can be resource
> intensive, especially on lower powered machines.

I think it should be possible with 2GB of RAM, if you limit the number
of concurrent builds.

For example, something like `guix pull --max-jobs=1`.

And I think the memory requirements should decrease with the recently
released Guile 3.0.3:

https://lists.gnu.org/archive/html/guile-devel/2020-06/msg00008.html
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Tue, 23 Jun 2020 03:52:03 GMT) Full text and rfc822 format available.

Message #17 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: bonfacemunyoki <at> gmail.com (Bonface M. K.)
To: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>
Cc: Efraim Flashner <efraim <at> flashner.co.il>, 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Tue, 23 Jun 2020 03:38:39 +0300
Léon Lain Delysid <leon.lain.delysid <at> gmail.com> writes:

> Oh! Yes, of course, I see!
> Yes, those little credit card sized one-chip computers are very low on resources.
> So I think it shouldn't build the programs itself but rather download the binaries everytime I "guix pull". What command line
> option should I use to only download the binaries instead of building everything myself? Could you please give me the command?
>
You could try: `guix pull --substitute-urls="https://berlin.guixsd.org
https://ci.guix.gnu.org https://mirror.hydra.gnu.org"`. Since you are on
Debian, you should authorize the servers. More of the authorization
here:
https://guix.gnu.org/manual/en/html_node/Substitute-Server-Authorization.html.
You could always dry-run your commands to see if the substitutes work.

> On Mon, Jun 22, 2020, 14:47 Efraim Flashner <efraim <at> flashner.co.il> wrote:
>
>     On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote:
>     > Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
>     > (ARM like instruction set).
>     > "guix pull" always results in failure with this message:
>     >
>     > building
>     > /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv...
>     >  76% [#######################################################
>     >    ]builder for
>     > `/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv' failed
>     > due to signal 9 (Killed)
>     > build of /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv
>     > failed
>     > View build log at
>     > '/var/log/guix/drvs/3h/as7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv.bz2'.
>     > cannot build derivation
>     > `/gnu/store/z728xwhxnaczkjky15939zjp4v2pvrld-guix-cli.drv': 1 dependencies
>     > couldn't be built
>     > building
>     > /gnu/store/rmbf654gah845f3hbzn9hdamn3xn1s25-guix-config-source.drv...
>     > cannot build derivation
>     > `/gnu/store/1i3w8dgf5lzapb8l59i3lriskcd8q30c-guix-packages-base-modules.drv':
>     > 1 dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/4rzrb0xwgh2achzijn6fsdkhgqych6br-guix-packages.drv': 1
>     > dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/4hk3v9q8nlzy18xg6cklmrv1x1hi1f4j-guix-system-tests.drv': 1
>     > dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/ha53vvwh6v1d68v1kj5m43csinxlrflc-guix-system.drv': 1
>     > dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/3q6g7ppayihip0wxhghwkq2nc0qg8kd9-guix-fae72ebb4-modules.drv': 1
>     > dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/gl3gim8cd8p920iw3m5qwdyv6zvlhwnv-guix-fae72ebb4.drv': 1
>     > dependencies couldn't be built
>     > cannot build derivation
>     > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv': 1 dependencies
>     > couldn't be built
>     > guix pull: error: build of
>     > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv' failed1
>     >
>     >
>     >
>     > What can I do? Some help would be much appreciated. Thanks!
>     >
>     > Best regards,
>     > Léon
>    
>     The signal 9 (killed) makes me think a C++ program killed. I checked
>     wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
>     anything else running at the time? 'guix pull' can be resource
>     intensive, especially on lower powered machines.
>    
>     --
>     Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
>     GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
>     Confidentiality cannot be guaranteed on emails sent or received unencrypted

-- 
Bonface M. K. (https://www.bonfacemunyoki.com)
One Divine Emacs To Rule Them All
GPG key = D4F09EB110177E03C28E2FE1F5BBAE1E0392253F




Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Tue, 23 Jun 2020 05:59:02 GMT) Full text and rfc822 format available.

Message #20 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Efraim Flashner <efraim <at> flashner.co.il>
To: "Bonface M. K." <bonfacemunyoki <at> gmail.com>
Cc: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>,
 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Tue, 23 Jun 2020 08:57:52 +0300
[Message part 1 (text/plain, inline)]
On Tue, Jun 23, 2020 at 03:38:39AM +0300, Bonface M. K. wrote:
> Léon Lain Delysid <leon.lain.delysid <at> gmail.com> writes:
> 
> > Oh! Yes, of course, I see!
> > Yes, those little credit card sized one-chip computers are very low on resources.
> > So I think it shouldn't build the programs itself but rather download the binaries everytime I "guix pull". What command line
> > option should I use to only download the binaries instead of building everything myself? Could you please give me the command?
> >
> You could try: `guix pull --substitute-urls="https://berlin.guixsd.org
> https://ci.guix.gnu.org https://mirror.hydra.gnu.org"`. Since you are on
> Debian, you should authorize the servers. More of the authorization
> here:
> https://guix.gnu.org/manual/en/html_node/Substitute-Server-Authorization.html.
> You could always dry-run your commands to see if the substitutes work.

Actually, berlin.guixsd.org and ci.guix.gnu.org are the same server, and
mirror.hydra.gnu.org was decommissioned a while ago. The second server
for substitutes is https://bayfront.guix.gnu.org.

I think the best option would be to make sure you run 'guix pull'
targeting a derivation which has substitutes. If you check here¹ you can
see if there's a substitute already available for armhf-linux and run
'guix pull --commit=the-commit-listed-in-the-link'. Right now, that
would be 42a2ee1f9294614bd85892f2cc7318afb80b174c, which is actually the
latest commit.

¹ https://ci.guix.gnu.org/jobset/guix-modular-master

> 
> > On Mon, Jun 22, 2020, 14:47 Efraim Flashner <efraim <at> flashner.co.il> wrote:
> >
> >     On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote:
> >     > Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
> >     > (ARM like instruction set).
> >     > "guix pull" always results in failure with this message:
> >     >
> >     > building
> >     > /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv...
> >     >  76% [#######################################################
> >     >    ]builder for
> >     > `/gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv' failed
> >     > due to signal 9 (Killed)
> >     > build of /gnu/store/3has7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv
> >     > failed
> >     > View build log at
> >     > '/var/log/guix/drvs/3h/as7cgd39q9jb9a78vdzjcyycsa6z96-guix-packages-base.drv.bz2'.
> >     > cannot build derivation
> >     > `/gnu/store/z728xwhxnaczkjky15939zjp4v2pvrld-guix-cli.drv': 1 dependencies
> >     > couldn't be built
> >     > building
> >     > /gnu/store/rmbf654gah845f3hbzn9hdamn3xn1s25-guix-config-source.drv...
> >     > cannot build derivation
> >     > `/gnu/store/1i3w8dgf5lzapb8l59i3lriskcd8q30c-guix-packages-base-modules.drv':
> >     > 1 dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/4rzrb0xwgh2achzijn6fsdkhgqych6br-guix-packages.drv': 1
> >     > dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/4hk3v9q8nlzy18xg6cklmrv1x1hi1f4j-guix-system-tests.drv': 1
> >     > dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/ha53vvwh6v1d68v1kj5m43csinxlrflc-guix-system.drv': 1
> >     > dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/3q6g7ppayihip0wxhghwkq2nc0qg8kd9-guix-fae72ebb4-modules.drv': 1
> >     > dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/gl3gim8cd8p920iw3m5qwdyv6zvlhwnv-guix-fae72ebb4.drv': 1
> >     > dependencies couldn't be built
> >     > cannot build derivation
> >     > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv': 1 dependencies
> >     > couldn't be built
> >     > guix pull: error: build of
> >     > `/gnu/store/85vkb01zgkfmy902m352hjcv35d7hzqb-profile.drv' failed1
> >     >
> >     >
> >     >
> >     > What can I do? Some help would be much appreciated. Thanks!
> >     >
> >     > Best regards,
> >     > Léon
> >    
> >     The signal 9 (killed) makes me think a C++ program killed. I checked
> >     wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
> >     anything else running at the time? 'guix pull' can be resource
> >     intensive, especially on lower powered machines.
> >    
> >     --
> >     Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
> >     GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
> >     Confidentiality cannot be guaranteed on emails sent or received unencrypted
> 
> -- 
> Bonface M. K. (https://www.bonfacemunyoki.com)
> One Divine Emacs To Rule Them All
> GPG key = D4F09EB110177E03C28E2FE1F5BBAE1E0392253F

-- 
Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
Confidentiality cannot be guaranteed on emails sent or received unencrypted
[signature.asc (application/pgp-signature, inline)]

Changed bug title to ''guix pull' build processes get SIGKILL on ARMv7' from 'Bug: Signal kill during build' Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Tue, 23 Jun 2020 09:18:02 GMT) Full text and rfc822 format available.

Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Tue, 23 Jun 2020 14:04:01 GMT) Full text and rfc822 format available.

Message #25 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Bengt Richter <bokr <at> bokr.com>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>,
 "Bonface M. K." <bonfacemunyoki <at> gmail.com>, 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Tue, 23 Jun 2020 16:03:03 +0200
Hi all,

On +2020-06-23 08:57:52 +0300, Efraim Flashner wrote:
> On Tue, Jun 23, 2020 at 03:38:39AM +0300, Bonface M. K. wrote:
> > Léon Lain Delysid <leon.lain.delysid <at> gmail.com> writes:
> > 
> > > Oh! Yes, of course, I see!
> > > Yes, those little credit card sized one-chip computers are very low on resources.
> > > So I think it shouldn't build the programs itself but rather download the binaries everytime I "guix pull". What command line
> > > option should I use to only download the binaries instead of building everything myself? Could you please give me the command?
> > >
> > You could try: `guix pull --substitute-urls="https://berlin.guixsd.org
> > https://ci.guix.gnu.org https://mirror.hydra.gnu.org"`. Since you are on
> > Debian, you should authorize the servers. More of the authorization
> > here:
> > https://guix.gnu.org/manual/en/html_node/Substitute-Server-Authorization.html.
> > You could always dry-run your commands to see if the substitutes work.
> 
> Actually, berlin.guixsd.org and ci.guix.gnu.org are the same server, and
> mirror.hydra.gnu.org was decommissioned a while ago. The second server
> for substitutes is https://bayfront.guix.gnu.org.
>

If one has a powerful-enough pc or laptop on local ethernet,
is there a package that would set up a local user as simple builder-server
that the pi could download binary substitutes from?

Such a local server might have other uses as well, if browser-friendly :)
I'm sure you don't need help imagining that :)

> I think the best option would be to make sure you run 'guix pull'
> targeting a derivation which has substitutes. If you check here¹ you can
> see if there's a substitute already available for armhf-linux and run
> 'guix pull --commit=the-commit-listed-in-the-link'. Right now, that
> would be 42a2ee1f9294614bd85892f2cc7318afb80b174c, which is actually the
> latest commit.
> 
> ¹ https://ci.guix.gnu.org/jobset/guix-modular-master
> 
> > 
> > > On Mon, Jun 22, 2020, 14:47 Efraim Flashner <efraim <at> flashner.co.il> wrote:
> > >
> > >     On Mon, Jun 22, 2020 at 02:28:33PM +0200, Léon Lain Delysid wrote:
> > >     > Hello! I'm having a problem on a Banana Pi M3 that runs Debian 10 Buster
> > >     > (ARM like instruction set).
> > >     > "guix pull" always results in failure with this message:
> > >     >
[...]
> > >     >
> > >     > What can I do? Some help would be much appreciated. Thanks!
> > >     >
> > >     > Best regards,
> > >     > Léon
> > >    
> > >     The signal 9 (killed) makes me think a C++ program killed. I checked
> > >     wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
> > >     anything else running at the time? 'guix pull' can be resource
> > >     intensive, especially on lower powered machines.
> > >    
> > >     --
> > >     Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
> > >     GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
> > >     Confidentiality cannot be guaranteed on emails sent or received unencrypted
> > 
> > -- 
> > Bonface M. K. (https://www.bonfacemunyoki.com)
> > One Divine Emacs To Rule Them All
> > GPG key = D4F09EB110177E03C28E2FE1F5BBAE1E0392253F
>
Above sig reminds me:

BTW: if your Divine Emacs, like mine on debian-based distro , has recently been disrupted by Alt-Shift,
(probably because you have two kbd languages and emacs Alt '<' is Alt-Shift-comma on your en kbd)
stack-overflow had the recipe that worked for me. tl;dr in snip:

    disabling alt-shift toggling of us/sv ..
    read old value, write new value, read new value to check:
--8<---------------cut here---------------start------------->8---
    dconf read /org/gnome/desktop/input-sources/xkb-options
    ['grp:alt_shift_toggle', 'grp_led:scroll']
    dconf write /org/gnome/desktop/input-sources/xkb-options "['grp_led:scroll']"
    dconf read /org/gnome/desktop/input-sources/xkb-options
    ['grp_led:scroll']
--8<---------------cut here---------------end--------------->8---

Please excuse the off-topic BTW, but that bug cost me a lot of time,
so I hope that's useful to someone. Meta-question: how should one offer
hints like this so we can find them easily?

Seems like we need browsable open-gis/open-streetmap to map the ux territory and its potholes ;)

> -- 
> Efraim Flashner   <efraim <at> flashner.co.il>   אפרים פלשנר
> GPG key = A28B F40C 3E55 1372 662D  14F7 41AA E7DC CA3D 8351
> Confidentiality cannot be guaranteed on emails sent or received unencrypted

-- 
Regards,
Bengt Richter




Information forwarded to bug-guix <at> gnu.org:
bug#42002; Package guix. (Tue, 23 Jun 2020 21:27:02 GMT) Full text and rfc822 format available.

Message #28 received at 42002 <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Leo Famulari <leo <at> famulari.name>
Cc: Léon Lain Delysid <leon.lain.delysid <at> gmail.com>,
 Efraim Flashner <efraim <at> flashner.co.il>, 42002 <at> debbugs.gnu.org
Subject: Re: bug#42002: Bug: Signal kill during build
Date: Tue, 23 Jun 2020 23:26:11 +0200
Leo Famulari <leo <at> famulari.name> skribis:

> On Mon, Jun 22, 2020 at 03:47:08PM +0300, Efraim Flashner wrote:
>> The signal 9 (killed) makes me think a C++ program killed. I checked
>> wikipedia and it says the Banana Pi M3 has 2GB of RAM. Was there
>> anything else running at the time? 'guix pull' can be resource
>> intensive, especially on lower powered machines.
>
> I think it should be possible with 2GB of RAM, if you limit the number
> of concurrent builds.
>
> For example, something like `guix pull --max-jobs=1`.
>
> And I think the memory requirements should decrease with the recently
> released Guile 3.0.3:
>
> https://lists.gnu.org/archive/html/guile-devel/2020-06/msg00008.html

For the record, I’ve successfully run the following command on my A20
OLinuXino with a bit less than 1 GiB of RAM:

  guix pull --commit=380c3e459b6ebf0077008886954ff881a0cc7924

It takes ages, but fortunately substitutes were available for this
revision.

Before substitutes were available, it went OOM (out of memory) as in
your case while building guix-system.drv.

‘guix pull’ is still barely usable on these low-end devices, though with
Guile 3.0.3 it’s better.

Ludo’.




Reply sent to Maxim Cournoyer <maxim.cournoyer <at> gmail.com>:
You have taken responsibility. (Thu, 14 Jul 2022 03:24:02 GMT) Full text and rfc822 format available.

Notification sent to Léon Lain Delysid <leon.lain.delysid <at> gmail.com>:
bug acknowledged by developer. (Thu, 14 Jul 2022 03:24:02 GMT) Full text and rfc822 format available.

Message #33 received at 42002-done <at> debbugs.gnu.org (full text, mbox):

From: Maxim Cournoyer <maxim.cournoyer <at> gmail.com>
To: Efraim Flashner <efraim <at> flashner.co.il>
Cc: 42002-done <at> debbugs.gnu.org,
 Léon Lain Delysid <leon.lain.delysid <at> gmail.com>,
 "Bonface M. K." <bonfacemunyoki <at> gmail.com>
Subject: Re: bug#42002: 'guix pull' build processes get SIGKILL on ARMv7
Date: Wed, 13 Jul 2022 23:23:04 -0400
Hi,

Efraim Flashner <efraim <at> flashner.co.il> writes:

> On Tue, Jun 23, 2020 at 03:38:39AM +0300, Bonface M. K. wrote:
>> Léon Lain Delysid <leon.lain.delysid <at> gmail.com> writes:
>> 
>> > Oh! Yes, of course, I see!
>> > Yes, those little credit card sized one-chip computers are very low on resources.
>> > So I think it shouldn't build the programs itself but rather
>> > download the binaries everytime I "guix pull". What command line
>> > option should I use to only download the binaries instead of
>> > building everything myself? Could you please give me the command?
>> >
>> You could try: `guix pull --substitute-urls="https://berlin.guixsd.org
>> https://ci.guix.gnu.org https://mirror.hydra.gnu.org"`. Since you are on
>> Debian, you should authorize the servers. More of the authorization
>> here:
>> https://guix.gnu.org/manual/en/html_node/Substitute-Server-Authorization.html.
>> You could always dry-run your commands to see if the substitutes work.
>
> Actually, berlin.guixsd.org and ci.guix.gnu.org are the same server, and
> mirror.hydra.gnu.org was decommissioned a while ago. The second server
> for substitutes is https://bayfront.guix.gnu.org.
>
> I think the best option would be to make sure you run 'guix pull'
> targeting a derivation which has substitutes. If you check here¹ you can
> see if there's a substitute already available for armhf-linux and run
> 'guix pull --commit=the-commit-listed-in-the-link'. Right now, that
> would be 42a2ee1f9294614bd85892f2cc7318afb80b174c, which is actually the
> latest commit.
>
> ¹ https://ci.guix.gnu.org/jobset/guix-modular-master

Indeed.  To help with this, you could wrap your main guix channel with
the `channel-with-substitutes-available'; see info '(guix) Channels with
Substitutes'.

Thanks,

Closing.

Maxim




bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Thu, 11 Aug 2022 11:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 1 year and 258 days ago.

Previous Next


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