Dominator

In der Graphentheorie dominiert Knoten A den Knoten B, wenn jeder Pfad vom Wurzelknoten zu B durch A führt.

Dieses Konzept ist wichtig für die Garbage Collection, da es bedeutet, dass B nur über A erreichbar ist. Wenn der Garbage Collector feststellt, dass A nicht erreichbar ist und freigegeben werden kann, dann wäre auch B nicht erreichbar und freigegeben. Objekte, die von A dominiert werden, tragen also zur zurückgehaltenen Größe von A bei: das ist die Gesamtmenge an Speicher, die freigegeben werden könnte, wenn A selbst freigegeben würde.