[GHC] #7815: STM fails to validate read.

[GHC]

#7815: STM fails to validate read.
-------------------------------+--------------------------------------------
    Reporter:  fryguybob       |       Owner:                             
        Type:  bug             |      Status:  new                        
    Priority:  normal          |   Milestone:                             
   Component:  Runtime System  |     Version:  7.7                        
    Keywords:  STM             |          Os:  Unknown/Multiple           
Architecture:  x86             |     Failure:  Incorrect result at runtime
  Difficulty:  Unknown         |    Testcase:                             
   Blockedby:                  |    Blocking:                             
     Related:                  |  
-------------------------------+--------------------------------------------

Comment(by fryguybob):

 I'm happy to write a patch for this.  I think there might also be a
 problem with {{{num_updates}}} and {{{current_value}}} being different
 memory locations on architectures with the right kind of relaxed memory
 ordering (ARM?).  I'll look into that and make a separate issue if I find
 anything.

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