包邮寄存器分配引论

序一 序二 前言 第1章 基础知识 1.1 控制流图 1.1.1 流图的定义 1.1.2 流图的数据结构 1.1.3 流图的构造 1.2 活跃分析 1.2.1 数据流方程 1.2.2 不动点算法 1.3 干涉图 1.4 寄存器分配 1.4.1 栈分配策略 1.4.2 寄存器分配策略 1.5 深入阅读 第2章 图着色分配 2.1 基本思想 2.2 Kempe算法 2.2.1 Kempe定理及其应用 2.2.2 乐观着色 2.3 溢出 2.3.1 溢出着色 2.3.2 溢出策略 2.4 接合 2.4.1 激进接合 2.4.2 保守接合 2.4.3 迭代接合 2.5 干涉的保守性 2.6 深入阅读 第3章 线性扫描分配 3.1 基本思想 3.2 活跃区间分析 3.2.1 线性序 3.2.2 活跃区间算法 3.3 线性扫描分配 3.3.1 分配算法 3.3.2 溢出和接合 3.3.3 时间复杂度 3.4 深入阅读 第4章 弦图分配 4.1 弦图 4.2 弦图基本性质 4.2.1 消去序列 4.2.2 势算法 4.3 弦图分配算法 4.3.1 分配算法 4.3.2 溢出 4.3.3 接合 4.3.4 时间复杂度