Nginx通过master-worker架构使用共享内存区（如limit_req_zone）实现跨进程协同，并基于原子操作与自旋锁（ngx_shmtx_t）实现无系统调用的轻量同步，锁粒度按哈希分桶控制，避免伪共享，不支持阻塞或递归。

Nginx 在多进程模型下不依赖线程，而是通过 master-worker 架构运行多个独立 worker 进程。这些进程间无法直接共享变量，但某些全局状态（如限流计数器、缓存元数据、SSL 会话缓存）需要跨进程协同访问——这就引出了共享内存（shared memory）区域的使用，以及随之而来的竞争问题。Nginx 并不采用系统级互斥锁（如 pthread_mutex），而是基于原子操作 + 自旋锁（spinlock）构建了一套轻量、无系统调用开销的内部锁机制，专为高并发、低延迟场景优化。

共享内存段由 master 进程创建并映射到所有 worker

在配置中通过 limit_req_zone、limit_conn_zone、ssl_session_cache 或 proxy_cache_path 的 keys_zone 参数定义共享内存区，例如：

limit_req_zone $binary_remote_addr zone=one:10m rate=1r/s;

master 进程在启动时调用 shm_open()（或 posix_memalign + mmap）创建共享内存段，并将其 mmap 到自身地址空间；随后 fork 出 worker 进程时，该映射自动继承（Linux Copy-on-Write 机制保证地址空间一致）。所有 worker 操作的是同一块物理内存页上的数据结构。

ngx_shmtx_t：Nginx 的自旋锁抽象

每个共享内存区关联一个 ngx_shmtx_t 锁对象，本质是一个带标志位的 32 位整型（ngx_atomic_t 类型），通常位于共享内存头部。它不依赖内核调度，仅靠 CPU 原子指令（如 XCHG、CMPXCHG）实现“测试并置位”（test-and-set）逻辑：

• worker 尝试获取锁时，循环执行原子比较交换：若当前值为 0（空闲），则设为 1（已占用）并成功进入临界区
• 若失败，则短暂 pause（x86 的 PAUSE 指令）后重试，避免过度消耗总线带宽
• 释放锁即原子写回 0
• 为防死锁或饥饿，Nginx 设有最大自旋次数（默认 NGX_SHMTX_SPIN = 1024），超时后主动让出 CPU（调用 sched_yield()）

锁粒度控制与避免伪共享

Nginx 不对整个共享内存区使用单一全局锁，而是按需分片加锁：

• limit_req_zone 使用哈希分桶，每个 bucket 独立一把锁，大幅降低冲突概率
• SSL 会话缓存将 session key 哈希后映射到固定 slot，slot 内部再用锁保护链表操作
• 共享内存结构体字段之间插入 padding，确保锁变量与热点数据各自独占 CPU cache line（64 字节），防止伪共享（false sharing）导致性能下降

不支持阻塞等待，也不提供递归锁

Nginx 的自旋锁是纯用户态、非阻塞的。它假设临界区极短（纳秒~微秒级），因此禁用 sleep 或条件变量等内核介入方式。这也意味着：

• 不能在锁内做耗时操作（如日志刷盘、网络 I/O、长循环）——否则会严重拖慢其他 worker
• 不支持同一线程/进程重复加锁（无递归语义），重复获取会死锁
• 若业务需更复杂同步逻辑（如跨 zone 协同、条件等待），应移至 upstream 或外部服务（Redis、etcd）处理，而非扩展 Nginx 共享内存锁