#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