计算机体系结构 - 第8章.pptVIP

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)的