编程语言与编译器

📊 课程难度与压力分析

COMP9102 是计算机系‘硬核度’的终极试金石。难点不在于某种语言，而在于‘递归的递归’。当你手动实现 LALR 分析器并面对‘移进/归约冲突’时，你会体验到逻辑上的高度抽象。压力主要来自于编译器项目，你需要手写数万行 C++ 或 Java 代码，如果你的 AST 构造在根节点漏了一个指针，你的编译器会在生成代码时产生‘静默逻辑错误’，让你在排查时想死。及格容易（只要 Lexer 和 Parser 跑通），但拿 HD 需要你的编译器不仅能运行，还要实现高效的寄存器分配优化。挂科风险显著存在于对‘左递归消除’逻辑理解不透彻导致的 Parser 死循环上。

🎯 备考重点与高分策略

高分秘籍：‘得 SLR/LR 分析表构造者得 Distinction，得三地址码转换者得 HD’。期末考试中，画出一个特定文法的 LR(0) 状态机并标注所有可能冲突是必考的 20 分大题。一定要练到能秒写出‘While 循环的 TAC 翻译模板’。重点攻克‘基于图着色法的寄存器分配逻辑’，那是区分普通码农与顶级编译器专家的标志。备考时，教材《Compilers: Principles, Techniques, and Tools》(龙书) 是唯一的圣经。对于项目，HD 的关键在于‘稳健的报错机制’——不仅对的代码能运行，错的代码要能给出精准的行号提示。重视 Tutorial 里的每一道 First/Follow 集推演题。

📚 学习建议与资源推荐

神级资源：Stanford 的 CS143 编译器课件和‘Lex & Yacc’官方手册。如果文法判定理解不了，强烈推荐去 B 站搜‘编译原理 哈尔滨工业大学’。最重要的建议：养成‘先写文法规范 (EBNF)，再敲解析器’的习惯。利用好 Python 的 `PLY` 库进行简单的原型验证。学会使用 `gdb` 的内存断点来追踪 AST 的异常节点。加入 UNSW 的 Systems 实验室。训练你的‘形式化思维肌肉’。

⚠️ 作业与 Lab 避坑指南

项目避坑：千万不要在第 10 周才跑后端生成！汇编指令的寻址模式（Addressing modes）坑极多，建议预留时间调试栈帧对齐。Assignment 写作中，严禁只贴成功运行的截图，必须写出你的‘优化算子有效性证明’——为什么你的公共子表达式消除能减少 20% 指令？此外，注意 Final 考试有 Hurdle 要求，关于‘文法等价变换定义’的基础题如果错太多会直接挂。考试时，带好直尺，画出的状态转移图必须清晰标准。注意：分清‘合成属性’与‘继承属性’在语义分析中的角色差异。

💬 过来人经验分享

学长建议：这门课是为你进入顶级大厂底层组（如 Oracle JVM 组或 Apple LLVM 组）拿的‘神谕通行证’。学完后，你眼中的代码不再是死的字符，而是一个由语法树、活性分析和生存期轨迹构成的完美转换体。建议找一个同样追求‘代码洁癖’的队友共同打磨编译器。拿 HD 的关键：在报告中展现出你对‘循环展开与指令流水线协同优化’的深刻理解。坚持住，通关 9102，你就真正跨过了从代码使用者到语言缔造者的那道永恒红线。这张成绩单是申请高端系统岗位最硬的门票。记住：最好的程序员，都在写制造程序员的工具。