Nginx通过Master进程mmap创建共享内存zone,Worker进程继承并共享同一物理内存,利用写时复制与相对偏移量实现零拷贝跨进程同步,支撑限流、Lua字典等全局限速功能。

Nginx 利用 Master 进程创建并派生的共享内存块实现高效跨进程数据同步,核心在于所有 Worker 进程直接读写同一块物理内存,不经过序列化、网络或系统调用。这不是“各自维护一份副本”,而是真正意义上的内存级共享。
Master 创建与 Worker 继承机制
启动时,Master 调用 mmap() 配合 MAP_SHARED | MAP_ANONYMOUS 分配匿名内存区域,不绑定文件,内容初始化为 0。随后 fork 出多个 Worker 进程——由于 Linux 的写时复制(Copy-on-Write)机制:
- Worker 初始只读访问时,共享同一物理页,零拷贝
- 写操作仅对修改页做私有拷贝,不影响其他 Worker 对原始共享区的读取
- 虚拟地址可能不同,但 Nginx 内部统一使用相对偏移量(offset)定位结构体字段,避免硬编码指针失效
- 共享内存生命周期由 Master 全权管理;Worker 退出不释放,模块卸载前必须确保无活跃访问,否则易触发 core dump
共享内存 zone 的典型应用场景
通过配置指令显式声明的 shared memory zone,是限流、计数、状态缓存等功能的底层支撑:
- limit_req_zone / limit_conn_zone:按 IP、URI 或变量建哈希表,支持漏桶/令牌桶算法,所有 Worker 共用同一 zone,实现全局限速
-
lua_shared_dict:在
http块中定义,如lua_shared_dict rate_limit 10m,供 Lua 脚本原子增减(incr)、设 TTL(set(key, val, exptime))、条件更新 - 第三方模块如
nginx-module-vts也基于该机制聚合流量统计,但属于模块扩展能力,非 Nginx 原生行为
保障安全与一致性的关键实践
共享内存本身不自动解决并发冲突,需依赖 Nginx 内置机制和合理使用方式:
- zone 内部采用哈希表或红黑树 + slab 分配器组织数据,查找与更新平均 O(1) 或 O(log n)
- 原子操作(如
incr、get_set)底层已加自旋锁或 CAS,无需手动加锁 - 避免高频单 key 多次
incr:例如一次请求内反复对同一 key 调用 incr 可能因竞争导致精度漂移,建议先计算再单次写入 - TTL 过期由后台惰性回收,不阻塞请求;但需注意 reload 会清空 zone(除非配置未改动 zone 定义)
- 大小预估要留余量:过小触发 LRU 驱逐,过大浪费内存;建议按 key 数量 × 平均长度 × 1.5 估算
为什么不走 Master 中转或外部存储?
设计上刻意规避低效路径:
- Master 不参与请求处理,若由它集中同步统计,会引入严重锁竞争与上下文切换开销
- Redis 等外部存储虽可靠,但网络延迟高、连接池管理复杂,不适合每秒万级的令牌桶更新等高频场景
- 文件系统轮询或 inotify 同步性能差、易出错,仅适用于极低频配置通知类场景
- Worker 间默认不通信、无共享堆、无内置消息通道,一切协同都依赖 Master 统一分配的共享资源










