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

[Manu]

On Sat, Oct 12, 2019 at 8:45 PM Ola Fosheim Grøstad via Digitalmars-d
<digitalmars-d at puremagic.com> wrote:
>
> On Sunday, 13 October 2019 at 00:13:12 UTC, Manu wrote:
> > On Sat, Oct 12, 2019 at 3:35 PM Ola Fosheim Grøstad via The
> > semantic implication is that there is no read or write
> > access... just the same as how const says there is no write
> > access.
>
> Well, I understand what you mean, but if you can achieve the same
> effect by hiding, then it is syntactical in nature.

We can't though.

> That would be difficult with const in D ( might work in other
> languages ).
>
> > It's like I said above; shared MUST be in the language, because
> > it defines one of the fundamental language semantics;
> > thread-local by default.
>
> Does the shared marker have any effect on generated code?

Not at this time. And I'm not sure what your point is... does const
have any effect in generated code? (it does not)

> If not,
> then it is just a way to bypass (break) the type system on a
> syntactical level.

I don't understand this.. how is it bypassing/breaking the type system?