CS 6120：高级编译器：自学在线课程 CS 6120 是由 Adrian Sampson 提供的康奈尔大学的博士级计算机科学课程，内容涵盖编程语言实现。它包括中间表示、数据流和“经典”优化等通用编译器主题，以及更具研究风格的主题，如并行化、即时编译和垃圾回收。课程内容包括阅读论文和开源黑客任务，使用 LLVM 和为本课程特别设计的教育 IR。本页面列出了在你想象的大学中学习本课程的课程设置，获得四个想象学分（不评分）。课程有一个线性时间线，穿插着要阅读的论文。每节课都有视频和书面笔记，部分课有你需要完成的实现任务。任务都是开放式的，在某种程度上，旨在通过将抽象概念转化为实际代码来巩固你对这些概念的理解。顺序表示了视频观看和论文阅读的建议交错。一些与“真实” CS 6120 的不同之处在于你可以忽略任务截止日期，无法参与我们在 Zulip 上的讨论线程。真正的 6120 还有期末课程项目——在自学版本中，你的期末作业是通过编译器的魔力改变世界。讲师是视频制作初学者，因此请谅解制作水平，尤其是在早期课程中。CS 6120 是开源的，并在 GitHub 上，因此如果你发现问题，请提交错误报告。当你完成课程时，请填写此反馈表。课程内容：第 1 讲：欢迎与概述视频 产生错误数据而没有明显错误！Todd Mytkowicz、Amer Diwan、Matthias Hauswirth 和 Peter F. Sweeney。ASPLOS 2009。SIGPLAN 实证评估指南 第 2 讲：程序表示 开始使用 Bril 表示程序 第 3 讲：局部分析与优化 简单的无效代码消除 本地值编号 第 4 讲：数据流 数据流实现任务 第 5 讲：全局分析 全局分析与优化 高效路径分析 Thomas Ball 和 James R. Larus。MICRO 1996。 第 6 讲：静态单赋值 静态单赋值 使用 Alive 进行可证明正确的窥视优化 Nuno P. Lopes、David Menendez、Santosh Nagarakatte 和 John Regehr。PLDI 2015。 第 7 讲：LLVM LLVM 简介 编写 LLVM 通行证 第 8 讲：循环优化 视频 第 9 讲：跨过程分析 视频 基于类型的别名分析 Amer Diwan、Kathryn S. McKinley 和 J. Eliot B. Moss。 第 10 讲：别名分析 视频 垃圾收集的统一理论 David F. Bacon、Perry Cheng 和 V. T. Rajan。OOPSLA 2004。快速保守垃圾收集 Rifat Shahriyar、Stephen M. Blackburn 和 Kathryn S. McKinley。OOPSLA 2014。 第 11 讲：内存管理 视频 一种高效实现的 SELF，一种基于原型的动态类型面向对象语言 C. Chambers、D. Ungar 和 E. Lee。OOPSLA 1989。动态语言的基于跟踪的即时类型专业化 Andreas Gal、Brendan Eich、Mike Shaver、David Anderson、David Mandelin、Mohammad R. Haghighat、Blake Kaplan、Graydon Hoare、Boris Zbarsky、Jason Orendorff、Jesse Ruderman、Edwin W. Smith、Rick Reitmaier、Michael Bebenita、Mason Chang 和 Michael Franz。PLDI 2009。 第 12 讲：动态编译器 动态编译器 通过推测跟踪 Superoptimizer：小型程序的研究 Alexia Massalin。ASPLOS 1987。氯ophyll：用于低功耗空间架构的合成辅助编译器 Phitchaya Mangpo Phothilimthana、Tikhon Jelvis、Rohin Shah、Nishant Totla、Sarah Chasins 和 Rastislav Bodik。PLDI 2014。 第 13 讲：并发与并行 视频 线程不能作为库实现 Hans-J. Boehm。PLDI 2005。利用多媒体指令集的超字级并行性 Samuel Larsen 和 Saman Amarasinghe。PLDI 2000。确定性并行 Java 的类型与效果系统 Robert L. Bocchino、Vikram S. Adve、Danny Dig、Sarita V. Adve、Stephen Heumann、Rakesh Komuravelli、Jeffrey Overbey、Patrick Simmons、Hyojin Sung 和 Mohsen Vakilian。OOPSLA 2009。现实编译器的形式验证 Xavier Leroy。CACM 2009。 第 14 讲：快速编译器