计算机

二进制数

位、位权与进位——机器如何用二进制计数。

补码

有符号整数的真实表示

浮点数（IEEE 754）

符号位、阶码、尾数可视化

布尔逻辑与门电路

AND/OR/NOT 与数字电路

指令执行

取指、译码、执行——一条指令在 CPU 中走完的一程。

CPU 流水线

五级重叠,几乎每个周期完成一条指令 —— 直到数据冒险让流水线停下来。

分支预测

预测执行与预测失败的代价

缓存层次

L1/L2/L3、局部性、缓存行

进程调度

FCFS、SJF 与时间片轮转的甘特图对比

多级反馈队列

轮转、优先级队列、I/O 与防饥饿提升

虚拟内存

分页、页表、TLB

页面置换

FIFO、LRU、Clock、Bélády 异常

线程与同步

竞态条件、互斥锁与死锁

文件系统

inode、目录项、链接计数

OSI / TCP-IP 模型

网络分层结构逐层解剖

TCP 握手

三次握手、序列号与重传

TCP 四次挥手

四次挥手、FIN/ACK、TIME_WAIT

拥塞控制

教材 Reno：慢启动、AIMD、超时

HTTP / HTTP/2 / HTTP/3

请求-响应、多路复用、QUIC

TLS 握手

证书、密钥交换、加密通道建立

DNS 解析

递归查询与迭代查询

路由协议

陈旧的距离向量会成环；链路状态地图则丢包

SQL 连接

INNER、LEFT、FULL——看行如何匹配、落空、再补上 NULL。

GROUP BY 与聚合

行落入分桶，分桶坍缩为聚合值。

窗口函数

窗口框沿有序行滑动——不坍缩行也能算累计与排名。

B+ 树

看叶子复制、内部页上推与叶链范围扫描如何协同。

LSM 树

看快速写入如何把排序与合并推迟到后台，再靠序列号保证新旧版本正确。

MVCC

看快照如何选择行版本，让读取与更新并行，并让清理等待。

数据库索引

看全表扫描、哈希桶、B+ 树叶子与覆盖载荷如何交换页面读取次数。

Raft 共识

Leader 选举与日志复制

两阶段提交

分布式事务协调

一致性哈希

哈希环与虚拟节点

词法与语法分析

Token 化与 AST 构造

AST → 代码生成

树遍历、IR、优化 Pass

虚拟机

字节码执行与 JIT

Git 的四个区域

看一次修改如何流经工作区、暂存区、本地仓库和远程仓库。

Commit 是快照

Commit 保存暂存区快照、父提交，并产生新的身份标识。

Branch 与 HEAD

新提交只推动当前分支；HEAD 标明下一次会移动哪个引用。

快进合并

历史没有分叉时，Merge 只推进分支，不创建新提交。

三方合并

从共同祖先合并两段分叉历史，创建一个双父提交。

合并冲突

解决双方对同一处的修改，暂存结果，再完成被中断的合并。

远程协作

看清 Fetch、Pull、Push 分别会改变本地和远程的哪些状态。

Tag 与版本发布

新提交会推进 Branch，而不会自动推进 Tag；附注 Tag 会新增对象，签出 Tag 会分离 HEAD。

变基（Rebase）

把提交重放到新基点，观察每个复制出的提交获得新的 ID。

撤销修改

对比 Restore、Reset、Revert 分别改变仓库的哪一层。