“SEQ　OF　PAR”结构化并行程序设计

作     者：袁伟 孙永强 

作者机构：上海交通大学计算机科学与工程系 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：1997年第20卷第3期

页      码：230-237页

摘      要：本文基于有关因果关系复合的ＣｏｍｍｕｎｉｃａｔｉｏｎＣｌｏｓｅｄＬａｙｅｒ（ＣＣＬ［１］）理论提出了一种结构化并行程序设计方法以支持不同并行平台的“通用”并行程序设计．该模型采用“ＳＥＱＯＦＰＡＲ”的层次化结构和基于伪同态的并行抽象数据类型来分析和刻画程序的并行行为．首先，本文通过因果关系复合的范式定理的证明在理论上论证了“ＳＥＱＯＦＰＡＲ”形式进行结构化并行程序设计的可行性，然后详细介绍了该模型中并行程序的设计和性能评价模型．良好的代数性质使得在这一模型中可采用代数方法的程序变换来进行并行程序设计、优化和验证．与其它并行程序设计模型和方法相比，该方法为自然地综合描述数据并行和控制并行提供了一种途径；特别是基于代数变换的程序变换技术使得并行程序设计既独立于具体的体系结构又便于高效实现．

主 题 词：结构化 并行程序设计 体系结构 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203763386...