Opened 3 years ago

Closed 3 years ago

#4472 closed bug (fixed)

Funny memory leak error with ghc-6.12.3 -debug in Agda-2.2.8

Reported by: wkahl Owned by:
Priority: normal Milestone: 7.0.2
Component: Runtime System Version: 6.12.3
Keywords: block counts, memory leak Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: Runtime crash Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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).

Attachments (5)

2010-10-26_1.log (14.1 KB) - added by wkahl 3 years ago.
2010-10-30_1.log (14.3 KB) - added by wkahl 3 years ago.
2010-10-30_2.log (14.3 KB) - added by wkahl 3 years ago.
2010-10-30_3.log (14.3 KB) - added by wkahl 3 years ago.
2010-10-30_4.log (14.3 KB) - added by wkahl 3 years ago.

Download all attachments as: .zip

Change History (9)

Changed 3 years ago by wkahl

Changed 3 years ago by wkahl

Changed 3 years ago by wkahl

Changed 3 years ago by wkahl

Changed 3 years ago by wkahl

comment:1 Changed 3 years ago by simonmar

Very probably this:

Thu Jun 24 11:46:54 BST 2010  Simon Marlow <marlowsd@gmail.com>
  * Fix an arithmetic overflow bug causing crashes with multi-GB heaps

That fix was not in 6.12.3, but it is in 7.0.1. Please try to reproduce the problem with 7.0.1.

comment:2 Changed 3 years ago by igloo

  • Milestone set to 7.0.2
  • Status changed from new to infoneeded

comment:3 Changed 3 years ago by wkahl

I have not yet been able to reproduce this with 7.0.1, although I have been trying.

comment:4 Changed 3 years ago by simonmar

  • Resolution set to fixed
  • Status changed from infoneeded to closed

Thanks - optimistically closing as fixed then. Please re-open if the problem reappears with 7.0.1 or later.

Note: See TracTickets for help on using tickets.