[GHC] #16044: Transition to C11 memory model

[GHC]

#16044: Transition to C11 memory model
-------------------------------------+-------------------------------------
        Reporter:  ulan              |                Owner:  (none)
            Type:  task              |               Status:  new
        Priority:  normal            |            Milestone:
       Component:  Runtime System    |              Version:  8.6.3
      Resolution:                    |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by simonmar):

 What would it mean for Cmm to use the C11 memory model? Do you imagine
 having new atomic types, and adding all the C11 atomic operations to
 MachOp? What about the memory order stuff?

 My understand is that since GHC compiles Cmm to native code, the
 implementation of the memory model would entail inserting barriers in the
 appropriate places according to the target architecture. So we still need
 the barriers, right?

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