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

Nicholas Wilson iamthewilsonator at hotmail.com
Wed Oct 2 10:42:48 UTC 2019


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.


More information about the Digitalmars-d mailing list