Title
Unclear specification of atomic operations
Status
open
Section
6.9.2.2 [intro.races]
Submitter
Kazutoshi Satoda

Created on 2016-01-21.00:00:00 last changed 34 months ago

Messages

Date: 2022-02-18.07:47:23

Additional notes, October, 2018:

This is also library issue 2506. SG1 has requested a paper to deal with this issue, so it is no longer considered editorial.

Date: 2017-04-15.00:00:00

Notes from the April, 2017 teleconference:

CWG determined that this issue should be handled editorially; it will be in "review" status until the change has been made and verified. See editorial issue 1611.

Date: 2022-03-27.20:51:22

Suggested resolution:

Change 6.9.2.2 [intro.races] paragraph 3 as follows:

The library defines a number the set of atomic operations (32.5 [atomics]) and operations on mutexes (Clause 32 [thread]) that. Some of these, and some other library operations, such as those on mutexes ( Clause 32 [thread]) are specially identified as synchronization operations. These operations...
Date: 2022-03-27.20:51:22

It is not sufficiently clear that the only atomic operations are the ones defined in 32.5 [atomics] by the library. The intent is that no accesses are atomic unless the Standard describes them as such.

An additional problem is that, e.g., new and delete are defined to be synchronization operations, but they are not defined in Clauses 32.5 [atomics] and Clause 32 [thread].

History
Date User Action Args
2022-02-18 07:47:23adminsetmessages: + msg6714
2020-12-15 00:00:00adminsetmessages: + msg6260
2020-12-15 00:00:00adminsetstatus: review -> open
2018-02-27 00:00:00adminsetmessages: + msg5877
2016-01-21 00:00:00admincreate