VIP20

本课程属于：010-工程编译 编程基础与工程化 · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

系统编程：编译原理与实践

📚 共计 30 章节

编译器、解释器区别 · 编译五阶段 · 应用场景

词法分析语法分析语义分析

词法分析基础

正则表达式 · DFA/NFA · Thompson构造法

有限自动机正则

词法分析器实现

NFA→DFA · DFA最小化 · Lex/Flex · 手写词法

子集构造Flex

语法分析基础

CFG · 推导/规约 · AST · 二义性处理

上下文无关分析树

自顶向下语法分析

递归下降 · LL(1) · FIRST/FOLLOW · 预测分析表

LL(1)递归下降

自底向上语法分析

LR(0) · SLR(1) · LR(1)/LALR(1) · Yacc/Bison

属性文法 · 综合/继承属性 · 语法制导翻译 · 符号表

属性符号表

类型系统 · 静态/动态检查 · 类型等价 · 类型推断

类型系统推断

中间代码生成

三地址码 · 四元式 · 控制流翻译 · 函数调用

运行时环境

存储组织 · 活动记录 · 栈/堆分配 · 垃圾回收

代码优化概述

机器无关/相关 · 基本块 · 数据流分析基础

优化数据流

常量折叠/传播 · 复写传播 · 死代码消除 · 代数化简

局部死代码

循环优化 · 全局公共子表达式 · 代码移动

目标代码生成

指令选择 · 寄存器分配 · 指令调度 · 窥孔优化

寄存器窥孔

汇编与链接

汇编器 · ELF/PE · 符号解析 · 静态/动态链接

加载与执行

加载器 · 地址空间 · DLL/SO · 位置无关代码

编译器前端实战

Lex+Yacc 构建计算器 · 加减乘除括号

LexYacc计算器

编译器后端实战

中间代码→x86汇编 · 生成可执行文件

现代编译器架构

GCC/LLVM架构 · Clang · IR · JIT

LLVM IR · 类型系统 · Pass编写 (Function/Module)

LLVM优化Pass实战

自定义常量传播Pass · 集成优化管线

优化Pass常量传播

静态单赋值形式 (SSA)

SSA定义 · Phi函数 · 支配树 · SSA破坏

数据流分析进阶

格理论 · 单调框架 · 到达定值 · 活跃变量

流敏感/不敏感 · 上下文敏感 · Andersen/Steensgaard

面向对象语言的编译

虚函数表 · 方法分派 · 继承与多态

函数式语言的编译

闭包 · 惰性求值 · 类型推断 (Hindley-Milner)

闭包类型推断

并行与并发编译

自动向量化 · OpenMP · 线程安全与锁优化

编译错误处理

词法/语法错误恢复 · 恐慌模式 · 友好错误信息

错误恢复诊断

编译器测试与调试

测试生成 · Csmith · YARPGen · GDB调试编译器

编译器前沿技术

机器学习优化 · CompCert · WebAssembly编译

MLWasm形式化