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.
> 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