[GHC] #2148: x86_64 code use several GiB of memory generates: internal error: ASSERTION FAILED: file sm/Storage.c, line 1126

GHC trac at galois.com
Mon Mar 24 11:31:02 EDT 2008


#2148: x86_64 code use several GiB of memory generates: internal error: ASSERTION
FAILED: file sm/Storage.c, line 1126
----------------------------+-----------------------------------------------
 Reporter:  twhitehead      |          Owner:  simonmar      
     Type:  bug             |         Status:  new           
 Priority:  normal          |      Milestone:  6.8.3         
Component:  Runtime System  |        Version:  6.8.2         
 Severity:  normal          |     Resolution:                
 Keywords:                  |     Difficulty:  Unknown       
 Testcase:                  |   Architecture:  x86_64 (amd64)
       Os:  Linux           |  
----------------------------+-----------------------------------------------
Comment (by twhitehead):

 One last simplification.  The program now just endlessly generates the
 integer list [1..M], where M is a command-line argument, from back to
 front as a sequence of (:) thunks.

 Compiling as above ("ghc --make -O2 -debug Bug") and running with "./Bug
 134217728" (i.e., M=134217728) produces the following after about two days
 (the third time generating the sequence):

 {{{
 Starting block 0
 Starting block 1
 Starting block 2
 Bug: internal error: ASSERTION FAILED: file sm/Storage.c, line 1126

     (GHC version 6.8.2 for x86_64_unknown_linux)
     Please report this as a GHC bug:
 http://www.haskell.org/ghc/reportabug
 }}}

 I'll attach the simplified code.

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/2148#comment:5>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler


More information about the Glasgow-haskell-bugs mailing list