【SPDK 用户态存储】Reactor 与线程模型：Event、Poller 与 Message Passing
内容提要
本文介绍SPDK事件框架核心概念：Reactor为每核事件循环线程，Event用于跨核消息投递，Poller在同线程反复轮询。强调消息传递优于锁，状态由单线程拥有。阻塞reactor回调会导致同核I/O停滞，排障时应先检查哪核循环停止。spdk_thread可独立嵌入其他循环，io_device/io_channel模式实现全局慢状态与每线程快路径分离。
延伸解读
阻塞是排障第一线索
在 reactor 回调中阻塞，同核所有事件与 poller 都会停止推进，导致已提交 I/O 完成回调延迟，应用层可能误判为磁盘慢。排障时应先定位哪颗核的循环停止，结合 poller 是否推进判断，而非只看平均负载。
消息传递优于锁
SPDK 默认将可变状态指派给单线程拥有，其他线程通过消息传递请求操作，避免热路径锁竞争。消息模型优化的是根本不在热路径共享可变状态，而锁模型只是减少争抢时间。但前提是消息延迟可接受且拥有者线程不被阻塞。
spdk_thread 与 event 框架分层
spdk_thread 是轻量执行抽象，可嵌入其他事件循环；event 框架是默认宿主，提供 reactor 等。理解分层有助于阅读源码：spdk_tgt 中的 reactor 是 event 框架对 thread 的部署，而纯 lib/nvme 示例可能直接在自己的循环中轮询完成。
io_device 与 io_channel 模式
全局对象保存慢变状态，每线程 channel 保存快路径数据，快路径只碰 channel，修改全局状态需发消息。此模式解释了为何在错误线程直接改全局配置比加锁更危险，可能静默破坏不变量。设计模块时首要考虑状态线程所有权图。
Q&A
SPDK中的Reactor、Event和Poller分别是什么？
Reactor是每个CPU核上的事件循环线程，从无锁队列中取Event并按FIFO执行；Event是打包的函数指针和参数，用于跨核消息投递，通过spdk_event_allocate()创建，spdk_event_call()投递；Poller是在注册线程上反复执行的函数，用于轮询硬件或定时任务，通过spdk_poller_register()注册。
为什么SPDK采用消息传递而不是锁？
SPDK采用消息传递是为了避免热路径上的锁竞争，实现性能随硬件近似线性扩展。它将可变状态指派给单个线程拥有，其他线程通过发送消息让拥有者代为执行，从而避免共享数据的锁争用。
在SPDK的Reactor回调中阻塞会有什么后果？
在Reactor回调中阻塞会导致该核上所有Event和Poller停止推进，造成同核I/O停滞，已提交I/O的完成回调推迟，跨核消息堆积，尾延迟扩散。排障时应先检查哪颗核的循环停止。
spdk_thread和event framework有什么关系？
spdk_thread是轻量级的执行抽象，不依赖独立栈，可嵌入其他事件循环；event framework是SPDK提供的默认宿主，按核拉Reactor、调度轻量线程。spdk_thread可以脱离event framework独立使用，而event framework是spdk_thread的一种部署方式。
在SPDK中，Event和Poller分别适用于什么场景？
Event适用于跨核请求，如请求其他线程修改状态或执行逻辑，是一次性投递；Poller适用于同线程反复执行的任务，如轮询硬件完成队列、网卡或定时维护，可注册为每圈执行或按定时器降频。
SPDK的io_device和io_channel模式是如何工作的？
io_device是全局对象，保存慢变状态如能力、命名空间表；io_channel是每线程上下文，保存快路径需要的队列、序列号等。快路径只访问io_channel，修改全局状态时通过消息通知拥有者或遍历相关线程。
SPDK与内核NVMe/io_uring在完成模型上有什么主要区别？
内核NVMe/io_uring通过中断或完成队列通知，CPU空闲时可睡眠；SPDK默认使用用户态主动轮询（poller），专用核持续轮询，CPU占用较高。阻塞伤害面也不同：内核阻塞影响单个任务，SPDK阻塞影响整个核上的所有租户。
