第14章 服务器

为什么从“命令执行与serverCron时序台”开始

第14章 服务器的核心任务是从读取协议、查找命令、预备执行、调用函数到回复客户端，串联serverCron与初始化。命令返回值只暴露外层合同；实现解释还必须连接内存结构、写入与读取路径、事件顺序以及失败后的旧状态回收。命令执行与serverCron时序台把这些关系放进同一条可复位轨迹。

先写预测：当请求阶段由“预检查”进入“命令调用”时，哪个可观察状态最先变化？再规定什么结果会推翻当前解释。交互中的分数只表达透明因果方向，不冒充真实Redis测量。

来源、版次与独立重写边界

黄健宏作者读者服务页确认正式出版新版以Redis 3.0为源码基线，列出4部分、24章及完整小节，并链接Redis 3.0中文注释源码。本课程据此映射24个正式单元、145个目录节点，另设学习地图和总复习；未取得出版正文授权，目录只界定范围，不宣称复现原书正文。

本章字段与控制流由Redis官方3.0源码：server.c和作者注释源码交叉核对；Redis当前持久化文档只用于辨认版本差异。中文解释、图示、交互、实验与答案均为独立教学重写，不把目录页或代码仓库许可证误报为原书许可证。

本章术语与源码合同

第14章 服务器必须守住“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”。观察同时记录命令执行与serverCron时序台一致率与服务器状态分叉风险；只有结构快照、函数入口、运行结果和故障反例互相一致，才接受实现结论。

作者目录逐项深读

命令请求的执行过程

四级证据 1/4。 协议解析得到argv后查找命令，processCommand完成参数和服务器状态检查，call围绕命令函数更新统计与传播。本节点用“命令请求的执行过程”作观察点，执行rg 'processCommand|call|serverCron|initServer' src/server.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证命令请求的执行过程时，先预测请求阶段从“预检查”切到“命令调用”会改变哪个字段、偏移、文件或消息；再固定服务器状态做一次对照。若故障注入没有破坏“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”，就撤回当前解释而不是补写故事。

serverCron函数

四级证据 2/4。 serverCron按hz周期推进时间、客户端、数据库、持久化、复制与集群维护，单次工作受时间预算约束。本节点用“serverCron函数”作观察点，执行rg 'processCommand|call|serverCron|initServer' src/server.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证serverCron函数时，先预测请求阶段从“预检查”切到“命令调用”会改变哪个字段、偏移、文件或消息；再固定服务器状态做一次对照。若故障注入没有破坏“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”，就撤回当前解释而不是补写故事。

初始化服务器

四级证据 3/4。 初始化先建立配置、共享对象、数据库和事件循环，再绑定监听与载入数据；关键失败必须阻止进入可服务状态。本节点用“初始化服务器”作观察点，执行rg 'processCommand|call|serverCron|initServer' src/server.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证初始化服务器时，先预测请求阶段从“预检查”切到“命令调用”会改变哪个字段、偏移、文件或消息；再固定服务器状态做一次对照。若故障注入没有破坏“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”，就撤回当前解释而不是补写故事。

重点回顾

四级证据 4/4。 第14章 服务器的回顾要重新证明“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”，并用同一输入比较结构前态、变更轨迹、故障首错与恢复后态

验证重点回顾时，先预测请求阶段从“预检查”切到“命令调用”会改变哪个字段、偏移、文件或消息；再固定服务器状态做一次对照。若故障注入没有破坏“命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务”，就撤回当前解释而不是补写故事。

最小源码与运行切片

+git clone --branch 3.0 --depth 1 https://github.com/redis/redis.git redis-3.0
+cd redis-3.0
+rg 'processCommand|call|serverCron|initServer' src/server.c

该切片固定Redis 3.0分支、编译器、配置、数据集和命令序列；先保存结构或函数位置，再运行隔离实例。任何持久化损坏、断线、故障转移、大键或高流量实验都必须使用临时数据并规定CPU、内存、磁盘、延迟和停止上限。

unit: rdi-14-server
source_file: server.c
axis_a: "请求阶段"
axis_b: "服务器状态"
fault: "绕过预执行检查直接调用命令，或初始化失败后继续接受请求"
invariant: "命令查找、权限与状态检查先于执行，统计和传播围绕同一调用，初始化失败不留下半可用服务"
replay: same_version_same_input

三个必须主动触发的误区

误区 1

现象 → 忽视启动日志 原因 → 故障原因错过 修法 → 启动后第一件事查日志

误区 2

现象 → serverCron 频率乱调 原因 → 维护任务失衡 修法 → 按负载谨慎调整 hz 参数

误区 3

现象 → 命令表当文档读 原因 → 实际行为有差异 修法 → 以官方文档与实测为准

小结

• 命令从读取到回复走完整管线
• serverCron 驱动周期性维护
• 启动流程初始化各子系统
• 命令表登记名称与实现
• 慢查询与统计在此沉淀

练习、答案与节点验证

术语复核与本章回顾

完成第14章 服务器意味着能从server.c解释从读取协议、查找命令、预备执行、调用函数到回复客户端，串联serverCron与初始化，能运行章专属状态实验，能制造反例并在复位后证明旧状态没有残留。