上一篇blog我们尝试分析了消费者的逻辑,这次重点分析生产者的写消息的逻辑。

disruptor有两种生产模式。

通过disruptor wiki我们可以看到这两者的区别。

One of the best ways to improve performance in concurrent systems is to adhere to the Single Writer Principle, this applies to the Disruptor. If you are in the situation where there will only ever be a single thread producing events into the Disruptor, then you can take advantage of this to gain additional performance.

单生产者的模式是能够让队列的写性能得到额外的提升。下面是官方提供的一个测试数据。OneToOneSequencedThroughputTest.java

多生产者

Run 0, Disruptor=26,553,372 ops/sec
Run 1, Disruptor=28,727,377 ops/sec
Run 2, Disruptor=29,806,259 ops/sec
Run 3, Disruptor=29,717,682 ops/sec
Run 4, Disruptor=28,818,443 ops/sec
Run 5, Disruptor=29,103,608 ops/sec
Run 6, Disruptor=29,239,766 ops/sec

单生产者

Run 0, Disruptor=89,365,504 ops/sec
Run 1, Disruptor=77,579,519 ops/sec
Run 2, Disruptor=78,678,206 ops/sec
Run 3, Disruptor=80,840,743 ops/sec
Run 4, Disruptor=81,037,277 ops/sec
Run 5, Disruptor=81,168,831 ops/sec
Run 6, Disruptor=81,699,346 ops/sec

写入性能,单生产者相比多生产者有2~3倍的提升。

源码分析

单生产者模式和多生产者模式的区别是在构建Sequencer的时候选择用哪一种实现。

单生产者模式

多生产者模式

类图

SingleProducerSequencer.java

 @Override
    public long next(int n)
    {
       ...

        long nextValue = this.nextValue;

        long nextSequence = nextValue + n;
        long wrapPoint = nextSequence - bufferSize;
        long cachedGatingSequence = this.cachedValue;

        if (wrapPoint > cachedGatingSequence || cachedGatingSequence > nextValue)
        {
            cursor.setVolatile(nextValue);  // StoreLoad fence

            long minSequence;
            while (wrapPoint > (minSequence = Util.getMinimumSequence(gatingSequences, nextValue)))
            {
                LockSupport.parkNanos(1L); // TODO: Use waitStrategy to spin?
            }

            this.cachedValue = minSequence;
        }

        this.nextValue = nextSequence;

        return nextSequence;
    }

我们把关注点放在nextSequence,因为是单线程,所以通过简单地自增来获得下一个写入点。

MultiProducerSequencer.java

@Override
    public long next(int n)
    {
       ...

        long current;
        long next;

        do
        {
            current = cursor.get();
            next = current + n;

            long wrapPoint = next - bufferSize;
            long cachedGatingSequence = gatingSequenceCache.get();

            if (wrapPoint > cachedGatingSequence || cachedGatingSequence > current)
            {
                long gatingSequence = Util.getMinimumSequence(gatingSequences, current);

                if (wrapPoint > gatingSequence)
                {
                    LockSupport.parkNanos(1); // TODO, should we spin based on the wait strategy?
                    continue;
                }

                gatingSequenceCache.set(gatingSequence);
            }
            else if (cursor.compareAndSet(current, next))
            {
                break;
            }
        }
        while (true);

        return next;
    }

cursor通过CAS来实现cursor指针的移动,从而保证在并发场景下,ringbuffer一个存储空间只会被一个生产者写入。

这里我们发现除了cursor以外还有一些比较重要的概念。

这里暂不讨论,我们放到下一篇blog再去深入分析

总结

disruptor通过使用CAS来保证数据的一致性,而不是使用锁的方式,从而把消息写入的速度提高。

参考

disruptor wiki