#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