软件构造课堂延伸（2） 支配树

在动态分析程序性能时，遇到了支配树这个概念，下面详细解释一下什么叫做支配树。

支配树（Dominator tree）

支配树展示了内存导出文件中最大的对象。

支配树是用来研究使得其它对象存活的对象的强有力工具。

支配树是将原来内存中的应用关系图转化为一个树形结构，这个树形结构的特点是：

所有节点的儿子节点都会因为父节点的死亡而变得不可达，因而也就处于死亡状态。

上面这幅图简要的说明了支配树的建立过程。（图来自于哈工大2018春软件构造课程）

如果到达左边的图的一个节点的所有路径中都包含节点x，那么节点x在树结构中就因该是该节点的祖先节点。

如果在原来的图中两点距离最近，就设置为父子节点。