Nginx 中多进程架构如何通过共享内存同步状态

Nginx共享内存（zone）是worker间状态同步的底层基础，由master创建并fork继承，通过偏移量定位、原子操作和自旋锁保障并发安全，需显式配置且依赖max_fails/fail_timeout等机制触发状态更新。

Nginx 多进程架构下状态同步，本质不是靠进程通信，而是让所有 worker 共享同一块物理内存——master 进程创建，fork 后自动继承，读写零拷贝、毫秒响应。

共享内存是状态同步的底层基础

master 启动时调用 mmap() 分配 MAP_SHARED | MAP_ANONYMOUS 内存，初始化为 0；worker 进程 fork 后直接映射该区域，无需复制或序列化。各 worker 虚拟地址可能不同，Nginx 内部统一用偏移量定位字段，避免指针失效。

必须显式声明 zone 才能启用共享

zone 不是默认开启的开关，而是明确启用共享状态的唯一配置入口：

• 必须写在 upstream 块内部，例如：upstream backend { zone backend_zone 128k; server 10.0.1.10; }
• name 不能含点号或大写，大小写敏感，建议全小写+下划线
• size 要预估：64k 支持约 10–20 个后端节点；百节点建议 1m；超 4m 很少必要
• 多个 upstream 可复用同一 zone 名，但 size 只需在首个中指定

共享内容不止是 up/down 状态

一块 zone 内存承载的是整个 upstream 的运行上下文：

• 每个 server 的实时健康状态（up/down/unavail）、失败次数、上次失败时间
• least_conn 所需的当前活跃连接数
• ip_hash 或 hash $arg_key 的客户端绑定映射（确保同 IP 总路由到同一后端）
• slow_start 权重动态爬升进度

写操作靠原子机制保障安全

读天然并发安全，写必须控制竞争：

• 整数类更新（如计数器、失败次数）用 ngx_atomic_fetch_add() 等原子指令
• 结构体多字段修改（如更新节点状态+时间戳）需配合 ngx_shmtx_t 自旋锁
• 临界区务必极短，只做关键字段更新，避免阻塞其他 worker
• Lua 场景下 lua_shared_dict 的 incr()、set() 已封装原子逻辑，可直接使用

光有 zone 不等于状态自动同步

zone 提供内存容器，但状态变更依赖配套机制：

• 必须为 server 配置 max_fails 和 fail_timeout，否则即使超时也不会标记为 down
• upstream 中仅有一个 server 时，这两个参数被忽略，该节点永不 down
• reload 是唯一安全更新方式；restart 或 kill -TERM 会导致新旧 worker 争抢同一 zone，引发状态错乱或崩溃
• 验证要压测：观察日志中 $pid $upstream_addr $upstream_state 是否跨 worker 一致，模拟宕机后是否全部 worker 在 fail_timeout 内统一感知