[GHC] #14310: Assertion triggered by STM invariant.

[GHC]

#14310: Assertion triggered by STM invariant.
--------------------------------------+----------------------------------
           Reporter:  mbw             |             Owner:  (none)
               Type:  bug             |            Status:  new
           Priority:  normal          |         Milestone:
          Component:  Compiler        |           Version:  8.2.1
           Keywords:                  |  Operating System:  Linux
       Architecture:  x86_64 (amd64)  |   Type of failure:  Runtime crash
          Test Case:                  |        Blocked By:
           Blocking:                  |   Related Tickets:
Differential Rev(s):                  |         Wiki Page:
--------------------------------------+----------------------------------
 The program attached depends on the async and stm packages. It will push
 some numbers through a pipeline, while keeping track of some state.

 If invoked without arguments, the program will output the state and result
 of each iteration. If invoked via "./repro check", an STM invariant will
 be installed when the state is initialized. This invariant will cause the
 program to

 a) hangup, presumably due to a livelock, if the program has been compiled
 without "-debug",




 b) crash with the following error:
    "internal error: ASSERTION FAILED: file rts/RaiseAsync.c, line 1001",
 if the "-debug" flag has been used for compilation.

 The latter case also happens with GHC 8.0.2: "internal error: ASSERTION
 FAILED: file rts/RaiseAsync.c, line 997".

 Furthermore, this problem only occurs if the program is compiled using the
 additional flags "-rtsopts -threaded -with-rtsopts=-N".

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