Stavo riecheggiando il tutorial su Javascript di Mozilla e passo attraverso questa informazione.Perché sapere se è necessario un pezzo di memoria è indecidibile?
linguaggi avanzati incorporano un software chiamato "garbage collector", il cui compito è quello di monitorare l'allocazione di memoria e utilizzare per trovare quando un pezzo di memoria allocata senza più in qual caso , lo libererà automaticamente. Questo processo è un'approssimazione poiché il problema generale di sapere se è necessario un pezzo della memoria è indecidibile (non può essere risolto da un algoritmo).
mi è familiare con il concetto di indecidibilità e garbage collector, ma io non riesco a capire perché questo è un problema indecidibile?
Dimmi come puoi sapere quando un pezzo di memoria viene riferito per ultimo? –