Hi Simon,
RTS sanity checking is failing with all threaded programs, which sounds like
something nasty has happened under the hood. Sanity checking threaded programs
worked in 6.12.1 -- is it still supposed to work in 7?
desire:tmp benl$ ~/ghc/perf/ghc-stage2 --version
The Glorious Glasgow Haskell Compilation System, version 7.1.20101121
desire:tmp benl$ ~/ghc/perf/ghc-stage2 --make Hello.hs -debug -threaded
-fforce-recomp -rtsopts
[1 of 1] Compiling Main ( Hello.hs, Hello.o )
Linking Hello ...
desire:tmp benl$ ./Hello +RTS -N2 -DS
Hello: internal error: ASSERTION FAILED: file rts/sm/Storage.c, line 640
(GHC version 7.1.20101121 for i386_apple_darwin)
Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug
Abort trap
desire:tmp benl$
The corresponding assertion is:
rts/sm/Storage.c:637
p = bd->free;
bd->free += n;
IF_DEBUG(sanity, ASSERT(*((StgWord8*)p) == 0xaa));
return p;
At rts/sm/Sanity.c:470 it says that "heap sanity checking doesn't work with
SMP, because we can't zero the slop". However, that code looks like it's
skipping over the slop in closures, while the code in Storage.c just appears to
want free space in nurseries to be filled with 0xaa, which would also work in
threaded mode.
Thanks,
Ben.
_______________________________________________
Cvs-ghc mailing list
Cvs-ghc@haskell.org
http://www.haskell.org/mailman/listinfo/cvs-ghc
