[GHC] #11713: STM Finalizers

GHC ghc-devs at haskell.org
Thu Mar 17 14:07:15 UTC 2016


#11713: STM Finalizers
-------------------------------------+-------------------------------------
        Reporter:  mc.schroeder      |                Owner:  mc.schroeder
            Type:  feature request   |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Runtime System    |              Version:  8.1
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D2011
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by fryguybob):

 I also am not convinced that the cost of the implementation changes are
 worth the feature.  It isn't completely clear to me how to write the IO
 actions safely.  Programmers might not always know what `TVar`s they are
 depending on and there also might be some other ways to deadlock due to
 transitive dependencies on `TVar`s (Data invariants, blocked
 transactions).  I will take some time to look through everything very
 closely and hopefully run some performance comparisons as well.

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


More information about the ghc-tickets mailing list