大规模并行程序设计(MPP)研究

本项目从不同的角度研究了大规模并行程序设计：（1）对GAMMA模型进行研究并在MasPar机上加以实现，采用三种不同的同步方法的防止该模型可能导致的组合爆炸。引高批算子的增强该模型的表达能力。研究了如何从GANNA转换为中间语言。实现结果表明该模型是适合于数据并行的模型。（2）基于因果关系复合的CCL理论，提出了一种结构化并行程序设计方 法，以支持不同平台的“通用”并行程序设计方法。因果关系复合的范式定理的证明在理论上保证该方法的可行性。代数性质使得在模型中可采用程序转换的进行设计，优化和验证。该模型和方法提供了一种既独立于体系结构又可高效实现的可能性。（3）研究了一种基于算法胃架的并行程序推导方法。