Question

本书操作中的并发提供了如何在C ++ 11中实现线程池的示例。

这是清单9.3（p.279），它显示了如何使用线程池（之前几页实现）：

template<typename Iterator,typename T>
T parallel_accumulate(Iterator first,Iterator last,T init)
{
    unsigned long const length=std::distance(first,last);

    if(!length)
        return init;

    unsigned long const block_size=25;
    unsigned long const num_blocks=(length+block_size-1)/block_size;

    std::vector<std::future<T> > futures(num_blocks-1);
    thread_pool pool;

    Iterator block_start=first;
    for(unsigned long i=0;i<(num_blocks-1);++i)
    {
        Iterator block_end=block_start;
        std::advance(block_end,block_size);
        futures[i]=pool.submit(accumulate_block<Iterator,T>());
        block_start=block_end;
    }
    T last_result=accumulate_block<Iterator,T>()(block_start,last);
    T result=init;
    for(unsigned long i=0;i<(num_blocks-1);++i)
    {
        result+=futures[i].get();
    }
    result += last_result;
    return result;
}

在这里，我们将一些期货存储在一个向量中。每个未来都是将任务提交给线程池的结果。但是，在创建任务时（在第一个for循环中），只提供一个仿函数（accumulate_block），而不是参数（block_start和block_end）：

        futures[i]=pool.submit(accumulate_block<Iterator,T>());

这怎么办？这些任务从哪里得到他们的论据？

PS - 源代码可在线获取：https://www.manning.com/books/c-plus-plus-concurrency-in-action

Answer 1

是的，代码缺少一些东西，但这不是很重要。查看accumulate_block：

的定义

template<typename Iterator,typename T>
struct accumulate_block
{
    T operator()(Iterator first,Iterator last)
    {
        return std::accumulate(first,last,T());
    }
};

我们看到block_start和block_end应以某种方式提供给pool.submit调用。以下是它的实现方式：

futures[i]=pool.submit([block_start, block_end]()
{
    accumulate_block<Iterator,T> a();
    return a(block_start, block_end);
});

课程thread_pool可能还需要进行一些更改。

＆＃34;并发行动＆＃34;中的线程池示例

1 个答案: