该文试图提出一种结构化并行程序设计方法以支持面向不同并行平台的\"通用\"并行程序设计,并从模型、语言和实现等三个方面展开了研究和探讨.基于有关因果关系复合的CCL(Communication Close Layer)和描述局部性计算的BMF(Bir...
详细信息
该文试图提出一种结构化并行程序设计方法以支持面向不同并行平台的\"通用\"并行程序设计,并从模型、语言和实现等三个方面展开了研究和探讨.基于有关因果关系复合的CCL(Communication Close Layer)和描述局部性计算的BMF(Bird-Meertens Formalism),该文提出一个结构化程序设计模型—\"SEQOFPAR\"模型以支持独立于体系结构的并行程序设计.该模型通过在PRAM模型中采用局部性计算和限制通讯频率方法来获得可伸缩的并行性能.CCL和BMF良好的代数性质使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证.该文在Backus\'sFP的基础上制定了CDFP语言以支持\"SEQ OF PAR\"风范的并行函数式程序设计.该语言提供了一种结构化方式来综合描述算法的控制并行性和数据并行性.文中给出一个并行抽象机以支持CDFP语言的实现并针对\"SEQ OF PAR\"模型的特点深入地探讨了并行程序优化变换、基于颗粒度动态控制的负载调度和优化调度等实现技术.
暂无评论