面向构件化并行编程的图形化编程技术 - 中物院高性能数值模拟软件中心.PDFVIP

技术报告 IAPCM-SCNS-HPC201504 面向构件化并行编程的图形化编程技术 廖丽· 张爱清· 王伟· 景翠萍 2015/10/7 北京应用物理与计算数学研究所 中物院高性能数值模拟软件中心 技术报告 声明 本技术报告引用方式： “廖丽，张爱清，王伟，景翠萍，面向构件化并行编程的图形化编程技术，中物院高性能数值 模拟软件中心技术报告，No. IAPCM-SCNS-HPC201504，2015 年10 月.” 在正式发表之前，本报告内容可能修改。 技术报告 面向构件化并行编程的图形化编程技术 1 2 廖丽 张爱清 王伟 景翠萍 北京应用物理与计算数学研究所 摘要 基于领域编程框架开发数值模拟并行应用程序是一种新模式。基于该模式，已研制了 一批可高效使用数千上万核的应用程序。但是，框架的普及应用还存在一些困难，基于框架 编写并行应用程序需要掌握领域编程框架的编程原理、精通基于构件化的并行编程接口、熟 悉C++/Fortran 混合编程等。学习新的编程语言和开发技术需要花费额外的精力，对于领域专 家而言，软件研制还存在相当大的难度。围绕上述难题，基于领域编程框架的构件化编程技 术，提出一种图形化编程方法：通过图形界面交互定制并行构件及组装构件，结合代码自动 生成引擎，自动生成指定编程语言的应用代码，支撑领域专家只需用C/Fortran 编写数值计算 子程序就可快速研发并行应用程序。实际应用表明，该编程方法可显著降低并行程序的研制 难度，提高软件研制效率。 关键词 科学计算；领域编程框架；构件化编程；并行应用；图形用户界面 1. 引言 如何快速研发数值模拟并行应用程序是高性能科学工程计算领域的重要问题[1,2]。在应 用方面，激光聚变、地球系统模式、复杂电磁环境、材料科学等实际数值模拟日趋复杂，呈 现多物理耦合、多时空尺度、三维实际构型、海量并行度等特征。在硬件方面，我国成功研 制了千万亿次、亿亿次高性能计算机，但计算机体系结构日趋复杂，呈现超大规模、多级嵌 套、异构多核等特征。随着高性能计算机发展而不断变化的软件技术使得并行应用软件的研 制非常困难，软件研发人员必须掌握足够的软硬件知识并不断维护程序跟进软硬件的发展变 化。在这种双重复杂发展趋势下，并行应用程序开发面临设计难、编程难等问题。 并行应用编程框架是解决这些问题的重要途径之一。国内外有多家单位编程框架方面做 着积极探索和尝试并已取得显著效果，如SAMRAI, Uintah, PETSc, PARAMESH, UG 等。JASMIN [3]是一个面向结构网格应用的领域编程框架，解决了传统的“串行程序并行化”研发模式 的弊端，探索形成以“集成共性研制领域编程框架、基于框架研发应用程序”为主体思路的 1 本文获国家863 项目（No. 2012AA01A309 ），NSFC 项目（No.），NSFC 项目（No.）资助。 2 通信作者，liliao@ 1 技术报告 一种并行应用软件研发新模式。框架封装了标准化数据结构，提供屏蔽并行计算细节和共性 算法细节的规范化并行编程接口，支持应用领域专家通过编写串行的数值计算子程序，实现 物理模型、计算方法及问题相关的数值算法，就可研制高效并行应用软件。目前，在激光聚 变、地球系统模式、复杂电磁环境、材料科学等领域，基于 JASMIN 框架已经支撑研制了数 十个并行应用程序，实现了数千至数万个处理器核的大规模数值模拟。 基于领域编程框架开发并行数值模拟程序能够保护软件不受高性能计算机软硬件技术变 迁的影响[4]。然而，基于框架的编程