[GHC] #11713: STM Finalizers

[GHC]

#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 simonpj):

 Well, it may be unlikely but both the specification and the implementation
 must take care of these cases.

 Is all this complexity justified by the use-cases.  Maybe, but I am not
 yet convinced. Eg for your serialisation example, I'd just transactionally
 commit the result to a buffer of things to be serialised by single
 serialisation thread.  That is, in effect, what you are doing by other
 means.

 Let's see what Simon M and others GHC devs/users say.

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