Opened 10 years ago

Closed 9 years ago

#3976 closed bug (worksforme)

'+RTS -S' reports negative allocation.

Reported by: wkahl Owned by:
Priority: low Milestone: 7.2.1
Component: Runtime System Version: 6.12.1
Keywords: Cc: mle+hs@…
Operating System: Linux Architecture: powerpc
Type of failure: Incorrect result at runtime Test Case:
Blocked By: Blocking:
Related Tickets: Differential Rev(s):
Wiki Page:

Description

While running Agda with +RTS -S, I see a lot of negative heap allocation reported, for example:

  6967252   1723140 163854188  0.04  0.04   19.39   19.86    0    0  (Gen:  0)
Skipping Categoric.OCC.Props.Mapping (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC/Props/Mapping.agdai).
Skipping Categoric.OCC (/var/tmp/kahl/svn/RATH/trunk/Agda/Categoric/OCC.agdai).
-1239169216  10322552 173302476  0.22  0.22   31.17   33.44    0    0  (Gen:  0)
-1255628852  13628520 179169592  0.26  0.26   42.57   44.88    0    1  (Gen:  0)
-1260863492   9986512 182103292  0.16  0.16   53.56   56.22    0    0  (Gen:  0)
-1259733000   8999552 188116056  0.20  0.21   64.50   67.18    0    0  (Gen:  0)

Change History (7)

comment:1 Changed 10 years ago by simonmar

Interesting. Could you save me a bit of time by telling me exactly how to reproduce the issue? (where to get sources, how to compile it, etc.)

comment:2 Changed 10 years ago by igloo

Milestone: 6.12.3
Status: newinfoneeded

comment:3 Changed 10 years ago by igloo

Milestone: 6.12.36.14.1
Priority: normallow

comment:4 Changed 9 years ago by igloo

Milestone: 7.0.17.0.2

comment:5 Changed 9 years ago by igloo

Milestone: 7.0.27.2.1

comment:6 Changed 9 years ago by erikd

Cc: mle+hs@… added

comment:7 Changed 9 years ago by simonmar

Resolution: worksforme
Status: infoneededclosed

There have been various changes in this area in the RTS, so it's highly likely the bug has been fixed. Given non-response from the submitter and likelihood that it's already been fixed, I'm closing.

Note: See TracTickets for help on using tickets.