MAT中的支配树

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

支配树定理

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

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

对象A的子树（所有被对象A支配的对象集合）表示对象A的保留集（retained set），即深堆
如果对象A支配对象B，那么对象A的直接支配者也支配对象B
支配树的边与对象引用图的边不直接对应

对象支配树的作用

可以用来求深堆的大小。这里解释一下浅堆和深堆：

浅堆表示一个对象结构所占用的内存大小
深堆表示一个对象被GC回收后，可真实释放的内存大小

从支配树的性质可以看出，如果释放对象A，则对象A对应的支配树上的子树都将被释放，因为子树上的对象都不可达了，应该被GC回收。所以支配树上某个对象节点的子树上所有对象的大小就是该对象的深堆大小。

支配树的求解方法

简单求解方法

使用 “迭代+DFS”方法实现。时间复杂度是O(mn)。

每次删掉一个点，判断哪些点无法从起始节点r到达
删掉点u后发现点v无法到达，那么点u就是r->v的必经点（点u就是v的支配点）

Lengauer-Tarjan算法

Lengauer-Tarjan算法可以在更优的时间复杂度下求解有向图的支配树。

支配树（Dominator Tree）相关推荐

Memory Analyzer Tool 1 Shallow heap Retained heap dominator tree(控制树)
文章目录 1. shallow heap 2. retained heap 3. dominator tree(控制树) 1. shallow heap 引用原文介绍 :Shallow heap is ...
有向图的必经点,支配树
支配树的背景流程图食物链 GC 场景 DAG 上求支配树树上倍增模板: P2597 灾难一般有向图上求支配树 Lengauer-Tarjan 算法模板: P5180 [模板]支配树 $0 ...
第26课：MAT中的Dominator Tree与Retained Set详解
内容: 1.Dominator Tree与Retained Set 2.Dominator Tree详解一.Dominator Tree与Retained Set Retained ...
[支配树][lca][倍增][线段树][拓扑] Jzoj P4240 游行
Description 恶梦是学校里面的学生会主席.他今天非常的兴奋,因为学校一年一度的学生节开始啦!! 在这次节日上总共有N个节目,并且总共也有N个舞台供大家表演.其中第i个节目的表演时间为第i个单 ...
使用行为树(Behavior Tree)实现网游奖励掉落系统
原地址:http://blog.csdn.net/akara/article/details/6165421 [原创]使用行为树(Behavior Tree)实现网游奖励掉落系统 by AKara 2 ...
hihocoder #1343 : Stable Members(支配树)
时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 Recently Little Hi joined an algorithm learning group. The gr ...
数据结构与算法（C++）– 树（Tree）
数据结构与算法(C++)– 树(Tree) 1.树的基础知识树(tree): 一些节点的集合,可以为空集子树(sub tree): 树的子集根(root): 树的第一个节点孩子和父亲(Chil ...
C语言实现段树segment tree(附完整源码)
C语言实现段树segment tree 段树结构体定义实现以下6个接口完整实现和main测试源码段树结构体定义 typedef struct segment_tree {void *root; ...
看动画学算法系列之:后缀树suffix tree
文章目录简介字典树Trie 压缩字典树后缀树Suffix Tree 后缀树的搜索查找最长重复子字符串查找两个字符串的最长公共子字符串后缀树的代码实现简介模式匹配是一个在工作中经常会用到 ...
【学习笔记】DAG / 一般有向图的支配树 / 灭绝树
定义与声明一个有向图 GGG.给定一个起点 sss,假设 sss 能到达所有点. 若去掉某个点 iii 后,sss 无法到达 jjj,则称 iii 为 jjj 的支配点. 显然支配点存在传递关系. ...

支配树（Dominator Tree）