《计算机系统要素》
总体观点
《计算机系统要素》（The Elements of Computing Systems，即举世闻名的“Nand to Tetris”项目）是计算机科学教育史上最雄伟、最壮丽的通识教学创举。作者Noam Nisan与Shimon Schocken确立了极为纯粹的建构主义教学哲学：要想真正理解一台计算机的本质，最好的方式就是从物理最基本的“与非门（NAND Gate）”开始，一行行硬件描述语言（HDL）、一行行编译器与操作系统代码，亲手将整个计算宇宙完整重造一遍。
全书分为硬件与软件两大宏伟半场。上半场从一个简单的逻辑与非门出发，逐步合成出或门、异或门、多路复用器、算术逻辑单元（ALU）、寄存器与内存芯片，最终连线构筑出图灵完备的Hack计算机CPU与内存系统架构；下半场则从零编写针对Hack硬件的汇编器、基于栈式架构的中间虚拟机（VM Translator）、一门高阶面向对象语言Jack的全功能词法语法编译器，以及支持图形绘制与内存分配的简易操作系统。
本书彻底粉碎了现代计算机体系中层层抽象带来的黑盒神秘感。读者将在第十二章亲眼见证自己亲手打造的芯片、汇编器、编译器与操作系统驱动着自己编写的“俄罗斯方块”游戏在屏幕上灵动运行。这是一场属于每一位工程师的终极朝圣之旅，它以无与伦比的优雅展示了逻辑与工程如何自微尘中生出浩瀚智慧。
核心观点
-
1. 逻辑的基石：一个与非门（NAND）足以衍生全部布尔代数世界
布尔代数中的与（AND）、或（OR）、非（NOT）以及异或（XOR）运算，均能由纯粹的与非门组合而成。掌握这微小的起点，便拥有了构建算术计算的全部种子。
将一个NAND门的两个输入引脚短接并输入信号A，其输出即为NOT A；将两个NAND门串联，便获得了最纯粹的AND门。 -
2. 时钟与状态记忆：从纯组合逻辑跃迁到拥有记忆的时序逻辑
没有反馈与时间的组合逻辑只能做瞬时计算。通过将输出回路反馈至输入端引入锁存器，并结合恒定滴答的系统时钟，计算机获得了存储过往状态的RAM内存能力。
基于数据触发器（DFF）构建的1位寄存器，能在时钟上升沿捕获输入值并在整个时钟周期内稳定输出，进而递归级联为16KB的主内存RAM阵列。 -
3. 冯·诺依曼架构的实体连线：指令与数据在ALU与总线间的流动
Hack CPU的核心秘密在于精巧的数据通路设计。同一个ALU通过控制位的不同组合，既能计算算术加减法，也能计算下一条程序跳转地址（PC），驱动指令指针循环前进。
当CPU解码一条C指令时，控制总线将对应标志位发送至ALU决定计算模式，同时指示结果写回A寄存器、D寄存器还是外接内存RAM地址。 -
4. 栈式虚拟机的优雅抽象：抹平高级语言与物理硬件之间的鸿沟
编译原理的复杂性在于高阶面向对象语法与硬件寄存器差异过大。通过引入两级编译，先将高级代码编译为基于栈操作的中间虚拟机字节码，工程复杂度呈数量级降低。
计算表达式 (x + y) * 2 时，虚拟机只需依次执行 push x, push y, add, push 2, call Math.multiply，彻底免去了在底层寄存器之间手动搬运临时变量的繁琐。 -
5. 抽象的层叠力量：每一层只需对紧邻的上层暴露稳定简洁的接口
计算机科学之所以能容纳数亿晶体管的庞大复杂性，全赖于黑盒抽象与契约隔离。在构建操作系统和游戏时，根本无需关心底层NAND门是通过硅芯片还是电子管实现的。
高级语言Jack中的String.appendChar函数，调用底层的Memory.alloc分配堆空间，操作系统再调用底层机器码指令向物理显存（Screen Memory Map）映射比特位，层次清晰井然。
全书思维导图 · 知识脉络树
全书结构
-
第一部分：硬件构造篇（从NAND门到Hack计算机中央处理器）
涵盖第1章至第6章，从布尔逻辑芯片设计、算术逻辑单元（ALU）、时序RAM内存，直到完整CPU和汇编语言机器架构的集成。
使用硬件描述语言HDL编写CPU.hdl，验证程序计数器PC在遇到无条件跳转（JMP）和条件跳转（JGT）时的地址装载正确性。 -
第二部分：汇编编译器与符号表解析
聚焦第6章，实现能够将包含变量标签与跳转伪指令的符号汇编代码，一比一翻译为16位二进制01机器指令的汇编器。
两遍扫描法（Two-Pass Assembler）：第一遍记录标签（LOOP）对应的ROM行号构建符号表，第二遍完成符号替换并输出二进制机器码。 -
第三部分：虚拟机层架构与栈式运算代码翻译
涵盖第7章与第8章，构建基于堆栈的中间虚拟机VM翻译器，处理函数调用栈帧、分支跳转与多作用域变量段（local/argument/this/that）。
实现call和return伪指令时，如何在物理栈上自动保存返回地址、调用者LCL/ARG指针并无缝恢复现场。 -
第四部分：高级语言Jack的编译器（语法分析与代码生成）
涵盖第9章至第11章，构建针对Jack面向对象编程语言的词法扫描器、基于递归下降的XML语法树解析器与虚拟机代码生成器。
演示如何解析嵌套if-else和while循环语句，并将其翻译为带有唯一标签的VM goto条件跳转字节码流。 -
第五部分：操作系统Jack OS与图形游戏运行
涵盖第12章，手写包括数学库（Math）、字符串（String）、动态内存分配堆（Memory）与图形输出（Screen/Output）在内的基础OS库并运行俄罗斯方块。
使用自由链表（Free List）算法实现Memory.alloc与Memory.deAlloc，并编写Bresenham算法在单色位图屏幕上画出平滑直线与矩形。