51 并行算法:如何利用并行处理提高算法的执行效率?
时间复杂度是衡量算法执行效率的一种标准。但是,时间复杂度并不能跟性能划等号。在真实的软件开发中,即便在不降低时间复杂度的情况下,也可以通过一些优化手段,提升代码的执行效率。毕竟,对于实际的软件开发来说,即便是像10%、20%这样微小的性能提升,也是非常可观的。
算法的目的就是为了提高代码执行的效率。那当算法无法再继续优化的情况下,我们该如何来进一步提高执行效率呢?我们今天就讲一种非常简单但又非常好用的优化方法,那就是并行计算。今天,我就通过几个例子,给你展示一下,如何借助并行计算的处理思想对算法进行改造?
并行排序
假设我们要给大小为8GB的数据进行排序,并且,我们机器的内存可以一次性容纳这么多数据。对于排序来说,最常用的就是时间复杂度为O(nlogn)的三种排序算法,归并排序、快速排序、堆排序。从理论上讲,这个排序问题,已经很难再从算法层面优化了。而利用并行的处理思想,我们可以很轻松地将这个给8GB数据排序问题的执行效率提高很多倍。具体的实现思路有下面两种。
第一种是对归并排序并行化处理。我们可以将这8GB的数据划分成16个小的数据集合,每个集合包含500MB的数据。我们用16个线程,并行地对这16个500MB的数据集合进行排序。这16个小集合分别排序完成之后,我们再将这16个有序集合合并。
第二种是对快速排序并行化处理。我们通过扫描一遍数据,找到数据所处的范围区间。我们把这个区间从小到大划分成16个小区间。我们将8GB的数据划分到对应的区间中。针对这16个小区间的数据,我们启动16个线程,并行地进行排序。等到16个线程都执行结束之后,得到的数据就是有序数据了。
对比这两种处理思路,它们利用的都是分治的思想,对数据进行分片,然后并行处理。它们的区别在于,第一种处理思路是,先随意地对数据分片,排序之后再合并。第二种处理思路是,先对数据按照大小划分区间,然后再排序,排完序就不需要再处理了。这个跟归并和快排的区别如出一辙。
这里我还要多说几句,如果要排序的数据规模不是8GB,而是1TB,那问题的重点就不是算法的执行效率了,而是数据的读取效率。因为1TB的数据肯定是存在硬盘中,无法一次性读取到内存中,这样在排序的过程中,就会有频繁地磁盘数据的读取和写入。如何减少磁盘的IO操作,减少磁盘数据读取和写入的总量,就变成了优化的重点。不过这个不是我们这节要讨论的重点,你可以自己思考下。
并行查找
我们知道,散列表是一种非常适合快速查找的数据结构。
如果我们是给动态数据构建索引,在数据不断加入的时候,散列表的装载因子就会越来越大。为了保证散列表性能不下降,我们就需要对散列表进行动态扩容。对如此大的散列表进行动态扩容,一方面比较耗时,另一方面比较消耗内存。比如,我们给一个2GB大小的散列表进行扩容,扩展到原来的1.5倍,也就是3GB大小。这个时候,实际存储在散列表中的数据只有不到2GB,所以内存的利用率只有60%,有1GB的内存是空闲的。
实际上,我们可以将数据随机分割成k份(比如16份),每份中的数据只有原来的1/k,然后我们针对这k个小数据集合分别构建散列表。这样,散列表的维护成本就变低了。当某个小散列表的装载因子过大的时候,我们可以单独对这个散列表进行扩容,而其他散列表不需要进行扩容。
还是刚才那个例子,假设现在有2GB的数据,我们放到16个散列表中,每个散列表中的数据大约是150MB。当某个散列表需要扩容的时候,我们只需要额外增加150*0.5=75MB的内存(假设还是扩容到原来的1.5倍)。无论从扩容的执行效率还是内存的利用率上,这种多个小散列表的处理方法,都要比大散列表高效。
当我们要查找某个数据的时候,我们只需要通过16个线程,并行地在这16个散列表中查找数据。这样的查找性能,比起一个大散列表的做法,也并不会下降,反倒有可能提高。
当往散列表中添加数据的时候,我们可以选择将这个新数据放入装载因子最小的那个散列表中,这样也有助于减少散列冲突。
并行字符串匹配
我们前面学过,在文本中查找某个关键词这样一个功能,可以通过字符串匹配算法来实现。我们之前学过的字符串匹配算法有KMP、BM、RK、BF等。当在一个不是很长的文本中查找关键词的时候,这些字符串匹配算法中的任何一个,都可以表现得非常高效。但是,如果我们处理的是超级大的文本,那处理的时间可能就会变得很长,那有没有办法加快匹配速度呢?
我们可以把大的文本,分割成k个小文本。假设k是16,我们就启动16个线程,并行地在这16个小文本中查找关键词,这样整个查找的性能就提高了16倍。16倍效率的提升,从理论的角度来说并不多。但是,对于真实的软件开发来说,这显然是一个非常可观的优化。
不过,这里还有一个细节要处理,那就是原本包含在大文本中的关键词,被一分为二,分割到两个小文本中,这就会导致尽管大文本中包含这个关键词,但在这16个小文本中查找不到它。实际上,这个问题也不难解决,我们只需要针对这种特殊情况,做一些特殊处理就可以了。
我们假设关键词的长度是m。我们在每个小文本的结尾和开始各取m个字符串。前一个小文本的末尾m个字符和后一个小文本的开头m个字符,组成一个长度是2m的字符串。我们再拿关键词,在这个长度为2m的字符串中再重新查找一遍,就可以补上刚才的漏洞了。
并行搜索
前面我们学习过好几种搜索算法,它们分别是广度优先搜索、深度优先搜索、Dijkstra最短路径算法、A*启发式搜索算法。对于广度优先搜索算法,我们也可以将其改造成并行算法。
广度优先搜索是一种逐层搜索的搜索策略。基于当前这一层顶点,我们可以启动多个线程,并行地搜索下一层的顶点。在代码实现方面,原来广度优先搜索的代码实现,是通过一个队列来记录已经遍历到但还没有扩展的顶点。现在,经过改造之后的并行广度优先搜索算法,我们需要利用两个队列来完成扩展顶点的工作。
假设这两个队列分别是队列A和队列B。多线程并行处理队列A中的顶点,并将扩展得到的顶点存储在队列B中。等队列A中的顶点都扩展完成之后,队列A被清空,我们再并行地扩展队列B中的顶点,并将扩展出来的顶点存储在队列A。这样两个队列循环使用,就可以实现并行广度优先搜索算法。
总结引申
上一节,我们通过实际软件开发中的“索引”这一技术点,回顾了之前学过的一些支持动态数据集合的数据结构。今天,我们又通过“并行算法”这个话题,回顾了之前学过的一些算法。
今天的内容比较简单,没有太复杂的知识点。我通过一些例子,比如并行排序、查找、搜索、字符串匹配,给你展示了并行处理的实现思路,也就是对数据进行分片,对没有依赖关系的任务,并行地执行。
并行计算是一个工程上的实现思路,尽管跟算法关系不大,但是,在实际的软件开发中,它确实可以非常巧妙地提高程序的运行效率,是一种非常好用的性能优化手段。
特别是,当要处理的数据规模达到一定程度之后,我们无法通过继续优化算法,来提高执行效率 的时候,我们就需要在实现的思路上做文章,利用更多的硬件资源,来加快执行的效率。所以,在很多超大规模数据处理中,并行处理的思想,应用非常广泛,比如MapReduce实际上就是一种并行计算框架。
课后思考
假设我们有n个任务,为了提高执行的效率,我们希望能并行执行任务,但是各个任务之间又有一定的依赖关系,如何根据依赖关系找出可以并行执行的任务?
欢迎留言和我分享,也欢迎点击“请朋友读”,把今天的内容分享给你的好友,和他一起讨论、学习。
- Geek_46cdcd 👍(11) 💬(3)
请问老师,广度优先搜索中用两个队列是为了解决多线程的并发问题吗?
2019-05-09 - Smallfly 👍(8) 💬(1)
并行搜索只用一个队列不可以么?
2019-01-23 - 纯洁的憎恶 👍(8) 💬(1)
并行与分治的区别是什么?前者偏工程,后者偏算法么?还是前者在并发环境中,后者在单核串行环境中?
2019-01-23 - 少盐 👍(1) 💬(1)
计算机不一定都是n核的,怎么实现性能提升n倍呢
2019-01-23 - 走马 👍(0) 💬(1)
是不是就类似于spark中rdd 的宽窄依赖了
2019-09-17 - 朱东旭 👍(0) 💬(1)
老师,并行搜索在你的描述中是先操作队列A,再操作队列B,这是有先后顺序,这意味着是串行的不是并行呀。
2019-05-10 - 失火的夏天 👍(222) 💬(7)
思考题用一个有向图来存储任务之间的依赖关系,然后用拓扑排序的思想来执行任务,每次都找到入度为0的,放在队列里,启动线程池开始执行,队列里的任务并行执行完毕,再次调用拓扑排序找到入度为0的人,放入队列,直到所以任务跑完
2019-01-23 - Jerry银银 👍(52) 💬(3)
一看到依赖,就想到了拓扑。 这种感觉好是还是不好呢?
2019-01-23 - DFighting 👍(48) 💬(2)
现在才明白,其实最底层的数据结构是<addr,value>,按照存储介质是否连续、是否显示制定key又可以分为数组、链表和hash,其中数组可以认为是一种<index,arr[index]>,链表是<p,*p>,然后在这基础之上衍生出了一维的线性表、栈、队列,散列表,二维的树(平衡二叉树、红黑树、跳表),三维的图,还有就是各种数据结构灵活组合的数据结构,这里的跳表可以算是组合类型的,但是它的使用范围很多,所以划到了二维中。这些是存储 然后是算法:排序、分治、贪心、回溯、动态规划 第一次真正感觉到了数据结构和算法的关联,好神奇的感觉。至少现在觉得那些难记的算法、数据结构没那么困难了,多思考、实践总会能够像写代码般应用到实际中。
2019-08-13 - hua168 👍(16) 💬(9)
老师,我就问一个题外问题: 大专学历,想直接自学考本科或研究生,自考学历IT类公司承认的吗? 很多都要求全日制本科~~
2019-01-23 - 🐱您的好友William🐱 👍(13) 💬(1)
使用拓扑关系来构建图安排计算顺序,这个spark,tensorflow都是这么安排的,效率比最开始的MapReduce还要高很多。
2019-02-08 - 茴香根 👍(13) 💬(1)
思考题讲的够直白了,n个任务有互相依赖。那么并行处理的方法就要采用流水线的思想了。创建n个线程,每个线程完成一个任务。每个线程在它的上游线程结束输出结果后启动,完成之后把结果传递给下游任务线程继续流程。整个工作场景像工厂里面的流水线一样,每一个线程都努力地重复着某一阶段的任务,提高整体资源利用率。
2019-01-23 - 忍者无敌1995 👍(9) 💬(1)
想到的第一个思路就是前面所讲的拓扑排序,任务之间的关系用有向图表示,如果是采用khan遍历,则每次找到入度为0的,同时多线程执行,等他们执行完(java可以通过CountDownLatch来模拟实现),然后同理找到入度为0的任务,继续同理执行,直到全部执行完
2019-04-09 - 注定非凡 👍(5) 💬(1)
算法的目的就是为了提高代码执行的效率。当算法无法再继续优化的情况下,需要借助并行计算的处理思想对算法进行改造 并行排序 假设要给大小为 8GB 的数据进行排序,最常用的是三种排序算法,归并排序、快速排序、堆排序,时间复杂度为 O(nlogn) 。从理论上讲,已经很难再从算法层面优化了。而利用并行的处理思想可以将执行效率提高很多倍。 第一种是对归并排序并行化处理 * 将这8GB 的数据划分成 16 个小的数据集合,每个集合包含 500MB 的数据。 * 用 16 个线程,并行地对这 16 个 500MB 的数据集合进行排序。 * 16 个小集合分别排序完成之后,再将这 16 个有序集合合并。 第二种是对快速排序并行化处理 * 将数据扫描一遍,找到数据所处的范围区间,在按从小到大划分成 16 个小区间。 * 将 8GB 的数据划分到对应的16 个小区间中,启动 16 个线程,并行地进行排序。 * 等到 16 个线程都执行结束后,得到的数据就是有序数据了。 对比这两种处理思路 * 共同点:它们利用的都是分治的思想,对数据进行分片,然后并行处理。 * 不同点: (1)第一种处理思路是,先随意地对数据分片,排序之后再合并。 (2)第二种处理思路是,先对数据按照大小划分区间后再排序,排完序就不需要再处理了。 * 这个跟归并和快排的区别如出一辙。 并行查找 散列表是一种非常适合快速查找的数据结构。 弊端: * 如果给动态数据构建索引,数据不断加入会使散列表的装载因子越来越大 * 为了保证散列表性能不下降,就需要对散列表进行动态扩容 * 对巨大的散列表进行动态扩容,不仅比较耗时,还比较消耗内存 优化: * 实际上可以将数据随机分割成 k 份(比如 16 份),每份中的数据只有原来的 1/k * 然后针对这 k 个小数据集合分别构建散列表。这样,散列表的维护成本就变低了 * 当某个小散列表的装载因子过大的时,可以单独对这个散列表进行扩容,而其他散列表不需要进行扩容。 * 当要查找数据时,通过 16 个线程并行地在这16 个散列表中查找数据。这样的查找性能,比起一个大散列表的做法,也并不会下降,反倒有可能提高。 * 当往散列表中添加数据时,可以将新数据放入装载因子最小的散列表中,这样也有助于减少散列冲突。 假设有 2GB 的数据,放到 16 个散列表中,每个散列表中的数据大约是 150MB。当某个散列表需要扩容的时候,我们只需要额外增加 150*0.5=75MB 的内存(假设还是扩容到原来的 1.5 倍)。不管从扩容的执行效率还是内存的利用率上,这种多个小散列表的处理方法,都要比大散列表高效 并行字符串匹配 在文本中查找某个关键词可以通过字符串匹配算法来实现,字符串匹配算法有 KMP、BM、RK、BF 等 如果处理的是超级大的文本,可以把大的文本,分割成 k 个小文本。假设 k 是 16,就启动 16 个线程,并行地在这 16 个小文本中查找关键词,这样整个查找的性能就提高了 16 倍 并行搜索 搜索算法有:广度优先搜索、深度优先搜索、Dijkstra 最短路径算法、A* 启发式搜索算法。对于广度优先搜索算法,也可以将其改造成并行算法。 * 广度优先搜索是一种逐层搜索的搜索策略 * 基于当前这一层顶点,我们可以启动多个线程,并行地搜索下一层的顶点 * 在代码实现方面,原来广度优先搜索的代码实现,是通过一个队列来记录已经遍历到但还没有扩展的顶点 * 经过改造之后的并行广度优先搜索算法,需要利用两个队列来完成扩展顶点的工作
2020-02-08 - 刺猬 👍(4) 💬(4)
王铮老师,你好,学习了这么久一直有一个疑问,之前讲的那个100G订单排序的问题,一大份数据分成多份小数据然后进行排序,原理其实很简单,但是分的时候可以用到什么算法,分完组合的时候用到什么算法,因为100G订单不是之前就分好的,要一次性分,那也需要扫描这100G订单,另外如果分的时候不是采用先对数据按照大小划分区间,然后再排序的话,那么在每一段内是有序的,但是不能保证组合以后也有序,所以组合的时候还有进行排序,这种情况有什么好的解决思路。
2019-11-24