函数语言的并行实现技术研究

本研究提出一种结构化并行设计方法以支持面向不同并行平台的通用并行程序设计，并从模型，语言和实现等三个方面展开了研究和探讨。首先提出一个结构化程序设计模型以支持独立子体系结构和并行程序设计。其次，设计了一种（CDFP）语言以支持上述模型的并行函数程序设计。最后，给出一个并行抽象机以支持该语言的实现并针对上述模型的特点深入探讨了并行程序优化变换、基于颗粒动态控制的负载调度和优化调度等实现技术。基于不同体系结构的原型系统的初步实验数据表明基于上述模型的并行程序设计可望具有既可伸缩并行又独立于体系结构。