#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