Date: Tue, 19 Jul 2022 16:39:43 +0500
On 19/07/2022 16:28, Marcin Jaczewski wrote:
> But for `notify` explicitly say it NEED to do in that way that `wait`
> WILL see it correctly.
> The Definition of `wait` on its own is not enough, you need to read
> the whole standard and all cross references,
> like in the case of `memcpy` that all special guarantees are placed in
> multiple places of standard.
I've re-checked the definition of notify, of wait and of "eligible to be unblocked" and still do not see how the visibility of the new value is guaranteed.
Could you be more concrete instead of reading morals?
> But for `notify` explicitly say it NEED to do in that way that `wait`
> WILL see it correctly.
> The Definition of `wait` on its own is not enough, you need to read
> the whole standard and all cross references,
> like in the case of `memcpy` that all special guarantees are placed in
> multiple places of standard.
I've re-checked the definition of notify, of wait and of "eligible to be unblocked" and still do not see how the visibility of the new value is guaranteed.
Could you be more concrete instead of reading morals?
Received on 2022-07-19 11:39:49