【HAProxy 数据面】线程与调度：nbthread、Thread-group 与共享内存边界
内容提要
本文介绍HAProxy 3.4.3的线程与调度机制。默认单进程多线程，每线程独立事件循环，连接固定由单线程服务。stick-table在线程间共享，但nbproc进程间不共享。thread-group和cpu-map用于优化CPU局部性。在poller线程中阻塞会导致该线程所有连接超时。与Nginx多进程和Envoy Main/Worker模型对比，HAProxy用共享内存换取粘性一致性，但需注意锁竞争和阻塞风险。
延伸解读
线程模型与排障方向
HAProxy 默认单进程多线程，每个线程独立事件循环，连接固定由单线程服务。排障时，若某线程阻塞，只会影响该线程上的连接，表现为随机超时或延迟尖刺，而平均 CPU 可能不高。因此，遇到延迟问题应先怀疑线程阻塞，而非盲目增加线程数。
共享内存边界：线程 vs 进程
stick-table 在线程间共享，但在 nbproc 进程间不共享。这意味着多进程部署时，粘性会话和限流计数会分裂，需通过 peers 或 reload 同步。若误以为多进程共享状态，可能错误排查粘性丢失问题。
thread-group 与 CPU 局部性
thread-group 和 cpu-map 用于优化 CPU 局部性，减少跨 NUMA 通信。官方建议在跨物理 CPU 时减少 HAProxy 使用的 CPU 数，而非一味增加。配置时应围绕缓存域思考，而非简单塞满线程组。
阻塞操作的风险
在 poller 线程中执行阻塞操作（如同步 DNS、大文件读、长临界区）会拖累该线程所有连接，导致超时。扩展点（Lua、SPOE）若阻塞，等于放弃事件驱动前提。排障时应先假设线程被堵，再考虑上游慢。
Q&A
HAProxy 默认的线程模型是什么？
HAProxy 默认采用单进程多线程模型，每个线程运行独立的事件循环，连接由单个线程固定服务，不跨线程迁移。
HAProxy 中 stick-table 在进程间和线程间的共享情况如何？
在 HAProxy 中，stick-table 在线程间是共享的，但在进程间（nbproc）不共享，每个进程有独立的 stick-table。
HAProxy 的 thread-group 和 cpu-map 有什么作用？
thread-group 用于将线程按 CPU 局部性分组，减少跨线程通信和争用；cpu-map 用于将线程绑定到特定 CPU 核，优化缓存和中断局部性。
在 HAProxy 的 poller 线程中阻塞会有什么后果？
在 poller 线程中阻塞会导致该线程上所有连接的定时器和 I/O 推迟，表现为随机超时或延迟尖刺，且 CPU 利用率可能不高。
HAProxy 与 Nginx 在共享粘性状态方面有何不同？
HAProxy 通过共享内存实现 stick-table 在线程间共享，而 Nginx 默认不跨 worker 进程共享同构表。
HAProxy 与 Envoy 在控制面线程方面有何区别？
HAProxy 没有专职的控制面线程，而 Envoy 有 Main 线程专门处理 xDS 和 Admin。HAProxy 的动态配置通过 Runtime 子集和 reload 实现。
HAProxy 中 nbthread 和 nbproc 的区别是什么？
nbthread 用于设置工作线程数，线程间共享内存；nbproc 用于设置进程数，进程间不共享内存，stick-table 等状态不共享。
HAProxy 中线程数设置与连接并发有什么关系？
要充分利用多线程处理能力，连接数至少需要达到线程量级，否则会出现核多但喂不饱的假空闲现象。
