计算机体系结构(一)-量化分析与设计基础
第一章 量化分析与设计基础
1. 体系结构的复兴
摩尔定律:晶体管数量的指数级增长(已终结)
登纳德缩放比例定律:功率密度的恒定(已终结)
体系结构
指令集设计(不包含实现)$\rightarrow$ 组成+硬件
技术趋势:1. 带宽胜过延迟;2. 连线的困难。
指令级并行$\rightarrow$数据级并行$\rightarrow$线程级并行
2. 量化分析方法
2.1 功耗(Power)与能耗(Energy)
- Do nothing well
- Dynamic voltage-frequency scaling (DVFS)
- Design for the typical case
- Overclocking
2.2 成本
时间、产量、大众化
集成电路的成本
制造工艺决定了晶圆成本、晶圆良率和 单位面积上的缺陷数,所以设计人员唯一能够控制的就是晶片面积。
2.3 可信任度
2.3.1 模块可靠性(Module reliability)
平均无故障时间(mean time to failure, MTTF)
故障率(rate of failure = 1/MTTF):通常以运行10亿小时发生的 故障数来表示,被称为FIT(failures in time)
平均修复时间(mean time to repair, MTTR)
平均故障间隔时间(mean time between failures, MTBF)= MTTF + MTTR
如果一组模块的生存期呈指数分布,也就是说模块的老化对于故障概率的影响不大,那么「这一组模块的整体故障率就是这些模块的 故障率之和」。
一个模块的寿命 $T$ 服从指数分布:
其中 $\lambda$ 是故障率(failure rate)。
指数分布的特点:无记忆性(memoryless)
假设系统中有 $n$ 个模块,它们相互独立,且寿命都服从指数分布:
系统在「任一模块失效」时就算系统失效(即串联系统)。
系统可靠性函数(即“系统存活到 t 的概率”)为:
这仍然是一个指数分布,参数是所有模块 λ 的和。
系统故障率由上式可得:
2.3.2 模块可用性( Module availability)
2.3.3 一个例子
磁盘子系统经常备有冗余电源,以提高可信任度。假设一个电源足以运行磁盘子系统,而且我们要添加一个冗余电源。
我们需要一个公式来表明当可以容忍一个故障并仍能提供服务时的情景。为了简化计算,假定组件的生存期呈指数分布,而且组件故障之间没有相关性。
冗余电源对的MTTF就是两个量的比值,分子是从初始时刻到一个电源发生故障的平均时间, 分母是在更换第一个电源之前另一个电源也发生故障的概率。
因此,如果在修复第 一个故障之前发生第二个故障的可能性很小,那么电源对的MTTF就很大。 由于我们有两个电源,而且故障独立,所以在一个电源发生故障之前的平均时间为$\text{MTTF}_\text{电源} / 2$。发生第二个故障的概率有一个很好的近似:用MTTR除以另一个电源 发生故障之前的平均时间。因此,冗余电源对的合理近似为:
$\text{MTTF}{\text{power supply}} = 2000 \text{ h}$,$\text{MTTR}{\text{power supply}} = 24 \text{ h}$,则 $\text{MTTF}_{\text{power supply pair}} \approx 833 333 333 \text{ h}$,提高约4150倍
2.4 性能
SPEC基准测试:SPEC - Standard Performance Evaluation Corporation
桌面基准测、服务器基准测试
SPECRatio:将基准计 算机上的执行时间除以待评估计算机上的执行时间,得到一个与性能成正比的比值。
对于每个基准程序 $i$,定义:
几何平均值之比等于性能比值的几何平均值,且$\text{SPECRatio}$基准计算机的选择无关紧要。
3. 计算机设计的量化原理
- 提高并行性
- 局部性原理(空间局部+时间局部)
- 重点关注常见情形
3.1 Amdahl‘s Law
加速比(Speedup)
加速比取决于下面两个因素:
- 原计算机计算时间中可改进部分所占的比例:改进比例($\text{Fraction}_\text{enhanced}$),小于或等于1。
- 通过改进执行模式得到的改进,也就是说在为整个程序使用这一执行模式时,任务的运行速度会提高多少倍:改进加速比($\text{Speedup}_\text{enhanced}$),大于1。
3.2 处理器性能公式
程序的CPU时间表示:
指令路径长度或指令数(instruction count, IC):计算所执行的指令数。
每条指令的时钟周期数(clock cycles per instruction, CPI)的平均值:
处理器性能取决于3个特性:时钟周期(或时钟频率)、每条指令的时钟 周期数和指令数。
CPU时间也取决于这3个特性:3个特性中任意一项改进10%, 将使CPU时间改进10%。
- 时钟周期时间:硬件技术与组成。
- CPI:组成与指令集体系结构。
- 指令数:指令集体系结构和编译器技术。
- $\text{IC}_i$:一个程序中第i个指令的执行次数;
- $\text{CPI}_i$:示第i个指令的每条指令平均时钟周期数。
$\text{CPI}$ 的后一种计算形式使用了各个 $\text{CPI}_i$ ,和该指令在一个程序中所占的比例。
Appendix A
A.1 为什么较新的指令集都不在指令中直接访问存储器,而是通过载入-存储的方式?
✅ 越新的 ISA(如 RISC-V、MIPS、ARM、SPARC)都采用 Load/Store 架构,
而老架构(如 x86、VAX、PDP-11)则常允许在任意指令中直接访问内存。
A.1.1 背景:两种架构风格
| 架构类型 | 特点 | 代表 |
|---|---|---|
| CISC(Complex Instruction Set Computer) | 一条指令可以直接访问内存、执行复杂操作(如 ADD [mem1], [mem2]) |
x86, VAX, 68000 |
| RISC(Reduced Instruction Set Computer) | 只允许专门的 Load/Store 指令访问内存,运算只能在寄存器间进行 | MIPS, ARM, RISC-V |
A.1.2 为什么现代 ISA 都采用 Load/Store 架构?
从 硬件实现、性能优化、并行化 的角度,这是必然选择:
简化流水线设计(Pipeline-friendly)
在早期 CISC 架构中,一条指令可能要取操作码、计算内存地址、发起访存、取回数据、执行算术、写回结果,这使得一条指令的执行时间无法预测,很难做到指令级并行(ILP)。而 Load/Store 架构中,Load/Store 指令只做访存;运算指令只做计算。每类指令都有固定格式和执行阶段,易于划分流水线阶段,提高主频与吞吐量。
📘 典型:MIPS 最早提出 5 级流水线 (IF–ID–EX–MEM–WB),
若算术指令能直接访存,这个结构就会完全被打乱。更容易乱序执行和指令重排(Out-of-Order, Superscalar)
现代 CPU 要并行执行多条指令,需要硬件判断依赖关系。 如果指令可以“随意”访问内存,就必须动态分析:哪些内存地址可能冲突?哪些数据可能重叠?这会极大增加依赖检查逻辑复杂度。
Load/Store 模式下,只有特定指令访问内存,依赖关系主要在寄存器之间,硬件能快速判定并行性。
易于编译器优化(Compiler-friendly)
在 CISC 架构下,编译器很难预测哪些指令会访问内存。
在 RISC 架构中,编译器能明确控制:什么时候 Load?什么时候 Store?哪些数据在寄存器中?
编译器可以更高效地调度指令、减少访存次数。
📖 这正是 RISC 设计哲学:
“让硬件简单,把复杂性交给编译器。”减少硬件复杂度与译码逻辑
CISC 指令格式多变、操作数位置复杂, 导致译码单元必须包含:可变长度解码器,多种寻址模式支持,内存操作调度器。
Load/Store 架构只需要:固定长度指令(如 RISC-V 的 32 位定长),简单寻址(寄存器 + 立即数),这使得硬件译码速度快,面积小,功耗低。
访存延迟与 Cache 不确定性
访存操作往往是最慢的部分(几十甚至上百个时钟周期)。如果允许算术指令直接访存,那么算术指令执行时间就会随缓存命中率变化,非常不可预测。
Load/Store 机制则能:把访存延迟与算术延迟分离;通过乱序执行、Load-Store 队列、Cache Miss 重叠等手段隐藏访存延迟。
🔹 “分离存储访问与计算,是现代高性能处理器设计的核心原则。”
A.2 每个晶圆(wafer)上可切割出的芯片(die)数学公式推导
- 晶圆直径:$D$
- 晶圆半径:$R = \frac{D}{2}$
- 单个芯片(die)面积:$A_d$
如果晶圆是完美的圆,且可以完全填满芯片,那么:
就是理论最大芯片数。
但实际中:边缘的芯片不完整,不能用;晶圆是圆的,芯片是方形的;排列方式(行列)造成浪费。
所以要修正边缘损失(edge loss)。
经过几何近似(由Texas Instruments早期研究提出),得到常用的经验公式:
或等价写法:
晶圆边缘周长为 $2\pi R$,假设边缘附近一圈芯片大概率不完整(被切断)。
每个芯片的有效“边长”约为 $\sqrt{A_d}$。
沿圆周一圈能放的芯片数量约为:
但这些芯片中大约一半面积浪费掉(平均约 50% 被切割),所以要减去一半芯片数:
将其写成直径形式 $D = 2R$:
(不同文献有略微常数差异,此处系数 $\frac{1}{\sqrt{2}}$ 是几何拟合结果)
于是:
