#4472: Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8
-------------------------------+--------------------------------------------
Reporter: wkahl | Owner:
Type: bug | Status: new
Priority: normal | Component: Runtime System
Version: 6.12.3 | Keywords: block counts, memory leak
Testcase: | Blockedby:
Os: Linux | Blocking:
Architecture: x86_64 (amd64) | Failure: Runtime crash
-------------------------------+--------------------------------------------
I observe is a reproducible corruption of RTS data structures when running
Agda-2.2.8 compiled with ghc-6.12.3 -debug.
I use the following invocation:
{{{
agda-2.2.8_debug -i . -i /var/tmp/AGDA/lib-0.4/src
Categoric/OrderedMonad/Kleisli/Comp/AssocProofterm.lagda +RTS -C0 -i0
-K64M -M12G -H12G -S
}}}
All five runs (attached) end in the same way:
{{{
8740651008 2124643288 3125408656 22.32 22.32 370.45 375.18 0 0
(Gen: 0)
5351931880 3430348176 3451894920 30.13 30.14 411.48 416.22 0 0
(Gen: 1)
7198887936 1656205640 4617718288 17.82 17.82 444.03 448.78 0 0
(Gen: 0)
6178561984 1656768456 5627753744 16.68 16.68 473.58 478.32 0 0
(Gen: 0)
5262295040 1400296576 6476570432 14.15 14.16 498.98 503.73 0 0
(Gen: 0)
Memory leak detected:
gen 0 blocks : 519 blocks (2 MB)
gen 1 blocks : 1295493 blocks (5060 MB)
nursery : 1456444 blocks (5689 MB)
retainer : 0 blocks (0 MB)
arena blocks : 0 blocks (0 MB)
exec : 0 blocks (0 MB)
free : 174549452 blocks (681833 MB)
total : 177301908 blocks (692585 MB)
in system : 3926412 blocks (15581 MB)
Unreachable blocks:
agda-2.2.8_debug: internal error: ASSERTION FAILED: file rts/sm/Storage.c,
line 1388
(GHC version 6.12.3 for x86_64_unknown_linux)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
Aborted
real 12m50.913s
user 10m29.750s
sys 0m6.040s
}}}
I am submitting this just in case somebody is able to find an explanation
from just looking at this effect; ask if you want to actually try to
reproduce it yourself (it involves a significant number of Agda theories).
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4472>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
