Section: 33.6.9 [futures.async] Status: C++14 Submitter: Nicolai Josuttis Opened: 2011-08-29 Last modified: 2016-02-10
Priority: Not Prioritized
View all other issues in [futures.async].
View all issues with C++14 status.
The current throw specification of async() does state:
-6- Throws: system_error if policy is launch::async and the implementation is unable to start a new thread.
First it seems not clear whether this only applies if policy equals launch::async of if the async launch mode flag is set (if policy|launch::async!=0)In the discussion Lawrence Crowl also wrote:
More generally, I think what we want to say is that if the implementation cannot successfully execute on one of the policies allowed, then it must choose another. The principle would apply to implementation-defined policies as well.
Should not throw. That was the intent. "is async" meat exactly.
[2012, Portland: move to Tentatively NAD Editorial]
If no launch policy, it is undefined behavior.
Agree with Lawrence, should try all the allowed policies. We will rephrase so that the policy argument should be lauch::async. Current wording seems good enough.
We believe this choice of policy statement is really an editorial issue.
If all the implementors read it and can't get it right - it is not editorial. Nico to provide wording
No objections to revised wording, so moved to Immediate.
Accept for Working Paper
This wording is relative to N3691.
Change 33.6.9 [futures.async] p6, p7 as indicated:
-6- Throws: system_error if policy
islaunch::async and the implementation is unable to start a new thread.
-7- Error conditions:
resource_unavailable_try_again — if policy
islaunch::async and the system is unable to start a new thread.