48365-365_计算奇迹 “亿阶线性方程组”被攻破

2019-05-09 14:34 来源:未知

  “随着科技的进步,问题的处理规模逐渐增大且精度要求日益提高。受计算能力所限,超大规模线性方程组的求解往往成为工程数值计算过程中的一大瓶颈。应用研发团队基于CPU+MIC异构平台开发的超大规模线性方程组高性能求解系统,可在短短几分钟内完成亿阶规模矩阵的求解,这一成果对科学研究、工程应用以及自主可控国产CAE软件的开发都有重要意义!” 对于与浪潮联合开发的亿阶线性方程组MIC加速方案,太原理工大学博士生导师,中国计算数学学会常务理事、副秘书长李明给出了上述评价。

  “毫不夸张的讲,大部分科学与工程问题都要归结为一个线性方程组的求解问题。”李明教授一开头说道。他介绍说,线性方程组的求解问题是一个十分古老的问题,早在中国古代数学专著《九章算术》第八章就详细记载了一次线性方程组的求解方法。时隔数千年的今天,线性方程组求解仍是众多科学与工程领域重点研究的课题之一。

  实际上,数学物理模型的求解是众多工程生产与科研领域必不可少的工作之一,如机械制造、材料加工、航空航天、汽车、土木建筑、国防军工、船舶、铁道、石化、能源、科学研究等。快速、精确地求解线性方程组可以很大程度地提高生产、研究效率。经过半个多世纪众多专家的不断探索,目前有关的方法和理论已相对比较成熟,产生了一批比较漂亮实用的算法。然而,随着科技的进步,所求解问题规模的增大,模型结构越来越复杂且对计算精度的要求日益提高,这也使得线性方程组的规模急剧增加。

  近几年,随着计算机集群系统的发展,处理核心数量的急剧增加,计算能力的大大提高,使超大规模线性方程组的求解重现希望。国内高性能计算发展虽然势头凶猛,然而,不可否认的是高性能软件及应用方面仍有很大的提升空间。成熟的超大规模线性方程组的高性能求解工具更是凤毛麟角。

  正是由于此类工具非常重要且稀缺,不得不将大量的数据与信息提供到国外有偿计算。且不论高昂的花费,大量的数据信息掌握在外人的手里,对企业和科研机构存在着很大的信息安全隐患,甚至危害国家的安全。因此,开发自主可控的高性能计算软件意义重大!

  浪潮作为国内高性能计算产品和技术领先厂商,在MIC技术研究与应用开发方面,一直处于国内领先的地位。浪潮高性能计算应用开发团队与太原理工大学密切配合,基于CPU+MIC异构计算平台,成功完成了亿阶以上超大规模线性方程组高性能求解系统,并在实际用例的测试中出色完成求解任务。

  整个开发工作,工程师们经历了目标制定、算法筛选与调整、串行设计、MPI并行设计、MIC移植及优化等一系列的考验,特别是算法的选取于优化更是整个开发工作的重中之重。一般来说,求解线性方程组的传统算法有直接法和迭代算法,浪潮工程师在经过对矩阵特性的分析并参阅了大量材料后,从众多的算法中挑选出最适合的一种Krylov子空间算法。但是Krylov子空间算法的一大特点就是不具有良好的天然可并行性,大量的MPI集合通信容易造成扩展瓶颈,而关于如何解决Krylov子空间方法集合通信量大的有效资料少之又少。在这样的困局下,浪潮工程师们密切跟踪相关研究的最新进展并根据自己的认识对标准的算法结构作了一定的调整,最后采用通信与计算相互隐藏的异步运作模式成功将大部分的进程集合通信隐藏,从而克服的研发道路上最大的一块绊脚石。

  高性能求解系统采用了被July称为二十世纪最伟大10大算法之一的Krylov子空间算法,也是少数几个适用于超大规模线性方程组求解的算法之一。这决定了高性能求解系统不仅可求解经有限元方法推导出的刚度矩阵对称正定(SPD)的线性方程组,同时也可求解系数矩阵非对称的线性方程组。因此,无论对于科研还是实际应用中系数矩阵正定的线性方程组原则上都可求解,且对于矩阵结构无特殊要求。

  高性能求解系统基于MPI+OpenMP+MIC架构开发的。整个系统对硬件资源的利用效率很高,达到了70%以上,充分利用了CPU的逻辑、控制能力以及MIC众核处理设备强大的计算能力。

  由于系统开采用了一种Krylov子空间算法,大量的全局集合通信不可避免,使得算法的天然并行性不是十分良好,这是由算法自身决定的。在不改变算法本质思想的前提下,对算法结构做了调整,并成功隐藏了集合通信时间。首次将此算法成功移植到CPU+MIC异构集群平台上。

  超大规模线性方程组高性能求解系统开发完成后,太原理工大学工程数值计算团队在 “局部径向基函数配点法(Local RBSs colloction methods)求解高维偏微分方程”课题中使用该软件,仅利用3个计算节点(每个节点内配置2*IntelXeon E5-2650 v2+2*Intel Xeon Phi 7120P),在20秒之内完成了7维问题线维问题线性方程组(亿阶规模)的求解,而原有的求解工具最多只能完成6维问题的求解。这一突破大大加速了太原理工大学工程数值计算团队对更高维度未知世界探索的脚步。

  据了解,国内在大规模线型方程组高性能求解系统的开发中一般求解规模在百万阶量级,对于亿阶规模矩阵的求解鲜有尝试。同时,国内外目前在大规模线型方程组高性能求解系统中一般采用的是CPU+GPU异构架构,本次浪潮是将大规模线型方程组算法首次成功移植到CPU+MIC异构集群平台上。

  比特软件信息化周刊提供以数据库、操作系统和管理软件为重点的全面软件信息化产业热点、应用方案推荐、实用技巧分享等。以最新的软件资讯,最新的软件技巧,最新的软件与服务业内动态来为IT用户找到软捷径。

  比特商务周刊是一个及行业资讯、深度分析、企业导购等为一体的综合性周刊。其中,与中国计量科学研究院合力打造的比特实验室可以为商业用户提供最权威的采购指南。是企业用户不可缺少的智选周刊!

  比特网络周刊向企业网管员以及网络技术和产品使用者提供关于网络产业动态、技术热点、组网、建网、网络管理、网络运维等最新技术和实用技巧,帮助网管答疑解惑,成为网管好帮手。

  比特服务器周刊作为比特网的重点频道之一,主要关注x86服务器,RISC架构服务器以及高性能计算机行业的产品及发展动态。通过最独到的编辑观点和业界动态分析,让您第一时间了解服务器行业的趋势。

  比特存储周刊长期以来,为读者提供企业存储领域高质量的原创内容,及时、全面的资讯、技术、方案以及案例文章,力求成为业界领先的存储媒体。比特存储周刊始终致力于用户的企业信息化建设、存储业务、数据保护与容灾构建以及数据管理部署等方面服务。

  比特安全周刊通过专业的信息安全内容建设,为企业级用户打造最具商业价值的信息沟通平台,并为安全厂商提供多层面、多维度的媒体宣传手段。与其他同类网站信息安全内容相比,比特安全周刊运作模式更加独立,对信息安全界的动态新闻更新更快。

  新闻中心以独特视角精选一周内最具影响力的行业重大事件或圈内精彩故事,为企业级用户打造重点突出,可读性强,商业价值高的信息共享平台;同时为互联网、IT业界及通信厂商提供一条精准快捷,渗透力强,覆盖面广的媒体传播途径。

  比特云计算周刊关注云计算产业热点技术应用与趋势发展,全方位报道云计算领域最新动态。为用户与企业架设起沟通交流平台。包括IaaS、PaaS、SaaS各种不同的服务类型以及相关的安全与管理内容介绍。

  比特CIO俱乐部周刊以大量高端CIO沙龙或专题研讨会以及对明星CIO的深入采访为依托,汇聚中国500强CIO的集体智慧。旨为中国杰出的CIO提供一个良好的互融互通 、促进交流的平台,并持续提供丰富的资讯和服务,探讨信息化建设,推动中国信息化发展引领CIO未来职业发展。

  IT专家新闻邮件长期以来,以定向、分众、整合的商业模式,为企业IT专业人士以及IT系统采购决策者提供高质量的原创内容,包括IT新闻、评论、专家答疑、技巧和白皮书。此外,IT专家网还为读者提供包括咨询、社区、论坛、线下会议、读者沙龙等多种服务。

  X周刊是一份IT人的技术娱乐周刊,给用户实时传递I最新T资讯、IT段子、技术技巧、畅销书籍,同时用户还能参与我们推荐的互动游戏,给广大的IT技术人士忙碌工作之余带来轻松休闲一刻。

TAG标签: 线性方程
版权声明:转载须经版权人书面授权并注明来源