nginx多进程架构通过“隔离资源+按需共享+精准同步”避免冲突:worker默认无状态独立运行,仅在限流、ssl缓存等必要场景使用分粒度共享内存与自旋锁,并借助reuseport、cpu绑定等内核机制降低争抢,坚持弱一致性设计。

Nginx 多进程架构减少进程间冲突,核心思路不是“协调竞争”,而是“隔离资源 + 按需共享 + 精准同步”。它不靠进程通信或全局锁来维持一致性,而是通过设计让大多数操作天然无冲突,仅在真正需要协同的少数场景才引入轻量、分粒度的同步机制。
让每个 worker 独立运行,避免共享状态
worker 进程默认不共享连接、缓冲区、定时器、配置副本等运行时数据。一个 worker 崩了,其他 worker 完全不受影响,也不需要恢复状态或重新同步。这种无状态设计直接消除了大量潜在冲突源:
- 每个 worker 自己维护自己的连接池和内存分配,不会因某进程内存泄漏拖垮全局
- 请求从接入到响应全程由同一 worker 完成,不跨进程传递 socket 或上下文
- 配置在 fork 时已完整复制,reload 时新旧 worker 各跑各的配置,无需运行时读锁
只在必要处共享,且共享区域自带锁保护
Nginx 不滥用共享内存,只对真正需要跨进程协同的功能启用(如限流、SSL 缓存、上游健康状态),并为每类 zone 配套专用同步逻辑:
-
limit_req_zone和ssl_session_cache shared:xxx中的shared:前缀,会触发 master 创建 POSIX 共享内存段,所有 worker 映射同一物理页 - 内部采用哈希分桶 + 每 bucket 独立自旋锁(
ngx_shmtx_t),写操作只争抢对应 slot 的锁,而非整块内存一把大锁 - 锁基于 CPU 原子指令(如
CMPXCHG),无系统调用开销;自旋超 1024 次自动 yield,防饿死
用系统机制替代用户态锁,降低争抢概率
Nginx 主动把部分协调工作交给内核,避开用户态锁瓶颈:
- 启用
reuseport时,内核直接将新连接分发到不同 worker 的监听 socket,彻底绕过accept_mutex -
multi_accept on让单个 worker 在一次 epoll 循环中收多个连接,减少事件唤醒频次 -
worker_cpu_affinity auto把每个 worker 绑定到独立 CPU 核心,避免缓存行失效带来的隐性性能抖动
按语义做弱一致性,不追求强同步
Nginx 对“一致”的定义是实用主义的:
- SSL 会话缓存允许短暂不一致(比如某 worker 刚插入而另一 worker 尚未查到),但通过哈希定位 + 原子链表头指针更新,保证淘汰和查找安全
- upstream 健康状态通过
zone共享后,各 worker 读取的是同一份失败计数,但标记 down 的时机由max_fails和fail_timeout触发,本身就有时间窗口容忍 - 缓存回源用
proxy_cache_lock控制首个请求回源,其余等待——这不是强互斥,而是带超时的协作等待,避免雪崩
不复杂但容易忽略











