Обяснете механизма за автоматично събиране на отпадъци в езика Go и как той управлява паметта.

В езика Go се използва автоматичен събирач на отпадъци (Garbage Collector, GC), който управлява паметта, като освобождава неизползваните обекти.

Механизмът се базира на алгоритъм за проследяване и броене на достъпността на обектите:

• Go стартира събирането на отпадъци паралелно с изпълнението на програмата (конкурентен GC).
• GC определя кои обекти в купчината вече не са достъпни от кореновите референции (например, глобални променливи, стекове на горутините).
• Недостъпните обекти се считат за отпадъци и се освобождават.

Характеристики:

• Go използва трето поколение събиране: mark (маркиране на достъпните обекти), sweep (освобождаване на недостъпните).
• Събирането на отпадъци минимизира паузите, за да не блокира изпълнението на програмата.
• Управлението на паметта е автоматично, програмистът не трябва явно да освобождава памет.

Пример:

func main() {
    s := make([]int, 1000000) // заделяне на памет
    // използване на s
    s = nil // сега срезът не е достъпен
    // GC ще освободи паметта при следващото изпълнение
}

По този начин, Go опростява управлението на паметта, намалявайки вероятността от течове и грешки.