Let's address another GC misconception: that you can divide GC algorithms into "perfectly precise" ones like tracing and "imprecise" ones like reference counting without cycle collection.
-
Show this thread
-
In fact, all GCs use some sort of conservative heuristic. The real problem GCs are trying to solve is to identify memory the program will never use again. This is a dynamic problem, and so a truly precise solution runs up against the halting problem.
3 replies 1 retweet 29 likesShow this thread -
Replying to @pcwalton
I see this as some sketchy pro-GC propaganda, redefining the exact, tractable problem (unreachable) to be something harder and intractable (not reached) so that inexactness sounds like just a matter of degree rather than a binary property.
1 reply 0 retweets 1 like -
Replying to @RichFelker
I don’t mean for it to be “pro-GC” or “anti-GC”. The point is that the precise tractable problem of reachability is not actually the relevant criterion.
2 replies 0 retweets 0 likes
The observations is relevant to non-GC’d environments too. In manual memory management terms it means that it’s OK to have dangling pointers as long as you don’t actually use them.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.