როგორ არის მოწყობილი გოჯა ენისა?

Golang-ში heap — ეს არის მეხსიერების ტერიტორია, სადაც განაწილებული დინამიური ობიექტები ინახება. ამ მეხსიერების მართვა ავტომატურად ხორციელდება მტვრის შეგროვებლის მიერ:

ძირითადი ასპექტები:

• დინამიური განაწილება: მცირე ზომის და მოკლე სიცოცხლის ობიექტები, რომელთა სიცოცხლის ხანგრძლივობა ვერ ადასტურებს კომპილატორი, რომ მათი სიცოცხლის ხანგრძლივობა შეზღუდულია ფუნქციის ან სტეკის საზღვრებით, ან რომლებიც განაწილებულია new ან მისამართის (&) გამოყენებით, ჩვეულებრივ, განთავსებულია heap-ზე.
• მტვრის შეგროვებელი (GC): Go იყენებს პარალელურ, სამფეროვან, Mark-and-Sweep მტვრის შეგროვებელს. იგი მუშაობს პროგრამის შესრულებასთან ერთად, მინიმუმამდე ამცირებს პაუზებს.
  • Mark (ნიშნვა): GC გადის მისაღწევ ობიექტებს ძირითადი მაჩვენებლებიდან (ადგილობრივი ცვლადები სტეკზე, გლობალური ცვლადები) და მათ "ცოცხლად" აღნიშნავს.
  • Sweep (სუფთავება): GC გადის მთელ ხელმისაწვდომ heap-ს და თავისუფლեցնում მეხსიერებას, რომელიც დაკავებულია ობიექტებით, რომლებიც არ არის აღნიშნული "ცოცხლად".
  • პარალელურად: GC მუშაობს ცალკეულ goroutines-ებში, ამცირებს ძირითადი პროგრამის დაგვიანებას.
• Escape Analysis: Golang-ის კომპილატორი ახორციელებს ანალიზს (escape analysis), რათა განსაზღვროს, სად მიუთითებს ცვლადი ან მნიშვნელობა — სტეკზე თუ heap-ზე. თუ ცვლადი ან სტრუქტურის ფილიალი შეიძლება იყოს ხელმისაწვდომი მიმდინარე goroutine-ის დაბრუნების შემდეგ, იგი სავარაუდოდ განთავსდება heap-ზე. წინააღმდეგ შემთხვევაში, სტეკზე.

  // Escape analysis-ის მაგალითი:
  // ეს ობიექტი სავარაუდოდ განთავსდება heap-ზე,
  // რადგან დაბრუნებულია მაჩვენებელი:
  func createPoint() *Point {
      p := Point{X: 1, Y: 2}
      return &p // მაჩვენებელი "გარბის" ფუნქციიდან
  }
  
  // ეს ობიექტი სავარაუდოდ განთავსდება სტეკზე,
  // რადგან ის არ არის ხელმისაწვდომი ფუნქციის დასრულების შემდეგ:
  func processValue() {
      val := 10
      println(val)
  }
  
  type Point struct {
      X, Y int
  }
  

• არენების (Arenas) განაწილება: Golang-ის heap შეიძლება იყოს დაყოფილი რამდენიმე arena-ზე, რაც ეხმარება მტვრის შეგროვებელს უფრო ეფექტურად მუშაობაში, განსაკუთრებით მრავალპროცესორულ სისტემებზე.
• mmap-ის გამოყენება: Golang იყენებს სისტემურ გამოძახილს mmap (Memory Map) დიდი ვირტუალური მეხსიერების ბლოკების განაწილებისთვის heap-ისთვის.
• უსაფერხოობა: ზოგიერთი ენისგან განსხვავებით, Go არ გარანტირებს ფიზიკურ უწყვეტობას ობიექტების heap-ში. მეხსიერება შეიძლება იყოს ფრაგმენტირებული.
• მექანიკური მეხსიერების მართვის უქონლობა: პროგრამისტს არ სჭირდება მეხსიერების გამოყოფა ან გათავისუფლება პირდაპირ heap-ში. GC ამას აკეთებს ავტომატურად.

სტეკი და heap Golang-ში ასრულებენ სხვადასხვა როლებს:

მეხსიერების ტერიტორია	დანიშნულება	მართვა	სიცოცხლის დრო
სტეკი	ადგილობრივი ცვლადები, ფუნქციის პარამეტრები, დაბრუნების მისამართები	ავტომატური (ფუნქციაში შესვლის/გასვლის დროს)	შეზღუდულია ფუნქციის შესრულების დროს
heap	დინამიურად განაწილებული ობიექტები, რომლებიც "გარბიან" სტეკიდან, დიდი სტრუქტურები	მტვრის შეგროვებელი (GC)	განსაზღვრული ხელმისაწვდომობით ობიექტის ძირებიდან