静态数据流计算机性能分析.pdfVIP

中 目 种 誊 1990年 10月 A 辑 第 1o囊 静态数据流计算机的性能分析 刘桂仲 吴 涛 (拄沙工学院计算机系，长沙 410073) 摘 要 本文首先给出了静态数据流计算机的模型和数据流语言的模型，然后提出了把 指夸执行开销作为参数来计算数据流计算机实际并行度的系统模型，基于该系统横 型通过统计可知程序在静态数据流计算机上运行时，实际最大 的并行 度 由 MP， (OHt-I)决定 (MP是程序并行度的期望，OH是指令执行的开销)．因此，裁们 谎开销极大地影响了数据流计算机的性能． 关键调：数据漉，并行度，指令执行开销，模型 一 、 引 言 研究数据流计算机的主要 目的是为 了开发程序 中的井行和加速程序的执行Ⅲ．在数据 流 计算机上执行的指令是 由数据驱动的，因此，数据流计算机在开发程序 的并行执行方面具有很 大的潜力，但人们对数据流计算机研究得还不成熟．近几年来，有些人批评了数据流计算机， 他们指出其中一个主要问题是开销太大 ，如在包开关 网络中的通讯开销，额外 的访存开销等 等 ．然而另一些人看法不同，他们认为即使数据流计算机的开销很大，但若有足够的可执行 指令 ，数据流计算机的各部件能够高效地运行0． 本文提 出了一种研究数据流计算机开销的方法 ． 首先给出了静态数据流计算机的模型 ， 然后用随机过程的理论建立了指令执行开销和在静态数据流计算机上程序执行 的并行度之间 的关系．计算结果表 明，一个用户程序 的实际并行度仅仅受限于它的指令执行开销． 二、静态数据流计算机的模型和数据流图的模型 典型的静态数据流计算机结构如 图 l所示．事实上 ，这是一个 由几个部件组成 的寒流水 线，其中各部件异步运行完成不同的操作．数据流计算机中引人7许多辅助操作．如取指令， 经互连网络传送到处理器 ，形成操作结果包，再经互连网络回送到存贮器并把结果存人到 目标 指令，判断指令是否可点火等等． 本文中所谓有效操作 (effective’operation)是指直接完成 指令操作码所规定的操作．如运算型指令的有效操作是执行规定的算术运算．除此而外 ，一 条指令的全部辅助操作称为指令的操作开销．本文假设任何指令 有效操作均为一个荸位时 — — ● 本文 9e9年7月3日收到， 989年 l2月e日收到瓷改稿． l08B 中 国 科 学 (^ 辑) 1990年 图 1 静志数据流计算机结构 图2 静杰数据流机流水线结构模型 间，指令操作开销的大小用所耗费的时间度量．通常指令执行的开销依赖于指令的类型和指 令执行的环境．在这里所说的指令操作开销实际上是全部指令操作开销的平均值．指令操作 开销在以下各节中简称为操作开销，记为 OH． 国 2为研究操作开销影响的流水线结构模型．图中 个处理器对应着系统中的 个处理 器，它们仅执行指令的有效操作．执行时间为一个单位．国中 条流水线反映辅助操作的延 时，流水线的级数意味着操作开销的大小． 假定每级延时是 1，则流水线的级数是操作开销 OH，OHE{1，2，… }．图中存贮器是一个容量无限，存取时间为零的理想存贮器． 它的存 取操作的延时等辅助操作 已反映在流水线中． 数据流图是一种台有循环的有向图 ．图 3是计算 ^!的数据流圈 — 3)．为了描述数 据流图的动态行为 ，我们将数据流图展开成非循环 的有 向图， 如图4所示．即对任何函数调用 ，都用该函数的数据流图替 换；对循环的每一次执行都以循环体的新的数据流图表示 ． 如此展开 的结果 ，图中不合循环 (若循环不终止，展开的结果 可能是无限的)．图中每个结点都代表一条基本