第 8 节 具有现代特色的计算机.pptVIP

图 8.22 MIT动态数据流机结构 图 8.23 MIT动态数据流机典型指令的格式 图 8.24 MIT动态数据流机每个PE的内部结构 图 8.25 Manchester数据流机结构框图 8.2.4 数据流机器存在的问题 (1) 数据流机主要目的是为了提高操作级并行的开发水平，但如果题目本身数据相关性很强，内含并行性成分不多时，就会导致数据流机的效率反而不如传统的Von Neumann型机器的高。 (2) 在数据流机器中为了给数据建立标记并识别和处理该标记，需要花费较多的辅助开销和较大的存贮空间(可能比Neumann型的要大出 2 至 3 倍)。 (3) 数据流机不保存数组。 (4) 数据流语言的变量代表数值而不是存贮单元位置， 使程序员无法控制存贮分配。 为了能有效地回收不用的存贮单元， 就增大了编译程序设计的难度。 (5) 专门适合于数据流机用的互连网络的设计较困难， 而且， 对数据流机的输入/输出尚待完善。 (6) 数据流机没有程序计数器， 给诊断和维护带来困难。 8.3 归 约 机 从函数程序设计的角度看，一个程序就是一个函数的表达式。通过定义一组“程序形成算符”(ProgramForming Operators), 可以用简单函数(即简单程序)构成任意复杂的程序，也就是， 构成任意复杂函数的表达式。反过来，如果给出了一个属函数表达式集合中的复杂函数的表达式，利用提供的函数集合中的子函数经过有限次归约代换之后，总可以得到所希望的结果， 即由常量构成的目标。函数表达式指的是函数之间的映射。 从语法上讲是按规定的语法规则构成的符号串，从语义上讲是多个运算符的组合。 函数集合中包括了所有的原函数和复合函数。原函数(Primitive Function)指的是，由一个目标变换为另一个目标的基本映射，是归约机建成时安装上的函数。 它们可以包括有： 从一个元素序列中选出某一个元素的函数， 加、 减、 乘、 除等算术函数， 交叉置换函数， 比较、 测试函数， 附加序列函数， 加 1/减 1 函数， 等等。 复合函数指的是利用一组“程序形成算符”由已有的函数(程序)构成复杂的函数(程序)。 使用的“程序形成算符”一般有组合、 构造、 条件、 插入、 作用于全体等多种。 从归约的角度来理解，函数是一种特殊的表达式， 即为有局部变量的表达式。例如，经DEF f(x)=x+z定义后，使表达式x+z变成了函数，其中x为局部变量，z为全局变量。函数也可以理解成是定义了一种子表达式的替换规则。例如，已定义了f函数后，对表达式5*f(3)求值时，f(3)就可以用 3+z代换，从 5*f(3)转换成 5*(3+z)。 由目标、函数、函数表达式、定义(DEF)和作用算符就可以构成函数程序。这里，定义(Definition)“DEF”就是指的从原有函数定义一个新的函数。采用的作用算符一般是用冒号(：)，例如， 函数f作用于目标x，可以表示成f∶x。 以表达式z=(y-1)*(y+x)为例，可以理解成z=f(u), 而f(u)等价于g(v)*h(w),其中g(v)=y-1; h(w)=y+x, 也就是说，函数z=f(u)的求解可归约成求两个子函数g(v)和h(w)的积。g(v)和h(w)又可以分别继续向下归约。 有如下主要的优点： (1)程序的每一行语句可以表达出更多有关算法的信息。 (2) 没有状态和存贮单元的概念，函数自变量的值随函数的应用动态获得， 因此不会产生一个过程的变量受到另一过程影响的副作用，即被应用的函数改变不了函数定义时的约束关系。 (3) 没有赋值语句，不会出现像命令式语言里的赋值语句x=x+1那样一种与数学里的变量不相符和违反数学中“相等性”演绎推理规则的现象；同时，没有使用GO TO类控制语句。 * 第 8 章 具有现代特色的计算机 第 8 章 具有现代特色的计算机 8.1 脉动阵列机 8.2 数据流机 8.3 归约机 8.4 智能机 8.5 大规模并行处理机MPP与机群系统 8.1 脉 动 阵 列 机 8.1.1 脉动阵列结构的原理 图 8.1 脉动阵列结构的基本原理 图 8.2 是一个 2×2 的二维矩形脉动阵列结构。 设阵列中的各PE每步都能执行z←z+x入y入，x出←x入，y出←y入。在这个两维脉动阵列上，如要实现两个 2×2