std :: async函数串行运行

Question

在for循环中将std :: async与launch :: async一起使用时，我的代码在同一线程中串行运行，就像每个异步调用在启动之前都等待前一个一样。 在std :: async引用的注释（ std :: async ）中，如果std :: future未绑定到引用，则可能发生这种情况，但我的代码并非如此。 谁能弄清楚为什么它串行运行？

这是我的代码段：

class __DownloadItem__ { //DownloadItem is just a "typedef shared_ptr<__DownloadItem__> DownloadItem"
    std::string buffer;
    time_t last_access;
 std::shared_future<std::string> future;
}

for(uint64_t start: chunksToDownload){
        DownloadItem cache = std::make_shared<__DownloadItem__>();
        cache->last_access = time(NULL);
        cache->future =
                std::async(std::launch::async, &FileIO::download, this, api,cache, cacheName, start, start + BLOCK_DOWNLOAD_SIZE - 1);
     }
}

由于多个线程可能正在等待相同的将来，因此将将来存储在共享的将来中。

我也在使用GCC 6.2.1进行编译。

Answer 1

析构函数中async块返回的std::future 。 这意味着，当你到达}的

for(uint64_t start: chunksToDownload){
    DownloadItem cache = std::make_shared<__DownloadItem__>();
    cache->last_access = time(NULL);
    cache->future =
            std::async(std::launch::async, &FileIO::download, this, api,cache, cacheName, start, start + BLOCK_DOWNLOAD_SIZE - 1);
 }  // <-- When we get here

cache被破坏，这反过来调用future的析构函数，该析构函数等待线程完成。

您需要做的是将从async返回的每个future存储在一个单独的持久性future ，该持久性在for循环外声明。

Answer 2

这是C ++ 11定义的std::async的一个功能缺陷。 它的期货析构函数很特殊，需要等待操作完成。 有关Scott的Meyers博客的更多详细信息。

cache在每次循环迭代结束时被销毁，从而调用其子对象的析构函数。

使用packaged_task或确保您保存了指向cache的共享指针副本的容器，以避免等待析构函数。 就个人而言，我会选择packeged_task

Answer 3

如您所知， std::async返回的future的future d-tor将阻塞并等待异步操作完成（以使future ready ）。 在您的情况下， cache对象在每次循环迭代时都超出范围，因此会被破坏，以及它所拥有的future ，因此您会看到所提到的效果。