Jakiego rodzaju śmieci używa Go?

(dla Go 1.8 - Q1 2017, patrz poniżej )

The next Go 1.5 concurrent Garbage Collector
Oto propozycja przedstawiona w niniejszym dokumencie , która może sprawić, że Go 1.5, ale także pomoże zrozumieć gc w Go.

Możesz zobaczyć stan przed 1.5 (Stop the World: STW)

[[2]}Przed Go 1.5, Go użył kolektora parallel stop-the-world (STW).
Podczas gdy kolekcja STW ma wiele wad, ma przynajmniej przewidywalne i kontrolowane zachowanie wzrostu sterty.

^{(zdjęcie z prezentacji GopherCon 2015 "Go GC: rozwiązywanie problemu opóźnień w Go 1.5")}

^{GC timing w kolektorze STW.}

Go 1.5 wprowadza współbieżny kolektor.
Ma to wiele zalet w stosunku do kolekcji STW, ale jest trudniejsze do kontrolowania, ponieważ aplikacja może przydzielać pamięć podczas działania garbage collector.

^{(zdjęcie z prezentacji GopherCon 2015 "Go GC: rozwiązywanie opóźnień Problem w Go 1.5")}

Aby osiągnąć ten sam limit wzrostu sterty, runtime musi rozpocząć garbage collection wcześniej, ale ile wcześniej zależy od wielu zmiennych, z których wielu nie da się przewidzieć.

• Uruchom kolektor zbyt wcześnie, a aplikacja wykona zbyt wiele zbiórek śmieci, marnując zasoby procesora.
• Uruchom kolektor zbyt późno, a aplikacja przekroczy pożądany maksymalny wzrost sterty.

Osiągnięcie właściwej równowagi bez poświęcania współbieżności wymaga starannego poruszania się garbage collector.

GC pacing ma na celu optymalizację dwóch wymiarów: wzrostu sterty i procesora wykorzystywanego przez garbage collector.

Konstrukcja GC pacingu składa się z czterech elementów:

W 2007 roku firma została założona w 2008 roku.]}
1. mechanizm dla mutatorów do wykonywania szacowanych ilość pracy skanowania do czasu alokacji sterty osiągnie cel sterty,
[72]}scheduler do skanowania w tle, gdy mutator pomaga w niedostatecznym wykorzystaniu budżetu procesora i
2. kontroler proporcjonalny do wyzwalacza GC.

Projekt równoważy dwa różne widoki czasu: Czas procesora i czas sterty .

• Czas procesora jest jak standardowy zegar ścienny, ale mija GOMAXPROCS razy szybciej.
  Czyli jeśli GOMAXPROCS jest 8, to osiem sekund procesora mija każdą sekundę na ścianie, a GC dostaje dwie sekundy czasu procesora na każdą sekundę na ścianie.
  CPU scheduler zarządza czasem procesora.
• przebieg czasu sterty jest mierzony w bajtach i przesuwa się do przodu w miarę alokacji mutatorów.

Zależność między czasem sterty a czasem ściany zależy od szybkości alokacji i może się stale zmieniać.
Mutator pomaga zarządzać upływem czasu sterty, zapewniając szacunkowe prace skanowania zostały zakończone przez czas, gdy sterta osiągnie rozmiar celu.
Wreszcie, kontroler wyzwalacza tworzy pętlę sprzężenia zwrotnego, która łączy te dwa widoki czasu, optymalizując zarówno czas sterty, jak i czas procesora.

Oto implementacja GC:

Https://github.com/golang/go/blob/master/src/runtime/mgc.go

Z dokumentów w źródle:

GC działa jednocześnie z wątkami mutatora, jest typu dokładnego (aka precyzyjnego), pozwala na równoległe działanie wielu wątków GC. Jest to współbieżny znak i zamiatanie, które wykorzystuje barierę zapisu. Jest ona niepolegająca i niepogniskowa. Alokacja odbywa się przy użyciu segregowanych wielkości na obszary alokacji P, aby zminimalizować fragmentacja przy jednoczesnym wyeliminowaniu zamków w powszechnym przypadku.

Go 1.8 GC może ewoluować ponownie, z propozycją "wyeliminuj ponowne skanowanie stosu STW"

Od wersji Go 1.7, jedynym pozostałym źródłem nieograniczonego i potencjalnie nietrywialnego stop-the-world (STW) jest ponowne skanowanie stosu.

Proponujemy wyeliminowanie potrzeby ponownego skanowania stosu przez przełączenie na hybrydową barierę zapisu, która łączy w sobie barierę zapisu delecji w stylu Yuasa [Yuasa '90] i barierę zapisu wstawiania w stylu Dijkstry [Dijkstra ' 78] .

Wstępne eksperymenty pokazują, że może to skrócić najgorszy czas STW do poniżej 50µs, a takie podejście może sprawić, że praktyczne będzie całkowite wyeliminowanie zakończenia znaku STW.

Ogłoszenie jest tutaj i możesz zobaczyć odpowiedni commit źródłowy to d70b0fe i wcześniej.

Nie jestem pewien, ale myślę, że obecny (tip) GC jest już równoległy, a przynajmniej jest WIP. Tak więc nieruchomość stop-the-world nie ma już zastosowania lub nie będzie w najbliższej przyszłości. Być może ktoś inny może wyjaśnić to bardziej szczegółowo.