第五章并行模式与算法

最新推荐文章于 2024-04-08 23:56:47 发布

二代凡

最新推荐文章于 2024-04-08 23:56:47 发布

阅读量550

点赞数

分类专栏： java book 高并发程序设计文章标签： jdk 并发高性能 Disruptor

本文链接：https://blog.csdn.net/u012314558/article/details/78305098

版权

23 篇文章 0 订阅

订阅专栏

20 篇文章 0 订阅

订阅专栏

8 篇文章 0 订阅

订阅专栏

单例模式的好处
- 对于频繁使用的对象，可以省略new操作花费的时间，特别是重量级对象
- 由于new操作的次数减少，因而对系统内存的使用频率会降低，减轻GC压力，缩短GC停顿时间
单例实现：
1. 静态变量直接实例化
  - 缺点：时间不可控制，如果存在其他静态变量，在这些变量被引用时，便会被创建。
  - 优点：对于并发不需要加锁
2. 通过同步方法创建对象
  - 缺点：并发下性能会有一定影响
  - 优点：可以控制对象创建时间
3. 内部类实现
  - 优点：既可以控制对象创建时间，也可以解决并发加锁问题。

一旦对象被创建，其内部的状态就是不可变的。通过回避问题而不是解决问题的态度来处理多线程并发访问控制。
与只读对象的区别：不变对像比只读对象更具有强一致性，只读对象只是不可以被其他线程改变，但可以让其本身对属性进行修改。
使用场景：
- 当对象创建后，其内部状态和数据不再发生任何变化
- 对象需要被共享，被多线程频繁访问
不变模式的实现：
- 去除setter方法以及所有修改自身属性的方法
- 将所有属性设置为私有，并标记final，确保其不可修改
- 确保没有子类可以重载修改它的行为
- 有一个可以创建完整对象的构造函数

基于环形队列实现，因此队列的总大小必须事先指定，无法动态扩展。Disruptor要求将数组大小设置为2的整数次方，通过sequence&(sequence-1)便可以快速定位实际的元素位置，比取余操作快很多。
大小固定的环形队列的另一个好处是可以做到完全的内存复用。

EX：参考196

WaitStrategy几种实现：
- BlockingWaitStrategy：默认策略，和使用BlockingQueue非常类似，都使用了锁和条件进行数据的监控和线程的唤醒。最节省cpu但高并发下性能最差的一种。
- SleepingWaitStrategy：也是对cpu使用率非常保守，循环中不断等待数据，进行自旋等待，如果不成功使用Thread.yield让出cpu，并最终使用LockSupport.parkNanos(1)进行线程休眠，以确保不占用太多的cpu数据。因此可能会产生比较高的平均延时。适合延时不敏感的场合，好处是对生产者线程的影响最小。典型场景异步日志。
- YieldingWaitStrategy：适用于低延时场景，消费者会不断循环监控缓冲区变化，在死循环内部，使用Thread.yield让出cpu给别的线程执行时间。该策略最好有多于消费者线程数量的逻辑cpu数量，否则整个应用程序可能都会受到影响。
- BusySpinWaitStrategy：最疯狂的等待策略，一个死循环，让消费者监控缓冲区的变化，因此，会吃掉所有的cpu资源。适用于延时非常苛刻的场景。因此物理cpu数量必须大于消费者线程数，如果在一个物理核上使用了超线程技术模拟了两个逻辑核，则另外一个逻辑核会受到这种超密集计算的影响而不能正常工作。

为了提高cpu的速度，cpu有一个高速缓存cache，在高速缓存中，读写数据最小单位为缓存行（cache line），它是从主存（memory）复制到缓存（cache）的最小单位，一般32到128字节。
问题：
- 假设X和Y两个变量在同一个缓存行中，CPU1上的线程对X进行了修改，会导致缓存行实效，从而导致Y也失效，此时如果CPU2读取Y则会导致Cache无法命中。这种情况如果频繁发生，性能将会大大降低。
- 解决方法：一种可行的方法是在变量X的前后空间都先占据一定的位置（把它叫做padding），使得缓存行中只有变量X。
- JDK不同版本会对这种情况进行优化。
- Disruptor也考虑了这个问题，因此其环形缓冲区RingBuffer，内部实现上，实际产生的数组大小是缓冲区大小，再加上两倍的BUFFER_PAD，使得整个数组被载入Cache时不受其他变量影响。

核心思想就是异步调用

核心接口Data，两个实现FutureData和RealData，第一个是用来提取RealData的契约，因此会立即返回得到，第二个是我们真实想要的数据。当调用FutureData的getResult方法时，如果实际数据没准备好，则会阻塞，等待RealData准备好。

定义了Future接口，其get方法会返回真实数据，如果真实数据没准备好会阻塞。RunnableFuture继承了Future和Runnable接口，run方法构造真实数据，FutureTask负责具体的实现，它内部有个Sync内部类，会委托一些实质性工作给它，Sync最终会调用Callable接口，完成实际的数据组装工作。Callable接口只有一个call方法，返回需要构造的实际数据。