[GHC] #9379: Blocked STM transaction is not interruptible

GHC ghc-devs at haskell.org
Fri Aug 1 11:46:00 UTC 2014


#9379: Blocked STM transaction is not interruptible
-------------------------------------+-------------------------------------
              Reporter:  Feuerbach   |            Owner:  simonmar
                  Type:  bug         |           Status:  new
              Priority:  normal      |        Milestone:
             Component:  Runtime     |          Version:  7.8.3
  System                             |         Keywords:
            Resolution:              |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:              |  Related Tickets:
  None/Unknown                       |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
  https://phabricator.haskell.org/D104|
-------------------------------------+-------------------------------------

Comment (by Simon Marlow <marlowsd@…>):

 In [changeset:"9d9a55469719908bbd5cd3277e0ac79c0588dc55/ghc"]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="9d9a55469719908bbd5cd3277e0ac79c0588dc55"
 interruptible() was not returning true for BlockedOnSTM (#9379)

 Summary:
 There's an knock-on fix in HeapStackCheck.c which is potentially
 scary, but I'm pretty confident is OK.  See comment for details.

 Test Plan:
 I've run all the STM
 tests I can find, including libraries/stm/tests/stm049 with +RTS -N8
 and some of the constants bumped to make it more of a stress test.

 Reviewers: hvr, rwbarton, austin

 Subscribers: simonmar, relrod, ezyang, carter

 Differential Revision: https://phabricator.haskell.org/D104

 GHC Trac Issues: #9379
 }}}

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


More information about the ghc-tickets mailing list