DPHL程序赋值语句中并行性的开发 - 信息工程大学学报.PDF

第2卷 第2期 信息工程大学学报 V01．2No．2 0f 2001年6月 JoumalInfomlation Jun．200l En百nee打ngUniversi‘y DPHL程序赋值语句中并行性的开发 董超群，陆林生 (江南计算技术研究所，江苏无锡214083) 摘要：DP}IL语言是一种数据并行高层建模语言，用于在算法层次上描述应用问题求解步骤。 在DPHL程序中，作用在域上的赋值语旬眦及复杂赋值语句中蕴含着并行性，本文讨论这两种 并行性的开发。 关键词：数据并行高层描述语言(DPHL)；域；赋值语句；并行性开发 中图分类号：TP312 文献标识码：A l 引言 =0：100，…： 在DPHL中，按下列方式定义变量v： ParaUel I且n· v DpHL(DaLa COL，vEcTOR(5)AREA；(1) High一1evelmodeIi“g guage)是一种数据并行高层建模语言，该语言的设表示变量v是一个5个分量的列向量，定义在域 计目标试图在算法级层次上描述科学和工程计算 ARAE上。 领域、特别是以差分法求解偏微分方程为重点的应 在程序中，用变量v后跟域名的方式对变量 用课题的并行求解过程。DPHL语言中引入了域进行引用：v[AREA]。 (doⅡlain)、子域(sIIb．domin)、依赖域(dependent．do．为便于后面的讨论，下面给出两个定义。 定义1 n“n)等概念以及公式(forrnula)、算子(0perator)等nPHL程序中，出现在赋值号左边的 定义以简化应用课题的描述，支持依赖关系分析和 变量称为输出变量。 并行识别，方便并行程序的自动生成，使得应用领 定义2 DPHL程序中，出现在赋值号右边的 域的用户能够在一种甚高层次(averylli吐level)变量、条件语句中的条件变量及算于、公式、组合公 上、以接近用户解题思路的方式进行编程…。实践 式、函数引用中的形参称为输入变量。 证明，使用DPHL语言描述应用课题的求解过程， 另外，本文用到下面的表示约定： 代码量通常是相应HPF程序的l／3一l／4；DPHL算 ①v1A¨·R‘Ⅲ：表示变量v定义在域A上，具有 法描述经并行程序综合器自动转换成HPF程序， (T，R，M)所描述的属性。若A为0维域，则v为简 在并行计算机上取得了较好的运行性能”J。 单变量，否则为域变量。在属性表(T，R，M中，T 在DPHL中，域是一个重要的概念。所有变量为数据类型；R表示作用域；M表示数学属性，M为 都定义在确定的域上(假定标量定义在缺省的一个 ∞表示变量不带数学属性。 0维域上)，可以带有矩阵、向量等数学属性。从应 ②用DOALL抽象地描述并行操作示意．用 用问题数学描述的角度看，域是求解空问离散化后 FoRALL具体地表达HPF语言的数据并行操作。 自变量的定义域；从可编程角度看，域是n维整数 空间IR“中的一个封闭区域，所有关于变量的运算 指变量的定义域及数学属性在展开成数组后，相应 在该封闭区域上运行。在DPHL语言中，域具有下数组所具有的形。 面一般的定义形