Nginx源码级教程：ngx_palloc与ngx_pnalloc的内存对齐机制-Nginx-PHP中文网

ngx_palloc 和 ngx_pnalloc 的核心区别在于前者强制16字节对齐以满足结构体字段布局要求，后者跳过对齐仅做大小检查；对齐单位 NGX_ALIGNMENT 为最小对齐值，block 起始地址则按系统页大小（ngx_pagesize）页对齐。

nginx源码级教程：ngx_palloc与ngx_pnalloc的内存对齐机制

nginx 的内存池分配器中，ngx_palloc 和 ngx_pnalloc 的核心区别在于是否强制进行内存对齐——这个对齐不是为了 CPU 性能优化，而是为了满足 nginx 内部数据结构（如 ngx_str_t、ngx_buf_t、HTTP 头字段等）的字段布局要求，确保指针可安全转型、字段访问不越界。

对齐边界由 ngx_pagesize 决定，而非固定 16 或 32 字节

nginx 默认按页对齐（通常是 4096 字节），但实际对齐单位取决于编译时检测到的系统页大小：ngx_pagesize 是运行时全局变量，在 ngx_os_init() 中初始化。所有需要“安全指针操作”的结构体（比如作为 pool->d.start 起始地址存放的 ngx_pool_s 自身）都必须位于页对齐地址上。因此：

ngx_palloc 在分配时会将请求 size 向上对齐到 NGX_ALIGNMENT（通常为 16 字节），再检查剩余空间是否足够；若不够，则调用 ngx_palloc_block 分配新 block，该 block 的起始地址一定页对齐
ngx_pnalloc 完全跳过对齐步骤：它直接使用当前 pool->d.last 位置，仅做 size 检查，不调整地址。适用于已知后续不会做结构体强转、或只存原始字节流（如 base64 解码中间缓冲区）的场景
注意：NGX_ALIGNMENT 是最小对齐单位，不是最大；真正决定 block 起始地址的是 ngx_memalign(ngx_pagesize, size)，即页对齐

ngx_palloc 的两次对齐：请求对齐 + block 对齐

一次典型的 ngx_palloc(pool, size) 流程包含两个层级的对齐逻辑：

第一层（pool 内部偏移对齐）：计算 size = (size + NGX_ALIGNMENT - 1) & ~(NGX_ALIGNMENT - 1)，确保分配出的内存块首地址相对于 pool->d.last 是 16 字节对齐的。这是为了保证像 ngx_str_t* 这样的结构体指针可以安全地指向该地址
第二层（block 起始地址对齐）：当当前 block 剩余空间不足时，调用 ngx_palloc_block，后者通过 ngx_memalign(ngx_pagesize, size) 向系统申请一块页对齐内存，并将新 block 链入 pool->blocks。此时整个 block 的 data 区域起始地址（即 block->data）就是页对齐的
关键点：即使你只申请 1 字节，ngx_palloc 也会返回一个 16 字节对齐的地址；而 ngx_pnalloc 可能返回任意地址（只要 pool 里还有连续空间）

何时必须用 ngx_palloc？看结构体字段是否依赖对齐

以下情况必须使用 ngx_palloc，否则可能触发未定义行为（如字段错位、CPU 硬件异常、Valgrind 报告 unaligned access）：

分配 ngx_str_t、ngx_table_elt_t、ngx_buf_t、ngx_chain_t 等核心结构体实例本身（它们内部含指针或 uint32_t 字段，GCC/Clang 默认按自然对齐打包）
分配 HTTP header 数组（ngx_list_t 中的 ngx_http_header_t 元素），因为 list 的 elts 是结构体数组
分配用于 memcpy 到结构体成员的缓冲区（例如把 URI 字符串拷进 r->uri.data），因 r->uri.data 是 u_char*，但其所属的 r->uri 结构体整体需对齐
反例：ngx_pnalloc 适合分配临时解码缓冲区（如 base64 decode output）、JSON payload raw bytes、或仅作 char 数组使用的字符串内容（不涉及结构体指针转换）

调试技巧：用 addr2line + gdb 快速定位对齐问题

当出现 SIGBUS 或 Valgrind 报 “Address not aligned on word boundary” 时，可结合调试信息快速定位：

在 gdb 中捕获 crash 后执行：info registers 查看 faulting address，再用 x/20xb $rax（假设 rax 是出错指针）观察附近内存布局
用 addr2line -e objs/nginx -f -C 查看崩溃点源码行，重点检查是否对 ngx_pnalloc 返回的地址做了结构体类型转换
在 ngx_palloc 和 ngx_pnalloc 入口加日志（或条件断点），记录分配 size、返回地址、pool->d.last，对比是否符合对齐预期（如地址 % 16 == 0）
小技巧：在 test module 中写个校验宏 #define ASSERT_ALIGNED(p, a) assert(((uintptr_t)(p)) % (a) == 0)，在关键结构体赋值前插入，便于早期暴露问题