探索对象池技术

997 阅读15分钟
原文链接: kriszhang.com

怀才就象怀孕,时间久了会让人看出来

wechat

对象池技术是一种常见的对象缓存手段。’对象’意味着池中的内容是一种结构化实体,这也就是一般意义上面向对象中的对象模型;’池’(或动词池化)意味着将有生命周期的对象缓存到’池子’中进行管理,即用即取。缓存的目的大多是为了提升性能,对象池技术的目的也即如此。所以,对象池技术的本质简单来说就是:将具有生命周期的结构化对象缓存到带有一定管理功能的容器中,以提高对象的访问性能。

处理网络连接是对象池使用最多的场景。比如一些RPC框架的NettyChannel缓存(如motan),以及数据库连接池的Connection缓存(如DBCP)等。除此之外,我们还可以利用对象池管理一些大对象,这些对象有着相对复杂的构造过程。那么对象池技术与普通的本地缓存(比如guava cache)有什么区别呢?其一,本地cache可能会有一些失效策略,比如按照时间、访问次数等,而对象池是可以没有这些特性的;其二,也是最重要的一点,缓存中的对象是没有一个完整生命周期的概念,而对象池中的对象是具有生命周期的,我们甚至可以对对象的生命周期施加影响。

本篇文章结合了Apache Commons Pool源代码,讲解了一个通用对象池实现上可能需要考虑的方方面面。在阅读本文之前,我们先思考以下几个问题:

  1. 进入池子的对象是什么?需要包装一下吗?
  2. 池子中的对象可能有一些什么状态和属性呢?
  3. 池子中的对象可能有哪些组织形式(数据结构)?
  4. 池子中的对象是怎么创建出来的?我们如何控制池子中的对象(生命周期)?
  5. 什么时候我们需要校验一个池对象的有效性?
  6. 什么是eviction?什么是abandon?,区别是什么?如何实现?
  7. 有哪些对象池接口方法可以提供给用户使用呢?
  8. 对象被借到的顺序是怎么样的?fifo or lifo?
  9. 池子中需要定时任务么?定时任务能够做什么?

一个入门的例子

我们先来看官方文档中的一个简单例子,通过这个入门例子让我们对Apache Commons Pool有一个感性的认识,至少我们要知道如何使用这个框架。

不使用对象池

public class ReaderUtil {
    public String readToString(Reader in) throws IOException {
        // 这里我们构建一个StringBuilder,我们假如他是个大对象,是需要很长时间的创建
        StringBuilder buf = new StringBuilder();
        Closer closer = Closer.create();
        closer.register(in);
        try {
            for(int c = in.read(); c != -1; c = in.read()) {
                buf.append((char)c);
            }
            return buf.toString();
        } finally {
            closer.close();
        }
    }
}

上述代码的意思就是:由Reader到String的映射转换。这个官方例子举的不是很好,因为StringBuilder并没有那么迫切的需要放到对象池中管理。但是为了说明问题,我们可以假想他是一个很大的对象,需要花费很长时间进行创建(new)。因此上述代码的问题在于,每次使用这个工具的readToString()方法都会产生比较大的对象创建开销,这有可能会影响ygc

使用对象池

如果此时使用对象池技术,我们就可以预置部分对象,每次使用的时候就直接从池子中取,避免对象的重复创建消耗。如下述代码:

public class ReaderUtil {
       private ObjectPool<StringBuilder> pool;
       ReaderUtil(ObjectPool<StringBuilder> pool) {
           this.pool = pool;
       }
       public String readToString(Reader in)
               throws IOException {
           StringBuilder buf = null;
           Closer closer = Closer.create();
           closer.register(in);
           try {
               // ① 从对象池中拿出来
               buf = pool.borrowObject();
               for (int c = in.read(); c != -1; c = in.read()) {
                   buf.append((char) c);
               }
               return buf.toString();
           } catch (IOException e) {
               throw e;
           } catch (Exception e) {
               throw new RuntimeException("Unable to borrow buffer from pool" + e.toString());
           } finally {
               closer.close();
               try {
                   if (buf != null) {
                       //② 用完要还回来
                       pool.returnObject(buf);
                   }
               } catch (Exception e) {}
           }
       }
       // 针对池对象的生命周期管理
      private static class StringBuilderFactory extends BasePooledObjectFactory<StringBuilder> {
              @Override
              public StringBuilder create() throws Exception {
                  // 创建新对象
                  return new StringBuilder();
              }
              @Override
              public PooledObject<StringBuilder> wrap(StringBuilder obj) {
                  // 将对象包装成池对象
                  return new DefaultPooledObject<>(obj);
              }
              // ③ 反初始化每次回收的时候都会执行这个方法
              @Override
              public void passivateObject(PooledObject<StringBuilder> pooledObject) {
                  pooledObject.getObject().setLength(0);
              }
          }
       // 使用这个工具
       public static void main(String[] args) {
               // ④ GenericObjectPool这个是一个通用的范型对象池
               ReaderUtil readerUtil = new ReaderUtil(new GenericObjectPool<>(new StringBuilderFactory()));
      }
   }

从上述代码可以看到,使用对象池的主要方法pool.borrowObject()pool.returnObject(buf)进行对象的申请和释放。这两个方法也是对象池的最核心方法。BasePooledObjectFactory是池对象工厂,用于管理池对象的生命周期,我们只需要继承他,并覆写父类相关方法即可控制池对象的生成、初始化、反初始化、校验等。这些内容后文会有详细说明。GenericObjectPool是Apache Commons Pool实现的一个通用泛型对象池,是一个对象池的完整实现,我们直接构建并使用即可。

我们在使用对象池的时候,一般是需要基于BasePooledObjectFactory创建我们自己的对象工厂,并初始化一个对象池,将该工厂与对象池绑定(见上述代码④),然后就可以使用这个对象池了。比如DBCP的PoolableConnectionFactory<PoolableConnection>就是DBCP为了管理JDBC连接所实现的池对象工厂。

对象池实现原理

通过上面的例子,我们已经初步了解到了对象池的基本操作步骤,下面我们就将深入对象池内部,具体看看如何设计一个对象池。

对象池的基础接口

想一想,如果让我们去设计一个ObjectPool接口,会给用户提供哪些核心的方法呢?borrowObject()returnObject()是上文已经说过的两个核心方法,一个是’借’,一个是’还’。那么我们有可能需要对一个已经借到的对象置为失效(比如当我们的远程连接关闭或产生异常,这个连接不可用需要失效掉),invalidateObject()也是必不可少的。对象池刚刚创建的时候,我们可能需要预热一部分对象,而不是采用懒加载模式以避免系统启动时候的抖动,因此addObject()提供给用户,以进行对象池的预热。有创建就有销毁,clear()close()就是用来清空对象池(觉得叫purge()可能更好一点)。除此之外,我们可能还需要一些简单的统计,比如getNumIdle()获得空闲对象个数和getNumActive()获得活动对象(被借出对象)的个数。如下表:

方法名 作用
borrowObject() 从池中借对象
returnObject() 还回池中
invalidateObject() 失效一个对象
addObject() 池中增加一个对象
clear() 清空对象池
close() 关闭对象池
getNumIdle() 获得空闲对象数量
getNumActive() 获得被借出对象数量

除了ObjectPool接口,我们还应该抽象出池对象接口PooledObject以包装外部对象,以及池对象工厂PooledObjectFactory以提供池对象生命周期管理,后文有述。

基础接口的实现类

Commons Pool不但针对ObjectPool提供了相应的对象池实现,还实现了一套KeyedObjectPool接口,他能够将对象更细粒度的划分,详见后文。我们来看下ObjectPool和KeyedObjectPool的类图:

object_pool

keyed_object_pool

我们比较关注的是GenericObjectPool和GenericKeyedObjectPool,他们是整个Apache Commons Pool的核心实现。除此之外,他还为我们实现了软引用对象池SoftReferenceObjectPool,软引用对象吃中的对象又被SoftReference封装了一层。剩下所有实现类都是包装器,Commons Pool采用了装饰者模式以提供对象池额外的扩展功能。比如ProxiedObjectPool,提供了池对象代理功能,防止客户端将池对象还回后还能继续使用。

对象池的空间划分

一个对象存储到对象池中,其位置不是一成不变的。空间的划分可以分为两种,一种是物理空间划分,一种是逻辑空间划分。不同的实现可能采用不同的技术手段,Commons Pool实际上采用了逻辑划分。如下图所示:

space

从整体上来讲,可以将空间分为池外空间池内空间,池外空间是指被’出借’的对象所在的空间(逻辑空间)。池内空间进一步可以划分为idle空间abandon空间invalid空间。idle空间就是空闲对象所在的空间,空闲对象之间是有一定的组织结构的(详见后文)。abandon空间又被称作放逐空间,用于放逐被出借的对象。invalid空间其实就是对象的垃圾场,这些对象将不会在被使用,而是等待被gc处理掉。

池对象

池对象就是对象池中所管理的基本单元。我们可以思考一下,如果直接将我们的原始对象放到对象池中是否可以?答案当然是可以,但是不好,因为如果那样做,我们的对象池就退化成了容器Collection了,之所以需要将原始对象wrapper成池对象,是因为我们需要提供额外的管理功能,比如生命周期管理。commons pool采用了PooledObject<T>接口用于表达池对象,它主要抽象了池对象的状态管理和一些诸如状态变迁时所产生的统计指标,这些指标可以配合对象池做更精准的管理操作。

池对象的状态

说到对池对象的管理,最重要的当属对状态的管理。对于状态管理,我们熟知的模型就是状态机模型了。池对象当然也有一套自己的状态机,我们先来看看commons pool所定义的池对象都有哪些状态:

状态 解释
IDLE 空闲状态
ALLOCATED 已出借状态
EVICTION 正在进行驱逐测试
EVICTION_RETURN_TO_HEAD 驱逐测试通过对象放回到头部
VALIDATION 空闲校验中
VALIDATION_PREALLOCATED 出借前校验中
VALIDATION_RETURN_TO_HEAD 校验通过后放回头部
INVALID 无效对象
ABANDONED 放逐中
RETURNING 换回对象池中

上述状态我们可能对EVICTIONABANDONED不是特别熟悉,后文会讲到,这里只需知道:放逐指的是不在对象池中的对象超时流放,驱逐指的是空闲对象超时销毁。VALIDATION是有效性校验,主要校验空闲对象的有效性。注意与驱逐和放逐之间的区别。我们通过一张图来看看状态之间的变迁。

states

我们看到上图的’圆圈’表示的就是池对象,其中中间的英文简写是其对应的状态。虚线外框则表示瞬时状态。比如RETURNINGABANDONED。这里我们省略了VALIDATION_RETURN_TO_HEADVALIDATION_PREALLOCATEDEVICTION_RETURN_TO_HEAD,因为这对于我们理解池对象状态变迁并没有太多帮助。针对上图,我们重点关注四个方面:

  1. IDLE->ALLOCATED 即上图的borrow操作,除了需要将状态置为已分配,我们还需要考虑如果对象池耗尽了怎么办?是继续阻塞还是直接异常退出?如果阻塞是阻塞多久?
  2. ALLOCATED->IDLE 即上图的return操作,我们需要考虑的是,如果池对象还回到对象池,此时对象池空闲数已经达到上界或该对象已经无效,我们是否需要进行特殊处理?
  3. IDLE->EVICTIONALLOCATED->ABANDONED 请参考后文
  4. IDLE->VALIDATION 是testWhileIdle的有效性测试所需要经历的状态变迁,他是指每隔一段时间对池中所有的idle对象进行有效性检查,以排除那些已经失效的对象。失效的对象将会弃置到invalid空间。

池对象的生命周期控制

只搞清楚了池对象的状态和状态转移是不够的,我们还应该能够对池对象生命周期施加影响。Commons Pool通过PooledObjectFactory<T>接口对对象生命周期进行控制。该接口有如下方法:

方法 解释
makeObject 创建对象
destroyObject 销毁对象
validateObject 校验对象
activateObject 重新初始化对象
passivateObject 反初始化对象

我们需要注意,池对象必须经过创建(makeObject())和初始化过程(activateObject())后才能够被我们使用。我们看一看这些方法能够影响哪些状态变迁。

factory

池对象组织结构与borrow公平性

池中的对象,并不是杂乱无章的,他们得有一定的组织结构。不同的组织结构可能会从整体影响对象池的使用。Apache Commons提供了两种组织结构,其一是有界阻塞双端队列(LinkedBlockingDeque),其二是key桶。

linked

有界阻塞队列能够提供阻塞特性,当池中对象exhausted后,新申请对象的线程将会阻塞,这是典型的生产者/消费者模型,通过这种双端的阻塞队列,我们能够实现池对象的lifofifo。如下代码:

if (getLifo()) {
    idleObjects.addFirst(p);
} else {
    idleObjects.addLast(p);
}

因为是带有阻塞性质的队列,我们能够通过fairness参数控制线程获得锁的公平性,这里我们可以参考AQS实现,不说了。下面我们再来看一看key桶的数据结构:

linked

从上图我们可以看出,每一个key对应一个的双端阻塞队列ObjectDeque,ObjectDeque实际上就是包装了LinkedBlockingDeque,采用这种结构我们能够对池对象进行一定的划分,从而更加灵活的使用对象池。Commons Pool采用了KeyedObjectPool<K,V>用以表示采用这种数据结构的对象池。当我们borrow和return的时候,都需要指定对应的key空间。

对象池的放逐与驱逐

上文我们多次提到了驱逐(eviction)放逐(abandon),这两个概念是对象池设计的核心。先来看驱逐,我们知道对象池的一个重要的特性就是伸缩性,所谓伸缩性是指对象池能够根据当前池中空闲对象的数量(maxIdle和minIdle配置)自动进行调整,进而避免内存的浪费。自动伸缩,这是驱逐所需要达到的目标,他是如何实现的呢?实际上在对象池内部,我们可以维护一个驱逐定时器(EvictionTimer),由timeBetweenEvictionRunsMillis参数对定时器的间隔加以控制,每次达到驱逐时间后,我们就选定一批对象(由numTestsPerEvictionRun参数进行控制)进行驱逐测试,这个测试可以采用策略模式,比如Commons Pool的DefaultEvictionPolicy,代码如下:

@Override
public boolean evict(EvictionConfig config, PooledObject<T> underTest,
        int idleCount) {
    if ((config.getIdleSoftEvictTime() < underTest.getIdleTimeMillis() &&
            config.getMinIdle() < idleCount) ||
            config.getIdleEvictTime() < underTest.getIdleTimeMillis()) {
        return true;
    }
    return false;
}

对于符合驱逐条件的对象,将会被对象池无情的驱逐出空闲空间,并丢弃到invalid空间。之后对象池还需要保证内部空闲对象数量需要至少达到minIdle的控制要求。我们在看来放逐,对象出借时间太长(由removeAbandonedTimeout控制),我们就把他们称作流浪对象,这些对象很有可能是那些用完不还的坏蛋们的杰作,也有可能是对象使用者出现了什么突发状况,比如网络连接超时时间设置长于放逐时间。总之,被放逐的对象是不允许再次回归到对象池中的,他们会被搁置到abandon空间,进而进入invalid空间再被gc掉以完成他们的使命。放逐由removeAbandoned()方法实现,分为标记过程放逐过程,代码实现并不难,有兴趣的可以直接翻翻源代码。

驱逐是由内而外将对象驱逐出境,放逐则是由外而内,将对象流放。他们一内一外,正是整个对象池形成闭环的核心要素。

对象池的有效性探测

用过数据库连接池的同学可能对类似testOnBorrow的配置比较熟悉。除了testOnBorrow,对象池还提供了testOnCreate, testOnReturn, testWhileIdle,其中testWhileIdle是当对象处于空闲状态的时候所进行的测试,当测试通过则继续留在对象池中,如果失效,则弃置到invalid空间。所谓testOnBorrow其实就是当对象出借前进行测试,测试什么?当然是有效性测试,在测试之前我们需要调用factory.activateObject()以激活对象,在调用factory.validateObject(p)对准备出借的对象做有有效性检查,如果这个对象无效则可能有抛出异常的行为,或者返回空对象,这全看具体实现了。testOnCreate表示当对象创建之后,再进行有效性测试,这并不适用于频繁创建和销毁对象的对象池,他与testOnBorrow的行为类似。testOnReturn是在对象还回到池子之前锁进行的测试,与出借的测试不同,testOnReturn无论是测试成功还是失败,我们都需要保证池子中的对象数量是符合配置要求的()ensureIdle()方法就是做这个事情),并且如果测试失败了,我们可以直接swallow这个异常,因为用户根本不需要关心池子的状态。

对象池的常见配置一览

当我们了解到了对象池的基本实现原理之后,我们再从配置的角度预览一下对象池可能提供的功能配置。

配置参数 意义 默认值
maxTotal 对象总数 8
maxIdle 最大空闲对象数 8
minIdle 最小空闲对象书 0
lifo 对象池借还是否采用lifo true
fairness 对于借对象的线程阻塞恢复公平性 false
maxWaitMillis 借对象阻塞最大等待时间 -1
minEvictableIdleTimeMillis 最小驱逐空闲时间 30分钟
numTestsPerEvictionRun 每次驱逐数量 3
testOnCreate 创建后有效性测试 false
testOnBorrow 出借前有效性测试 false
testOnReturn 还回前有效性测试 false
testWhileIdle 空闲有效性测试 false
timeBetweenEvictionRunsMillis 驱逐定时器周期 false
blockWhenExhausted 对象池耗尽是否block true

参考资料


------------------------------------------------------------------------------------------------------------------------------
Enjoy it ? Donate me ! 欣赏此文?求鼓励,求支持!