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

[Jonathan M Davis]

On Friday, October 11, 2019 10:58:29 PM MDT Walter Bright via Digitalmars-d 
wrote:
> On 10/2/2019 3:42 AM, Nicholas Wilson wrote:
> > On Wednesday, 2 October 2019 at 08:55:59 UTC, Kagamin wrote:
> >> Access to shared memory should be disallowed only for safe code, but
> >> not for system code.
> >
> > That definition doesn't play nice with safety inference i.e. templates.
> >
> > It should be that shared memory access is disabled in all contexts,
> > which must be worked around with casts,
> > which makes the function @system,
> > which must then be encapsulated with a @trusted interface in order to
> > use in @safe code.
>
> Sounds right.

This is pretty much what several of us were arguing for during the
discussions about shared at dconf this year.

- Jonathan M Davis