并行计算机体系结构复习.ppt

* * 资源扩展：注意系统最大存储器容量的设计问题，最大容量受限与成本与技术的折中 * * 例：Internet，IBM SP2的体系结构与通信体系结构独立 体系结构是模型，实现是对模型的实施 注意：并行计算机中的组件往往是先进的，但不是标准， 利用独立原理扩展系统，注意子系统的平衡问题 * * 需求驱动模型 一个操作仅在需要用到其输出结果时才开始启动。 如果这时该操作由于操作数未到而不能得到输出结果，则该操作再去启动能得到它的各个输入数的操作，也可能那些操作还要去启动另外一些操作，这样就把需求链一直延伸下去，直至遇到常数或外部输入的数据已经到达为止，然后再反方向地去执行运算。 * * 计算的运行是由谓词模式匹配加以驱动的，程序的执行主要适合于求解非数值的符号演算。面向智能的计算机就是基于“模式匹配驱动”的计算机。 模式匹配驱动 * * §6.2 数据流计算机 基本工作思路 数据流计算机不共享数据，一条指令执行后不送存储器保存，以供其他指令共享，而是直接流向需要该结果的指令，作为新的操作数供下一条指令使用。 每个操作数经过指令的一次使用后便消失。 如果若干条指令要求使用相同的数据，那么就需要事先复制该数据的若干个副本，分别供多条指令使用。 * * 数据流驱动的特点 指令的执行是由数据可用性来驱动，而不是由程序计数器来控制。 任何指令只要操作数可用，应该说是做好了执行的准备。 数据驱动程序中的指令不用任何方式来排定次序。 数据直接保存在指令内，不是存在共享存储器中。 * * 计算结果（数据令牌）直接在指令间传递。一条指令产生的数据可被复制成多份副本直接送给所有缺乏数据的指令。数据令牌一旦被一条指令使用后，它就不能再被其它指令重复使用。 不需要共享存储器，不需要程序计数器，不需要控制定序器。 * * 数据流计算机指令结构 指令主要由操作包(Operation Packet)和数据令牌(Data Token)两部分组成 操作包由操作码(Operation Code)，一个或几个源操作数(Source Data)及后继指令地址(Next Address)等等组成 数据令牌通常由结果数值和目标地址等组成。其中的结果值是上条指令的运算结果，而目标地址直接取自上条指令的后继指令地址， 如果一条指令的运算结果要送往几个目的地，则分别形成几个数据令牌，多个数据令牌同时在各个操作部件之间传送，允许有多条指令并行执行。 * * 数据流驱动四个性质： 异步(Asynchrony)只要本条指令所需要的数据令牌都到达，指令即可独立地执行，而不必关心其他指令及数据的情况如何。 并行性(Parallelism)可同时地并行执行多条指令， 而且这种并行性通常是隐含的。 函数性(Functionalism) 由于不使用共享的数据存储单元，所以数据流程序不会产生诸如改变存储字这样的副作用。也可以说，数据流运算是纯函数性的。 局部性(Locality) 操作数不是作为“地址”变量， 而是作为数据令牌直接传送，因此数据流运算没有产生长远影响的后果，运算效果具有局部性。 * * 单赋值规则。单赋值的含义是指在程序中每个变量只能赋值一次，即同一变量在赋值语句的左部只允许出现一次，不允许对同一变量进行多次赋值。遵循单赋值规则。这有利于运算并行性的开发，同时也可防止“副作用”。所谓“副作用”是指在程序执行过程中修改了某些参数的值 指令的执行次序由数据依赖关系确定，指令执行规则简单地仅受数据相关性约束。 控制变量的应用范围 数据流语言基本特征： * * 3. 数据流计算机结构 静态数据流计算机 基本点：数据令牌不带任何标号，每条有向分支线上在某一个时刻只能传送一个数据令牌，每个结点一次只能执行一个操作。 执行规则：结点的每一条输入分支线上都有一个令牌出现（数据分支线上出现的数据令牌，控制分支线上出现携带结点操作所要求控制信号的控制令牌），而且输出分支线上没有令牌时，该结点的操作才能够被执行。 具有数据令牌，还有控制令牌，由这两种令牌同时来决定结点的操作是否执行 * * 两种实现可重入代码的并发调用方法 重入代码复制 当数据流程序需要调用一段可重入代码时，复制这段代码形成一个副本被调用执行。执行结束后把结果送到输出端保留，以备其它指令应用，副本随即消失。问题：复制过程开销大，程序副本占大量的存储空间。 动态数据流计算机 * * 冯.诺依曼结构可重入代码的递归调用均是一次调用总是在上次调用之后进行。每时刻仅有一个可重入代码的副本在运行，从而保证了多次调用的顺序。 数据流机的并行可能并发调用同一个可重入代码，即同一时刻有多个副本在运行，流动着不同次的操作数，流动路径的不同可能导致产生结果的时间不同，引发不同次操作数的混乱。 带