Date: Wed, 20 Jul 2022 19:39:53 +0500
On 20/07/2022 19:24, Thiago Macieira via Std-Discussion wrote:
> On Wednesday, 20 July 2022 01:46:45 PDT language.lawyer--- via Std-Discussion
> wrote:
>> Ofc, the non-main thread could "publish" its L1 cache or the main thread
>> could ask for update, but why do they have to do it, from the C++ abstract
>> machine POV? What they violate if they don't do it?
>
> You should understand the notify() as a non-value modification.
You mean, it participates in the modification order of the atomic object?
> An implementation that fails like you'd described in the previous paragraph would be defective.
But only from the QoI POV, right?
> On Wednesday, 20 July 2022 01:46:45 PDT language.lawyer--- via Std-Discussion
> wrote:
>> Ofc, the non-main thread could "publish" its L1 cache or the main thread
>> could ask for update, but why do they have to do it, from the C++ abstract
>> machine POV? What they violate if they don't do it?
>
> You should understand the notify() as a non-value modification.
You mean, it participates in the modification order of the atomic object?
> An implementation that fails like you'd described in the previous paragraph would be defective.
But only from the QoI POV, right?
Received on 2022-07-20 14:39:58