David Bruant wrote:
I have never heard of memory management system that would take
advantage of source code informations to not allocate memory if it's
proven to be unused after allocation (or allocate less if it's proven
only part will be used).
Is it a stupid idea? Too much effort? The conjonctions of 2 research
areas where people usually don't talk to one another?
If you have to ask, the answer is "yes".
Monica Lam had a student, whose name escapes me, who did a static memory
analysis thesis, "Clouseau", which could analyze for such cases and
optimize away allocations. This is on the line of "Sufficiently smart
compiler".
/be
_______________________________________________
es-discuss mailing list
[email protected]
https://mail.mozilla.org/listinfo/es-discuss
