DIP 1024--Shared Atomics--Community Review Round 1
Walter Bright
newshound2 at digitalmars.com
Sat Oct 12 04:58:29 UTC 2019
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.
More information about the Digitalmars-d
mailing list