反向传播Backpropagation
用链式法则从输出层向输入层逐层计算误差梯度，使多层网络可以被高效训练。
语法分析器Parser
把词法单元流组织成语法树的组件。递归下降、LL 与 LR 是三种主要的构造方法。
流言协议Gossip protocol
节点周期性地随机挑选同伴交换状态，使信息像流行病一样在集群中扩散；不需要中心协调者，对节点故障天然稳健。
感知机Perceptron
最早的可学习线性分类器：对输入加权求和后取阈值。它只能分开线性可分的数据，这一局限曾让神经网络研究沉寂多年。
垃圾回收Garbage collection
运行时自动识别不再可达的对象并回收其内存。从标记—清除到分代与并发回收，核心问题始终是：哪些对象仍然活着。
存储层级Memory hierarchy
寄存器、各级缓存、主存与外存组成的金字塔：越靠近处理器越快、越小、越贵。局部性原理让这座金字塔得以成立。
Raft 共识算法Raft consensus
以“可理解性”为首要目标设计的共识算法：通过领导者选举、日志复制与安全性约束，让一组服务器就同一序列的命令达成一致。
B 树B-tree
为磁盘与页式存储设计的自平衡多路搜索树：节点很宽、树很矮，一次查找只需读取寥寥几页。
编译器Compiler
把一种语言的程序翻译成另一种语言（通常是机器码）的程序：词法与语法分析、语义分析、中间表示、优化与代码生成。
L 系统L-system
一种并行字符串重写系统：每一代同时替换所有符号，再用海龟绘图解释结果，便能长出蕨叶与树枝。
TCP 拥塞控制TCP congestion control
发送方依据丢包与时延推断网络拥塞，并以“加性增、乘性减”调节发送窗口，让众多连接公平地共享带宽。
缓存行Cache line
缓存与主存之间传输的最小单位，通常为 64 字节。它解释了顺序访问为何快，也解释了伪共享为何慢。
Paxos 共识算法Paxos
Lamport 提出的经典共识协议，以提议者、接受者与学习者三种角色，在异步网络和节点崩溃下保证安全性。
操作系统内核Operating-system kernel
运行在最高特权级的核心程序，管理处理器、内存与设备，并以系统调用的形式向进程提供抽象。
