[GHC] #713: SMP + FFI = crash...

[GHC]

#713: SMP + FFI = crash...
-----------------------------------+----------------------------------------
  Reporter:  lipeng at cis.upenn.edu  |          Owner:        
      Type:  bug                   |         Status:  closed
  Priority:  high                  |      Milestone:  6.6   
 Component:  Runtime System        |        Version:  6.5   
  Severity:  blocker               |     Resolution:  fixed 
  Keywords:  smp ffi crash         |             Os:  Linux 
Difficulty:  Unknown               |   Architecture:  x86   
-----------------------------------+----------------------------------------
Changes (by simonmar):

  * resolution:  => fixed
  * status:  new => closed

Comment:

 Thank you, this was a really useful bug report.  I found at least 2 bugs,
 one of which took more than a man day to find :-(  There was no problem
 with the FFI, by the way - I removed the FFI call from your program and
 the crash still happened.  The main bug was a subtle race in the runtime
 when two threads were evaluating the same thunk.

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