[GHC] #2411: RaiseAsync and STM segfault with stop_at_atomically in some circumstances.

GHC trac at galois.com
Thu Jul 31 00:26:01 EDT 2008


#2411: RaiseAsync and STM segfault with stop_at_atomically in some circumstances.
----------------------------+-----------------------------------------------
 Reporter:  sclv            |          Owner:         
     Type:  bug             |         Status:  new    
 Priority:  normal          |      Milestone:  6.10.1 
Component:  Runtime System  |        Version:  6.8.3  
 Severity:  normal          |     Resolution:         
 Keywords:                  |     Difficulty:  Unknown
 Testcase:                  |   Architecture:  Unknown
       Os:  Unknown         |  
----------------------------+-----------------------------------------------
Comment (by sclv):

 Attaching a very simplified testcase that strips out the typeclass
 nonsense. It looks to me like catchSTM is almost just plain hopeless. I
 can't piece through everything, but I note that it starts a nested
 transaction, while raiseAsync asserts that there is no enclosing
 transaction on a rollback. So, I could well be misunderstanding this, but
 it looks like that may be the issue?

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


More information about the Glasgow-haskell-bugs mailing list