[GHC] #1187: GHC.Conc.prodServiceThread can deadlock

GHC trac at galois.com
Mon Mar 5 05:25:15 EST 2007


#1187: GHC.Conc.prodServiceThread can deadlock
----------------------------+-----------------------------------------------
 Reporter:  ms43            |          Owner:  simonmar   
     Type:  bug             |         Status:  new        
 Priority:  normal          |      Milestone:  6.6.1      
Component:  libraries/base  |        Version:  6.6        
 Severity:  normal          |     Resolution:             
 Keywords:                  |     Difficulty:  Easy (1 hr)
 Testcase:                  |   Architecture:  Multiple   
       Os:  Multiple        |  
----------------------------+-----------------------------------------------
Changes (by simonmar):

  * milestone:  => 6.6.1
  * owner:  => simonmar

Comment:

 The patch isn't completely correct; it should be using modifyMVar, which
 uses block/unblock internally (there's a still a race between takeMVar and
 catchException otherwise).  However, modifyMVar isn't available yet, so
 we'd have to define a local copy of it.

 Instead it might be better to use atomicModifyIORef.

 Anyway, I'll look at this.

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


More information about the Glasgow-haskell-bugs mailing list