本文是该篇的修正版
本文的github地址:点此
该文所涉及的netty源码版本为4.1.6。
Recycler是Netty中基于ThreadLocal的轻量化的对象池实现。既然是基于ThreadLocal,那么就可以将其理解为当前线程在通过对象池Recycler得到一个对象之后,在回收对象的时候,不需要将其销毁,而是放回到该线程的对象池中即可,在该线程下一次用到该对象的时候,不需要重新申请空间创建,而是直接重新从对象池中获取。
Recycler对象池在netty中最重要的使用,就在于netty的池化ByteBuf的场景下。首先,何为池化?以PooledDirectByteBuf举例,每一个PooledDirectByteBuf在应用线程中使用完毕之后,并不会被释放,而是等待被重新利用,类比线程池每个线程在执行完毕之后不会被立即释放,而是等待下一次执行的时候被重新利用。所谓的对象池也是如此,池化减少了ByteBuf创建和销毁的开销,也是netty高性能表现的基石之一。
private static final Recycler RECYCLER = new Recycler() {
@Override
protected PooledDirectByteBuf newObject(Handle handle) {
return new PooledDirectByteBuf(handle, 0);
}
};
static PooledDirectByteBuf newInstance(int maxCapacity) {
PooledDirectByteBuf buf = RECYCLER.get();
buf.reuse(maxCapacity);
return buf;
}
PooledDirectByteBuf在其类加载的过程中,初始化了一个静态的RECYCLER 成员,通过重写其newObject()方法达到使Recycler可以初始化一个PooledDirectByteBuf。而在接下来的使用中,只需要通过静态方法newInstance()就可以从RECYCLER 对象池的get()方法获取一个新的PooledDirectByteBuf对象返回,而重写的方法newObject()中的入参Handler则提供了recycle()方法给出了对象重新放入池中回收的能力,这里的具体实现在下文展开。因此,newInstance()方法和recycle()方法就提供了对象池出池和入池的能力,也通过此,PooledDirectByteBuf达到了池化的目标。
Recycler的实现原理很抽象,可以先直接阅读文末的例子再阅读这部分内容。
Recycler中,最核心的是两个通过ThreadLocal作为本地线程私有的两个成员,而其实现原理只需要围绕这两个成员分析,就可以对对象池的设计有直接的理解和认识。
private final FastThreadLocal> threadLocal = new FastThreadLocal>() {
@Override
protected Stack initialValue() {
return new Stack(Recycler.this, Thread.currentThread(), maxCapacityPerThread, maxSharedCapacityFactor,
ratioMask, maxDelayedQueuesPerThread);
}
};
顾名思义,这个Stack主体是一个堆栈,但是其还维护着一个链表,而链表中的每一个节点都是一个队列。
private DefaultHandle>[] elements;
private WeakOrderQueue cursor, prev;
上述的elements数组便是存放当前线程被回收的对象,当当前线程从该线程的Recycler对象池尝试获取新的对象的时候,首先就会从当前Stack的这个数组中尝试获取已经在先前被创建并且在当前线程被回收的对象,因为当对象池的对象在当前线程被调用recycle()的时候,是会直接放到elements数组中等待下一次的利用。 那么问题来了,如果从该线程中被申请的这个对象是在另外一个线程中被调用recycle()方法回收呢?那么该对象就会处于链表中的队列中,当堆栈数组中的对象不存在的时候,将会尝试把链表队列中的对象转移到数组中供当前线程获取。那么其他线程是如何把被回收的对象放到这些链表中的队列的呢?接下来就是另一个成员的使命了。
private static final FastThreadLocal
第二个成员DELAYED_RECYCLED 可以通过上文的Stack获取一个队列。
在前一个成员的解释中提到,当别的线程调用另一个线程的对象池的recycle()方法进行回收的时候,并不会直接落到持有对象池的线程的Stack数组当中,当然原因也很简单,在并发情况下这样的操作显然是线程不安全的,而加锁也会带来性能的开销。因此,netty在Recycler对象池中通过更巧妙的方式解决这一问题。
在前面提到,除了数组,Stack还持有了一系列队列的组成的链表,这些链表中的每一个节点都是一个队列,这些队列又存放着别的线程所回收到当前线程对象池的对象。那么,这些队列就是各个线程针对持有对象池的专属回收队列,说起来很拗口,看下面的代码。
private void pushLater(DefaultHandle> item, Thread thread) {
// we don't want to have a ref to the queue as the value in our weak map
// so we null it out; to ensure there are no races with restoring it later
// we impose a memory ordering here (no-op on x86)
Map, WeakOrderQueue> delayedRecycled = DELAYED_RECYCLED.get();
WeakOrderQueue queue = delayedRecycled.get(this);
if (queue == null) {
if (delayedRecycled.size() >= maxDelayedQueues) {
// Add a dummy queue so we know we should drop the object
delayedRecycled.put(this, WeakOrderQueue.DUMMY);
return;
}
// Check if we already reached the maximum number of delayed queues and if we can allocate at all.
if ((queue = WeakOrderQueue.allocate(this, thread)) == null) {
// drop object
return;
}
delayedRecycled.put(this, queue);
} else if (queue == WeakOrderQueue.DUMMY) {
// drop object
return;
}
queue.add(item);
}
private WeakOrderQueue(Stack> stack, Thread thread) {
head = tail = new Link();
owner = new WeakReference(thread);
synchronized (stack) {
next = stack.head;
stack.head = this;
}
// Its important that we not store the Stack itself in the WeakOrderQueue as the Stack also is used in
// the WeakHashMap as key. So just store the enclosed AtomicInteger which should allow to have the
// Stack itself GCed.
availableSharedCapacity = stack.availableSharedCapacity;
}
pushLater()方法发生在当一个对象被回收的时候,当当前线程不是这个对象所申请的时候的线程时,将会通过该对象的Stack直接去通过DELAYED_RECYCLED 映射到一条队列上,如果没有则创建并建立映射,再把该对象放入到该队列中,以上操作结束后该次回收即宣告结束
private WeakOrderQueue(Stack> stack, Thread thread) {
head = tail = new Link();
owner = new WeakReference(thread);
synchronized (stack) {
next = stack.head;
stack.head = this;
}
// Its important that we not store the Stack itself in the WeakOrderQueue as the Stack also is used in
// the WeakHashMap as key. So just store the enclosed AtomicInteger which should allow to have the
// Stack itself GCed.
availableSharedCapacity = stack.availableSharedCapacity;
}
如果在操作中,队列是被创建的,会把该队列放置在Stack中的链表里的头结点,保证创建该对象的线程在数组空了之后能够通过链表访问到该队列并将该队列中的回收对象重新放到数组中等待被下次重新利用,队列交给A线程的链表是唯一的阻塞操作。在这里通过一次阻塞操作,避免后续都不存在资源的竞争问题。
A线程申请,A线程回收的场景。
A线程申请,B线程回收的场景。