Comment by pizlonator

Fundamental downside of tracing garbage collection.

Reachability is a conservative approximation of the set of objects that need to be kept alive.

Not saying don’t use GC, but this is a great example of how there are no silver bullets in memory management - only imperfect trade offs.