DIP 1024--Shared Atomics--Community Review Round 1

[Ola Fosheim Grøstad]

On Thursday, 10 October 2019 at 07:03:26 UTC, Ola Fosheim Grøstad 
wrote:
> As far as I can tell, one could get better optimization if one 
> could assume that certain memory areas are not accessed by 
> other threads and avoid C++-ish sequencing points even in code 
> that use concurrency-primitives. That seems to be out of scope?

Or to be blunt, if "shared" has no effect on the IR then it ought 
to be removed from the language and replaced with mechanisms that 
makes it possible to implement the "shared" marker functionality 
as a template wrapper.