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: 32.10.5 [futures.state] Status: Resolved Submitter: INCITS Opened: 2010-08-25 Last modified: 2016-01-28
Priority: Not Prioritized
View all other issues in [futures.state].
View all issues with Resolved status.
Discussion:
Addresses US-195
The intent and meaning of 32.10.5 [futures.state] p10 is not apparent.
10 Accesses to the same shared state conflict (1.10).
[ 2011-03-07 Jonathan Wakely adds: ]
It's not clear which paragraph this refers to, I had to go to the ballot comments where US-195 reveals it's para 8, which in the FCD (N3092) says:
Accesses to the same associated asynchronous state conflict (1.10).
This is now para 10 in N3242:
Accesses to the same shared state conflict (1.10).
[2011-03-07: Lawrence comments and drafts wording]
The intent of this paragraph is to deal with operations,
such as shared_future::get(), that return a reference
to a value held in the shared state. User code could potentially
conflict when accessing that value.
Lawrence proposed resolution:
Modify 32.10.5 [futures.state] p10 as follows:
10
Accesses to the same shared state conflict (6.10.2 [intro.multithread]).
[2011-03-19: Detlef suggests an alternative resolution, shown below.]
Proposed Resolution
Modify 32.10.5 [futures.state] p10 as follows:
10 Accesses to the same shared state conflict (6.10.2 [intro.multithread]).
Proposed resolution:
Resolved 2011-03 Madrid meeting by paper N3278