第12章 事件

为什么从“文件与时间事件调度台”开始

第12章 事件的核心任务是把I/O多路复用、文件事件处理器、时间事件和aeProcessEvents调度连接为单线程事件循环。命令返回值只暴露外层合同；实现解释还必须连接内存结构、写入与读取路径、事件顺序以及失败后的旧状态回收。文件与时间事件调度台把这些关系放进同一条可复位轨迹。

先写预测：当文件就绪量由“稳定”进入“突发”时，哪个可观察状态最先变化？再规定什么结果会推翻当前解释。交互中的分数只表达透明因果方向，不冒充真实Redis测量。

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

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

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

本章术语与源码合同

第12章 事件必须守住“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”。观察同时记录文件与时间事件调度台一致率与回调耗时分叉风险；只有结构快照、函数入口、运行结果和故障反例互相一致，才接受实现结论。

作者目录逐项深读

文件事件

四级证据 1/5。 ae事件循环为可读、可写条件登记处理器，由平台多路复用层返回就绪描述符后调用对应回调。本节点用“文件事件”作观察点，执行rg 'aeProcessEvents|aeCreateFileEvent|aeCreateTimeEvent' src/ae.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证文件事件时，先预测文件就绪量从“稳定”切到“突发”会改变哪个字段、偏移、文件或消息；再固定回调耗时做一次对照。若故障注入没有破坏“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，就撤回当前解释而不是补写故事。

时间事件

四级证据 2/5。 时间事件保存ID、到期时刻、处理器和终结器；处理器返回下次间隔或AE_NOMORE结束。本节点用“时间事件”作观察点，执行rg 'aeProcessEvents|aeCreateFileEvent|aeCreateTimeEvent' src/ae.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证时间事件时，先预测文件就绪量从“稳定”切到“突发”会改变哪个字段、偏移、文件或消息；再固定回调耗时做一次对照。若故障注入没有破坏“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，就撤回当前解释而不是补写故事。

事件的调度与执行

四级证据 3/5。 aeProcessEvents先计算最近定时器决定阻塞上限，再处理就绪文件事件和到期时间事件。本节点用“事件的调度与执行”作观察点，执行rg 'aeProcessEvents|aeCreateFileEvent|aeCreateTimeEvent' src/ae.c或等价源码探针，保存版本、输入、前后状态和能推翻解释的反例。

验证事件的调度与执行时，先预测文件就绪量从“稳定”切到“突发”会改变哪个字段、偏移、文件或消息；再固定回调耗时做一次对照。若故障注入没有破坏“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，就撤回当前解释而不是补写故事。

重点回顾

四级证据 4/5。 第12章 事件的回顾要重新证明“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，并用同一输入比较结构前态、变更轨迹、故障首错与恢复后态

验证重点回顾时，先预测文件就绪量从“稳定”切到“突发”会改变哪个字段、偏移、文件或消息；再固定回调耗时做一次对照。若故障注入没有破坏“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，就撤回当前解释而不是补写故事。

参考资料

四级证据 5/5。 本章目录范围由作者页面确认，字段和控制流回到Redis 3.0的ae.c与黄健宏注释源码核验；新版资料只承担差异说明

验证参考资料时，先预测文件就绪量从“稳定”切到“突发”会改变哪个字段、偏移、文件或消息；再固定回调耗时做一次对照。若故障注入没有破坏“就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron”，就撤回当前解释而不是补写故事。

最小源码与运行切片

+git clone --branch 3.0 --depth 1 https://github.com/redis/redis.git redis-3.0
+cd redis-3.0
+rg 'aeProcessEvents|aeCreateFileEvent|aeCreateTimeEvent' src/ae.c

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

unit: rdi-12-event
source_file: ae.c
axis_a: "文件就绪量"
axis_b: "回调耗时"
fault: "在单个事件回调中执行长任务，使其他客户端与时间事件共同饥饿"
invariant: "就绪事件不丢不重复，时间事件按策略执行，长回调不无限阻塞其他客户端与serverCron"
replay: same_version_same_input

三个必须主动触发的误区

误区 1

现象 → 处理器里做重活 原因 → 单线程全线阻塞 修法 → 重任务拆分或异步处理

误区 2

现象 → 以为事件循环是并发 原因 → 本质仍是串行执行 修法 → CPU 密集场景考虑分片

误区 3

现象 → 忽略时间事件延迟 原因 → 周期任务漂移失准 修法 → 监控 serverCron 实际频率

小结

• 文件事件驱动网络 I/O
• 时间事件处理定时任务
• Reactor 模式单线程分发
• 多路复用适配不同平台
• 事件循环是服务器心脏

练习、答案与节点验证

术语复核与本章回顾

完成第12章 事件意味着能从ae.c解释把I/O多路复用、文件事件处理器、时间事件和aeProcessEvents调度连接为单线程事件循环，能运行章专属状态实验，能制造反例并在复位后证明旧状态没有残留。