暗硅¶
1. 一句话锚点¶
暗硅说的是：芯片上晶体管虽然造得出来，却因为散热和供电扛不住，不能同时全部点亮，只能让一部分“待在黑暗里”。
2. 形式定义 / 定律¶
在给定封装与散热条件下，设芯片允许的最大可持续功耗（功耗预算）为 \(P_{\text{budget}}\)。若将所有可用晶体管或功能单元同时以某工作点全功率运行，所需功耗为 \(P_{\text{all-on}}\)，则受约束的可激活比例 \(\alpha\) 满足
在简化均匀模型下，暗硅比例定义为
前提：将功耗近似视为与激活规模线性可分配、热约束可用单一预算表示、忽略空间热点与动态迁移带来的非线性。该定义描述的是“因功热约束不可同时激活”的部分，不等同于永久无用的冗余晶体管。
3. 符号与量纲词典¶
| 符号 | 含义 | 单位 / 取值 | 备注 |
|---|---|---|---|
| \(P_{\text{budget}}\) | 功耗/散热预算 | W | 由封装、散热与供电决定 |
| \(P_{\text{all-on}}\) | 全部单元同时全功率运行功耗 | W | 同一工作点下的估算值 |
| \(\alpha\) | 可同时激活比例 | 无量纲，\([0,1]\) | 简化线性模型下的上界相关量 |
| \(f_{\text{dark}}\) | 暗硅比例 | 无量纲，\([0,1]\) | \(f_{\text{dark}}=1-\alpha\) |
| \(P\) | 实际运行功耗 | W | 需满足 \(P \le P_{\text{budget}}\) |
量纲检查：\(P_{\text{budget}}/P_{\text{all-on}}\) 为 \(\mathrm{W/W}\)，无量纲，与 \(\alpha\)、\(f_{\text{dark}}\) 一致。
4. 直观图像 / 心智模型¶
把芯片想成一栋楼里的房间，每个房间装了灯（晶体管/功能块）。电表和空调容量有限（功耗与散热预算），即使每个房间都装了灯，也不能同时全开，否则会跳闸或过热。于是只能轮流开灯或只开一部分区域，关着的房间就是“暗”的。类比失效点：芯片可以通过动态电压频率调节、异构加速器和任务迁移精细调度，不同区域“亮度”可连续变化，不只是简单的开/关二元状态。
5. 最小正例 + 反例 + 边界情形¶
最小正例¶
假设散热能力不变，2025 年芯片允许功耗预算等于 2015 年总功耗，即 \(P_{\text{budget}}=P_{2015}\)。由现实缩放计算得到全开功耗 \(P_{\text{all-on}}=P_{2025}=3P_{2015}\)。在均匀线性模型下：
因此暗硅比例为
即最多约 \(1/3\) 晶体管可同时处于全功率活动状态，其余 \(2/3\) 需保持关闭或低功耗。
反例（直觉会骗人）¶
“工艺进步带来更多晶体管，所以性能一定能线性提升”是误判。若 \(P_{\text{all-on}}\) 已超过 \(P_{\text{budget}}\)，多出来的晶体管无法同时转化为有效算力，强行全开会触发热节流或可靠性问题。失效点在于把“可制造资源”直接当成“可同时使用资源”。
边界情形¶
当 \(P_{\text{all-on}} \le P_{\text{budget}}\) 时，\(f_{\text{dark}}=0\)（理想无暗硅）。当预算极低或全开功耗极高时，\(f_{\text{dark}}\) 趋近 1。若通过降频降压运行，\(P_{\text{all-on}}\) 会随工作点下降，同一芯片的暗硅比例也会动态变化，因此比例应绑定具体工作点描述。
8. 核心性质与常用变形¶
- 预算约束：核心关系是 \(P \le P_{\text{budget}}\)，暗硅是满足该约束的结构性结果而非设计失误。
- 常用计算：先由功耗缩放得到 \(r = P_{\text{all-on}}/P_{\text{budget}}\)，再得 \(f_{\text{dark}}=1-1/r\)（当 \(r \ge 1\)）。
- 架构含义：暗硅推动异构计算、专用加速器和功耗门控设计，让“不同区域在不同时间点亮”。
- 何时用：解释多核扩展受限、SoC 中加速器不能同时满载、以及移动芯片的热节流现象。
10. 常见误区¶
- 错：暗硅是坏掉或无用的硅面积。正确说法：它是受功热约束暂时不激活的资源，可能在其他负载或时间片被使用。
- 错：暗硅比例是芯片的固定常数。正确说法：它随工作点、电压频率、任务负载和散热条件变化。
- 错：把激活比例 \(1/3\) 当成暗硅比例。正确说法：题目若问“必须保持暗的比例”，应取 \(1-\alpha\)。
11. 适用范围与失效条件¶
适用范围：用于分析功耗密度上升后通用/异构芯片在散热与供电预算下的并行激活上限，适合教学中的数量级估算与架构动机解释。
失效条件：当模型忽略的静态功耗、局部热点、瞬态热容（短时 turbo）、复杂功耗管理策略或负载活动因子差异显著时，简单比例 \(1-P_{\text{budget}}/P_{\text{all-on}}\) 只能作为粗略上界或示意，不应当作精确热设计结论。若 \(P_{\text{budget}}\) 定义口径（瞬时/持续）不一致，计算结果不可直接比较。