Guile 3.0.7 test suite fails non-deterministically

OpenSubmitted by ogmtau.
Details
3 participants
  • Leo Famulari
  • Ludovic Courtès
  • ogmtau
Owner
unassigned
Severity
important
Merged with
O
O
ogmtau wrote on 13 May 2021 02:36
FYI: Guix 1.3.0 "guix pull" error
(name . bug-guix@gnu.org)(address . bug-guix@gnu.org)
cmmE3jQM6eHjwBIlGxXO3P1bwnJIOnGuwXQwfSRY80jtVUsTIV-4U95Q4KHaZ8EpUINLtll1Sq6hflV3EOWmDm3qfshFtNhivwL-72o-sLI=@protonmail.com
Installed Guix 1.3.0 on bare metal, not in a virtual machine.

Attached file guix-pull-error.txt is console output.

Attached file lshw.txt is output from the lshw command.

=========================================
λf.(λx.f(xx))(λx.f(xx)) ᚛ᚄᚂᚐᚅ  ᚐᚌᚐᚈ᚜

Sent with [ProtonMail](https://protonmail.com) Secure Email.
Attachment: file
tdr@idpdguix ~$ guix pull
Updating channel 'guix' from Git repository at 'https://git.savannah.gnu.org/git/guix.git'...
Authenticating channel 'guix', commits 9edb3f6 to 696cf48 (5 new commits)...
Building from this channel:
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
compute-guix-derivation 1KiB 89KiB/s 00:00 [##################] 100.0%
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
substitute: updating substitutes from 'https://ci.guix.gnu.org'... 100.0%
po4a-0.61 1.6MiB 1.8MiB/s 00:01 [##################] 100.0%
building /gnu/store/l3k1n1d8zxni80jpxxgzjqrg5yzaj7sl-guile-3.0.7.drv...
/ 'check' phaseBacktrace:
13 (primitive-load "/gnu/store/2pwr6pr8x583x0fl1wlr9cah6nr46fkk-compute-guix-derivation")
In ice-9/eval.scm:
155:9 12 (_ _)
159:9 11 (_ #(#(#(#(#(#(#(#(#(#(#(#(#(#(#(#(#<directory (guile-u?> ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?) ?))
In ice-9/boot-9.scm:
152:2 10 (with-fluid* _ _ _)
152:2 9 (with-fluid* _ _ _)
In ./guix/store.scm:
2076:24 8 (run-with-store #<store-connection 256.99 7fc2522183c0> _ #:guile-for-build _ #:system _ #:target _)
1910:8 7 (_ _)
In ./guix/gexp.scm:
256:18 6 (_ _)
1137:2 5 (_ _)
1003:2 4 (_ _)
849:4 3 (_ _)
In ./guix/store.scm:
1958:12 2 (_ #<store-connection 256.99 7fc2522183c0>)
1372:5 1 (map/accumulate-builds #<store-connection 256.99 7fc2522183c0> _ _)
1383:15 0 (_ #<store-connection 256.99 7fc2522183c0> _ _)

./guix/store.scm:1383:15: ERROR:
1. &store-protocol-error:
message: "build of `/gnu/store/qn3022kzrgwzyh1g551zz2yx7n61c8cr-guix-daemon-1.3.0-1.771b866.drv' failed"
status: 100
guix pull: error: You found a bug: the program '/gnu/store/2pwr6pr8x583x0fl1wlr9cah6nr46fkk-compute-guix-derivation'
failed to compute the derivation for Guix (version: "696cf48b98ad4ef03c88cdb5a83c739618c8fa16"; system: "x86_64-linux";
host version: "1.3.0"; pull-version: 1).
Please report it by email to <bug-guix@gnu.org>.

tdr@idpdguix ~$
idpdguix
description: Notebook
product: 80SA (LENOVO_MT_80SA_BU_idea_FM_Lenovo ideapad FLEX 4-1470)
vendor: LENOVO
version: Lenovo ideapad FLEX 4-1470
serial: MP13CE9P
width: 64 bits
capabilities: smbios-2.8 dmi-2.8 smp vsyscall32
configuration: administrator_password=disabled boot=normal chassis=notebook family=IDEAPAD frontpanel_password=disabled keyboard_password=disabled power-on_password=disabled sku=LENOVO_MT_80SA_BU_idea_FM_Lenovo ideapad FLEX 4-1470 uuid=3C72F22F-5B1E-E611-B27E-1C3947C5F5C7
*-core
description: Motherboard
product: Lenovo ideapad F
vendor: LENOVO
physical id: 0
version: SDK0J40709 WIN
serial: MP13CE9P
slot: Type2 - Board Chassis Location
*-firmware
description: BIOS
vendor: LENOVO
physical id: 0
version: 0VCN18WW(V1.03)
date: 05/17/2016
size: 128KiB
capacity: 6MiB
capabilities: pci upgrade shadowing cdboot bootselect edd int13floppynec int13floppytoshiba int13floppy360 int13floppy1200 int13floppy720 int13floppy2880 int9keyboard int10video acpi usb biosbootspecification uefi
*-cpu
description: CPU
product: Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
vendor: Intel Corp.
physical id: 4
bus info: cpu@0
version: Intel(R) Core(TM) i5-6200U CPU @ 2.30GHz
serial: To Be Filled By O.E.M.
slot: U3E1
size: 2719MHz
capacity: 4005MHz
width: 64 bits
clock: 100MHz
capabilities: lm fpu fpu_exception wp vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp x86-64 constant_tsc art arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb invpcid_single pti fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid mpx rdseed adx smap clflushopt intel_pt xsaveopt xsavec xgetbv1 xsaves dtherm ida arat pln pts hwp hwp_notify hwp_act_window hwp_epp cpufreq
configuration: cores=2 enabledcores=2 threads=4
*-cache:0
description: L1 cache
physical id: 6
slot: L1 Cache
size: 64KiB
capacity: 64KiB
capabilities: synchronous internal write-back instruction
configuration: level=1
*-cache:1
description: L2 cache
physical id: 7
slot: L2 Cache
size: 512KiB
capacity: 512KiB
capabilities: synchronous internal write-back unified
configuration: level=2
*-cache:2
description: L3 cache
physical id: 8
slot: L3 Cache
size: 3MiB
capacity: 3MiB
capabilities: synchronous internal write-back unified
configuration: level=3
*-cache
description: L1 cache
physical id: 5
slot: L1 Cache
size: 64KiB
capacity: 64KiB
capabilities: synchronous internal write-back data
configuration: level=1
*-memory
description: System Memory
physical id: 26
slot: System board or motherboard
size: 8GiB
*-bank:0
description: SODIMM DDR4 Synchronous 2133 MHz (0.5 ns)
product: RMSA3230KB78HAF2133
vendor: Fujitsu
physical id: 0
serial: 03602400
slot: ChannelA-DIMM0
size: 8GiB
width: 64 bits
clock: 2133MHz (0.5ns)
*-bank:1
description: [empty]
physical id: 1
slot: ChannelA-DIMM1
*-bank:2
description: [empty]
physical id: 2
slot: ChannelB-DIMM0
*-bank:3
description: [empty]
physical id: 3
slot: ChannelB-DIMM1
*-pci
physical id: 100
bus info: pci@0000:00:00.0
version: 08
width: 32 bits
clock: 33MHz
configuration: driver=skl_uncore
resources: irq:0
*-display
physical id: 2
bus info: pci@0000:00:02.0
version: 07
width: 64 bits
clock: 33MHz
capabilities: pciexpress msi pm bus_master cap_list rom
configuration: driver=i915 latency=0
resources: irq:131 memory:b1000000-b1ffffff memory:a0000000-afffffff ioport:6000(size=64) memory:c0000-dffff
*-usb
physical id: 14
bus info: pci@0000:00:14.0
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm msi bus_master cap_list
configuration: driver=xhci_hcd latency=0
resources: irq:126 memory:b3300000-b330ffff
*-usbhost:0
product: xHCI Host Controller
vendor: Linux 5.11.15-gnu xhci-hcd
physical id: 0
bus info: usb@1
logical name: usb1
version: 5.11
capabilities: usb-2.00
configuration: driver=hub slots=12 speed=480Mbit/s
*-usb:0
description: Keyboard
product: USB Receiver
vendor: Logitech
physical id: 3
bus info: usb@1:3
version: 12.09
capabilities: usb-2.00
configuration: driver=usbhid maxpower=98mA speed=12Mbit/s
*-usb:1
description: Bluetooth wireless interface
physical id: 7
bus info: usb@1:7
version: 0.01
capabilities: bluetooth usb-2.00
configuration: driver=btusb maxpower=100mA speed=12Mbit/s
*-usbhost:1
product: xHCI Host Controller
vendor: Linux 5.11.15-gnu xhci-hcd
physical id: 1
bus info: usb@2
logical name: usb2
version: 5.11
capabilities: usb-3.00
configuration: driver=hub slots=6 speed=5000Mbit/s
*-generic:0
physical id: 14.2
bus info: pci@0000:00:14.2
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm msi bus_master cap_list
configuration: driver=intel_pch_thermal latency=0
resources: irq:18 memory:b332a000-b332afff
*-generic:1
physical id: 15
bus info: pci@0000:00:15.0
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm bus_master cap_list
configuration: driver=intel-lpss latency=0
resources: irq:16 memory:b332b000-b332bfff
*-generic:2
physical id: 15.1
bus info: pci@0000:00:15.1
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm bus_master cap_list
configuration: driver=intel-lpss latency=0
resources: irq:17 memory:b332c000-b332cfff
*-communication UNCLAIMED
physical id: 16
bus info: pci@0000:00:16.0
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm msi cap_list
configuration: latency=0
resources: memory:b332d000-b332dfff
*-sata
physical id: 17
bus info: pci@0000:00:17.0
logical name: scsi0
version: 21
width: 32 bits
clock: 66MHz
capabilities: sata msi pm bus_master cap_list emulated
configuration: driver=ahci latency=0
resources: irq:127 memory:b3328000-b3329fff memory:b3330000-b33300ff ioport:6080(size=8) ioport:6088(size=4) ioport:6060(size=32) memory:b332e000-b332e7ff
*-disk
description: ATA Disk
product: LITEON CV3-DE256
physical id: 0.0.0
bus info: scsi@0:0.0.0
logical name: /dev/sda
version: 201
serial: SD0L02316L1TH65102W7
size: 238GiB (256GB)
capabilities: gpt-1.00 partitioned partitioned:gpt
configuration: ansiversion=5 guid=15b3b6b3-4664-4682-aa49-79107500c723 logicalsectorsize=512 sectorsize=512
*-volume:0 UNCLAIMED
description: Windows FAT volume
vendor: mkfs.fat
physical id: 1
bus info: scsi@0:0.0.0,1
version: FAT32
serial: 0bd1-1968
size: 547MiB
capacity: 548MiB
capabilities: boot fat initialized
configuration: FATs=2 filesystem=fat
*-volume:1
description: Linux swap volume
vendor: Linux
physical id: 2
bus info: scsi@0:0.0.0,2
logical name: /dev/sda2
version: 1
serial: 469da8b5-79c8-40de-85c8-0f6087e00aa2
size: 3813MiB
capacity: 3813MiB
capabilities: nofs swap initialized
configuration: filesystem=swap pagesize=4095
*-volume:2
description: EXT4 volume
vendor: Linux
physical id: 3
bus info: scsi@0:0.0.0,3
logical name: /dev/sda3
logical name: /
logical name: /gnu/store
version: 1.0
serial: 044a4152-3923-4bf1-a2ae-b0515622176d
size: 234GiB
capabilities: journaled extended_attributes large_files huge_files dir_nlink recover 64bit extents ext4 ext2 initialized
configuration: created=2021-05-12 12:03:41 filesystem=ext4 lastmountpoint=/ modified=2021-05-12 12:26:01 mount.fstype=ext4 mount.options=ro,noatime mounted=2021-05-12 12:26:01 state=mounted
*-pci:0
physical id: 1c
bus info: pci@0000:00:1c.0
version: f1
width: 32 bits
clock: 33MHz
capabilities: pci pciexpress msi pm bus_master cap_list
configuration: driver=pcieport
resources: irq:122 ioport:5000(size=4096) memory:b3200000-b32fffff ioport:90000000(size=268435456)
*-display
physical id: 0
bus info: pci@0000:01:00.0
version: 83
width: 64 bits
clock: 33MHz
capabilities: pm pciexpress msi bus_master cap_list rom
configuration: driver=radeon latency=0
resources: irq:16 memory:90000000-9fffffff memory:b3200000-b323ffff ioport:5000(size=256) memory:b3240000-b325ffff
*-pci:1
physical id: 1c.4
bus info: pci@0000:00:1c.4
version: f1
width: 32 bits
clock: 33MHz
capabilities: pci pciexpress msi pm bus_master cap_list
configuration: driver=pcieport
resources: irq:123 ioport:4000(size=4096) memory:b3100000-b31fffff
*-network
description: Ethernet interface
physical id: 0
bus info: pci@0000:02:00.0
logical name: enp2s0
version: 15
serial: 1c:39:47:c5:f5:c7
size: 1Gbit/s
capacity: 1Gbit/s
width: 64 bits
clock: 33MHz
capabilities: pm msi pciexpress msix bus_master cap_list ethernet physical tp mii 10bt 10bt-fd 100bt 100bt-fd 1000bt-fd autonegotiation
configuration: autonegotiation=on broadcast=yes driver=r8169 driverversion=5.11.15-gnu duplex=full ip=192.168.1.88 latency=0 link=yes multicast=yes port=twisted pair speed=1Gbit/s
resources: irq:16 ioport:4000(size=256) memory:b3104000-b3104fff memory:b3100000-b3103fff
*-pci:2
physical id: 1c.5
bus info: pci@0000:00:1c.5
version: f1
width: 32 bits
clock: 33MHz
capabilities: pci pciexpress msi pm bus_master cap_list
configuration: driver=pcieport
resources: irq:124 memory:b3000000-b30fffff
*-network UNCLAIMED
physical id: 0
bus info: pci@0000:03:00.0
version: 42
width: 64 bits
clock: 33MHz
capabilities: pm msi pciexpress cap_list
configuration: latency=0
resources: memory:b3000000-b3001fff
*-pci:3
physical id: 1d
bus info: pci@0000:00:1d.0
version: f1
width: 32 bits
clock: 33MHz
capabilities: pci pciexpress msi pm bus_master cap_list
configuration: driver=pcieport
resources: irq:125 ioport:3000(size=4096) memory:b2000000-b2ffffff ioport:b0000000(size=16777216)
*-generic
description: MMC Host
physical id: 0
bus info: pci@0000:04:00.0
logical name: mmc0
version: 01
width: 32 bits
clock: 33MHz
capabilities: pm msi pciexpress bus_master cap_list
configuration: driver=rtsx_pci latency=0
resources: irq:129 memory:b2000000-b2000fff
*-isa
physical id: 1f
bus info: pci@0000:00:1f.0
version: 21
width: 32 bits
clock: 33MHz
capabilities: isa bus_master
configuration: latency=0
*-memory UNCLAIMED
physical id: 1f.2
bus info: pci@0000:00:1f.2
version: 21
width: 32 bits
clock: 33MHz (30.3ns)
capabilities: bus_master
configuration: latency=0
resources: memory:b3324000-b3327fff
*-multimedia
physical id: 1f.3
bus info: pci@0000:00:1f.3
version: 21
width: 64 bits
clock: 33MHz
capabilities: pm msi bus_master cap_list
configuration: driver=snd_hda_intel latency=32
resources: irq:134 memory:b3320000-b3323fff memory:b3310000-b331ffff
*-serial
physical id: 1f.4
bus info: pci@0000:00:1f.4
version: 21
width: 64 bits
clock: 33MHz
configuration: driver=i801_smbus latency=0
resources: irq:16 memory:b332f000-b332f0ff ioport:6040(size=32)
*-pnp00:00
product: PnP device PNP0c02
physical id: 1
capabilities: pnp
configuration: driver=system
*-pnp00:01
product: PnP device PNP0c02
physical id: 2
capabilities: pnp
configuration: driver=system
*-pnp00:02
product: PnP device PNP0b00
physical id: 3
capabilities: pnp
configuration: driver=rtc_cmos
*-pnp00:03
product: PnP device INT3f0d
physical id: 6
capabilities: pnp
configuration: driver=system
*-pnp00:04
product: PnP device PNP0303
physical id: 7
capabilities: pnp
configuration: driver=i8042 kbd
*-pnp00:05
product: PnP device SYN2b65
physical id: 8
capabilities: pnp
configuration: driver=i8042 aux
*-pnp00:06
product: PnP device PNP0c02
physical id: 9
capabilities: pnp
configuration: driver=system
*-pnp00:07
product: PnP device PNP0c02
physical id: a
capabilities: pnp
configuration: driver=system
*-battery
description: Zinc Air Battery
product: CRB Battery 0
vendor: -Virtual Battery 0-
physical id: 1
version: 08/08/2010
serial: Battery 0
slot: Fake
*-power UNCLAIMED
description: OEM Define 1
product: OEM Define 5
vendor: OEM Define 2
physical id: 2
version: OEM Define 6
serial: OEM Define 3
capacity: 75mWh
L
L
Leo Famulari wrote on 13 May 2021 04:30
(no subject)
(address . control@debbugs.gnu.org)
YJyPU/82FDnmPFW8@jasmine.lan
merge 48392 48391 48390 48389
L
L
Ludovic Courtès wrote on 13 May 2021 22:53
control message for bug #48389
(address . control@debbugs.gnu.org)
87tun6s6dn.fsf@gnu.org
merge 48389 48395
quit
L
L
Ludovic Courtès wrote on 13 May 2021 22:58
(address . control@debbugs.gnu.org)
875yzms64i.fsf@gnu.org
retitle 48389 Guile 3.0.7 test suite fails non-deterministically
quit
L
L
Ludovic Courtès wrote on 13 May 2021 22:58
(address . control@debbugs.gnu.org)
874kf6s64f.fsf@gnu.org
severity 48389 important
quit
?
Your comment

Commenting via the web interface is currently disabled.

To comment on this conversation send email to 48391@debbugs.gnu.org