std::async 未使用 std::launch::async 策略启动新线程

Question

如果我使用 std::launch::async 策略启动 std::async ，它不应该在新线程中启动每个异步任务吗？目前看起来新的异步任务移动到刚刚完成它的工作的线程。我使用 VC11 作为我的编译器。正如您从输出中看到的那样，当使用 std::async 启动一个新的工作线程（例如，一个工作线程多次获取 ID 为 34500 的线程）时，它从一个先前完成的线程开始。我对 std::async 的理解是错误的，还是有潜在的工作窃取队列或类似的东西？

Worker (ID=24072) starting.
Worker (ID=34500) starting.
Worker (ID=32292) starting.
Worker (ID=31392) starting.
Worker (ID=17976) starting.
Worker (ID=31580) starting.
Worker (ID=33512) starting.
Worker (ID=33804) starting.
Worker 32292 finished.
Worker (ID=32292) starting.
Worker 17976 finished.
Worker (ID=17976) starting.
Worker 31580 finished.
Worker (ID=31580) starting.
Worker 34500 finished.
Worker (ID=34500) starting.
Worker 34500 finished.
Worker (ID=34500) starting.
Worker 32292 finished.
Worker (ID=32292) starting.
Worker 17976 finished.
Worker (ID=17976) starting.
Worker 34500 finished.
Worker 17976 finished. 
Worker 31580 finished.
Worker 32292 finished.
Worker 33804 finished.
Worker 31392 finished.
Worker 33512 finished.
Worker 24072 finished.

Answer 1

如果我使用 std::launch::async 策略启动 std::async，它不应该在新线程中启动每个异步任务吗？

规范要求异步操作“就像在新的执行线程中一样”执行（C++11 §30.6.8/11）。这里的重要词是：好像。

当且仅当行为与创建新线程相同时，才能重用已经运行的工作线程。这意味着，例如，具有thread_local 存储类的变量必须在单个线程上执行的异步操作之间重置。

没有必要重置线程标识符，因为线程标识符仅在线程运行时唯一标识线程。如果一个线程终止，则可以使用第一个线程的标识符启动另一个线程。

是否有潜在的工作窃取队列或类似的东西？

这是特定于实现的。 C++11 线程支持库的 Visual C++ 2012 实现构建在 Concurrency Runtime (ConcRT) 之上，其中包括一个工作窃取任务调度程序。

Answer 2

James 是对的，但有一个更正：Microsoft 的 launch::async 实现不正确。 C++ 并发working group in Redmond 对此进行了详细讨论。 Visual C++ 2012 仍处于测试阶段，因此他们可能会将实现更改为符合标准。