基于知识的数据自动分布模型*

基于松散耦合的多处理机系统(DMS)的发展，要求有相应的并行软件工具的支持，而在目前的大多并行软件系统中，用户必须显式给出顺序执行程序的划分方法以及在DMS中不同处理器上的分配算法．针对这一问题，本文首先介绍了一种基于知识的数据自动分布模型(KBDM)，以期对程序的划分和分布问题提供自动的支持，然后讨论了KBDM设计的主要思想，并给出该模型主要部件的详细描述。     

一种关于DO—loop并行划分的新观点与新方法

本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法，这种方法的主要特点是：（１）是关于ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＯ－ｌｏｏｐ的并行划分问题。（２）能准确地挖掘出程序中所有ＤＯ－ｌｏｏｐ的并行性，并且同时自动完成数据划分与计算划分。（３）最适用于ＭＩＭＤ与ＳＰＭＤ的大粒度并行划分。（４）可以和任务给并行划分技术，向量     

一种关于DO－loop并行划分的新观点与新方法

本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法．这种方法的主要特点是：①是关于以ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＣ－ｌｏｏｐ的并行划分问题．②能准确地挖掘出程序中所有ＤＯ－ｌｏｏｐ的并行性，并且同时自动完成数据划分与计算划分．③最适用于ＭＩＭＤ与ＳＰＭＤ的大粒度并行划分．④可以和任务级并行划分技术、向量化技术、流水线技术结合起来，从而全面挖掘各主要抽象级并行性．     

C^＊数据并行语言及其应用

Ｃ＊语言是通过对ＡＮＳＩＣ语言进行进行语法和语义的扩展得的支持ＳＩＭＤ模式的数据并行语言。它允许用户基于一个ＳＩＭＤ虚机描述数据在各个虚处理机上的分布以及对这些数据的并行计算操作，提供了一处简单，有效并与任何特定的机器无关的数据并行编程模型。介绍了Ｃ＊语言在超级计算机领域中的应用和Ｃ＊并行扩成分，并给出了典型的编程实例。     

C＊数据并行语言

Ｃ＊语言是通过对ＡＮＳＩＣ语言进行语法和语义的扩展得到的支持ＳＩＭＤ模式的数据并行语言。它允许用户基于一个ＳＩＭＤ虚拟机描述数据在各个虚处理机上的分布以及对这些数据的并行计算操作，提供了一种简单，有效并与任何特定的机器无关的数据并行编程模型。     

并行仿真任务的自动生成软件

本文阐述了一种将连续系统仿真模型－状态方程模型自动生成并行仿真多任务的软件。该软件实现了从仿真模型生成可并行多任务到仿真结果输出过程的自动化，而且生成的并行仿真任务均衡，并行加速比高，适用于基于机间通信的同构型ＭＩＭＤ系统。     

一种新的DSS模型描述方法

模型管理系统是（群体）决策支持系统的重要研究领域，文中认为决策中使用的数学模型由属性数据，操作和知识组成，并由此给出了种嵌入知识的面向对象模型描述方法ＯＯＭＤＥＫ。文中探讨了知识在模型管理系统中的作用；从模型组合的角度，提取出３种模型类的继承关系，做了相应的讨论，并给出了基于ＯＯＭＤＥＫ的模型管理系统的实现方法。     

交互式多模型滤波器及其并行实现研究*

本文研究交互式多模型滤波器（ＩＭＭＦ）．ＩＭＭＦ对于动态模式具有随机突变的一类混合系统的估值具有良好的性能。本文首先给出ＩＭＭＦ的数学描述，揭示ＩＭＭＦ的机理特征，针对ＩＭＭＦ的结构特点，以ＰＤ－１００多机处理系统为基础，研究了ＩＭＭＦ并行实现的处理器拓扑结构、ＩＭＭＦ任务划分、分配和ＩＭＭＦ并行映射实现，给出了ＩＭＭＦ并行实现算法。在ＰＤ－１００系统上的仿真表明，本文的并行算法具有加速比线性好，     

一个数据并行语言的设计及其实现

数据并行模型应用到ＭＩＭＤ机器上，实现ＳＰＭＤ模式的松散同步的方式越来越受到人们的重视。文中提出了一个以屏构并行系统为环境的数据并行语言Ｍｕｌｔｉ－ｃ的设计和实现。正在实现的Ｍｕｌｉｔｉ－ｃ编译器，以预编译的方式接受ＳＩＭＤ形式的程序说明，放宽同步要求，产生能以ＳＰＭＫ方式在并行系统上运行的Ｃ程序。     

TMC CM—5和CrayT3D中消息传送的结构支持比较

基于消息传送的程序设计模型仍然是并行计算机的一种主要程序设计模型。消息传 开销受机器的网络接口结构的强烈影响。我们通过探索一些消息传送实现的设计和性能，研究了ＴＭＣ ＣＭ－５和ＣｒａｙＴ３Ｄ两种机器中消息传送的结构支持的影响。Ｔ３Ｄ中后些附加特点支持远程操作，存储器访问，取－和－递增、原子交换，及预取。     

Dual-Object: 面向对象的并行程序设计

面向对象的并行程序设计提供了类似于共享内存模型对通讯和计算的抽象能力，从而非常适合于大型并行软件系统的开发．但是基于远程对象调用的分布式对象的实现效率一直是面向对象方法在分布式／并行程序设计中得到广泛应用的障碍．本文介绍了并行机ＭＡＮＮＡ上所采用的面向对象的并行程序设计模型——Ｄｕａｌ－Ｏｂｊｅｃｔ模型．该模型通过引入从语义角度出发给出的数据一致特性的描述，在一定程度上解决了实现效率低下的问题．其次，文章通过程序设计实例详细地讨论了基于Ｄｕａｌ－Ｏｂｊｅｃｔ模型的扩展Ｃ＋＋并行程序设计，并给出了部分实际测试结果．     

支持数据重分布通信的计算和数据分解算法

对于分布内存体系结构的并行计算机而言,如何对计算和数据进行合理划分以增加数据本地化减少处理器间的通信是提高其并行性能的关键,但在数据划分过程中,重分布通信有时不可避免,如何进行合理的数据和计算划分以减少通信并最大限度的利用程序的并行性是并行编译中的一个重要问题。该文主要讨论了一种支持数据重分布的自动进行计算和数据划分的算法。     

面向MPP Fortran的程序自动并行化

ＭＰＰ Ｆｏｒｔｒａｎ是Ｃｒａｙ公司为分布存储、全局编址的Ｃｒａｙ Ｔ３Ｄ ＭＰＰ系统推出的一种数据并行语言。本文首先介绍了ＭＰＰ Ｆｏｒｔｒａｎ的主要特点，然后以该语言为例，对面向ＭＰＰ系统程序自动并行化的基本内容以及关键技术进行了分析和探讨。     

SICE：一个SIMD计算机程序设计模拟环境

本文实现的ＳＩＣＥ（ＳＩＭＤＣＥｍｕｌａｔｏｒ）是一个在串行机的环境下模拟进行ＳＩＭＤ计算机程序设计的软件包。ＳＩＣ（ＳＩＭＤＣ）是作者定义的一种基于Ｃ语言的ＳＩＭＤ并行扩展语言，它一方面支持反映ＳＩＭＤ结构特点的的并行语句，更重要的是可支持ＳＩＭＤ结构的定义，能方便的用于ＳＩＭＤ机器的算法研究。     

基于构件的框架开发方法及其特定域应用

传统的软件开发方法在面向的软件系统开发过程中难以支持理用性,针对此问题,提出了一种基于构件的框架开发方法ＦＣＤＭ,主要讨论领域分析,领域框架的划分,领域构件的提取及应用系统的生成关键过程,并给出在特定领域中的应用实例。     

关系数据库系统并行化方法

提出一种新的并行数据库系统的实现模型，称为“半重写变换”模型。基于该模型提出了一种并行数据库系统的结构。这一结构由多个ＤＢＭＳ Ｉｎｓｔａｎｃｅｓ和并行查询服务器（ＰＱＳ）组成。文中首先描述了“半重写变换”模型，然后描述了基于这个模型实现的一个并行查询原型系统ＰａｒａＢａｓｅ，最后给出基于Ｗｉｓｏｎｓｉｎ Ｂｅｎｃｈｍａｒｋ的一组性能测试结果。     

基于主导值的计算和数据自动划分算法

计算和数据自动划分是并行化编译中一种自动分配计算和数据到各个处理机的优化技术,划分的结果直接影响程序并行的性能。数组是划分处理的主要对象之一,一些数组分布后的收益不高,但带来的并行约束却能对其它数组的划分产生干扰,导致大量数据重分布通信的产生。现有的划分算法中没有约定数组分布的优先次序,因此无法限制这些数组并行约束的传播,降低了优化编译器后端自动生成并行代码的性能。提出了一种基于主导值的计算和数据自动划分算法:将划分过程中数组对程序并行性的影响量化为主导值,并依据主导值的大小约定数组分布的优先次序,限制干扰数组并行约束的传播速度,提高划分结果的合理性。实验结果表明,算法能够获得良好的划分效果。     

并行CAD／CAM集成策略与系统构架

本文提出并行协同设计环境下ＣＡＤ／ＣＡＭ的集成策略，产品模型基于特征表示，设计模型与制造模型有机并存且相互关联，制造模型从产品中识别出来，设计了并行ＣＡＤ／ＣＡＭ集成系统构架，并对该构架中各个组成部分的功能进行了介绍。     

自动提取程序异构性的框架

异构诸是并行自理的一个新领域，可望达到超级线性加速比。提取程序的异构性是异构计算的一个重要步骤，但是直到目前为止，还没有任何自动提取程序并行特征的研究报导。这方面的工作难度大，概念和术语含糊不清，本文从程序结构和程序运行的观点出发，清楚地给出了单指令多数据流（ＳＩＭＤ）、多指令多数据流（ＭＩＭＤ）并行性的形式定义，它是提取程序异构性的依据。文中还提出了基于程序结构变换和基于性能分析的两种方法，该方     

基于TMS320C80的图形图象处理系统

概述了ＴＭＳ３２０Ｃ８０ＭＶＰ并行处理器的系统结构与主要特点，介绍了ＴＭＳ３２０Ｃ８０软件开发板ＳＤＢ的主要功能单元，最后给出了基于ＴＭＳ３２０Ｃ８０的图象处理产品的列表。