This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

2508. §[new.delete.dataraces] wording needs to be updated

Section: 17.6.3.5 [new.delete.dataraces] Status: New Submitter: Hans Boehm Opened: 2015-06-09 Last modified: 2016-02-01

Priority: 3

View all other issues in [new.delete.dataraces].

View all issues with New status.

Discussion:

17.6.3.5 [new.delete.dataraces] uses obsolete wording.

It should introduce a "synchronizes with" relationship. "Happens before" is too weak, since that may not composes with sequenced before.

The "shall not introduce a data race" wording is probably not technically correct either. These may race with other (non-allocation/deallocation) concurrent accesses to the object being allocated or deallocated.

Proposed resolution: