Created on 2010-08-25.00:00:00 last changed 165 months ago
Proposed resolution:
Resolved 2001-03 Madrid by issue 1507.
[ Proposed Resolution ]
- Change [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 [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 ]
[ 2011-03-19: Detlef comments ]
The proposed resolution for 1507 would cover this issue as well.
[ 2010-11-02 Daniel translates proposal into proper wording changes ]
[ Resolution proposed by ballot comment: ]
Replace "are serialized" with "shall not introduce a data race (17.6.4.8)".
Addresses US-196
The term "are serialized" is not defined ([futures.promise] p. 21, 25).
History | |||
---|---|---|---|
Date | User | Action | Args |
2011-05-21 21:15:19 | admin | set | messages: + msg5791 |
2011-03-24 21:43:06 | admin | set | status: open -> resolved |
2011-03-20 11:33:07 | admin | set | messages: + msg5659 |
2010-11-02 20:27:27 | admin | set | messages: + msg5264 |
2010-11-02 20:27:27 | admin | set | messages: + msg5263 |
2010-11-02 20:27:27 | admin | set | messages: + msg5262 |
2010-10-24 16:08:33 | admin | set | messages: + msg5044 |
2010-08-25 00:00:00 | admin | create |