malloc每秒百万次调用扛不住？看Nginx如何用500行代码打造零碎片内存池

一、高并发服务器的内存困局

写过高并发服务器的人，多少都被内存管理折腾过。

我之前做一个长连接网关项目的时候，压测到QPS上万就开始出问题：响应延迟波动剧烈，p99从2ms飙到50ms，GC似的卡顿周期性出现。排查了半天，最后用perf一看，30%的CPU时间花在了malloc/free上。更要命的是，服务跑了几天之后，RSS一路往上涨，明明没有内存泄漏（Valgrind查过了），但物理内存就是不释放——典型的内存碎片化问题。

这不是个例。高并发服务器有一个非常鲜明的内存使用特征：每个请求进来，需要分配十几甚至几十次小块内存（解析URL、存HTTP头、拼响应体），请求结束后这些内存全部释放。每秒处理10万个请求，就是每秒上百万次malloc和free调用。glibc的ptmalloc在这种场景下，性能和碎片问题会被急剧放大。

Nginx的作者Igor Sysoev在设计Nginx的时候，显然早就看透了这个问题。他的解决方案简洁而优雅：为每个请求创建一个内存池（Pool），请求期间所有内存分配都从池中获取，请求结束时一次性销毁整个池。这个方案的实现代码只有大约500行C代码，分布在ngx_palloc.c和ngx_palloc.h两个文件中。

但不要因为代码量小就小看它。这500行代码里藏着大量精妙的设计决策：小块内存用Bump Pointer策略做到O(1)分配、大块内存独立管理避免浪费、cleanup回调实现了C语言版的RAII、failed计数器做惰性链表前移优化……每一个细节都经过深思熟虑。

这篇文章会带你逐行拆解这500行代码的每一个角落。读完之后，你不仅能彻底理解Nginx内存池