[GHC] #15897: Negative MUT time in +RTS -s -RTS when heap profiling is enabled
GHC
ghc-devs at haskell.org
Fri Nov 16 05:59:51 UTC 2018
#15897: Negative MUT time in +RTS -s -RTS when heap profiling is enabled
-------------------------------------+-------------------------------------
Reporter: maoe | Owner: (none)
Type: bug | Status: new
Priority: normal | Milestone: 8.6.3
Component: Profiling | Version: 8.6.2
Resolution: | Keywords:
Operating System: Linux | Architecture: x86_64
Type of failure: Debugging | (amd64)
information is incorrect | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Rev(s):
Wiki Page: |
-------------------------------------+-------------------------------------
Changes (by osa1):
* cc: bgamari (added)
Comment:
If I run this program with debug runtime I get this assertion failure:
{{{
Main: internal error: ASSERTION FAILED: file rts/Stats.c, line 1123
(GHC version 8.7.20181115 for x86_64_unknown_linux)
Please report this as a GHC bug:
http://www.haskell.org/ghc/reportabug
zsh: abort (core dumped) ./Main 5000000 +RTS -s -h
}}}
Code that fails:
{{{
// The subdivision of runtime into INIT/EXIT/GC/MUT is just adding
// and subtracting, so the parts should add up to the total exactly.
// Note that stats->total_ns is captured a tiny bit later than
// end_exit_elapsed, so we don't use it here.
ASSERT(stats.init_elapsed_ns \
+ stats.mutator_elapsed_ns \
+ stats.gc_elapsed_ns \
+ sum.exit_elapsed_ns \
== end_exit_elapsed - start_init_elapsed);
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15897#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list