disruptor 原理 核心思想

disruptor

• 参考
  • 极客时间
    • https://time.geekbang.org/column/article/79871
    • https://time.geekbang.org/column/article/134020
• 特点
  • 闪电 it's fast. very fast
  • 600wTPS
  • 异步处理
  • 线程间通信
  • 高吞吐，低延迟
  • 有界内存队列，环形队列
• 如何处理并发
  • 可见性：内存屏障
  • 有序性：内存屏障
  • 原子性：CAS
• 核心思想
  • 生产者往队列中添加数据前，先申请可用的空闲存储单元，而且是批量地申请连续的n个存储单元。当申请到之后再添加就不需要加锁，不过申请的过程还是需要加锁的。
  • 消费者处理过程类似，也是申请一组连续单元。
  • 有个弊端：如果生产者A申请到单元是3-6，生产者B申请到单元7-9，那么在A没有完全写入之前，7-9是无法读取的。
  • cacheline优化
    • CPU cache结构：https://www.processon.com/diagraming/5ea13602e401fd21c18997b3
    • 64位的机器里一个CacheLine是64字节。
    • CPU 的cache在加载数据的时候，都是以CacheLine为单位的。
    • 情况1：
      • 我有一个变量一直在用，希望一直在cache里，别人都别来动我。那我把这个变量声明为final，并且使用padding补齐到64字节。只要被频繁使用，这个变量就一直在cache里不会被换出，快如闪电。
    • 情况2：
      • 每个变量都是一个CacheLine。只有修改这个变量的时候，才会真正通知别的cpu要更新缓存。
      • 如果多个变量在同一个CacheLine，当前我不关心的别的变量变了我也得更新CacheLine。
      • 举个例子。线程1在core1运行将x更新，然后线程2在core2运行，将y更新。
        • 如果x和y都在一个CacheLine：线程1在core1运行，将x更新，需要通知core更新缓存，需要将x写到各级cache，然后core2需要更新各级cache；然后线程2将y更新，同理需要将core2这边的各级cache更新，然后core1各级缓存也得更新。相当于所有各级缓存更新了两次。
        • 如果x和y不在一个CacheLine：线程1更新x，不需要通知线程2，甚至都不需要更新各级主存。同理线程2更新y也不需要更新各级缓存。那简直不要太快了。
    • 这个是典型的用空间换时间的例子。