DIP 1024--Shared Atomics--Community Review Round 1
Jonathan M Davis
newsgroup.d at jmdavisprog.com
Sat Oct 12 06:31:18 UTC 2019
On Friday, October 11, 2019 10:58:29 PM MDT Walter Bright via Digitalmars-d
> 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
More information about the Digitalmars-d