Netty4源码分析之内存管理

引用计数 
netty中使用引用计数机制来管理资源,当一个实现ReferenceCounted的对象实例化时,引用计数置1. 
客户代码中需要保持一个该对象的引用时需要调用接口的retain方法将计数增1.对象使用完毕时调用release将计数减1. 
当引用计数变为0时,对象将释放所持有的底层资源或将资源返回资源池. 

内存泄露 
按上述规则使用Direct和Pooled的ByteBuf尤其重要.对于DirectBuf,其内存不受VM垃圾回收控制只有在调用release导致计数为0时才会主动释放内存,而PooledByteBuf只有在release后才能被回收到池中以循环利用. 
如果客户代码没有按引用计数规则使用这两种对象,将会导致内存泄露. 

内存使用跟踪 
在netty.io.util包中含有如下两个类 
ResourceLeak 用于跟踪内存泄露 
ResourceLeakDetector 内存泄露检测工具 

在io.netty.buffer.AbstractByteBufAllocator类中有如下代码

//装饰器模式,用SimpleLeakAwareByteBuf或AdvancedLeakAwareByteBuf来包装原始的ByteBuf
//两个包装类均通过调用ResourceLeak的record方法来记录ByteBuf的方法调用堆栈,区别在于后者比前者记录更多的内容
protected static ByteBuf toLeakAwareBuffer(ByteBuf buf) {
    ResourceLeak leak;
    //根据设置的Level来选择使用何种包装器
    switch (ResourceLeakDetector.getLevel()) {
        case SIMPLE:
            //重建用于跟踪和表示内容泄露的ResourcLeak对象
            leak = AbstractByteBuf.leakDetector.open(buf);
            if (leak != null) {
                //只在ByteBuf.order方法中调用ResourceLeak.record
                buf = new SimpleLeakAwareByteBuf(buf, leak);
            }
            break;
        case ADVANCED:
        case PARANOID:
            leak = AbstractByteBuf.leakDetector.open(buf);
            if (leak != null) {
                //在ByteBuf几乎所有方法中调用ResourceLeak.record  
                buf = new AdvancedLeakAwareByteBuf(buf, leak);
            }
            break;
    }
    return buf;
}

下图展示了该方法被调用的时机.可见Netty只对PooledByteBuf和DirectByteBuf监控内存泄露. 

内存泄露检测

下面观察上述代码中的AbstractByteBuf.leakDetector.open(buf); 
实现代码如下 

//创建用于跟踪和表示内容泄露的ResourcLeak对象
public ResourceLeak open(T obj) {
    Level level = ResourceLeakDetector.level;
    if (level == Level.DISABLED) {//禁用内存跟踪
        return null;
    }
    if (level.ordinal() < Level.PARANOID.ordinal()) {
        //如果监控级别低于PARANOID,则只对要监控的资源进行采样
        if (leakCheckCnt ++ % samplingInterval == 0) {
            reportLeak(level);
            return new DefaultResourceLeak(obj);
        } else {
            return null;
        }
    } else {
        //否则对所有资源做监控
        reportLeak(level);
        return new DefaultResourceLeak(obj);
    }
}

其中reportLeak方法中完成对内存泄露的检测和报告,如下面代码所示.

private void reportLeak(Level level) {
    //......

    // 报告生成了太多的活跃资源
    int samplingInterval = level == Level.PARANOID? 1 : this.samplingInterval;
    if (active * samplingInterval > maxActive && loggedTooManyActive.compareAndSet(false, true)) {
        logger.error("LEAK: You are creating too many " + resourceType + " instances.  " +
                resourceType + " is a shared resource that must be reused across the JVM," +
                "so that only a few instances are created.");
    }

    // 检测并报告之前发生的内存泄露
    for (;;) {
        @SuppressWarnings("unchecked")
        //检查引用队列(为什么通过检查该队列,可以判断是否存在内存泄露)
        DefaultResourceLeak ref = (DefaultResourceLeak) refQueue.poll();
        if (ref == null) {//队列为空,没有未报告的内存泄露或者从未发生内存泄露
            break;
        }
//清理引用
        ref.clear();

        if (!ref.close()) {
            continue;
        }
        //通过错误日志打印资源的方法调用记录,并将其保存在reportedLeaks中
        String records = ref.toString();
        if (reportedLeaks.putIfAbsent(records, Boolean.TRUE) == null) {
            if (records.isEmpty()) {
                logger.error("LEAK: {}.release() was not called before it's garbage-collected. " +
                        "Enable advanced leak reporting to find out where the leak occurred. " +
                        "To enable advanced leak reporting, " +
                        "specify the JVM option '-D{}={}' or call {}.setLevel()",
                        resourceType, PROP_LEVEL, Level.ADVANCED.name().toLowerCase(), simpleClassName(this));
            } else {
                logger.error(
                        "LEAK: {}.release() was not called before it's garbage-collected.{}",
                        resourceType, records);
            }
        }
    }
}

DefaultResourceLeak的声明如下

private final class DefaultResourceLeak extends PhantomReference<Object> implements ResourceLeak{
    //......

    public DefaultResourceLeak(Object referent) {
        //使用一个静态的引用队列(refQueue)初始化
        //refQueue是ResourceLeakDecetor的成员变量并由其初始化
        super(referent, referent != null? refQueue : null);
        //......
    }

    //......
}

可见DefaultResourceLeak是个”虚”引用类型,有别于常见的普通的”强”引用,虚引用完全不影响目标对象的垃圾回收,但是会在目标对象被VM垃圾回收时被加入到引用队列中. 
在正常情况下ResourceLeak对象会所监控的资源的引用计数为0时被清理掉(不在被加入引用队列),所以一旦资源的引用计数失常,ResourceLeak对象会被加入到引用队列.例如没有成对调用ByteBuf的retain和relaease方法,导致ByteBuf没有被正常释放(对于DirectByteBuf没有及时释放内存,对于PooledByteBuf没有返回Pool),当引用队列中存在元素时意味着程序中有内存泄露发生. 
ResourceLeakDetector通过检查引用队列来判断是否有内存泄露,并报告跟踪情况. 

总结 
Netty使用装饰器模式,为ByteBuf增加内存跟踪记录功能.利用虚引用跟踪资源被VM垃圾回收的情况,加上ByteBuf的引用计数特性,进而判断是否发生内存泄露.