> Is performance the issue or order?
Deterministic finalisation, defined as finalisation immediately after a value becomes unreachable in a program, is trivially possible by running the full GC cycle after each VM instruction. No halting problem to solve here.
The only issue is performance.
Cheers,
V.