🚀 go-pugleaf

Lucifer wrote:

> Zastanawia mnie czy jest mozliwe cos takiego:
>
> odsmiecanie bez zadnego zliczania odniesien, popsrostu kompilator
> 'zgaduje', w ktorym miejscu programu nalezy zwolnic pamiec, albo 
> wrzucic go do kolejki i wywalic po czasie kilka na raz.

Jeśli chodzi o automatyczne zarządzanie pamięcią, ale całkowicie 
pozbawione ciężkich mechanizmów czasu wykonania programu, takich jak 
liczniki referencji, czy odśmiecacze śledzące dowiązania (tracing 
garbage collectors), to w ogólnym przypadku, dla dowolnego języka, 
zapewniające brak wycieków pamięci - nie, nie jest znane takie rozwiązanie.

Niestety bardzo długo języki wysokopoziomowe (czyli te, które m.in. 
zwalniają programistę z konieczności "ręcznego" zwalniania pamięci) nie 
wzbudzały żadnego zainteresowania przemysłu. Być może dlatego (albo 
dlatego że to trudny problem) na temat automatycznej gospodarki pamięcią 
(w ogole) powiedziano stosunkowo niewiele. Pojedynczy człowiek jest w 
stanie w ciągu kilkudziesięciu długich wieczorów przeczytać i zrozumieć 
wszystkie publikacje poruszające ten temat. Tych wnoszących do tematu 
coś rzeczywiście istotnego jest może ze dwadzieścia... O odśmiecaniu 
czasu kompilacji (compile-time gargabe collection) wiadomo bardzo niewiele.

Było trochę na ten temat (CTGC) w związku z badaniami nad wydajnością 
Javy. Możesz się czuć dumny bo w zasadzie doszedłeś do tego jak to może 
być zrealizowane :) - za pomocą prostej, syntaktycznej analizy kodu 
programu. Było trochę przy okazji zastosowań różnych form analizy 
przepływu danych i sterowania - jest np. jeden papier na temat analizy 
reprezentacji danych w kompilatorze Bigloo ("Storage Usage Analysis and 
its Applications" Manuel Serrano, Mark Feeley). Było też trochę na temat 
zastosowania systemu typów i mechanizmów rekonstrukcji typów do tego 
celu w związku z kompilatorem MLKit (link podał Tomek).