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

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

Priority: 3

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

View all issues with New status.

Discussion: [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: