主要观点:作者时常会遇到一些完全改变其对编程语言和编译器相关主题思考方式的文章等,这里列举了一些无特定顺序的相关内容。
关键信息:
- 多个关于不同编程主题的文章,如垃圾收集器、玩具优化器、抽象域、寄存器分配、正则表达式引擎、神经网络实现、SSA 形式等。
- 各文章的主要内容和影响,如 Andy Wingo 的半空间收集器文章使概念从理论到实践,CF Bolz-Tereick 的系列文章改变对指令重写和 Z3 的思考等。
- 一些文章中的细节,如某个垃圾收集器核心代码很小可扩展,某优化器文章中使用的新抽象域及对 Z3 的运用等。
重要细节: - 部分文章存在的小错误及正确版本,如关于
is_forwarded
函数的错误及修正。 - 对“代码正确”的讨论及在课程中的相关内容。
列举的文章及相关信息:
- a simple semi-space collector
- Implementing a Toy Optimizer
- A Knownbits Abstract Domain for the Toy Optimizer, Correctly
- Cranelift, Part 3: Correctness in Register Allocation
- Regular Expression Matching: the Virtual Machine Approach
- micrograd
- How I implement SSA form
- Speculation in JavaScriptCore
- Modernizing Compiler Design for Carbon Toolchain
- A Python Interpreter Written in Python
- Parsing expressions by precedence climbing
- Ruby JIT Challenge
- An Incremental Approach to Compiler Construction
- Lessons from Writing a Compiler
- egg: Fast and extensible equality saturation
- Cranelift: Using E-Graphs for Verified, Cooperating Middle-End Optimizations
- Acyclic Egraphs and Smart Constructors
- This Reddit comment 和 Flattening ASTs
**粗体** _斜体_ [链接](http://example.com) `代码` - 列表 > 引用
。你还可以使用@
来通知其他用户。