Created on 2019-08-03.00:00:00 last changed 4 months ago
This wording is relative to N4830.
Modify [atomics.lockfree] as indicated:
-2- The function atomic_is_lock_free ([atomics.types.operations]) indicate
swhether the object is lock-free. In any given program execution, the result of the lock-free query shall be consistent for all pointersof the same type.
[ 2020-02 Status to Ready on Thursday morning in Prague. ]
According to SG1 experts, the requirement in [atomics.lockfree]/2 is intended to require that the answer for is_lock_free() be the same for a given T for a given run of the program. The wording does not achieve that because it's described in terms of 'pointers', but there are no pointers in an atomic<int>.
|2020-02-13 12:32:11||admin||set||messages: + msg11058|
|2020-02-13 12:32:11||admin||set||status: new -> ready|
|2019-08-06 16:46:59||admin||set||messages: + msg10546|