MAT

MAT 是一款高性能、具备丰富功能的Java堆内存分析工具，可以用来排查内存泄漏和内存浪费的问题。

Heap Dump

Heap Dump是Java进程在某个时刻的内存快照，主要包含当生成快照时堆中的Java对象和类的信息；不同JVM的实现的Heap Dump的文件格式可能不同，进而存储的数据也可能不同，主要分为如下几类：

• 对象信息：类名、属性、基础类型和引用类型

• 类信息：类加载器、类名称、超类、静态属性

• GC Roots: JVM中的一个定义，进行垃圾收集时，要遍历可达对象的起点节点的集合

• 线程栈和局部变量：快照生成时候的线程调用栈，和每个栈上的局部变量

Heap Dump中没有包含对象的分配信息，因此它不能用来分析这种问题：一个对象什么时候被创建、一个对象时被谁创建的。

Garbage Collection Roots

gc roots中的对象，是指那些可以从堆外访问到的对象的集合。如果一个对象符合下面这些场景中的一个，就可以被认为是gc roots中的节点：

• System Class:由Bootstrap Classloader加载的类，例如rt.jar，里面的类的包名都是 java.util.* 开头的。

• Thread Block/Thread:正在存活的线程，被当前活跃的线程锁引用的对象。

• Busy Monitor:调用了wait()、notify()或synchronized关键字修饰的代码——例如synchronized(object)或synchronized方法。

• Java Local：局部变量。例如函数的输入参数、正在运行的线程栈里创建的对象。

• JNI Local/Global：native代码中的局部变量/全局变量，例如用户编写的JNI代码或JVM内部代码。

• Native Stack: native代码的输入或输出参数，例如用户定义的JNI代码或JVM的内部代码。在文件/网络IO方法或反射方法的参数。

• Finalizable/Unfinalized:在finalize队列中等待它的finalizer对象运行的对象；重载了finalize方法，但是还没有进入finalize队列中的对象。

• Java Stack Frame：Java栈帧，用于存放局部变量。只在dump文件被解析的时候会将java stack frame视为对象。

• Unknown:没有Root类型的对象。有些dump文件（例如IBM的Portable Heap Dump）没有Root信息。

Shallow与Retained Heap

Shallow heap是一个对象本身占用的堆内存大小。一个对象中，每个引用占用8或64位，Integer占用4字节，Long占用8字节等等。Retained set，对于某个对象X来说，它的Retained set指的是——如果X被垃圾收集器回收了，那么这个集合中的对象都会被回收，同理，如果X没有被垃圾收集器回收，那么这个集合中的对象都不会被回收。 Retained Heap，对象X的Retained Heap指的时候它的Retained set中的所有对象的Shallow Size的和，换句话说，Retained Heap指的是对象X的保留内存大小，即由于它的存活导致多大的内存也没有被回收。而某个Retained set对应的对象可能有多个，这些对象就构成了所谓的Leading Set。

A和B是gc roots中的节点（方法参数、局部变量，或者调用了wait()、notify()或synchronized()的对象）等等。可以看出，E的存在，会导致G无法被回收，因此E的Retained set是E和G；C的存在，会导致E、D、F、G、H都无法被回收，因此C的Retined set是C、E、D、F、G、H；A和B的存在，会导致C、E、D、F、G、H都无法被回收，因此A和B的Retained set是A、B、C、E、D、F、G、H。

Dominator Tree

MAT根据堆上的对象引用关系构建了支配树（Dominator Tree），通过支配树可以很方便得识别出哪些对象占用了大量的内存，并可以看到它们之间的依赖关系。如果在对象图中，从gc root或者x上游的一个节点开始遍历，x是y的必经节点，那么就可以说x支配了y（dominate）。如果在对象图中，x支配的所有对象中，y的距离最近，那么就可以说x直接支配（immediate dominate）y。

支配树是基于对象的引用关系图建立的，在支配树中每个节点都是它的子节点的直接支配节点。基于支配树可以很清楚得看到对象之间的依赖关系。下图中，x节点的子树就是所有被x支配的节点集合，也正式x的retained set；如果x是y的直接支配节点，那么x的支配节点也可以支配y；支配树中的边跟对象引用图中的引用关系并不是一一对应的。