首页> 外文期刊>Journal of Functional Programming >Compilation of a specialized functional language for massively parallel computers
【24h】

Compilation of a specialized functional language for massively parallel computers

机译:大型并行计算机的专用功能语言的编译

获取原文
获取原文并翻译 | 示例

摘要

We propose a parallel specialized language that ensures portable and cost-predictable im- plementations on parallel computers. The language is basically a first-order, recursion-less, strict functional language equipped with a collection of higher-order functions or skeletons. These skeletons apply on (nested) vectors and can be grouped into four classes f computation, reorganization, communication and mask skeletons. The compilation process is described as a series of transformations and analyses leading to SPMD-like functional programs which can be directly translated into real parallel code. The language restrictions enforce a programming discipline whose benefit is to allow a static, symbolic and accurate cost analysis. The paral- lel cost takes into account both load balancing and communications, and can be statically evaluated even when the actual size of vectors or the number of processors are unknown. It is used to automatically select the best data distribution among a set of standard distributions. Interestingly, this work can be seen as a cross-fertilization between techniques developed within the FORTRAN parallelization, skeleton and functional programming communities.
机译:我们提出了一种并行专用语言,以确保在并行计算机上实现可移植且成本可预测的实现。该语言基本上是一阶的,无递归的,严格的函数式语言,配有一组高阶函数或骨架。这些框架应用于(嵌套的)向量,可以分为计算,重组,通信和掩码框架四类。编译过程被描述为一系列的转换和分析,导致产生类似于SPMD的功能程序,这些功能程序可以直接转换为真正的并行代码。语言限制强制执行编程学科,其好处是可以进行静态,符号化和准确的成本分析。并行成本同时考虑了负载平衡和通信,并且即使向量的实际大小或处理器数量未知,也可以进行静态评估。它用于在一组标准分布中自动选择最佳的数据分布。有趣的是,这项工作可以看作是FORTRAN并行化,框架和功能性编程社区中开发的技术之间的交叉融合。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号