[GHC] #5859: unsafeInterleaveIO duplicates computation when evaluated by multiple threads

[GHC]

#5859: unsafeInterleaveIO duplicates computation when evaluated by multiple
threads
-------------------------------------+-------------------------------------
              Reporter:  joeyadams   |            Owner:  simonpj
                  Type:  bug         |           Status:  closed
              Priority:  normal      |        Milestone:
             Component:  Core        |          Version:  7.2.2
  Libraries                          |         Keywords:
            Resolution:  fixed       |     Architecture:  Unknown/Multiple
      Operating System:              |       Difficulty:  Unknown
  Unknown/Multiple                   |       Blocked By:
       Type of failure:  Incorrect   |  Related Tickets:
  result at runtime                  |
             Test Case:              |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------
Changes (by thomie):

 * cc: core-libraries-committee@… (added)
 * status:  new => closed
 * resolution:   => fixed
 * milestone:  7.10.1 =>


Comment:

 Replying to [comment:6 simonpj]:
 > Cf #5943.  Since `unsafeDupableInterleaveIO` is now NONINLINE, the
 symptoms of this ticket might have gone away.

 I confirm, as did bgamari:

 > Indeed I can't reproduce the buggy behavior with 7.6.2 and 7.7 HEAD.


 For reference, in commit bbcf397765953798b6d730c2bd1088c3463f3f5b:
 {{{
 Author: Simon Marlow <>
 Date:   Fri Mar 23 12:28:18 2012 +0000

     change unsafeDupableInterleaveIO from INLINE to NOINLINE (#5943)

     See the comment for details.
 }}}

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