Ինչպես է աշխատում հիշողության կառավարման համակարգում ավտոմատ աղբահավաքի մեխանիզմը?

Go-ում ավտոմատ աղբահավաքի (GC) մեխանիզմը հիմնված է հետևման ալգորիթմի վրա, որը հաշվում է առկա օբյեկտների հասանելիությունը: Երբ ծրագիրը հատկացնում է հիշողություն օբյեկտների համար, աղբահավաքը ժամանակ առ ժամանակ գործարկվում է՝ որոշելու համար, թե որոնք օբյեկտները այլևս հասանելի չեն հիմնական կետերից (օրինակ՝ գլոբալ փոփոխականներ, goroutine-ների ստեքներ):

Go-ում GC-ը աշխատում է ծրագրի կատարման հետ զուգահեռ և նվազեցնում է ընդհատումները: Այն օգտագործում է երեք հիմնական փուլ՝

1. Նշում — հավաքիչը նշում է բոլոր այն օբյեկտները, որոնք հասանելի են հիմնական կետերից:
2. Անջատում — նշված (հասանելի) չլինող օբյեկտների զբաղեցրած հիշողությունը ազատվում է:
3. Սեղմում — Go-ում հիշողության սեղմում չի կիրառվում, քանի որ օգտագործվում է սերնդային բաժանման ալգորիթմ և ֆրագմենտացիան այլ կերպ է վերահսկվում:

Ահա պարզեցված GC ցիկլի օրինակ՝

// Անհայտ օգտագործման GC օրինակ
func main() {
    data := make([]byte, 1024*1024) // հատկացնում է 1MB
    _ = data
    // Երբ data-ն այլևս չի օգտագործվում, GC-ն ավտոմատ կերպով ազատում է հիշողությունը
}

Այսպիսով, ծրագրավորողը ձեռքով չի կառավարում հիշողությունը, և GC-ն ապահովում է անօգտագործված օբյեկտների ավտոմատ ազատում, ինչը նվազեցնում է հիշողության լքման ռիսկը։