1、计 算 机 系 统 结 构郑 纬 民 陈 修 环 编 石 汤 志 忠清 华 大 学 出 版 社前 言本 书 是 “计 算 机 系 统 结 构 ”课 程 的 教 材 , 它 适 于 作 为 计 算 机 专 业 本 科 生 和 有 关 专 业 研 究 生 的 教 材 , 也 可 作 为 计 算 机 科 学 工 作 者 的 参 考 书 。本 书 力 求 深 入 浅 出 地 阐 述 计 算 机 系 统 结 构 的 基 本 概 念 、 基 本 原 理 、 基 本 结 构 和 基 本 分 析 方 法 。 介 绍 了 近 几 年 来 出 现 的 高 性 能 计 算 机 的 新 概 念 和 新 技 术 。 重
2、 点 讨 论 了 存 储 器 设 计 、 流 水 线 技 术 和 各 种 不 同 的 并 行 结 构 。 在 讨 论 各 种 系 统 结 构 时 紧 紧 围 绕 系 统 可 能 出 现 的 瓶 颈 和 克 服 瓶 颈 的 方 法 。 例 如 , 存 储 器 带 宽 、 处 理 机 带 宽 、 I/ O 带 宽 、 通 信 带 宽 和 同 步 技 术 等 。 本 书 力 求 反 映 现 代 计 算 机 发 展 的 水 平 。 各 章 的 内 容 互 相 独 立 , 教 师 可 以 根 据 不 同 的 专 业 、 不 同 的 学 时 任 意 选 择 几 章 进 行 教 学 。本 书 第 一 、 四
3、 、 五 、 六 、 七 章 由 郑 纬 民 编 写 , 第 二 章 由 陈 修 环 编 写 , 第 三 章 由 石 编 写 ,第 八 章 由 汤 志 忠 编 写 。本 书 的 出 版 得 到 了 清 华 大 学 计 算 机 科 学 与 技 术 系 领 导 和 老 师 们 的 支 持 和 鼓 励 , 在 此 一 并 致 谢 。限 于 作 者 的 经 验 与 水 平 , 错 误 和 不 当 之 处 希 望 读 者 批 评 指 正 。作 者 1990 年 12 月 内 容 简 介本 书 讲 述 计 算 机 系 统 结 构 的 基 本 概 念 、 基 本 原 理 、 基 本 结 构 和 分 析 方
4、法 , 比 较 系 统 地 讨 论 了 高 性 能 计 算 机 系 统 的 各 种 技 术 。全 书 共 分 八 章 。 其 内 容 分 别 是 : 绪 论 ; 存 储 器 系 统 设 计 ; 流 水 线 计 算 机 设 计 技 术 ; 数 值 应 用 问 题 的 特 征 ; 向 量 计 算 机 ; 多 处 理 机; 多 处 理 机 算 法 ; 数 据 流 计 算 机 系 统 结 构 。本 书 适 合 于 作 计 算 机 专 业 本 科 生 和 有 关 专 业 研 究 生 的 教 材 , 也 可 作 为 计 算 机 科 学 工 作 者 ( 包 括 软 件 工 作 者 ) 的 参 考 书 。(
5、京 ) 新 登 字 158 号计 算 机 系 统 结 构郑 纬 民 等 编 责 任 编 辑 贾 仲 良清 华 大 学 出 版 社 出 版 ( 北 京 清 华 园 ) 印 刷 厂 印 刷 新 华 书 店 总 店 科 技 发 行 所 发 行开 本 : 7 8 10 9 2 1 / 16 印 张 : 16 字 数 : 38 0 千 字1 99 2 年 2 月 第 1 版 1 99 2 年 2 月 第 1 次 印 刷印 数 : 00001-10000ISBN 7-302-00954-6/ T P 350定 价 : 4. 55 元目 录第 一 章 绪 论 11. 1 计 算 机 系 统 结 构 11.
6、1. 1 计 算 机 系 统 层 次 结 构 11. 1. 2 计 算 机 系 统 结 构 定 义 31. 1. 3 计 算 机 组 成 与 实 现 31. 1. 4 计 算 机 系 统 结 构 的 发 展 41. 1. 5 计 算 机 系 统 结 构 的 分 类 51. 2 技 术 和 系 统 结 构 81. 3 系 统 结 构 的 评 价 标 准 91. 3. 1 成 本 指 标 91. 3. 2 硬 件 考 虑 101. 4 高 性 能 技 术 121. 4. 1 价 格 对 系 统 结 构 的 影 响 121. 4. 2 应 用 对 系 统 结 构 的 影 响 131. 4. 3 V
7、L SI 对 系 统 结 构 的 影 响 141. 4. 4 技 术 的 发 展 对 价 格 的 影 响 141. 4. 5 算 法 和 系 统 结 构 16第 二 章 存 储 系 统 设 计 182. 1 利 用 程 序 本 身 的 特 性 192. 2 Cache 存 储 器 222. 2. 1 Cache 基 本 结 构 222. 2. 2 Cache 设 计 242. 2. 3 Cache 分 析 282. 2. 4 Cache 替 换 算 法 392. 2. 5 在 Cache 中 的 进 程 足 迹 432. 2. 6 Cache 写 操 作 482. 3 虚 拟 存 储 器 50
8、2. 3. 1 虚 拟 存 储 器 结 构 512. 3. 2 虚 拟 存 储 器 的 地 址 变 换 532. 3. 3 分 段 存 储 系 统 572. 3. 4 替 换 算 法 582. 3. 5 缓 冲 对 虚 拟 存 储 系 统 性 能 的 影 响 62第 三 章 流 水 线 计 算 机 设 计 技 术 663. 1 流 水 线 设 计 原 理 663. 2 流 水 线 计 算 机 中 的 存 储 器 结 构 733. 3 流 水 线 计 算 机 的 性 能 743. 4 流 水 线 中 段 的 控 制 方 法 783. 4. 1 多 功 能 流 水 线 的 设 计 783. 4.
9、2 冲 突 向 量 和 流 水 线 控 制 803. 4. 3 流 水 线 的 最 佳 性 能 833. 4. 4 利 用 延 迟 线 改 善 性 能 853. 4. 5 消 除 互 锁 893. 5 流 水 线 技 术 的 开 发 903. 5. 1 条 件 转 移 903. 5. 2 内 部 定 向 和 推 迟 指 令 933. 5. 3 具 有 Cache 存 储 器 和 虚 拟 存 储 器 的 机 器 983. 5. 4 R I SC 结 构 100第 四 章 数 值 应 用 问 题 的 特 征 1034. 1 大 型 数 值 问 题 的 分 类 1034. 1. 1 连 续 模 型
10、1044. 1. 2 粒 子 模 型 1054. 2 高 性 能 计 算 机 设 计 中 的 限 制 条 件 1074. 3 连 续 模 型 的 系 统 结 构 1084. 4 连 续 模 型 的 算 法 1124. 4. 1 宇 宙 立 方 体 结 构 1134. 4. 2 数 据 流 需 求 1134. 4. 3 并 行 解 法 1164. 4. 4 递 归 加 倍 法 与 循 环 归 约 法 1194. 5 混 洗 1224. 5. 1 混 洗 互 连 模 式 1224. 5. 2 全 混 洗 的 应 用 1254. 6 连 续 模 型 的 结 构 向 何 处 发 展 130第 五 章
11、向 量 计 算 机 1325. 1 向 量 处 理 的 基 本 概 念 1325. 1. 1 什 么 是 向 量 处 理 1325. 1. 2 向 量 处 理 方 式 1335. 2 一 般 的 向 量 处 理 机 1345. 2. 1 多 存 储 器 模 块 1365. 2. 2 中 间 存 储 器 1405. 3 数 值 算 法 的 存 取 模 式 1435. 3. 1 高 斯 消 去 法 1435. 4 向 量 机 的 数 据 结 构 1455. 5 向 量 协 处 理 器 1495. 6 稀 疏 矩 阵 的 处 理 技 术 1525. 7 一 台 超 高 速 的 向 量 处 理 机 G
12、F -11 1535. 8 关 于 向 量 计 算 机 的 几 点 看 法 154第 六 章 多 处 理 机 1576. 1 背 景 1576. 2 多 处 理 机 性 能 1596. 2. 1 基 本 模 型 1616. 2. 2 N 台 处 理 机 系 统 的 基 本 模 型 1626. 2. 3 随 机 模 型 1646. 2. 4 通 信 开 销 为 线 性 函 数 的 模 型 1646. 2. 5 一 个 完 全 重 叠 通 信 的 理 想 模 型 1656. 2. 6 一 个 具 有 多 条 通 信 链 的 模 型 1676. 2. 7 多 处 理 机 模 型 1686. 3 多
13、处 理 机 的 互 连 网 络 1696. 3. 1 总 线 互 连 1706. 3. 2 环 形 互 连 1726. 3. 3 交 叉 开 关 互 连 1736. 3. 4 混 洗 交 换 互 连 和 合 并 开 关 1776. 3. 5 蝶 形 操 作 1786. 3. 6 合 并 网 络 和 取 与 加 指 令 181第 七 章 多 处 理 机 算 法 1857. 1 简 单 并 行 性 1857. 1. 1 do par 和 do s eq 结 构 1877. 1. 2 阻 塞 同 步 1877. 1. 3 性 能 分 析 1887. 1. 4 增 大 粒 度 1907. 1. 5 任
14、 务 的 初 始 化 1927. 2 同 步 技 术 1947. 2. 1 使 用 测 试 与 设 置 指 令 的 同 步 技 术 1957. 2. 2 使 用 增 1 和 减 1 指 令 的 同 步 技 术 1977. 2. 3 使 用 比 较 与 交 换 指 令 的 同 步 技 术 1997. 2. 4 使 用 取 与 加 指 令 的 同 步 技 术 2037. 3 并 行 搜 索 2057. 3. 1 搜 索 单 峰 函 数 的 极 大 值 2057. 3. 2 并 行 分 支 限 界 法 2077. 4 串 行 算 法 到 并 行 算 法 的 转 换 2107. 4. 1 相 关 性
15、分 析 2117. 4. 2 开 发 迭 代 的 并 行 性 2127. 5 同 步 并 行 算 法 和 异 步 并 行 算 法 2147. 5. 1 同 步 并 行 算 法 2147. 5. 2 异 步 并 行 算 法 2167. 6 小 结 219第 八 章 数 据 流 计 算 机 系 统 结 构 2218. 1 数 据 流 驱 动 原 理 2218. 1. 1 串 行 控 制 流 与 并 行 控 制 流 2218. 1. 2 数 据 流 计 算 机 中 指 令 的 执 行 过 程 2228. 1. 3 数 据 流 计 算 机 的 指 令 组 成 2238. 1. 4 数 据 流 计 算
16、机 模 型 2248. 2 数 据 流 计 算 机 的 性 能 分 析 2268. 2. 1 数 据 流 计 算 机 的 优 点 2268. 2. 2 数 据 流 计 算 机 的 缺 点 2278. 2. 3 数 据 流 计 算 机 设 计 中 需 要 解 决 的 几 个 主 要 问 题 2288. 3 数 据 流 程 序 图 和 数 据 流 语 言 2288. 3. 1 数 据 流 程 序 图 2298. 3. 2 数 据 流 语 言 2338. 3. 3 数 据 流 语 言 的 性 质 2348. 4 数 据 流 计 算 机 结 构 2358. 4. 1 静 态 数 据 流 计 算 机 结
17、 构 2368. 4. 2 动 态 数 据 流 计 算 机 结 构 2408. 4. 3 其 它 类 型 的 数 据 流 计 算 机 2441第 一 章 绪 论自 第 一 台 电 子 计 算 机 问 世 已 经 四 十 多 年 , 它 经 历 了 电 子 管 、 晶 体 管 、 集 成 电 路 和 大 规 模 集 成 电 路 等 四 代 。 目 前 世 界 各 国 正 在 研 制 第 五 代 计 算 机 。 换 代 的 标 志 主 要 有 两 个 : 第 一 是 计 算 机 的 器 件 。 器 件 发 生 了 根 本 的 变 化 , 经 电 子 管 、 晶 体 管 发 展 到 集 成 电 路
18、, 而 集 成 电 路 又 由 小 规 模 、 中 规 模 , 到 大 规 模 和 超 大 规 模 的 阶 段 。 器 件 的 更 新 , 其 速 度 、 功 能 、 可 靠 性 的 不 断 提 高 和 成 本 的 不 断 降 低 , 是 计 算 机 发 展 的 物 质 基 础 。 因 此 , 器 件 的 换 代 是 计 算 机 换 代 的 最 突 出 的 标 志 。 第 二 是 系 统 结 构 的 特 点 。 系 统 结 构 不 断 改 进 , 许 多 重 要 概 念 不 断 提 出 并 且 得 到 实 现 。 例 如 变 址 寄 存 器 概 念 , 通 用 寄 存 器 概 念 、 浮 点
19、数 据 表 示 、 程 序 中 断 概 念 、 输 入 输 出 通 道 概 念 、 间 接 寻 址 概 念 、 虚 拟 存 储 器 概 念 、 Cache 存 储 器 概 念 、 系 列 化 概 念 、 微 程 序 设 计 技 术 等 。 很 明 显 , 如 果 用 大 规 模 集 成 电 路 实 现 早 期 的 计 算 机 系 统 结 构 , 人 们 并 不 会 认 为 它 是 第 四 代 计 算 机 。 因 为 第 四 代 计 算 机 在 系 统 结 构 上 较 之 早 期 的 计 算 机 已 经 有 很 大 的 改 进 和 发 展 。 因 此 , 系 统 结 构 方 面 的 特 点 同
20、样 是 计 算 机 换 代 的 重 要 标 志 。回 顾 计 算 机 的 发 展 历 史 , 可 以 看 出 , 计 算 机 系 统 性 能 的 不 断 提 高 主 要 靠 器 件 的 变 革 和 系 统 结 构 的 改 进 。 恩 斯 洛 ( P. H . E ns low) 曾 经 比 较 了 1965 1975 这 十 年 间 , 器 件 延 迟 时 间 和 计 算 机 指 令 时 间 的 关 系 。 结 果 表 明 , 这 十 年 间 器 件 延 迟 时 间 降 低 至 原 来 的 十 分 之 一 , 但 计 算 机 的 指 令 时 间 却 以 高 至 100 倍 的 速 度 递 减
21、。 这 种 情 况 在 计 算 机 近 年 来 的 发 展 中 变 得 更 加 明 显 。 如 何 最 合 理 地 利 用 新 器 件 , 最 大 限 度 地 发 挥 其 潜 力 , 设 计 并 构 成 综 合 性 能 指 标 最 佳 的 计 算 机 系 统 , 但 是 单 纯 依 靠 器 件 变 革 是 不 能 解 决 的 , 还 要 靠 计 算 机 系 统 结 构 上 的 改 进 。本 书 专 门 研 究 计 算 机 系 统 结 构 , 特 别 是 高 性 能 计 算 机 系 统 结 构 。 重 点 在 于 系 统 结 构 的 设 计 和 分 析 。那 么 , 什 么 是 计 算 机 系
22、统 结 构 ? 计 算 机 系 统 结 构 和 技 术 有 什 么 关 系 ? 计 算 机 系 统 结 构 的 评 价 标 准 是 什 么 ? 高 性 能 计 算 机 系 统 的 技 术 是 什 么 ? 本 章 就 是 要 解 决 这 些 问 题 。1. 1 计 算 机 系 统 结 构1. 1. 1 计 算 机 系 统 层 次 结 构计 算 机 系 统 由 硬 件 / 器 件 和 软 件 组 成 , 按 功 能 划 分 成 多 级 层 次 结 构 , 如 图 1. 1 所 示 。 图 中 每 一 级 各 对 应 一 种 机 器 , 其 作 用 和 组 成 如 图 1. 2 所 示 。 在 这
23、里 ,“机 器 ”只 对 一 定 的 观 察 者 而 存 在 。 它 的 功 能 体 现 在 广 义 语 言 上 , 能 对 该 语 言 提 供 解 释 手 段 , 如 同 一 个 解 释 器 , 然 后 作 用 在 信 息 处 理 和 控 制 对 象 上 。 从 某 一 层 次 的 观 察 者 看 来 , 他 只 是 通 过 该 层 次 的 语 言 来 了 解 和 使 用 计 算 机 , 不 必 关 心 再 内 层 的 那 些 机 器 是 如 何 工 作 和 如 何 实 现 各 自 功 能 的 。图 1. 1 中 的 第 0 级 机 器 由 硬 件 实 现 , 第 1 级 机 器 由 微 程
24、 序 ( 固 件 ) 实 现 , 第 2 级 至 第 62图 1. 1 计 算 机 系 统 层 次 结 构级 机 器 由 软 件 实 现 。 我 们 称 由 软 件 实 现 的 机 器 为 虚 拟 机 器 , 以 区 别 于 由 硬件 或 固 件 实 现 的 实 际 机 器 。第 0 级 和 第 1 级 是 具 体 实 现 机 器 指 定 功 能 的 中 央 控 制 部 分 。 它 根 据 各 种 指 令 操 作 所 需 要 的 控 制 时 序 , 配 备 一 套 微 指 令 , 编 写 出 微 程 序 , 控 制 信 息 在 各 寄 存 器 之 间 的 传 送 , 这 就 是 第 1 级 机
25、 器 。 实 现 这 些 微 指 令 本 身 的 控 制 时 序 只 需 要 很 少 的 逻 辑 线 路 , 可 采 用硬 联 逻 辑 实 现 , 它 就 是 第 0 级 机 器 , 是 机 器 的 硬 件 内 核 。第 2 级 是 传 统 机 器 语 言 机 器 。 这 级 的 机 器 语 言 是 该 机 的 指 令 系 统 。 机 器 语 言 程 序 员 用 这 级 指 令 系 统 编 写 的 程 序 由 第 1 级 的 微 程 序 进 行 解 释 。第 3 级 是 操 作 系 统 机 器 。 这 级 的 机 器 语 言 中 的 多 数 指 令 是 传 统 机 器 的 指 令 , 如 算
26、术 运 算 , 逻 辑 运 算 和 移 位 等 指 令 。 此 外 , 这 一 级 还 提 供 操 作 系 统 级 指 令 , 例 如 打 开 文 件 、 读 / 写 文 件 、 关 闭 文 件 等 指 令 。 用 这 一 级 语 言 编 写 的 程 序 , 即 那 些 与 第 2 级 指 令 相 同 的 指 令直 接 由 微 程 序 实 现 。 操 作 系 统 级 指 令 部 分 由 操 作 系 统 进 行 解 释 。 操 作 系 统 是 运 行 在 第 2 级 上 的 解 释 程 序 。第 4 级 是 汇 编 语 言 机 器 。 这 级 的机器 语 言 是 汇 编 语 言 。 用 汇 编
27、语 言 编 写 的 程 序 首 先 翻 译 成 第 3 级 或 第 2 级 语 言 , 然 后 再 由 相 应 的 机 器 进 行 解 释 。 完 成 翻 译 的 程 序 叫 做 汇 编 程 序 。第 5 级 是 高 级 语 言 机 器 。 这 级 的 机 器 语 言 就 是 各 种 高 级 语 言 。 用 这 些 语 言 所 编 写 的程 序 一 般 是 由 编 译 程 序 翻 译 到 第 4 级 或 第 3 级 上 的 语 言 , 个 别 的 高 级 语 言 也 用 解 释 的 方 法 实现 。第 6 级 是 应 用 语 言 机 器 。 这 级 的 机 器 语 言 是 应 用 语 言 。
28、这 种 语 言 使 非 计 算 机 专 业 人 员 也 能 直 接 使 用 计 算 机 , 只 需 在 用 户 终 端 用 键 盘 或其 它 方 式 发 出 服 务 请 求 就 能 进 入 第 6 级 的 信 息 处 理 系 统 。图 1. 2 机 器 的 作 用 和 组 成3从 学 科 领 域 来 划 分 , 大 致 可 以 认 为 第 0 至 第 1 级 是 计 算 机 组 织 与 结 构 讨 论 的 范 围 , 第 3 至 第 5 级 是 系 统 软 件 , 第 6 级 是 应 用 软 件 。 但 是 , 严 格 说 起 来 又 不 尽 然 , 它 们 之 间 仍 有 交 叉 。 例 如
29、 , 第 0 级 要 求 一 定 的 数 字 逻 辑 基 础 ; 第 2 级 涉 及 汇 编 语 言 程 序 设 计 的 内 容 ; 第 3 级 与 计 算 机 系 统 结 构 密 切 相 关 。 在 特 殊 的 计 算 机 系 统 中 , 有 些 级 别 可 能 不 存 在 。把 计 算 机 系 统 按 功 能 划 分 成 多 级 层 次 结 构 , 首 先 有 利 于 正 确 地 理 解 计 算 机 系 统 的 工作 , 明 确 软 件 、 硬 件 和 固 件 在 计 算 机 系 统 中 的 地 位 和 作 用 。 其 次 有 利 于 理 解 各 种 语 言 的 实 质 及 其 实 现 。
30、 最 后 还 有 利 于 探 索 虚 拟 机 新 的 实 现 方 法 , 设 计 新 的 计 算 机 系 统 。1. 1. 2 计 算 机 系 统 结 构 定 义计 算 机 系 统 结 构 这 个 词 是 Amdahl 等 人 在 1964 年 提 出 的 。 他 们 把 系 统 结 构 定 义 为 由 程 序 设 计 者 所 看 到 的 一 个 计 算 机 系 统 的 属 性 , 即 概 念 性 结 构 和 功 能 特 性 。 按 照 计 算 机 层 次 结 构 , 不 同 程 序 设 计 者 所 看 到 的 计 算 机 有 不 同 的 属 性 。 使 用 高 级 语 言 的 程 序 员 所
31、 看 到 的 计 算 机 属 性 主 要 是 软 件 子 系 统 和 固 件 子 系 统 的 属 性 , 包 括 程 序 语 言 以 及 操 作 系 统 、 数 据 库 管 理 系 统 、 网 络 软 件 等 用 户 界 面 。 Amdahl 等 人 提 出 的 系 统 结 构 定 义 中 的 程 序 设 计 者 是 指 为 机 器 语 言 或 编 译 程 序 设 计 者 所 看 到 的 计 算 机 属 性 , 是 硬 件 子 系 统 的 概 念 结 构 及 其 功 能 特性 , 包 括 机 器 内 的 数 据 表 示 , 即 硬 件 能 直 接 辨 认 和 处 理 的 那 些 数 据 类 型
32、 ; 寻 址 方 式 , 包 括 最 小 寻 址 单 元 和 地 址 运 算 等 ; 寄 存 器 定 义 , 包 括 操 作 数 寄 存 器 、 变 址 寄 存 器 、 控 制 寄 存 器 等 的 定 义 、 数 量 和 使 用 方 式 ; 指 令 系 统 , 包 括 机 器 指 令 的 操 作 类 型 和 格 式 、 指 令 间 的 排 序 和 控 制 机 构 等 ; 中 断 机 构 , 包 括 中 断 的 类 型 和 中 断 响 应 硬 件 的 功 能 等 ; 机 器 工 作 状 态 的 定 义 和 切换 , 如 管 态 和 目 态 等 ; 输 入 -输 出 结 构 , 包 括 输 入 -
33、输 出 的 连 结 方 式 , 处 理 机 / 存 储 器 与 输 入 - 输 出 设 备 间 数 据 传 送 的 方 式 和 格 式 、 传 送 的 数 据 量 、 以 及 输 入 -输 出 操 作 的 结 束 与 出 错 标 志 等 ; 信 息 保 护 , 包 括 信 息 保 护 方 式 和 硬 件 对 信 息 保 护 的 支 持 等 等 。 这 些 即 是 程 序 员 为 了 使 其 所 编 写 的 程 序 能 在 机 器 上 正 确 运 行 , 需 要 了 解 和 遵 循 的 计 算 机 属 性 。 当 然 不 包 括 基 本 的 数 据 流 、 控 制 流 、 逻 辑 设 计 和 物
34、 理 实 现 等 。计 算 机 系 统 结 构 作 为 一 门 学 科 , 主 要 研 究 软 件 、 硬 件 功 能 分 配 和 对 软 件 、 硬 件 界 面 的 确 定 , 即 哪 些 功 能 由 软 件 完 成 , 哪 些 功 能 由 硬 件 完 成 。关 于 计 算 机 系 统 结 构 这 一 概 念 , 至 今 有 各 种 各 样 的 理 解 , 很 难 有 一 个 通 用 的 定 义 。 在 下 节 讨 论 计 算 机 组 成 和 实 现 后 , 我 们 还 要 给 出 另 一 些 定 义 。1. 1. 3 计 算 机 组 成 与 实 现计 算 机 组 成 的 任 务 是 在 计
35、 算 机 系 统 结 构 确 定 分 配 给 硬 件 子 系 统 的 功 能 及 其 概 念 结 构 之 后 , 研 究 各 组 成 部 分 的 内 部 构 造 和 相 互 联 系 , 以 实 现 机 器 指 令 级 的 各 种 功 能 和 特 性 。 这 种 相 互 联 系 包 括 各 功 能 部 件 的 配 置 、 相 互 连 接 和 相 互 作 用 。 各 功 能 部 件 的 性 能 参 数 相 互 匹 配 , 是 计 算 机 组 成 合 理 的 重 要 标 志 , 因 而 相 应 地 就 有 许 多 计 算 机 组 织 方 法 。 例 如 , 为 了 使 存 储 器 的 容 量 大 、
36、 速 度 快 , 人 们 研 究 出 层 次 存 储 系 统 和 虚 拟 存 储 技 术 。 在 层 次 存 储 系 统 中 , 又有 高 速 缓 存 、 多 模 块 交 错 工 作 、 多 寄 存 器 组 和 堆 栈 等 技 术 。 为 了 使 输 入 -输 出 设 备 与 处 理 机 间 的 信 息 流 量 达 到 平 衡 , 人 们 研 究 出 通 道 、 外 围 处 理 机 等 方 式 。 为 了 提 高 处 理 机 速 度 , 人 们 研 究 出 先 行 控 制 、 流 水 线 、 多 执 行 部 件 等 方 式 。 在 各 功 能 部 件 的 内 部 结 构 研 究 方 面 , 产
37、 生 了4许 多 组 合 逻 辑 、 时 序 逻 辑 的 高 效 设 计 方 法 和 结 构 。 例 如 , 在 运 算 器 方 面 , 出 现 了 多 种 自 动 调 度 算 法 和 结 构 等 。由 此 可 见 , 计 算 机 组 成 是 计 算 机 系 统 结 构 的 逻 辑 实 现 , 包 括 机 器 内 部 的 数 据 流 和 控 制 流 的 组 成 以 及 逻 辑 设 计 等 。 计 算 机 组 成 的 设 计 是 按 所 希 望 达 到 的 性 能 价 格 比 , 最 佳 、 最 合 理 地 把 各 种 设 备 和 部 件 组 成 计 算 机 , 以 实 现 所 定 的 计 算
38、机 系 统 结 构 。 一 般 计 算 机 组 成 设 计 包 括 数 据 通 路 宽 度 的 确 定 , 各 种 操 作 对 功 能 部 件 的 共 享 程 度 的 确 定 , 专 用 功 能 部 件 的 确定 , 功 能 部 件 的 并 行 性 确 定 , 缓 冲 器 和 排 队 的 确 定 , 控 制 机 构 的 设 计 , 可 靠 性 技 术 的 确 定等 。计 算 机 实 现 是 指 计 算 机 组 成 的 物 理 实 现 。 它 包 括 处 理 机 、 主 存 等 部 件 的 物 理 结 构 , 器件 的 集 成 度 和 速 度 , 信 号 传 输 , 器 件 、 模 块 、 插
39、件 、 底 板 的 划 分 与 连 接 , 专 用 器 件 的 设 计 , 电 源 、 冷 却 、 装 配 等 技 术 以 及 有 关 的 制 造 技 术 和 工 艺 等 。计 算 机 系 统 结 构 、 计 算 机 组 成 和 计 算 机 实 现 是 三 个 不 同 的 概 念 。 系 统 结 构 是 计 算 机 系 统 的 软 、 硬 件 的 界 面 ; 计 算 机 组 成 是 计 算 机 系 统 结 构 的 逻 辑 实 现 ; 计 算 机 实 现 是 计 算 机 组成 的 物 理 实 现 。 它 们 各 自 包 含 不 同 的 内 容 , 但 又 有 紧 密 的 关 系 。我 们 还 应
40、 看 到 系 统 结 构 、 组 成 和 实 现 所 包 含 的 具 体 内 容 是 随 不 同 机 器 而 变 化 的 。 有 些 计 算 机 系 统 是 作 为 系 统 结 构 的 内 容 , 其 它 计 算 机 系 统 可 能 是 作 为 组 成 和 实 现 的 内 容 。 开 始 是 作 为 组 成 和 实 现 提 出 来 的 设 计 思 想 , 到 后 来 就 可 能 被 引 入 系 统 结 构 中 。 例 如 高 速 缓 冲 存 储 器 一 般 是 作 为 组 成 提 出 来 的 , 其 中 存 放 的 信 息 全 部 由 硬 件 自 动 管 理 , 对 程 序 员 来 说 是 透
41、 明 的 。 然 而 , 有 的 机 器 为 了 提 高 其 使 用 效 率 , 设 置 了 高 速 缓 冲 存 储 器 的 管 理 指 令 , 使 程 序 员 能 参 与 高 速 缓 冲 存 储 器 的 管 理 。 这 样 , 高 速 缓 冲 存 储 器 又 成 为 系 统 结 构 的 一 部 分 , 对 程 序 员 来 说 是 不 透 明 的 。A mdahl 等 人 的 计 算 机 系 统 结 构 定 义 的 主 要 内 容 是 指 令 系 统 及 其 执 行 模 型 。 根 据 这个 定 义 , 一 个 系 列 机 中 不 同 档 次 的 机 器 有 相 同 的 系 统 结 构 。 A
42、mdahl 等 人 定 义 系 统 结 构 时 认 为 只 要 指 令 系 统 兼 容 就 能 保 证 程 序 正 确 运 行 。 由 于 程 序 的 执 行 要 依 赖 于 程 序 库 、 操 作 系 统 和 其 它 A mdahl 等 人 的 系 统 结 构 定 义 中 没 有 涉 及 的 因 素 , 这 要 求 操 作 系 统 接 口 等 其 它层 次 的 标 准 化 。 同 时 , 由 于 VL SI 的 迅 速 发 展 及 其 成 本 急 剧 下 降 , 有 些 系 列 机 推 出 有 新 指令 的 机 器 , 例 如 24 位 地 址 的 IBM 360 和 370 系 统 发 展
43、 为 31 位 地 址 的 370xA 系 统 , 16 位 地 址 的 PDP -11 发 展 为 32 位 地 址 的 VA X 系 列 。 随 着 新 器 件 的 出 现 , 当 今 计 算 机 设 计 者 面 临 的 问 题 与 十 年 前 面 临 的 问 题 大 不 相 同 , 所 以 我 们 应 当 把 计 算 机 系 统 结 构 定 义 得 更 宽 一些 , 除 了 A mdahl 等 人 定 义 的 内 容 外 , 还 应 包 括 功 能 模 块 的 设 计 。 也 就 是 说 , 计 算 机 系 统 结 构 、 计 算 机 组 成 、 计 算 机 实 现 之 间 的 界 限
44、越 来 越 模 糊 了 。1. 1. 4 计 算 机 系 统 结 构 的 发 展冯 诺 依 曼 等 人 于 1946 年 提 出 了 一 个 完 整 的 现 代 计 算 机 雏 型 , 它 由 运 算 器 、 控 制 器 、存 储 器 和 输 入 -输 出 设 备 组 成 , 如 图 1. 3 所 示 。 现 代 的 计 算 机 系 统 结 构 与 冯 诺 依 曼 等 人 当 时 提 出 的 计 算 机 系 统 结 构 相 比 虽 已 发 生了 重 大 变 化 , 但 就 其 结 构 原 理 来 说 占 有 主 流 地 位 的 仍 是 以 存 储 程 序 原 理 为 基 础 的 冯 诺依 曼
45、型 计 算 机 。 存 储 程 序 原 理 的 基 本 点 是 指 令 驱 动 , 即 程 序 由 指 令 组 成 , 并 和 数 据 一 起 存5放 在 计 算 机 存 储 器 中 , 机 器 一 经 启 动 , 就 能 按 照 程 序 指 定 的 逻 辑 顺 序 把 指 令 从 存 储 器 中 读 出 来 逐 条 执 行 , 自 动 完 成 由 程 序 所 描 述 的 处 理 工 作 。 冯 诺 依 曼 计 算 机 的 特 征 可 概 括 为 :1. 存 储 器 是 字 长 固 定 的 、 顺 序 线 性 编 址 的 一 维 结 构 。2. 存 储 器 提 供 可 按 地 址 访 问 的
46、一 级 地 址 空 间 , 每 个 地 址 是 唯 一 定 义 的 。3. 由 指 令 形 式 的 低 级 机 器 语 言 驱 动 。4. 指 令 的 执 行 是 顺 序 的 , 即 一 般 按 照 指 令在 存 储 器 中 存 放 的 顺 序 执 行 , 程 序 分 支 由 转 移指 令 实 现 。图 1. 3 早 期 的 冯 诺 依 曼 型 机 器 组 成 框 图5. 机 器 以 运 算 器 为 中 心 , 输 入 -输 出 设 备 与 存 储 器 之 间 的 数 据 传 送 都 途 经 运 算 器 。 运 算 器 、 存 储 器 、 输 入 -输 出 设 备 的 操 作 以 及 它 们
47、之 间 的 联 系 都 由 控 制 器 集 中 控 制 。虽 然 至 今 绝 大 多 数 计 算 机 仍 基 于 上 述 结 构 特 点 , 但 这 四 十 多 年 来 计 算 机 系 统 结 构 有了 许 多 改 进 。 主 要 包 括 以 下 几 个 方 面 :1. 计 算 机 系 统 结 构 从 基 于 串 行 算 法 改 变 为 适 应 并 行 算 法 , 从 而 出 现 了 向 量 计 算 机 ,并 行 计 算 机 、 多 处 理 机 等 。2. 高 级 语 言 与 机 器 语 言 的 语 义 距 离 缩 小 , 从 而 出 现 了 面 向 高 级 语 言 机 器 和 直 接 执 行
48、 高 级 语 言 机 器 。3. 硬 件 子 系 统 与 操 作 系 统 和 数 据 库 管 理 系 统 软 件 相 适 应 , 从 而 出 现 了 面 向 操 作 系 统 机 器 和 数 据 库 计 算 机 等 。4. 计 算 机 系 统 结 构 从 传 统 的 指 令 驱 动 型 改 变 为 数 据 驱 动 型 和 需 求 驱 动 型 , 从 而 出 现 了 数 据 流 机 器 和 归 约 机 。5. 为 了 适 应 特 定 应 用 环 境 而 出 现 了 各 种 专 用 计 算 机 , 如 快 速 傅 里 叶 变 换 机 器 、 过 程 控 制 计 算 机 等 。6. 为 了 获 得 高 可 靠 性 而 研 制 容 错 计 算 机 。7. 计 算 机 系 统 功 能 分 散 化 、 专 业 化 , 从 而 出 现 了 各 种 功 能 分 布 计 算 机 , 这 类 计 算 机 包 含 外 围 处 理 机 、 通 信 处 理 机 等 。8. 出 现 了 与 大 规 模 、 超 大 规 模 集 成 电 路 相 适 应 的 计 算 机 系 统 结 构 。9. 出 现 了 处 理 非 数 值 化 信 息 的 智 能 计 算 机 。 例 如 自 然 语 言 、 声 音 、 图 形 和 图 象 处 理 等 。 主 要 的 处 理 方 法 已 不 是 依 靠 精