SpringBoot 2.0 中 HikariCP 数据库连接池原理解析

作为后台服务开发,在日常工作中我们天天都在跟数据库打交道,一直在进行各种CRUD操作,都会使用到数据库连接池。按照发展历程,业界知名的数据库连接池有以下几种:c3p0、DBCP、Tomcat JDBC Connection Pool、Druid 等,不过最近最火的是 HiKariCP。

HiKariCP 号称是业界跑得最快的数据库连接池,自从 SpringBoot 2.0 将其作为默认数据库连接池后,其发展势头锐不可当。那它为什么那么快呢?今天咱们就重点聊聊其中的原因。

一、什么是数据库连接池

在讲解HiKariCP之前,我们先简单介绍下什么是数据库连接池(Database Connection Pooling),以及为什么要有数据库连接池。

从根本上而言,数据库连接池和我们常用的线程池一样,都属于池化资源,它在程序初始化时创建一定数量的数据库连接对象并将其保存在一块内存区中。它允许应用程序重复使用一个现有的数据库连接,当需要执行 SQL 时,我们是直接从连接池中获取一个连接,而不是重新建立一个数据库连接,当 SQL 执行完,也并不是将数据库连接真的关掉,而是将其归还到数据库连接池中。我们可以通过配置连接池的参数来控制连接池中的初始连接数、最小连接、最大连接、最大空闲时间等参数,来保证访问数据库的数量在一定可控制的范围类,防止系统崩溃,同时保证用户良好的体验。数据库连接池示意图如下所示:

因此使用数据库连接池的核心作用,就是避免数据库连接频繁创建和销毁,节省系统开销。因为数据库连接是有限且代价昂贵,创建和释放数据库连接都非常耗时,频繁地进行这样的操作将占用大量的性能开销,进而导致网站的响应速度下降,甚至引起服务器崩溃。

二、常见数据库连接池对比分析

这里详细总结了常见数据库连接池的各项功能比较,我们重点分析下当前主流的阿里巴巴Druid与HikariCP,HikariCP在性能上是完全优于Druid连接池的。而Druid的性能稍微差点是由于锁机制的不同,并且Druid提供更丰富的功能,包括监控、sql拦截与解析等功能,两者的侧重点不一样,HikariCP追求极致的高性能。

下面是官网提供的性能对比图,在性能上面这五种数据库连接池的排序如下:HikariCP>druid>tomcat-jdbc>dbcp>c3p0:

三、HikariCP 数据库连接池简介

HikariCP 号称是史上性能最好的数据库连接池,SpringBoot 2.0将它设置为默认的数据源连接池。Hikari相比起其它连接池的性能高了非常多,那么,这是怎么做到的呢?通过查看HikariCP官网介绍,对于HikariCP所做优化总结如下:

1. 字节码精简 优化代码,编译后的字节码量极少,使得CPU缓存可以加载更多的程序代码;

HikariCP在优化并精简字节码上也下了功夫,使用第三方的Java字节码修改类库Javassist来生成委托实现动态代理.动态代理的实现在ProxyFactory类,速度更快,相比于JDK Proxy生成的字节码更少,精简了很多不必要的字节码。

2. 优化代理和拦截器:减少代码,例如HikariCP的Statement proxy只有100行代码,只有BoneCP的十分之一;

3. 自定义数组类型(FastStatementList)代替ArrayList避免ArrayList每次get()都要进行range check,避免调用remove()时的从头到尾的扫描(由于连接的特点是后获取连接的先释放);

4. 自定义集合类型(ConcurrentBag):提高并发读写的效率;

5. 其他针对BoneCP缺陷的优化,比如对于耗时超过一个CPU时间片的方法调用的研究。

当然作为一个数据库连接池,不能说快就会被消费者所推崇,它还具有非常好的健壮性及稳定性。HikariCP从15年推出以来,已经经受了广大应用市场的考验,并且成功地被SpringBoot2.0作为默认数据库连接池进行推广,在可靠性上面是值得信任的。其次借助于其代码量少,占用cpu和内存量小的优点,使得它的执行率非常高。最后,Spring配置HikariCP和druid基本没什么区别,迁移过来非常方便,这些都是为什么HikariCP目前如此受欢迎的原因。

字节码精简、优化代理和拦截器、自定义数组类型。

四、HikariCP 核心源码解析

4.1 FastList 是如何优化性能问题的

首先我们来看一下执行数据库操作规范化的操作步骤:

1.    通过数据源获取一个数据库连接;

2.    创建 Statement;

3.    执行 SQL;

4.    通过 ResultSet 获取 SQL 执行结果;

5.    释放 ResultSet;

6.    释放 Statement;

7.    释放数据库连接。

当前所有数据库连接池都是严格地根据这个顺序来进行数据库操作的,为了防止最后的释放操作,各类数据库连接池都会把创建的 Statement 保存在数组 ArrayList 里,来保证当关闭连接的时候,可以依次将数组中的所有 Statement 关闭。HiKariCP 在处理这一步骤中,认为 ArrayList 的某些方法操作存在优化空间,因此对List接口的精简实现,针对List接口中核心的几个方法进行优化,其他部分与ArrayList基本一致 。

首先是get()方法,ArrayList每次调用get()方法时都会进行rangeCheck检查索引是否越界,FastList的实现中去除了这一检查,是因为数据库连接池满足索引的合法性,能保证不会越界,此时rangeCheck就属于无效的计算开销,所以不用每次都进行越界检查。省去频繁的无效操作,可以明显地减少性能消耗。

  • FastList get()操作

public T get(int index)

{

// ArrayList 在此多了范围检测 rangeCheck(index);

return elementData[index];

}

其次是remove方法,当通过 conn.createStatement() 创建一个 Statement 时,需要调用 ArrayList 的 add() 方法加入到 ArrayList 中,这个是没有问题的;但是当通过 stmt.close() 关闭 Statement 的时候,需要调用 ArrayList 的 remove() 方法来将其从 ArrayList 中删除,而ArrayList的remove(Object)方法是从头开始遍历数组,而FastList是从数组的尾部开始遍历,因此更为高效。假设一个 Connection 依次创建 6 个 Statement,分别是 S1、S2、S3、S4、S5、S6,而关闭 Statement 的顺序一般都是逆序的,从S6 到 S1,而 ArrayList 的 remove(Object o) 方法是顺序遍历查找,逆序删除而顺序查找,这样的查找效率就太慢了。因此FastList对其进行优化,改成了逆序查找。如下代码为FastList 实现的数据移除操作,相比于ArrayList的 remove()代码, FastList 去除了检查范围 和 从头到尾遍历检查元素的步骤,其性能更快。

  • FastList 删除操作

public boolean remove(Object element)

{

// 删除操作使用逆序查找

for (int index = size - 1; index >= 0; index--) {

if (element == elementData[index]) {

final int numMoved = size - index - 1;

// 如果角标不是最后一个,复制一个新的数组结构

if (numMoved > 0) {

System.arraycopy(elementData, index + 1, elementData, index, numMoved);

}

//如果角标是最后面的 直接初始化为null

elementData[--size] = null;

return true;

}

}

return false;

}

通过上述源码分析,FastList 的优化点还是很简单的。相比ArrayList仅仅是去掉了rage检查,扩容优化等细节处,删除时数组从后往前遍历查找元素等微小的调整,从而追求性能极致。当然FastList 对于 ArrayList 的优化,我们不能说ArrayList不好。所谓定位不同、追求不同,ArrayList作为通用容器,更追求安全、稳定,操作前rangeCheck检查,对非法请求直接抛出异常,更符合 fail-fast(快速失败)机制,而FastList追求的是性能极致。

下面我们再来聊聊 HiKariCP 中的另外一个数据结构 ConcurrentBag,看看它又是如何提升性能的。

4.2 ConcurrentBag 实现原理分析

当前主流数据库连接池实现方式,大都用两个阻塞队列来实现。一个用于保存空闲数据库连接的队列 idle,另一个用于保存忙碌数据库连接的队列 busy;获取连接时将空闲的数据库连接从 idle 队列移动到 busy 队列,而关闭连接时流量交易将数据库连接从 busy 移动到 idle。这种方案将并发问题委托给了阻塞队列,实现简单,但是性能并不是很理想。因为 Java SDK 中的阻塞队列是用锁实现的,而高并发场景下锁的争用对性能影响很大。

HiKariCP 并没有使用 Java SDK 中的阻塞队列,而是自己实现了一个叫做 ConcurrentBag 的并发容器,在连接池(多线程数据交互)的实现上具有比LinkedBlockingQueue和LinkedTransferQueue更优越的性能。

ConcurrentBag 中最关键的属性有 4 个,分别是:用于存储所有的数据库连接的共享队列 sharedList、线程本地存储 threadList、等待数据库连接的线程数 waiters 以及分配数据库连接的工具 handoffQueue。其中,handoffQueue 用的是 Java SDK 提供的 SynchronousQueue,SynchronousQueue 主要用于线程之间传递数据。

  • ConcurrentBag 中的关键属性

// 存放共享元素,用于存储所有的数据库连接

private final CopyOnWriteArrayList<T> sharedList;

// ThreadLocal 缓存线程本地的数据库连接,避免线程争用

private final ThreadLocal<List<Object>> threadList;

// 等待数据库连接的线程数

private final AtomicInteger waiters;

// 接力队列,用来分配数据库连接

private final SynchronousQueue<T> handoffQueue;

ConcurrentBag 保证了全部的资源均只能通过 add() 方法进行添加,当线程池创建了一个数据库连接时,通过调用 ConcurrentBag 的 add() 方法加入到 ConcurrentBag 中,并通过 remove() 方法进行移出。下面是 add() 方法和 remove() 方法的具体实现,添加时实现了将这个连接加入到共享队列 sharedList 中,如果此时有线程在等待数据库连接,那么就通过 handoffQueue 将这个连接分配给等待的线程。

  • ConcurrentBag add() remove() 方法

public void add(final T bagEntry)

{

if (closed) {

LOGGER.info("ConcurrentBag has been closed, ignoring add()");

throw new IllegalStateException("ConcurrentBag has been closed, ignoring add()");

}

// 新添加的资源优先放入sharedList

sharedList.add(bagEntry);

// 当有等待资源的线程时,将资源交到等待线程 handoffQueue 后才返回

while (waiters.get() > 0 && bagEntry.getState() == STATE_NOT_IN_USE && !handoffQueue.offer(bagEntry)) {

yield();

}

}

public boolean remove(final T bagEntry)

{

// 如果资源正在使用且无法进行状态切换,则返回失败

if (!bagEntry.compareAndSet(STATE_IN_USE, STATE_REMOVED) && !bagEntry.compareAndSet(STATE_RESERVED, STATE_REMOVED) && !closed) {

LOGGER.warn("Attempt to remove an object from the bag that was not borrowed or reserved: {}", bagEntry);

return false;

}

// sharedList中移出

final boolean removed = sharedList.remove(bagEntry);

if (!removed && !closed) {

LOGGER.warn("Attempt to remove an object from the bag that does not exist: {}", bagEntry);

}

return removed;

}

同时ConcurrentBag通过提供的 borrow() 方法来获取一个空闲的数据库连接,并通过requite()方法进行资源回收,borrow() 的主要逻辑是:

  1. 查看线程本地存储 threadList 中是否有空闲连接,如果有,则返回一个空闲的连接;

  2. 如果线程本地存储中无空闲连接,则从共享队列 sharedList 中获取;

  3. 如果共享队列中也没有空闲的连接,则请求线程需要等待。

  • ConcurrentBag borrow() requite() 方法

// 该方法会从连接池中获取连接, 如果没有连接可用, 会一直等待timeout超时

public T borrow(long timeout, final TimeUnit timeUnit) throws InterruptedException

{

// 首先查看线程本地资源threadList是否有空闲连接

final List<Object> list = threadList.get();

// 从后往前反向遍历是有好处的, 因为最后一次使用的连接, 空闲的可能性比较大, 之前的连接可能会被其他线程提前借走了

for (int i = list.size() - 1; i >= 0; i--) {

final Object entry = list.remove(i);

@SuppressWarnings("unchecked")

final T bagEntry = weakThreadLocals ? ((WeakReference<T>) entry).get() : (T) entry;

// 线程本地存储中的连接也可以被窃取, 所以需要用CAS方法防止重复分配

if (bagEntry != null && bagEntry.compareAndSet(STATE_NOT_IN_USE, STATE_IN_USE)) {

return bagEntry;

}

}

// 当无可用本地化资源时,遍历全部资源,查看可用资源,并用CAS方法防止资源被重复分配

final int waiting = waiters.incrementAndGet();

try {

for (T bagEntry : sharedList) {

if (bagEntry.compareAndSet(STATE_NOT_IN_USE, STATE_IN_USE)) {

// 因为可能抢走了其他线程的资源,因此提醒包裹进行资源添加

if (waiting > 1) {

listener.addBagItem(waiting - 1);

}

return bagEntry;

}

}

listener.addBagItem(waiting);

timeout = timeUnit.toNanos(timeout);

do {

final long start = currentTime();

// 当现有全部资源都在使用中时,等待一个被释放的资源或者一个新资源

final T bagEntry = handoffQueue.poll(timeout, NANOSECONDS);

if (bagEntry == null || bagEntry.compareAndSet(STATE_NOT_IN_USE, STATE_IN_USE)) {

return bagEntry;

}

timeout -= elapsedNanos(start);

} while (timeout > 10_000);

return null;

}

finally {

waiters.decrementAndGet();

}

}

public void requite(final T bagEntry)

{

// 将资源状态转为未在使用

bagEntry.setState(STATE_NOT_IN_USE);

// 判断是否存在等待线程,若存在,则直接转手资源

for (int i = 0; waiters.get() > 0; i++) {

if (bagEntry.getState() != STATE_NOT_IN_USE || handoffQueue.offer(bagEntry)) {

return;

}

else if ((i & 0xff) == 0xff) {

parkNanos(MICROSECONDS.toNanos(10));

}

else {

yield();

}

}

// 否则,进行资源本地化处理

final List<Object> threadLocalList = threadList.get();

if (threadLocalList.size() < 50) {

threadLocalList.add(weakThreadLocals ? new WeakReference<>(bagEntry) : bagEntry);

}

}

borrow() 方法可以说是整个 HikariCP 中最核心的方法,它是我们从连接池中获取连接的时候最终会调用到的方法。需要注意的是 borrow() 方法只提供对象引用,不移除对象,因此使用时必须通过 requite() 方法进行放回,否则容易导致内存泄露。requite() 方法首先将数据库连接状态改为未使用,之后查看是否存在等待线程,如果有则分配给等待线程;否则将该数据库连接保存到线程本地存储里。

ConcurrentBag 实现采用了queue-stealing的机制获取元素:首先尝试从ThreadLocal中获取属于当前线程的元素来避免锁竞争,如果没有可用元素则再次从共享的CopyOnWriteArrayList中获取。此外,ThreadLocal和CopyOnWriteArrayList在ConcurrentBag中都是成员变量,线程间不共享,避免了伪共享(false sharing)的发生。同时因为线程本地存储中的连接是可以被其他线程窃取的,在共享队列中获取空闲连接,所以需要用 CAS 方法防止重复分配。

五、总结

Hikari 作为 SpringBoot2.0默认的连接池,目前在行业内使用范围非常广,对于大部分业务来说,都可以实现快速接入使用,做到高效连接。

(0)

相关推荐

  • 多线程之旅(10)_QueueUserWorkItem和UnsafeQueueUserWorkItem的区别

    转载:https://blog.csdn.net/yangwohenmai1/article/details/90490880 这是个比较冷门的点,是我在写多线程之旅(2)_创建一个属于自己的精简线程 ...

  • JAVA中常见的阻塞队列详解

    在之前的线程池的介绍中我们看到了很多阻塞队列,这篇文章我们主要来说说阻塞队列的事. 阻塞队列也就是 BlockingQueue ,这个类是一个接 口,同时继承了 Queue 接口,这两个接口都是在JD ...

  • 史上最清晰线程池实现原理剖析

    来源:albenw.github.io/posts/f5cda8d1/ 概要 线程池,大家都很熟悉了,我们在平时应用中也用的很多.对线程池,ThreadPoolExecutor 的实现原理有一定理解后 ...

  • 图解多线程

    回复"面试"获取全套面试资料 进程与线程 「进程」 进程的本质是一个正在执行的程序,程序运行时系统会创建一个进程,并且「给每个进程分配独立的内存地址空间,用来保证每个进程地址不会相 ...

  • 冲浪?在池中游泳

    如果将互联网应用比喻成冲浪的话, 可能需要先学会在池中游泳吧. 引子 AI赋能万物,老码农的伙伴们也曾经开发了一个基于图数据库的知识问答系统,在压力测试的时候发现随着并发数的增加,响应的时延明显变长, ...

  • 金字塔原理中三个基础原理解析

    文/张员外<金字塔原理>是麦肯锡的咨询顾问芭芭拉-明托发明的,主要目的是为了帮助写作者提升写作能力,提倡按照阅读者的阅读习惯改善写作效果.金字塔原理的本质,就是任何事情都可以归纳为一个中心 ...

  • Springboot 整合阿里数据库连接池 druid

    Spring boot 整合 druid druid的maven依赖 <!-- 阿里数据库连接池fhadmin.cn --> <dependency> <groupId& ...

  • 家装电路中强电的原理以及施工要点

    一.强电的基本知识 强电,也就是我们所说的电线. 灯线要求1.5平方及以上 : 普通插座要求2.5平方及以上: 家用空调插座要求4平方及以上 : 中央空调要求6平方及以上. 电线又分为单芯线和多芯线两 ...

  • 如何在Vray4.0中简洁高效的渲染AO图?

    hello小伙伴们~又到了每周一的制图教室时间啦,今天为大家带来的是一篇关于最新版Vray next for Sketchup中AO图渲染的教程讲解. 2019年2月, Chaos group 发布了 ...

  • LAC的书屋 | 生态规划必读:《景观设计和土地利用规划中的景观生态学原理》

    推荐语:这是一本很简短的手册性质图书.本书将场地规划和生态学理论结合,通过引入斑块(Patches).廊道(Corridor).边界(Edge).矩阵(Matrix)等生态学的空间理论,从社会功能.动 ...

  • 5连败!10投0中杀死球队!命中率没威少高!大表哥这是怎么了?

    北京时间4月26日,开拓者主场迎战灰熊.最终开拓者以113-120不敌对手,吞下5连败!除了第四节开拓者单节比分高于灰熊,其余前面三节都是落后的一方. 第三节结束,开拓者落后着12分.第四节球队一度发 ...

  • 论奇门遁甲学中天人合一的全息原理 [2009年02月25日

     论奇门遁甲学中天人合一的全息原理 尹锋 此文在2007年北戴河举行的第四届"中华易学文化大会"上评为特等奖论文,发表在论文专集上. [内容提要]奇门遁甲以易学原理中的天人合一观为 ...

  • NetCore 3.0 中使用Swagger生成Api说明文档及升级报错原因

    认识Swagger Swagger 是一个规范和完整的框架,用于生成.描述.调用和可视化 RESTful 风格的 Web 服务.总体目标是使客户端和文件系统作为服务器以同样的速度来更新.文件的方法,参 ...

  • 上场27分钟5投0中,落后33分还捻须微笑,赛后詹姆斯说了这句话

    北京时间1月12日,骑士客场对阵猛龙!阵容相对齐整的骑士,面对缺兵少将的猛龙,却毫无招架之力,最终以99-133的巨大分差输掉比赛,实在是让人大跌眼镜,就连猛龙球员迈尔斯赛后也表示:我们以为会是一场苦 ...