Dominator

在图论中，如果从根节点到节点 B 的所有路径都经过节点 A，则节点 A **支配** 节点 B。

这个概念对于 垃圾回收 很重要，因为它意味着 B 只能通过 A 访问。因此，如果垃圾回收器发现 A 不可访问并可以回收，那么 B 也将不可访问并可以回收。因此，A 支配的对象会增加 A 的保留大小：也就是说，如果 A 本身被释放，可以释放的总内存量。