C++并发编程(十四)
前言
通过类似函数式编程的方式,将各个线程的数据传递由 future 完成,而非共享数据,可简化代码,捋顺程序逻辑。
一、利用future进行类函数式编程
函数式编程是一种编程风格,有些语言天然就是函数式的,比如 LISP。C++是多范式语言,自然也可以进行函数式编程。
函数在C++中不仅可以有返回值,也可以无返回值,但会产生副作用。函数式编程,更倾向于纯函数,即不会产生除返回值外的其他作用的函数。
依赖于 future 对象在线程间传递,一个任务只依赖另一个任务结果,不必通过共享数据。
以下示例是基于快速排序思想的函数式实现,分别用单线程和利用future传递中间结果的多线程实现。
单线程快排 sequentialQuickSort() 基于链表结构而非整块内存数组结构,通过链表的成员函数 splice() 将原链表头元素转移到结果链表 result,作为快排的基准元素,然后通过 stl 算法 std::partition,将原链表元素分成大于基准元素和小于基准元素两部分,并将小于基准元素的部分传给新链表 lowerPart,递归调用 sequentialQuickSort(),进行两部分链表的排列,最后合并会 result。
当然,这段程序和真正的函数式还是有很大区别。
多线程快排的实现,仅仅是将递归调用放到 std::future<std::list> newLower 对象中。
明眼人一看便知,多线程并发快排的问题,用了太多的线程,线程一旦多于内核,恐怕不一定有利于算力提升,这也是多线程的一个坑,有时候辛苦搞的复杂多线程程序较单线程慢,就是这个道理,不迷信多线程,适度的使用,很有必要。
#include <algorithm>
#include <future>
#include <list>
#include <random>
#include <thread>
template <typename T>
auto sequentialQuickSort(std::list<T> input) -> std::list<T>
{
if (input.empty())
{
return input;
}
std::list<T> result;
result.splice(result.begin(), input, input.begin());
const T &pivot = *result.begin();
auto dividePoint = std::partition(input.begin(), input.end(),
[&](const T &t) { return t < pivot; });
std::list<T> lowerPart;
lowerPart.splice(lowerPart.end(), input, input.begin(), dividePoint);
auto newLower(sequentialQuickSort(std::move(lowerPart)));
auto newHigher(sequentialQuickSort(std::move(input)));
result.splice(result.end(), newHigher);
result.splice(result.begin(), newLower);
return result;
}
template <typename T>
auto parallelQuickSort(std::list<T> input) -> std::list<T>
{
if (input.empty())
{
return input;
}
std::list<T> result;
result.splice(result.begin(), input, input.begin());
const T &pivot = *result.begin();
auto dividePoint = std::partition(input.begin(), input.end(),
[&](const T &t) { return t < pivot; });
std::list<T> lowerPart;
lowerPart.splice(lowerPart.end(), input, input.begin(), dividePoint);
std::future<std::list<T>> newLower(
std::async(¶llelQuickSort<T>, std::move(lowerPart)));
auto newHigher(parallelQuickSort(std::move(input)));
result.splice(result.end(), newHigher);
result.splice(result.begin(), newLower.get());
return result;
}
int main()
{
std::list<int> intList;
std::vector<int> intVec;
for (int i = 100; i != 0; --i)
{
intVec.push_back(i);
}
std::shuffle(intVec.begin(), intVec.end(),
std::mt19937(std::random_device()()));
for (const auto &i : intVec)
{
intList.push_back(i);
}
auto res = sequentialQuickSort(intList);
auto res2 = parallelQuickSort(intList);
return 0;
}
总结
我们用蹩脚的函数式编程,完成了多线程的程序设计,虽然不一定如我们所愿能大幅提高效率,但作为示例,足够了。
如何合理的设计程序,是否真的有必要启用多线程,可能更值得程序设计者优先考虑。
参考文献:C++并发编程实战(第2版)[英] 安东尼•威廉姆斯(Anthony Williams)