C++ Logo


Advanced search

Re: Synchronization of atomic notify and wait

From: language.lawyer_at <language.lawyer_at_[hidden]>
Date: Tue, 19 Jul 2022 15:51:22 +0500
On 19/07/2022 15:43, Marcin Jaczewski wrote:
> it's not term but definition that is used further:

It *is* a term which *has* a definition.

> "Effects: Unblocks the execution of at least one atomic waiting
> operation on *ptr that is eligible to be unblocked ([atomics.wait]) by
> this call, if any such atomic waiting operations exist."
> And now its requirement.

I don't get how the use of a term makes it (its definition?) a requirement.
BTW, you might have noticed that I've rewritten std::atomic::notify_one /Effects/ using new term /hairy/. std::atomic_ref::notify_one can be changed similarly.

Received on 2022-07-19 10:51:30