Tell me about escape analysis and optimizing heap allocations

[mkitti]

I did an exploration here where I tried to see if I could get a finalizer that frees a pointer to inline.

Eager finalization and smart pointers

Digging deeper, it seems it may be too early to pursue this since there are significant restrictions in terms of what kind of finalizers can be called eagerly. Following @aviatesk 's demonstration, it is still quite impressive how well this works. using Test include(normpath(Sys.BINDIR, "..", "share", "julia", "test", "compiler", "EscapeAnalysis", "setup.jl")) const FINALIZATION_COUNT = Ref(0) init_finalization_count!() = FINALIZATION_COUNT[] = 0 get_finalization_count() = FINALIZATION_COUNT[…

I made some progress. If I do nothing with the smart pointer, it gets deallocated.