This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of Resolved status.
Section: 33.10.6 [futures.promise] Status: Resolved Submitter: INCITS Opened: 2010-08-25 Last modified: 2016-01-28
Priority: Not Prioritized
View other active issues in [futures.promise].
View all other issues in [futures.promise].
View all issues with Resolved status.
Discussion:
Addresses US-196
The term "are serialized" is not defined (33.10.6 [futures.promise] p. 21, 25).
[ Resolution proposed by ballot comment: ]
Replace "are serialized" with "shall not introduce a data race (17.6.4.8)".
[ 2010-11-02 Daniel translates proposal into proper wording changes ]
[2011-03-19: Detlef comments]
The proposed resolution for 1507 would cover this issue as well.
[Proposed Resolution]
- Change 33.10.6 [futures.promise] p. 21 as indicated:
21 Synchronization: calls to set_value and set_exception on a single promise object
are serializedshall not introduce a data race ([res.on.data.races]). [ Note: and they synchronize and serialize with other functions through the referred associated asynchronous state. — end note ]- Change 33.10.6 [futures.promise] p. 25 as indicated:
25 Synchronization: calls to set_value and set_exception on a single promise object
are serializedshall not introduce a data race ([res.on.data.races]). [ Note: and they synchronize and serialize with other functions through the referred associated asynchronous state. — end note ]
Proposed resolution:
Resolved 2001-03 Madrid by issue 1507.