Disruptor 高性能队列原理浅析
内容提要
Disruptor是LMAX开发的高性能无锁内存队列，用于解决内存队列延迟与I/O同数量级的问题，单线程可支撑每秒600万订单。它通过预分配环形数组、缓存行填充避免伪共享、CAS替代锁、序列号协调生产者与消费者，消除写争用并最小化读争用，使三阶段流水线延迟降低约三个数量级、吞吐量提升约8倍。
延伸解读
无锁设计的硬件基础
Disruptor 的高性能并非单纯来自算法优化，而是深度结合了现代 CPU 的硬件特性。文章指出，它通过预分配环形数组提升缓存命中率，利用缓存行填充避免伪共享，并以 CAS 替代重量级锁。这些设计共同减少了线程间的写争用和缓存一致性开销，使得单线程即可支撑每秒 600 万订单。理解这些底层机制，有助于评估无锁队列在实际系统中的适用边界。
CAS 与锁的性能权衡
文章通过计数器实验对比了单线程和多线程下的性能表现：单线程不加锁最快，CAS 次之，加锁最慢；多线程下 CAS 性能约为锁的 8 倍。这是因为 CAS 在用户态执行 CPU 原语指令，避免了上下文切换。但文章也提醒，CAS 实现的无锁算法更复杂、更难测试和证明正确性。因此，Disruptor 的选择是在特定场景下用复杂度换取吞吐量，并非所有队列都适合照搬。
环形数组与内存管理优势
Disruptor 使用环形数组而非链表作为底层存储，连续内存布局能充分利用 CPU 缓存行加载和分支预测，提升遍历效率。同时，启动时预分配所有 entry，使对象在 Disruptor 实例存活期间常驻内存，极大减轻了垃圾回收负担。数组长度取 2 的幂，通过位运算快速定位下标，且 long 类型序列号在百万 QPS 下也需数十万年才溢出，这些细节共同保障了低延迟和高吞吐。
多生产者下的可见性协调
多生产者场景中，Disruptor 通过 CAS 为每个线程分配独享的数组空间，避免重复写入同一元素。同时引入与环形缓冲区等大的 Available Buffer，写入成功即置位对应标记。消费者读取时，会从当前游标开始遍历 Available Buffer，直到遇到未就绪元素，从而确定最大连续可读范围。这一机制在无锁前提下解决了“读到未写元素”的问题，是 Disruptor 支持多生产者并发的关键设计。
Q&A
Disruptor 是什么？它最初是为了解决什么问题而开发的？
Disruptor 是英国外汇交易公司 LMAX 开发的高性能无锁内存队列。其研发初衷是解决内存队列的延迟问题，因为在性能测试中发现内存队列的延迟竟然与 I/O 操作处于同样的数量级。
Disruptor 为什么比基于锁的队列性能高很多？
Disruptor 通过预分配环形数组、使用 CAS 替代锁、缓存行填充避免伪共享、序列号协调生产者与消费者等方式，消除了写争用并最小化读争用。CAS 在用户态执行 CPU 原语指令，避免了线程上下文切换到内核态的开销，因此比重量级锁性能更高。
Disruptor 如何解决伪共享问题？
Disruptor 在非常重要的字段前后添加许多额外的无用字段，使该字段占满一整个缓存行（通常 64 字节），从而避免因不同线程修改同一缓存行中的不同变量而导致的伪共享问题。
Disruptor 的环形数组结构有什么好处？
环形数组在启动时预分配所有内存，entry 被重用，减轻垃圾回收负担；数组连续存储对 CPU 缓存友好，遍历时能利用缓存行预加载和分支预测；数组长度为 2 的幂，通过位运算加快定位速度；下标使用 long 类型递增，无需担心溢出。
多个生产者同时写入时，Disruptor 如何防止重复写和读取未就绪元素？
多个生产者时，每个线程通过 CAS 申请一段独享的数组空间，防止重复写同一元素。同时引入一个与 Ring Buffer 大小相同的 Available Buffer，生产者在写入成功后置位对应位置。消费者读取时遍历 Available Buffer，从当前读位置开始查找连续可读的最大下标，确保只读取已就绪的元素。
Disruptor 相比传统队列在延迟和吞吐量上有多少提升？
根据论文测试，使用 Disruptor 的三阶段流水线平均延迟比基于队列的同等方法低 3 个数量级，在相同配置下吞吐量约为 8 倍。
