支配树（Dominator Tree）

MAT中的支配树

在使用MAT分析项目的内存泄漏问题时，其中有一个支配树（Dominator）视图。如果我们把Java对象之间的引用关系看做一张有向图（可以存在环）的话，对象的支配树体现了对象之间的支配关系。如果所有指向对象B的路径都要经过对象A，则认为对象A支配对象B。如果对象A是离对象B最近的支配对象，则认为对象A是对象B的直接支配者。

支配树定理

除起始节点外都有每个点都有唯一的idom（直接支配者），且不成环，故所有的 (idom(w),w) 边形成一棵树，v支配w当且仅当v是树中w的祖先，这棵树叫做支配树。

对象的支配树有以下性质：

1. 对象A的子树（所有被对象A支配的对象集合）表示对象A的保留集（retained set），即深堆