GNU bug report logs - #27652
Multi-threaded compilation of 'syntax-parameterize' forms crashes

Previous Next

Package: guile;

Reported by: Joshua Sierles <joshua <at> joshua.si>

Date: Tue, 11 Jul 2017 16:06:02 UTC

Severity: serious

Tags: unreproducible

Merged with 27476, 28144, 31294, 31367, 31740, 32385, 34112, 34319

Done: Ludovic Courtès <ludo <at> gnu.org>

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 27652 in the body.
You can then email your comments to 27652 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#27652; Package guix. (Tue, 11 Jul 2017 16:06:02 GMT) Full text and rfc822 format available.

Acknowledgement sent to Joshua Sierles <joshua <at> joshua.si>:
New bug report received and forwarded. Copy sent to bug-guix <at> gnu.org. (Tue, 11 Jul 2017 16:06:02 GMT) Full text and rfc822 format available.

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

From: Joshua Sierles <joshua <at> joshua.si>
To: bug-guix <at> gnu.org
Subject: guix pull --url fails to build - guix pull works
Date: Tue, 11 Jul 2017 18:04:47 +0200
I tried 'guix pull' and it worked fine. Then, tried using a git commit
from master's tip, which should be the same contents. This link contains
the outputs for both attempts.

https://gist.github.com/jsierles/0177424733612947d61af8533084841e

-- 
  Joshua Sierles
  joshua <at> joshua.si




Information forwarded to bug-guix <at> gnu.org:
bug#27652; Package guix. (Tue, 11 Jul 2017 16:36:02 GMT) Full text and rfc822 format available.

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

From: Leo Famulari <leo <at> famulari.name>
To: Joshua Sierles <joshua <at> joshua.si>
Cc: 27652 <at> debbugs.gnu.org
Subject: Re: bug#27652: guix pull --url fails to build - guix pull works
Date: Tue, 11 Jul 2017 12:35:03 -0400
[Message part 1 (text/plain, inline)]
On Tue, Jul 11, 2017 at 06:04:47PM +0200, Joshua Sierles wrote:
> I tried 'guix pull' and it worked fine. Then, tried using a git commit
> from master's tip, which should be the same contents. This link contains
> the outputs for both attempts.
> 
> https://gist.github.com/jsierles/0177424733612947d61af8533084841e

For everyone's reference, the failing command was:

$ guix pull --url=https://git.savannah.gnu.org/cgit/guix.git/snapshot/d5ff67f411a6a91f2cfa589d185fbc025046f1db.tar.gz

It failed like this:

------
loading...	 25.4% of 607 filesrandom seed for tests: 1499787464
loading...	 99.8% of 607 files
compiling...	 88.8% of 607 files
compiling...	 89.3% of 607 filesice-9/threads.scm:289:22: In procedure loop:
ice-9/threads.scm:289:22: Syntax error:
guix/scripts.scm:116:4: >>=: >>= (bind) used outside of 'with-monad' in form (>>= (package->derivation package #:graft? (and (not dry-run?) grafting?)) (lambda (t-24216c5d7b7f7de-597) (mlet* %store-monad () (let ((derivation t-24216c5d7b7f7de-597)) (mbegin %store-monad (maybe-build (list derivation) #:use-substitutes? use-substitutes? #:dry-run? dry-run?) (return (show-derivation-outputs derivation)))))))
------
[signature.asc (application/pgp-signature, inline)]

Information forwarded to bug-guix <at> gnu.org:
bug#27652; Package guix. (Tue, 11 Jul 2017 16:49:02 GMT) Full text and rfc822 format available.

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

From: Joshua Sierles <joshua <at> joshua.si>
To: 27652 <at> debbugs.gnu.org
Subject: multi-core server could be the cause
Date: Tue, 11 Jul 2017 18:48:41 +0200
As Ludo mentioned on IRC, this issue could be caused by parallel
compilation on our 64-core server. At first it seemed related to using
the '--url' option, but I just was able to reproduce this problem using
only 'guix pull'. I'll look into how I can reduce the number of cores
used for compilation and report back.

If this is the case, would this still be considered a bug?

-- 
  Joshua Sierles
  joshua <at> joshua.si




Information forwarded to bug-guix <at> gnu.org:
bug#27652; Package guix. (Sat, 26 Aug 2017 10:01:01 GMT) Full text and rfc822 format available.

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

From: ludo <at> gnu.org (Ludovic Courtès)
To: Joshua Sierles <joshua <at> joshua.si>
Cc: 27652 <at> debbugs.gnu.org
Subject: Re: bug#27652: multi-core server could be the cause
Date: Sat, 26 Aug 2017 12:00:19 +0200
Joshua Sierles <joshua <at> joshua.si> skribis:

> As Ludo mentioned on IRC, this issue could be caused by parallel
> compilation on our 64-core server. At first it seemed related to using
> the '--url' option, but I just was able to reproduce this problem using
> only 'guix pull'. I'll look into how I can reduce the number of cores
> used for compilation and report back.
>
> If this is the case, would this still be considered a bug?

Marius reported a similar issue, which suggests it may indeed have to do
with parallel compilation on many-core machines:

  https://lists.gnu.org/archive/html/guix-devel/2017-08/msg00206.html

(That’s a bug, of course.)

Ludo’.




Severity set to 'important' from 'normal' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Sat, 26 Aug 2017 10:01:02 GMT) Full text and rfc822 format available.

Changed bug title to 'Compilation with 'guix pull' crashes non-deterministically on many-core machines' from 'guix pull --url fails to build - guix pull works' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Sat, 26 Aug 2017 10:03:02 GMT) Full text and rfc822 format available.

Merged 27476 27652. Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Sat, 26 Aug 2017 14:15:02 GMT) Full text and rfc822 format available.

Changed bug title to 'Multi-threaded compilation of 'syntax-parameterize' forms crashes' from 'Compilation with 'guix pull' crashes non-deterministically on many-core machines' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Mon, 30 Apr 2018 21:41:01 GMT) Full text and rfc822 format available.

Severity set to 'serious' from 'important' Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Mon, 30 Apr 2018 21:41:02 GMT) Full text and rfc822 format available.

Merged 27476 27652 31740. Request was from ludo <at> gnu.org (Ludovic Courtès) to control <at> debbugs.gnu.org. (Thu, 07 Jun 2018 16:20:03 GMT) Full text and rfc822 format available.

Merged 27476 27652 31740 34112. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Tue, 22 Jan 2019 21:00:03 GMT) Full text and rfc822 format available.

Merged 27476 27652 31740 34112 34319. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Wed, 06 Feb 2019 13:21:02 GMT) Full text and rfc822 format available.

Merged 27476 27652 28144 31294 31367 31740 32385 34112 34319. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Wed, 06 Feb 2019 20:58:03 GMT) Full text and rfc822 format available.

bug reassigned from package 'guix' to 'guile'. Request was from Ludovic Courtès <ludo <at> gnu.org> to control <at> debbugs.gnu.org. (Sat, 09 Feb 2019 22:12:01 GMT) Full text and rfc822 format available.

bug archived. Request was from Debbugs Internal Request <help-debbugs <at> gnu.org> to internal_control <at> debbugs.gnu.org. (Fri, 15 Jan 2021 12:24:04 GMT) Full text and rfc822 format available.

This bug report was last modified 3 years and 99 days ago.

Previous Next


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