多核时代:并行程序设计探讨(9)——数据分解模式Data Decomposition

                                                   Data Decomposition

1.1        问题

如何将待解决的问题的数据分解为能够并行运行的数据单元(units)?

1.2        上下文

并行算法的设计者必须首先详细了解待解决的问题,除此之外,还必须识别如下几个关键因素:

1)计算强相关的部分:待解决问题中的哪部分需要进行大量运算;

2)关键数据结构:主要是对什么数据进行运算;如何进行运算。

 

当基本问题理解后,设计师必须考虑解决问题的需要完成哪些任务以及这些任务中包含哪些数据。为了创建并行算法,关键不是要进行哪种分解,而是首先从哪种分解开始,任务分解和数据分解都要进行。

 

什么情况下该首先采用基于数据的分解方式呢?如果存在以下场景,则从数据分解开始时比较好的选择:

1)待解决问题中计算强相关的部分都是围绕数据进行组织的;

2)同样的操作应用到数据结构的不同部分;

 

1.3        考虑因素

1.3.1   灵活

此时考虑灵活性主要是为了能够让设计能够满足不同的实现需求,这里的实现就是具体采用的技术,例如采用Java编程,采用多CPU的小型机运行等,如果客户不强制要求,在这个阶段就不要限制这些。当然如果问题里面本身已经包含了这种实现,那就必须考虑这种实现的限制了。例如客户要求只能运行在小型机上面,那么设计的时候就需要考虑小型机的特点对人物分解的影响了。

1.3.2   有效

并行程序只有在随着并行计算机的规模增大时效率能够按比例增长才有意义。对于任务分解来说,这就意味着我们需要足够的任务来使得所有计算机都处于忙碌的状态。

通过使每个任务有足够的工作(Work)来弥补管理任务间的依赖带来的效率损失才能达到这点。当然,效率提升会带来灵活性的降低。

1.3.3   简单

再怎么好的程序也要人维护吧,所以再怎么复杂怎么好都要考虑怎么维护。

以上三种因素互相制约,具体怎么平衡,还是要看设计师的水平。

1.4        解决方法

如果已经基于任务进行了分解,则可以针对每个任务进行数据分解。如果定义良好且清晰的数据能够和每个人物关联,则数据分解就简单了。

 

如果我们从数据分解开始进行分解,则这个时候还没有任务,因此我们不能盯着任务进行分解了,而应该盯住最主要的数据结构,然后考虑如何将数据结构分解为数据块,使得针对数据块的操作能够并行。一些常见的样例如下:

1)线性数据结构:可以采用“分段方式”对数据进行分解,针对不同的数据段进行并行操作;如果是一个多维的数据结构,则可以采用多种方式进行分解:按列、按行、按数据块。

2)递归数据结构:可以采用“递归方式”对数据进行分解,所谓“递归方式”就是指针对数据的一部分操作和针对整个数据的操作原理上是一样的。典型的样例就是“树”这种数据结构了,每个子树其实都是一颗树,可以先对子树进行计算,然后将子树合并起来又是一颗树,这样就能够通过并行来完成树的计算了。

 

时间: 2024-09-21 00:13:41

多核时代:并行程序设计探讨(9)——数据分解模式Data Decomposition的相关文章

多核时代:并行程序设计探讨(8)——任务分解模式Task Decomposition

                                                              Task Decomposition 从本章开始我们就正式来介绍每个模式了,参考设计模式的做法,每个模式我们都按照如下的内容进行介绍:问题(Problem).上下文(context).考虑因素(Forces).解决方法(Solutions).至于样例,就请各位看官直接看原文了.   1.1        问题 如何将待解决的问题分解为能够并行运行的"任务(task)&quo

多核时代:并行程序设计探讨(1)——并行系统

  并行程序设计探讨(1)--并行系统 大家可能会有疑问:你一会儿并行,一会儿多核,到底是谁跟谁啊? 我开始也有这个疑问,甚至以为并行就是多核,其实两个并不能对等,一句话就是:多核是并行的一种. 并行本身是一个广泛的概念,其实早在多核之前并行处理就已经存在N久了,大家想想看:IBM.SUN.HP的小型机,哪个不是多CPU的?甚至连DELL的工作站,都是两CPU的,更不用说那些中型机.大型机.巨型机了.所以说"并行处理"是一个比"多核处理"要广泛.要早的多的技术,多核

多核时代:并行程序设计探讨(2)——并行实现技术

并行程序设计探讨(2)--并行实现技术 通过"并行程序设计探讨(1)"的介绍,相信大家都已经对并行系统相关的概念有了初步的了解.不过看起来挺吓人的,一堆的术语和概念,想起来头就有点大!! 幸运的是真正需要进行并行程序设计的系统其实不多,我们来看看: SISD:本质上决定了不可能是并行的: SIMD:专有系统,相信绝大部分人都没有接触过: MISD:没有这样的系统: MIMD:本质上就是为了支持并行的. 因此,在处理并行程序设计的时候,我们其实只要考虑MIMD这类系统就OK了!谢天谢地O

多核时代:并行程序设计探讨(3)——Windows和Linux对决(多进程多线程)

并行程序设计探讨(3)--Windows和Linux对决(多进程多线程) 前面的博文经过分析总结,最后得出两种并行技术:多进程多线程.多机协作.对于多进程和多线程来说,最有代表性且最常见的的莫过于Windows和Linux(作为UNIX类操作系统的代表,下同)这两个操作系统了. 真是冤家路窄,Windows和Linux这对冤家在这里又碰面了!! 当然,我这里不是要挑起Windows和Linux谁优谁劣的争论,对于一个真正的技术人来说,Windows和Linux本身并没有优劣之分,只有在不同的使用

《多核与GPU编程:工具、方法及实践》----第2章 多核和并行程序设计 2.1 引言

第2章 多核和并行程序设计 本章目标 学习设计并行程序的PCAM方法. 使用任务图和数据依赖图来识别可以并行执行的计算部分. 学习将问题的解法分解为可并发执行部分的流行的分解模式. 学习编写并行软件的主要程序结构模式,如主/从和fork/join. 理解分解模式的性能特点,如流水线. 学习如何结合分解模式和合适的程序结构模式. 2.1 引言 即使是对于经验丰富的专业程序员,向多核编程的过渡也并不简单.多核和并行编程往往会打破语句按严格顺序执行的串行程序的传统风格.当许多事情在同一时间发生时,正如

多核时代:并行程序设计探讨(7)——并行编程模式概览

                                          并行编程模式概览 前面的5.6篇博文,都是和并行编程相关的基础知识,如果你一路看来,基本上也能够开始进行并行编程设计了,也可以和别人吹吹牛.聊聊天了. 但"欲穷千里目,更上一层楼",前面的毕竟都是基础知识,拿来直接设计,虽然能够完成任务,但就像在茫茫大海中航行,没有灯塔,难免会走很多弯路.甚至绝路! 所以我们要在这些基础知识之上,学习一套系统的分析问题.设计方案.应用实现的理论来指导我们作出正确的.优秀

多核时代:并行程序设计探讨(10)——任务分组模式Group Task Pattern

                                                    任务分组模式Group Task Pattern 1.1        问题 一个问题的多个任务如何聚集成一组,以简化依赖关系的管理? 1.2        上下文 当任务和数据分解完成后,就可以应用此模式了. 任务分组模式描述了分析任务之间的依赖关系的第一步.在任务分解的过程中,我们按照任务可以并行运行来考虑,然而我们并没有强调一个很明显的事实:这些任务并不是组成一个扁平(译者注:指任务之间

多核时代:并行程序设计探讨(4)——Windows和Linux对决(进程间通信)

                             进程间通信 多进程和多线程本质上就是将原来一个进程或者线程处理的任务分给了多个进程或者线程,也可以说是将原来一个CPU处理的任务分给了多个CPU处理,类似于随着生产力的发展,原来一个人包打天下的个人英雄主义时代被分工合作的团队取代一样. 既然是一个团队,就必然涉及到分工合作问题,并行程序的设计本质上就是解决"分工"和"合作"的问题.其中"分工"主要是后面讲到"并行程序设计模式&q

多核时代:并行程序设计探讨(6)——多机协作(又叫分布式处理)

                                  多机协作(又叫分布式处理) 嗯,费了九牛二虎之力,终于将Windows和Linux对比完了.你是否准备伸个懒腰,喝杯热咖啡,听点音乐来放松一下呢? 别急,革命尚未成功,同志还需努力,铁还得趁热打.还记得第二篇博文里面总结的两种并行实现技术没有?一个是"多进程多线程",另一个是"多机协作",到目前为止我们基本上只把"多进程多线程"分析完毕了,还有另外一个"多机协作&quo