Created on 2024-12-17.00:00:00 last changed 3 weeks ago
Proposed resolution (2025-01-20, approved by CWG 2025-02-14):
Change in 6.9.2.2 [intro.races] paragraph 22 as follows:
Two accesses to the same non-bit-field object of type volatile std::sig_atomic_t do not result in a data race if both occur in the same thread, even if one or more occurs in a signal handler. ...
(From submission #654.)
Subclause 6.9.2.2 [intro.races] paragraph 22 specifies:
Two accesses to the same object of type volatile std::sig_atomic_t do not result in a data race if both occur in the same thread, even if one or more occurs in a signal handler. ...
This provision applies to bit-fields as well, because bit-fields are objects (6.8.1 [basic.types.general] paragraph 4). However, in practice bit-fields are not updated atomically and are subject to tearing.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2025-02-14 17:08:12 | admin | set | status: tentatively ready -> ready |
| 2025-02-02 20:35:25 | admin | set | status: open -> tentatively ready |
| 2024-12-17 11:50:10 | admin | set | messages: + msg7926 |
| 2024-12-17 00:00:00 | admin | create | |