Garbage Collection في Go

جزء من قسم Object Oriented Programming في رحلة GO على Coddy — الدرس 23 من 107.

على عكس لغات مثل C أو C++، تتعامل لغة Go مع إدارة الذاكرة تلقائيًا من خلال جمع المهملات (garbage collection - GC). لا تحتاج إلى تحرير الذاكرة يدويًا عند الانتهاء من استخدامها. يتتبع وقت تشغيل Go الذاكرة التي لا تزال قيد الاستخدام ويستعيد الباقي.

عندما تقوم بتخصيص الذاكرة باستخدام new()، أو make()، أو عن طريق إنشاء المتغيرات، يقوم جامع القمامة (garbage collector) في لغة Go بمراقبة هذه التخصيصات. وبمجرد أن تصبح القيمة غير قابلة للوصول من قبل أي جزء من برنامجك، يقوم الـ GC تلقائياً بتحرير تلك الذاكرة.

func createPerson() *Person {
    p := &Person{Name: "Alice", Age: 30}
    return p  // p يهرب إلى الـ heap، وسيقوم الـ GC بإدارته
}

func main() {
    person := createPerson()
    fmt.Println(person.Name)
    // عندما لا يعود person مستخدماً، يقوم الـ GC باستعادة الذاكرة
}

في هذا المثال، يتم تخصيص هيكل Person على الكومة (heap) لأنه يتم إرجاعه من الدالة. يقوم مترجم Go بـ تحليل الهروب (escape analysis) لتحديد ما إذا كان المتغير يمكنه البقاء على المكدس (stack) أو يجب نقله إلى الكومة (heap). يدير جامع القمامة (garbage collector) ذاكرة الكومة فقط.

تعني إدارة الذاكرة التلقائية هذه أنه يمكنك التركيز على بناء تطبيقك دون القلق بشأن تسرب الذاكرة الناتج عن عمليات إلغاء التخصيص المنسية. ومع ذلك، فإن فهم وجود GC يساعدك على كتابة كود أكثر كفاءة من خلال تقليل التخصيصات غير الضرورية عندما يكون الأداء مهماً.

التحدي

سهل

لنقم ببناء مدير جلسات (session manager) يوضح كيفية تعامل جامع القمامة (garbage collector) في Go مع الذاكرة للكائنات التي تهرب إلى الكومة (heap). ستقوم بإنشاء جلسات يتم تخصيصها ديناميكيًا وإرجاعها من الدوال، مما يسمح لـ GC بإدارة دورة حياتها.

ستقوم بتنظيم الكود الخاص بك عبر ملفين:

session.go: قم بتعريف هيكل Session يحتوي على حقول ID (سلسلة نصية)، و Username (سلسلة نصية)، و Data (شريحة من السلاسل النصية). أنشئ دالة NewSession تأخذ معرفًا واسم مستخدم، وتخصص Session جديدًا على الكومة (عن طريق إرجاع مؤشر)، وتهيئ شريحة البيانات كفارغة. أضف أيضًا تابعًا AddData مع مستقبل مؤشر (pointer receiver) يضيف سلسلة نصية إلى شريحة Data الخاصة بالجلسة، وتابعًا Summary يعيد سلسلة نصية منسقة تعرض تفاصيل الجلسة.
main.go: اقرأ معلومات الجلسة من المدخلات، وأنشئ جلسة باستخدام دالة البناء الخاصة بك، وأضف بعض إدخالات البيانات إليها، واعرض ملخص الجلسة. نظرًا لأن الجلسة تم إنشاؤها داخل دالة وتم إرجاعها كمؤشر، فإنها تهرب إلى الكومة حيث سيتولى جامع القمامة إدارتها.

سيتم توفير المدخلات التالية:

السطر 1: معرف الجلسة (Session ID)
السطر 2: اسم المستخدم (Username)
السطر 3: أول إدخال بيانات لإضافته
السطر 4: ثاني إدخال بيانات لإضافته

يجب أن يعيد تابع Summary الخاص بك سلسلة نصية بهذا التنسيق:

Session [ID] for user [Username]
Data entries: [count]
- [entry1]
- [entry2]

على سبيل المثال، إذا كانت المدخلات sess-001، و alice، و login، و view_dashboard، يجب أن يكون مخرجك:

Session sess-001 for user alice
Data entries: 2
- login
- view_dashboard

الفكرة الأساسية هنا هي أن دالة NewSession الخاصة بك تنشئ Session وتعيد مؤشرًا إليه. يؤدي هذا إلى "هروب" الجلسة إلى الكومة بدلاً من البقاء في المكدس (stack)، مما يجعلها مؤهلة لجمع القمامة بمجرد عدم بقاء أي مراجع تشير إليها. لا يحتاج الكود الخاص بك إلى تحرير هذه الذاكرة يدويًا — تتولى Go ذلك تلقائيًا.

ورقة مرجعية

تستخدم لغة Go تجميع القمامة (GC) لإدارة الذاكرة تلقائيًا. لا تحتاج إلى تحرير الذاكرة يدويًا.

يتتبع جامع القمامة تخصيصات الذاكرة ويستعيد الذاكرة التي لم يعد من الممكن الوصول إليها بواسطة برنامجك.

func createPerson() *Person {
    p := &Person{Name: "Alice", Age: 30}
    return p  // يهرب p إلى الكومة (heap)، وسيقوم جامع القمامة (GC) بإدارته
}

func main() {
    person := createPerson()
    fmt.Println(person.Name)
    // عندما لا يعود person مستخدمًا، يستعيد جامع القمامة الذاكرة
}

يقوم مترجم Go بإجراء تحليل الهروب (escape analysis) لتحديد ما إذا كان المتغير سيبقى في المكدس (stack) أم سينتقل إلى الكومة (heap). المتغيرات التي تهرب إلى الكومة (مثل المؤشرات المرجعة) تتم إدارتها بواسطة جامع القمامة.

يدير جامع القمامة ذاكرة الكومة فقط، وليس ذاكرة المكدس. يتم تحرير ذاكرة المكدس تلقائيًا عند انتهاء الدالة.

جرّب بنفسك

package main

import (
	"bufio"
	"fmt"
	"os"
)

func main() {
	reader := bufio.NewReader(os.Stdin)

	// قراءة session ID
	sessionID, _ := reader.ReadString('\n')
	sessionID = sessionID[:len(sessionID)-1]

	// قراءة username
	username, _ := reader.ReadString('\n')
	username = username[:len(username)-1]

	// قراءة مدخل البيانات الأول
	data1, _ := reader.ReadString('\n')
	data1 = data1[:len(data1)-1]

	// قراءة مدخل البيانات الثاني
	data2, _ := reader.ReadString('\n')
	data2 = data2[:len(data2)-1]

	// TODO: إنشاء جلسة جديدة باستخدام دالة NewSession
	// ستنتقل الجلسة إلى الـ heap لأننا نعيد pointer

	// TODO: إضافة مدخلات البيانات إلى الجلسة باستخدام method الـ AddData

	// TODO: طباعة ملخص الجلسة باستخدام method الـ Summary
	fmt.Println("")
}