Kako funkcioniše mehanizam automatskog prikupljanja smeća u sistemu upravljanja memorijom?

У механизму за аутоматско сакупљање отпада (GC) у Go-у, користи се алгоритам праћења са бројачем доступности објеката. Када програм додељује меморију за објекте, сакупљач отпада се периодично покреће како би одредио који објекти више нису доступни из коренских тачака (нпр. глобалне променљиве, стекови горутинa).

GC у Go-у ради паралелно са извршавањем програма, минимизирајући паузе. Користи три главне фазе:

1. Обележавање — сакупљач обележава све објекте који су доступни из корена.
2. Чишћење — меморија која заузимају немаркирани (недоступни) објекти се ослобађа.
3. Компресија — у Go-у се компресија меморије не примењује, јер се користи алгоритам са делењем на генерације и фрагментација се контролише на други начин.

Ево како изгледа поједностављени циклус GC:

// Пример имплицитне употребе GC
func main() {
    data := make([]byte, 1024*1024) // резервише 1MB
    _ = data
    // Када се data престане користити, GC ће аутоматски ослободити меморију
}

На овај начин, програмер не управља меморијом ручно, а GC обезбеђује аутоматско ослобађање непотребних објеката, смањујући вероватноћу цурења меморије.