Nginx多进程架构通过隔离+共享+精准控制兼顾安全与性能:内存分层设计,共享内存zone配合原子操作与分片锁实现高效协同;zone由master预分配并fork共享,大小需合理预估;计数类操作用ngx_atomic_t保障单变量原子性;复杂操作采用哈希分桶的ngx_shmtx_t自旋锁并防伪共享;结合CPU绑定与accept_mutex减少调度干扰。

Nginx 多进程架构不靠线程协作,而是靠“隔离 + 共享 + 精准控制”来兼顾安全与性能。内存管理不是统一堆分配,而是分层设计;资源共享也不是简单共享变量,而是依托共享内存 zone 配合原子操作与分片锁实现高效协同。
共享内存 zone 是跨进程数据交换的物理基础
所有需要 Worker 进程共同访问的状态(如限流计数、连接限制、SSL 会话缓存)都必须显式声明为 shared memory zone:
- 配置示例:limit_req_zone $binary_remote_addr zone=ip_limit:10m rate=1r/s,其中 ip_limit 是 zone 名,10m 是预分配大小,不可动态扩容
- master 进程启动时调用 mmap() 分配一块连续物理内存,并通过 fork 自动映射给所有 worker——所有进程操作的是同一块内存页,零拷贝、无序列化开销
- zone 大小需合理预估:过小会触发 LRU 驱逐,影响限流/缓存命中率;reload 时 zone 内容通常清空(除非配置未变且使用特定 reload 流程)
原子操作替代锁,应对高频简单状态更新
对计数器、引用计数、状态位等单整数字段,Nginx 优先使用 ngx_atomic_t 类型,底层调用 CPU 原子指令(如 x86 的 LOCK XADD):
- 请求计数、活跃连接统计、SSL session 缓存的引用计数更新,全程在用户态完成,无上下文切换
- 不适用于结构体或跨字段逻辑(例如“查余额→扣减”需 CAS 循环或退回到锁),仅保障单个变量读-改-写原子性
- 模块开发中应避免对共享 zone 中任意字段加 pthread_mutex,否则引入调度延迟和争用挂起风险
自旋锁 ngx_shmtx_t 控制临界区,粒度按需分片
当原子操作无法覆盖(如哈希表插入、链表操作),Nginx 使用基于原子整型的自旋锁 ngx_shmtx_t,但绝不使用全局大锁:
- 每个 zone 内部按哈希分桶(如 limit_req_zone 按客户端 IP 哈希),每个 bucket 独立配一把锁,大幅降低冲突概率
- SSL 会话缓存将 session key 映射到固定 slot,slot 内部再加锁保护链表,实现“锁分离”
- 锁变量与热点数据之间插入 padding,确保各自独占 64 字节 CPU cache line,防止伪共享(false sharing)
- 自旋默认最多 1024 次,超时后调用 sched_yield() 让出 CPU,不阻塞也不递归
CPU 绑定与 accept_mutex 协同减少干扰
资源竞争不仅来自逻辑层,也来自调度与内核行为:
- 启用 worker_cpu_affinity auto,让每个 worker 固定绑定一个物理核心,避免缓存失效和 TLB 刷新开销
- 开启 accept_mutex on,使监听 socket 的新连接只由一个 worker 尝试 accept,其余等待下一轮唤醒,缓解惊群效应
- 配合 multi_accept on,允许单次事件循环接收多个连接,提升吞吐效率
- Master 进程不处理请求,只负责配置加载、信号转发、Worker 启停——异常崩溃可自动拉起新进程,不影响其他 worker











