როგორ მუშაობს garbage collector-ი Go-ში?

Go-ში Garbage Collector (GC) — ეს არის ტრიგერზე დაფუძნებული, კონკურენტული, მარკირება და სუფთავების შეგროვებელი, mark-and-sweep ალგორითმით. იგი მუშაობს პარალელურად ძირითადი შესრულების ნაკადთან და მინიმუმამდე აყვანა პროგრამის გაჩერების დროს.

Go-ის GC-ის ძირითადი ეტაპები:

1. მარკირება (Mark): GC გადის ყველა ფესვზე (გორუტინები, სტეკები, გლობალური ცვლადები) და მარკირებს ყველა მისაწვდომ ობიექტს.
2. სუფთავება (Sweep): ყველა არამარკირებული ობიექტი მიიჩნევა ნაგავს და თავისუფლდება.

Go-ის GC ოპტიმიზირებულია დაბალი ლატენციისთვის, ამიტომ შეგროვება ხდება პარალელურად პროგრამის შესრულებასთან ერთად, რაც ამცირებს გაჩერების დროს. ასევე, GC ავტომატურად მართავს მეხსიერებას, გამორიცხავს პროგრამისტს ხელით მართვიდან.

ასეთი ჩანს GC-ის მარტივ ციკლი:

// მეხსიერება განაწილებულია new ან make-ის საშუალებით
p := new(int)
// GC ავტომატურად გაათავისუფლებს მეხსიერებას, როდესაც p მიუწვდომელი გახდება

ბოლო ვერსიებში, Go-ის GC გაუმჯობესებულია მრავალთრედინგთან მუშაობისთვის და მეხსიერების ფრაგმენტაციის შემცირებისთვის.