On Friday, 15 July 2016 at 18:01:43 UTC, Andrei Alexandrescu
wrote:
Read or write.
For const(T) , same thing, but limited to write.
Thanks. Reworked:
"During and after mutating a memory location typed as
(unqualified) type T, no thread in the program (including the
current thread) is allowed to (a) effect a read of the same
location typed as const(T) or immutable(T), or (b) effect a
read or write of the same location typed as shared(T)."
Andrei
I think the idea is there, but there is still a problem : "During
and after" do not have any meaning without ordering
constraint/memory barrier.
