I have minimal experience with compilers, but couldn't alot of these objects be dealt with using some sort of 'compile time memory management'. Essentially have the compiler notice a point in the code after which point a given object provably has no references to it, and insert an instruction in the bytecode to immidietly dealocate that object. If the compiler can prove that an object will be dealocated this way, it can also mark it such that the GC knows to ignore it.
Is this type of system already implemented in java (or similar languages), if not, what are the drawbacks of this approach.
Is this type of system already implemented in java (or similar languages), if not, what are the drawbacks of this approach.