#4265: Sanity bug found by +RTS -DS in Agda
-----------------------------+----------------------------------------------
Reporter: wkahl | Owner: simonmar
Type: bug | Status: closed
Priority: normal | Milestone:
Component: Runtime System | Version: 6.13
Resolution: fixed | Keywords:
Testcase: | Blockedby:
Difficulty: | Os: Linux
Blocking: | Architecture: x86_64 (amd64)
Failure: Runtime crash |
-----------------------------+----------------------------------------------
Changes (by simonmar):
* priority: highest => normal
* status: new => closed
* resolution: => fixed
* milestone: 7.0.1 =>
Comment:
I think the sanity bug was fixed by:
{{{
Fri Aug 27 11:28:18 BST 2010 Simon Marlow <[email protected]>
* Fix for nursery resizing: the first block's back pointer should be
NULL
I'm not sure if this could lead to a crash or not, but it upsets +RTS
-DS
Might be related to #4265
}}}
I can't reproduce the failure in any case. I get:
{{{
35,310,710,400 bytes allocated in the heap
548,303,056 bytes copied during GC
90,886,800 bytes maximum residency (5 sample(s))
443,176 bytes maximum slop
12535 MB total memory in use (196 MB lost due to fragmentation)
Generation 0: 17 collections, 0 parallel, 146.89s, 147.06s
elapsed
Generation 1: 5 collections, 0 parallel, 46.60s, 46.68s elapsed
INIT time 0.00s ( 0.00s elapsed)
MUT time 187.94s (188.77s elapsed)
GC time 193.49s (193.74s elapsed)
EXIT time 0.00s ( 9.11s elapsed)
Total time 381.51s (382.59s elapsed)
%GC time 50.7% (50.6% elapsed)
Alloc rate 187,801,918 bytes per MUT second
Productivity 49.3% of total user, 49.1% of total elapsed
384.89s real 370.26s user 13.96s system 99%
~/scratch/4265/Agda/src/main/dist/build/agda/agda +RTS -DS -C0 -i0 -K64M
-M12
}}}
and when repeating the command:
{{{
773,591,256 bytes allocated in the heap
198,330,808 bytes copied during GC
57,184,584 bytes maximum residency (5 sample(s))
366,232 bytes maximum slop
12500 MB total memory in use (206 MB lost due to fragmentation)
Generation 0: 18 collections, 0 parallel, 140.82s, 141.07s
elapsed
Generation 1: 5 collections, 0 parallel, 42.26s, 42.30s elapsed
INIT time 0.00s ( 0.00s elapsed)
MUT time 6.73s ( 6.78s elapsed)
GC time 183.08s (183.37s elapsed)
EXIT time 0.00s ( 7.91s elapsed)
Total time 189.89s (190.22s elapsed)
%GC time 96.4% (96.4% elapsed)
Alloc rate 113,583,407 bytes per MUT second
Productivity 3.6% of total user, 3.6% of total elapsed
191.78s real 180.05s user 11.57s system 99%
~/scratch/4265/Agda/src/main/dist/build/agda/agda +RTS -DS -C0 -i0 -K64M
-M12
}}}
If you have an example that segfaults, please re-open this ticket, or a
new ticket, with the details.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4265#comment:9>
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
