Title
There are no 'pointers' in §[atomics.lockfree]
Status
new
Section
[atomics.lockfree]
Submitter
Billy O'Neal III

Created on 2019-08-03.00:00:00, last changed 2019-08-06.16:46:59.

Messages

Date: 2019-08-06.16:46:59

Proposed resolution:

This wording is relative to N4830.

  1. Modify [atomics.lockfree] as indicated:

    -2- The functions atomic<T>::is_lock_free, and atomic_is_lock_free ([atomics.types.operations]) indicates whether the object is lock-free. In any given program execution, the result of the lock-free query is the same for all atomic objects shall be consistent for all pointers of the same type.

Date: 2019-08-03.00:00:00

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

History
Date User Action Args
2019-08-06 16:46:59adminsetmessages: + msg10546
2019-08-03 00:00:00admincreate