🚀 go-pugleaf

Lucifer wrote:

> Dzieki, poczytam.. Jakie sa wogole rodzaje odsmiecaczy, jak je mozna
> podzielic i scharakteryzowac?

Np. podział ze względu na mechanizm znajdowania śmieci:

liczniki odniesień (reference counting) vs odśmiecacze śledzące (tracing 
garbage collectors).

zalety liczników odniesień:

* łatwo zaimplementować
* przy leniwym niszczeniu obiektów zapewniają minimalne przerwy w 
działaniu programu
* pozwalają szybko odzyskiwać pamięć (już w momencie, gdy obiekt traci 
ostatnie dowiązanie)

wady:

* nie są w stanie zwolnić struktur cyklicznych (problem wyjaśnił Tomek)
* wykonują zawsze pracę proporcjonalną do pracy wykonywanej przez 
program, a nie do tempa alokacji obiektów, czy też tempa tworzenia śmieci
* są zazwyczaj zbudowane w oparciu o normalny malloco-podobny alokator 
ogólnego przeznaczenią, więc posiadają te same co on wady - fragmentują 
pamięć, duży średni koszt alokacji/dealokacji pojedynczego obiektu

W praktyce nie używa się ich...

Odśmiecacze śledzące:

najprostszy, naiwny odśmiecacz typu mark-and-sweep działa następująco:

* mamy sterte o określonym rozmiarze, np. 100 kilo.
* gdy jest na niej za mało wolnego miejsca, by zrealizować aktualne 
żądanie akokacji pamięci zatrzymujemy działanie programu.
* zaczynając od obiektów statycznie zaalokowanych, oraz mających 
dowiązania w rejestrach i na stosie śledzimy graf dowiązań
* wszystkie obiekty, do których trafiamy zaznaczamy jako "żywe" (np. 
korzystając ze specjalnego pola bitowego w nagłówku obiektu).
* po przejrzeniu całego grafu przeglądamy liniowo stertę i "usuwamy" 
wszystkie obiekty, które nie są "żywe", pozostałe "odznaczamy".

zalety:
* wykonuje zawsze pracę proporcjonalną do tempa alokacji obiektów
* zależne od typu, implementacji i zastosowania

wady:
* zależne od typu, implementacji i zastosowania

Same śledzące można podzielić na:

kopiujące i typu mark-and-sweep

albo na:

generacyjne i niegeneracyjne

albo na:

typu stop-and-collect, inkrementalne, współbieżne i równoległe

albo na:

konserwatywne i precyzyjne.



Najlepszym źródłem wiedzy na ten temat jest wspomniany przez Michała 
papier Wilsona...