nginx中状态机是请求生命周期的调度中枢，将http请求拆解为可中断、可恢复的确定性阶段，由epoll/kqueue事件触发状态迁移，协同超时、缓冲与模块钩子实现高并发下的稳定高效。
Nginx 在异步事件驱动架构中，状态机不是辅助逻辑，而是整个请求生命周期的调度中枢。它把一次 HTTP 请求拆解为可中断、可恢复、边界清晰的若干阶段，每个阶段只做确定性动作，不依赖全局上下文，也不等待外部响应——这正是高并发下稳定与高效并存的关键。
状态机如何嵌入事件循环
每个连接在建立后，被赋予一个初始状态（如 NGX_HTTP_READING_REQUEST_HEADER），后续所有操作都由事件触发并推动状态迁移：
- 收到新数据 → 检查当前状态 → 若处于读 header 阶段，则尝试解析；若已解析完，则转入 NGX_HTTP_PROCESSING_REQUEST
- 上游响应到达 → 状态从 NGX_HTTP_UPSTREAM_WAITING 切换为 NGX_HTTP_UPSTREAM_READING，开始读取后端数据
- 写缓冲区满 → 状态进入 NGX_HTTP_WRITING 并挂起，同时注册 write 事件，等内核通知可写再继续
状态切换不靠轮询或定时器驱动，而完全由 epoll/kqueue 返回的 I/O 事件触发，确保每一步都“有事才动”。
轻量状态机降低崩溃风险
传统服务器常因复杂上下文（如未清理的临时变量、嵌套回调、异常路径遗漏）导致崩溃。Nginx 的状态机设计刻意规避这些：
- 每个状态对应一组明确输入和唯一输出动作，比如 reading header 只处理 recv + 解析，失败则直接关闭连接，不尝试重试或兜底
- 状态迁移表是静态定义的，编译期固化，运行时不生成新状态分支，避免动态逻辑引入未覆盖路径
- 所有中间数据（如部分 header、chunked 编码计数器、SSL 握手进度）都绑定在连接结构体（ngx_http_request_t）中，随连接销毁自动释放，无跨请求残留
这种设计让畸形请求（如超长 header、非法 transfer-encoding、半截 SSL 握手）只能触发预设的 fail 路径，不会引发野指针或栈溢出。
状态与超时、缓冲协同控制
超时不是独立线程管理，而是状态机的一部分：
- 每个连接在进入某状态时，会向红黑树插入一个定时器节点，例如读 header 超时设为 60s，该节点按时间排序，事件循环每次迭代前检查是否到期
- 状态迁移会自动更新或删除旧定时器：从 reading header 进入 parsing 后，header timeout 被移除，换成 request body timeout（如果需要）
- output buffer 满时，状态变为 writing，同时启动 write timeout；一旦写成功，状态回退到 waiting 或 done，write timeout 自动失效
缓冲行为也由状态决定：body 未收全前，不转发给 upstream；response 未生成完前，不发送 header——状态机天然保证了数据流与控制流的一致性。
模块如何适配状态机模型
Nginx 的 rewrite、access、proxy 等模块不是独立运行，而是作为状态迁移的钩子函数注册在特定阶段：
- access 模块只在 NGX_HTTP_ACCESS_PHASE 被调用，返回 OK / DECLINED / HTTP_FORBIDDEN，不阻塞、不延时、不修改连接状态本身
- proxy 模块在 NGX_HTTP_CONTENT_PHASE 启动 upstream 连接，并将请求状态设为 NGX_HTTP_UPSTREAM_CONNECTING，后续由 upstream 事件回调驱动迁移
- 任何模块若执行耗时操作（如同步 DNS 查询、阻塞文件读取），就会卡住事件循环——所以官方模块全部采用异步接口，Lua 模块也需启用 cosocket 才能安全嵌入
这种“阶段注册 + 状态驱动”的协作方式，让扩展功能不破坏核心调度逻辑，既保持灵活性，又守住可靠性底线。
