2. DPDK核心架构与PMD原理
DPDK 的性能并非来自某个单点优化，而是由一组相互咬合的机制共同支撑：EAL 负责把进程“钉”在正确的 CPU 与内存资源上，PMD 用轮询替代中断消除上下文切换开销，内存池提供零碎片、零系统调用的对象分配，无锁环形队列让多核之间以原子操作而非锁来传递报文，CPU 亲和性则保证这些机制运行在预期的核上。理解这五者的分工与衔接，是后续编写高性能数据面程序的基础。
EAL 初始化：先定资源边界，再谈性能
EAL（Environment Abstraction Layer）是 DPDK 的运行时底座，它在 rte_eal_init() 中完成大页内存映射、PCI 设备探测、逻辑核（lcore）注册、内存通道与 NUMA 拓扑识别等工作。初始化参数决定了整个进程能看到的资源边界，因此必须在创建内存池和端口之前确定。
一个典型启动命令如下，含义逐项明确：
./l2fwd -l 0-3 -n 4 --socket-mem 1024,1024 \
-a 0000:3b:00.0 -a 0000:3b:00.1 --file-prefix=l2fwd0-l 0-3：绑定逻辑核 0~3，EAL 会为每个核建立独立的 lcore 结构，后续rte_eal_remote_launch()只能在这些核上启动线程。-n 4：每 socket 内存通道数为 4，需与物理内存通道匹配，否则跨通道访问会退化。--socket-mem 1024,1024：在 socket 0 和 socket 1 各预留 1024MB 大页内存，避免运行期动态分配。-a：指定要接管的 PCI 网卡地址，未列出的设备不会被 PMD 绑定。
初始化完成后，可用 rte_lcore_count()、rte_socket_id() 等接口查询实际生效的拓扑。若 -l 指定的核被操作系统占用，EAL 会报错退出，这正是亲和性约束的第一道保障。
轮询模式驱动：用持续查询换取确定性
传统网卡驱动在收包时触发中断，CPU 需保存现场、进入内核、唤醒协议栈，单次开销可达微秒级。PMD（Poll Mode Driver）反过来：它让应用线程在一个死循环中不断调用 rte_eth_rx_burst()，只要网卡接收队列非空就立即取走报文，全程不进入内核、不产生中断。
代价是空闲时 CPU 仍满载运行。因此 PMD 通常配合“忙等 + 批量处理”策略：一次 burst 取多个描述符，减少 MMIO 写次数。下面是一个最小收包循环，展示了 burst 与释放的配对关系：
while (1) {
nb_rx = rte_eth_rx_burst(port, 0, mbufs, BURST_SIZE);
if (nb_rx == 0) continue;
for (i = 0; i < nb_rx; i++) {
/* 处理 mbufs[i] */
rte_pktmbuf_free(mbufs[i]);
}
}关键点在于：mbufs 中的每个指针都来自内存池，处理完必须归还，否则池会耗尽，后续 burst 返回 0。BURST_SIZE 常取 32 或 64，需与网卡描述符环大小匹配。
内存池与无锁环形队列：数据面的两个“传送带”
内存池（mempool）预先从大页内存中切分固定大小的 mbuf，并用一个无锁环形队列维护空闲对象。分配时从 ring 出队，释放时入队，全程只有原子操作，没有 malloc/free，也没有锁竞争。每个 lcore 还带有本地缓存（cache），进一步减少对共享 ring 的访问。
无锁环形队列（rte_ring）是 DPDK 多核通信的核心结构。它采用“生产者-消费者”模型，通过 head/tail 指针的原子比较交换实现无锁入队出队。单生产者单消费者（SPSC）模式下性能最高；多生产者多消费者（MPMC）则依赖 CAS 重试。ring 的容量必须是 2 的幂，以便用位与代替取模。
下图展示了从网卡到应用线程的完整数据通路，以及内存池与 ring 在其中的位置：
CPU 亲和性与 NUMA：让数据留在本地
亲和性配置分两层。第一层是操作系统层：通过内核参数 isolcpus=2,3 把核从通用调度器中隔离，再用 taskset 或 EAL 的 -l 把 DPDK 线程固定上去。第二层是 NUMA 层：网卡插在哪个 socket，就应使用该 socket 上的内存池和 lcore，否则每次收包都要跨 QPI/UPI 访问远端内存，延迟显著上升。
实践中可用 lscpu 与 /sys/class/net/<iface>/device/numa_node 确认网卡归属，再让 --socket-mem 与 -l 的核编号落在同一 socket。例如网卡在 socket 0，则使用 -l 0-3 --socket-mem 1024,0，避免在 socket 1 上分配无用内存。
ps -eLo pid,psr,comm | grep l2fwd，观察各线程的 PSR 列是否稳定落在预期核号上；若频繁跳变，说明隔离或绑定未生效。参数关系与调优判断
五个组件之间存在明确的参数耦合：mempool 的对象数量必须大于所有 ring 容量与在途 mbuf 之和，否则高负载下会出现分配失败；ring 容量应为 2 的幂且不小于 burst 的若干倍，以吸收突发；lcore 数量应与网卡队列数匹配，避免单核轮询多个队列造成缓存抖动。下表给出一个可参考的起步配置示例（示例值，需按实际硬件调整）：
| 参数 | 示例值 | 约束与判断依据 |
|---|---|---|
| lcore 数 | 4（0-3） | 与网卡 RX/TX 队列数一致，每核独占一队列 |
| mempool 对象数 | 8192 | ≥ ring 容量 × 队列数 + 在途 mbuf 余量 |
| mbuf 大小 | 2048 字节 | 覆盖 MTU 1500 + 头部，且为缓存行对齐 |
| ring 容量 | 1024 | 2 的幂，≥ burst × 8，吸收突发流量 |
| burst 大小 | 32 | 与描述符环匹配，过大增加单次延迟 |
| socket-mem | 1024,0 | 仅网卡所在 socket 分配，避免远端访问 |
当收包速率低于预期时，排查顺序建议为：先确认 PMD 是否真正轮询（rte_eth_stats_get 的 ipackets 是否增长），再检查 mempool 是否耗尽（rte_mempool_avail_count 是否趋近 0），最后核对 lcore 与网卡队列的 NUMA 归属。多数“性能不达标”并非算法问题，而是资源边界与亲和性没有对齐。