Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8
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.040sI 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).
Trac metadata
| Trac field | Value |
|---|---|
| Version | 6.12.3 |
| Type | Bug |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Runtime System |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |