Re: bug#27476: guix pull fails on powerful server

Ludovic Courtès writes: > l...@gnu.org (Ludovic Courtès) skribis: > >> I can’t reproduce this with current Guile ‘stable-2.2’, following Andy’s >> weak-table rewrite¹, so this might have been a weak-table bug showing up >> under memory pressure. > > With Guile 2.2.3 a similar program triggers

Re: bug#27476: guix pull fails on powerful server

l...@gnu.org (Ludovic Courtès) skribis: > I can’t reproduce this with current Guile ‘stable-2.2’, following Andy’s > weak-table rewrite¹, so this might have been a weak-table bug showing up > under memory pressure. With Guile 2.2.3 a similar program triggers a crash very quickly:

Re: bug#27476: guix pull fails on powerful server

Hi, Ricardo Wurmus skribis: > After limiting memory with “ulimit -Sv 500”: > > ice-9/threads.scm:289:22: In procedure loop: > ice-9/threads.scm:289:22: Syntax error: > guix/scripts/pull.scm:192:8: >>=: >>= (bind) used outside of 'with-monad' in > form (>>=

Re: bug#27476: guix pull fails on powerful server

I tried it again after unsetting GUIX_PACKAGE_PATH, but the results are just as bad: --8<---cut here---start->8--- [rwurmus@murphy:~/guix] (338) $ unset GUIX_PACKAGE_PATH [rwurmus@murphy:~/guix] (339) $ time ./pre-inst-env guix pull --url=$PWD guile: warning:

Re: bug#27476: guix pull fails on powerful server

Hi Ludo, > The patch below seems to fix the problem: (guix monads) has shared state > (hash tables) used both at expansion-time and run-time, and it wasn’t > protected. > > My hypothesis is that this was causing random memory corruption. The > weird thing, though, is that the errors we were

Re: bug#27476: guix pull fails on powerful server

Hi Ludo, > Ricardo Wurmus skribis: > >> The following derivation will be built: >>/gnu/store/z5bhk17nxmdhvj0g4cy038p25mzh1gys-guix-latest.drv >> copying and compiling to >> '/gnu/store/s3s7xlqa10mvf8v0ypxz8gzw3lcf1x5z-guix-latest' with Guile 2.2.2... >> loading...

Re: bug#27476: guix pull fails on powerful server

Hi! Ricardo Wurmus skribis: > The following derivation will be built: >/gnu/store/z5bhk17nxmdhvj0g4cy038p25mzh1gys-guix-latest.drv > copying and compiling to > '/gnu/store/s3s7xlqa10mvf8v0ypxz8gzw3lcf1x5z-guix-latest' with Guile 2.2.2... > loading... 25.7% of 635

Re: guix pull fails on powerful server

Ricardo Wurmus skribis: > Ludovic Courtès writes: > >> Ricardo Wurmus skribis: >> >>> I’ve tried “guix pull” on the same server again, this time limiting CPUs >>> with “taskset -c 0 guix pull”: >> >> As a stopgap, commit

Re: guix pull fails on powerful server

Ludovic Courtès writes: > Ricardo Wurmus skribis: > >> I’ve tried “guix pull” on the same server again, this time limiting CPUs >> with “taskset -c 0 guix pull”: > > As a stopgap, commit aba219af0fed6a349af930f19c913fb87e6a69dd ensures > that ‘--cores’ is

Re: guix pull fails on powerful server

Ricardo Wurmus skribis: > I’ve tried “guix pull” on the same server again, this time limiting CPUs > with “taskset -c 0 guix pull”: As a stopgap, commit aba219af0fed6a349af930f19c913fb87e6a69dd ensures that ‘--cores’ is honored. So if you run “guix pull --cores=1”, it will

Re: guix pull fails on powerful server

Clément Lassieur writes: > Ricardo Wurmus writes: > >> Is there another work-around I could try on this machine? > > My workaround was to build Guix from sources. But I'm sure you thought > about it. Yes, that works, but I was looking for something

Re: guix pull fails on powerful server

Ricardo Wurmus writes: > Is there another work-around I could try on this machine? My workaround was to build Guix from sources. But I'm sure you thought about it.

Re: guix pull fails on powerful server

Marius Bakke writes: > Ricardo Wurmus writes: > >> Is there another work-around I could try on this machine? > > Using Guile 2.0 worked for me: > > guix package -r guix guile-git -i guile2.0-guix guile2.0-git Unfortunately, this didn’t work for me. I

Re: guix pull fails on powerful server

On Fri 22 Sep 2017 16:10, l...@gnu.org (Ludovic Courtès) writes: > Hi Ricardo, > > Ricardo Wurmus skribis: > >> The following derivation will be built: >>/gnu/store/yvyfkns3w3vm7ynwbr7mvxcmin4gd2a0-guix-latest.drv >> copying and compiling to >>

Re: guix pull fails on powerful server

Ludovic Courtès writes: > With this program: > > --8<---cut here---start->8--- > (use-modules (ice-9 threads) > (srfi srfi-1)) > > (define-syntax-parameter foo > (identifier-syntax +)) > > (define threads > (unfold (lambda (x)

Re: guix pull fails on powerful server

Hi, Andy Wingo skribis: > On Fri 22 Sep 2017 16:10, l...@gnu.org (Ludovic Courtès) writes: > >> Hi Ricardo, >> >> Ricardo Wurmus skribis: >> >>> The following derivation will be built: >>>/gnu/store/yvyfkns3w3vm7ynwbr7mvxcmin4gd2a0-guix-latest.drv >>>

Re: guix pull fails on powerful server

I got it too for the first time yesterday on my 128G RAM and 32 CPU cores server: --8<---cut here---start->8--- substitute: updating list of substitutes from [...] Updating from Git repository at 'https://git.savannah.gnu.org/git/guix.git'... Building from Git

Re: guix pull fails on powerful server

Hi Ricardo, Ricardo Wurmus skribis: > The following derivation will be built: >/gnu/store/yvyfkns3w3vm7ynwbr7mvxcmin4gd2a0-guix-latest.drv > copying and compiling to > '/gnu/store/7m52dkr98nhwgpsx20mmpwyw2yzj58d3-guix-latest' with Guile 2.2.2... > loading... 25.4%

guix pull fails on powerful server

Hi there, I have a big server with 1.5T RAM and 192 CPU cores. “guix pull” is very slow and crashes with the error below: --8<---cut here---start->8--- [root@murphy:~] (1001) $ guix pull guile: warning: failed to install locale warning: failed to install