异步函数产生不一致的结果

Question

我有一个运行异步的函数。不幸的是，它只是偶尔会吐出正确答案。每次我运行代码时，futures[i].get() 表示的值都会改变。我是多线程的新手。

double async_func() const {

    vector<future<double>> futures;

    double val = 0;
    for (int i = 0; i < rows; i++) {
        futures.push_back(std::async(std::launch::async, [&] {return minor(i,0).determinant();}) );
    }       
    for (int i = 0; i < rows; i++) 
        val += futures[i].get();

    return val;
}

Answer 1

问题出在引用捕获

for (int i = 0; i < rows; i++)
{
   futures.push_back(std::async(std::launch::async, [&] // capture by reference!
   {
       return minor(i,0).determinant();
   }));
}

这是一个问题，因为每个执行的方法都没有得到它自己的值i，而是对循环变量i的引用。因此，一旦 i 为函数调用 minor(i, 0) 求值，它可能已经更改。更糟糕的是，函数调用可能在循环结束之前尚未执行。因此 i 可能在使用之前就已经被销毁了。

如果上面的描述还不够，也许这个时间表可以提供帮助。请注意，这不是真实情况，只是一个例子。

假设迭代 i 需要 2 个时间步，评估函数的参数需要 2 个步骤，启动一个线程需要 5 个步骤（在真机上可能更多！）。每个线程完成的工作可能需要几千步（这就是我们将它们并行化的原因，对吧？）。

Time -->
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 ...
^ ^ ^ ^ ^ ^ ^ ^ ^ ^ ^  ^  ^  ^  ^
| | | | | | | | | | |  |  |  |  Thread 3 function call.
| | | | | | | | | | |  |  |  Thread 3 evaluate parameters (i == garbage!).
| | | | | | | | | | |  |  Thread 3 start; Thread 2 function call.
| | | | | | | | | | |  Thread 2 evaluate parameters (i == garbage!).
| | | | | | | | | | Destroy i; Thread 2 start; Thread 1 function call.
| | | | | | | | | Loop condition broken; Thread 1 evaluate parameters (i == 4 !).
| | | | | | | | Thread 0 function call; Thread 1 start; i = 4;
| | | | | | | Thread 3 request to start; Thread 0 evaluate parameters (i == 3 !).
| | | | | | Thread 0 start; i = 3;
| | | | | Thread 2 request to start.
| | | | i = 2.
| | | Thread 1 request to start.
| | i = 1.
| Thread 0 request to start.
Create i, i = 0.

因此一些线程获得有意义的数据，而其他线程则不会。根据实际时间，可能会在评估其函数参数值的同时递增 i，在这种情况下，您会遇到竞争条件。

分辨率是通过按值捕获 i:

for (int i = 0; i < rows; i++)
{
   futures.push_back(std::async(std::launch::async, [=] // capture by value
   {
       return minor(i,0).determinant();
   }));
}

建议：在处理异步位时，明确说明您捕获的内容：

for (int i = 0; i < rows; i++)
{
   futures.push_back(std::async(std::launch::async, [i] // explicit capture by value
   {
       return minor(i,0).determinant();
   }));
}

您还应该避免对您的期货向量进行重新分配。只需在循环前添加 futures.reserve(rows)。

异步函数产生不一致的结果

asynchronous function producing inconsistent results

c++

multithreading

c++11

future

stdasync