轻量级mq实现之 disruptor 原理

Disruptor最大的特点是无锁实现队列.(当然默认使用的BlockingWaitStrategy还是用到了lock.lock();publish的时候signalAll().但是你可以选择不用这种策略的)

Disruptor说的是生产者和消费者的故事.
有一个数组.生产者往里面扔芝麻.消费者从里面捡芝麻.
但是扔芝麻和捡芝麻也要考虑速度的问题.
1 消费者捡的比扔的快 那么消费者要停下来.生产者扔了新的芝麻,然后消费者继续.
2 数组的长度是有限的,生产者到末尾的时候会再从数组的开始位置继续.这个时候可能会追上消费者,消费者还没从那个地方捡走芝麻,这个时候生产者要等待消费者捡走芝麻,然后继续.

这个就是基本的逻辑.为了实现这个逻辑.
消费者要知道生产者扔到哪里了,这样才不会出现超过生产者.
生产者也必须要知道消费者捡到哪里了,这样才不会出现从后面超过消费者.

在Disruptor中位置是用Sequence来表示的.
数组呢,就是用RingBuffer中的Object[] entries来表示的.

生产者会有多个,这个时候会去抢数组的同一个位置.在一般的java程序中,是通过加锁来实现.但是Disruptor是通过cas来实现的.多个会去竞争,由于cas是原子的,不会存在两个同时抢到.抢不到怎么办,那就抢下一个位置.

生产者抢位置是通过next()来实现的,但是抢到位置还不能通知消费者,因为这个时候还没把芝麻扔进去,等到芝麻扔进去之后,执行publish()操作,这个时候就设置个标志表示ok了,所以消费者每次检查的时候会核对这个标志位.

消费者也有多个,所以Disruptor的生产者要检查消费者的Sequence数组,取最小的(就是最慢的消费者)

生产者和消费者都要不断的去检查对方的位置,防止超过对方.检查的策略就有多种了.

默认的策略是不主动检查,而是等待对方的通知.也有种策略是不停的去检查,这样就不用通知了,但是这个是很吃cpu的,所以也出来一种变种,就是每隔一个很短的时间去检查一次.当然有很多种的策略,就不细说了.

来源：http://huangyunbin.iteye.com/blog/1944232