计算机体系结构 - 第8讲.ppt

8.3.2 面向函数程序设计的归约机 归约机的基本结构特点 (1) 归约机应当面向函数式语言， 或以函数式语言为机器语言的非Neumann型机器。 (2) 具有大容量的物理存贮器并采用有虚存容量很大的虚拟存贮器系统， 具备高效的动态存贮分配和管理的软硬件支持， 满足归约机对动态存贮分配及所需存贮空间较大的要求。 (3) 处理部分应当是一种含有多个处理器或多个处理机并行的结构形式，以发挥函数式程序并行处理的特长。 (4) 采用适合于函数式程序运行的多处理器(机)互连的机构。 尽管过去介绍过的各种机间互连结构原则上都是可用的，但最好采用树型方式的互连结构或多层次复合的互连结构形式。 (5) 为了减少进程调度及进程间通信的开销，尽可能把运行进程的结点机安排成紧靠该进程所需用的数据，并使运行时需相互通信的进程所占用的处理机也靠近。此外还应尽可能使各个处理机的负荷平衡。 根据机器内部对函数表达式所采用的存贮方式不同，将归约方式又分成了串归约(String Reduction)和图归约(Graph Reduction)两类。 为说明这两种归约方式的区别，仍以表达式z=(y-1)*(y+x)为例。 假定x和y分别赋以 2 和 5。 串归约方式是当提出求函数z=f(u)的请求后，立即转化成执行由操作符*和两个子函数g与h的作用所组成的“指令”。 g和h的作用又引起“指令”(-y, 1)和(+y, x)的执行。于是，从存贮单元中分别取出y和x的值，算出y-1和y+x的结果，然后将返回值再各自取代g和h，最后求(*4, 7)，得结果28。 * 第 8 章 具有现代特色的计算机 第 8 章 具有现代特色的计算机 8.1 脉动阵列机 8.2 数据流机 8.3 归约机 8.4 智能机 8.5 大规模并行处理机MPP与机群系统 8.2 数 据 流 机 8.2.1 数据驱动的概念 以计算一元二次方程ax2+bx+c=0的根作为例子。假定b2-4ac≥0，可以写出如下的FORTRAN程序： READ *, A, B, C X1=2*A D=SQRT(B*B-4*A*C) D=D/X1 X2=-B/X1 X1=X2+D X2=X2-D PRINT *, X1, X2 END 图 8.8 求一元二次方程根的程序中的数据相关关系 图 8.9 求一元二次方程根的数据流程序图 8.2.2 数据流程序图和语言 1. 数据流程序图 图 8.10 计算z=(a+b)*(a-b)的数据流程序图 图 8.11 数据流程序图的执行过程 图 8.12 常用非控制类操作结点及其激发规则 图 8.13 常用控制类操作结点及其激发规则 图 8.14 具有条件分支结构的数据流程序图例 图 8.15 具有循环结构的数据流程序图例 图 8.16 计算z=(a+b)*(a-b)的活动模片表示法 图 8.17 图 8.14 数据流程序图等效的活动模片表示 2. 数据流语言 单赋值语言是指在程序中，每个变量均只赋值一次，即同一变量名在不同赋值语句的左部最多只出现一次。因此，实际上并没有传统计算机中的变量的概念，只是一种值名。例如， 一个程序允许出现如下语句序列： C=A+B C=C*D F=(C-D)/E 则所使用的语言就不是单赋值语言。 若这时只允许把程序写成 C=A+B C1=C*D F=(C1-D)/E 其所用的语言就体现出单赋值的规则和要求了。单赋值语言的语义清楚， 程序中的并行性易于被编译程序所开发。 下面以这个语言列举其单赋值语言具备的基本特点。 遵循单赋值规则。 (2) 有丰富的数据类型。 (3) 具有很强的类型性。 (4) 具有模块化结构的程序设计思想。 (5) 没有全局存贮器和状态的概念。 (6) 程序不规定语句的执行顺序。 8.2.3 数据流计算机的结构 1. 静态数据流机 图 8.18 静态数据流机的结构 图 8.19 MIT静态数据流机主体结构 图 8.20 27→8的仲裁网络示意图 2. 动态数据流机 图 8.21 动态数据流机的结构框图 图 8.22 MIT动态数据流机结构 图 8.23 MIT动态数据流机典型指令的格式 图 8.24 MIT动态数据流机每个PE的内部结构 图 8.25 Manchester数据流机结构框图 8.2.4 数据流机器存在的问题 (1) 数据流机主要目的是为