هل يمكن أن تحدث تسريبات الذاكرة في اللغات التي تعتمد على جمع البيانات المهملة؟

نعم. وفهم السبب يتطلب التخلي عن واحدة من أكثر الخرافات رسوخاً في مجال تطوير البرمجيات.

الخرافة: تمنع عملية جمع البيانات المهملة تسرب الذاكرة. الحقيقة: تمنع عملية جمع البيانات المهملة نوعًا محددًا من مشاكل الذاكرة، وهو المرجع المعلق، حيث يفقد البرنامج جميع المؤشرات إلى كتلة من الذاكرة ولا يملك أي وسيلة لتحريرها. ما لا تمنعه ​​عملية جمع البيانات المهملة، ولا يمكنها منعه، هو المشكلة المعاكسة: برنامج يحتفظ بمرجع إلى كائن لم يعد بحاجة إليه. يرى جامع البيانات المهملة مرجعًا نشطًا ويترك الكائن كما هو، وهذا صحيح. كان المطور ينوي التوقف عن استخدام هذا الكائن. تنمو الذاكرة. التأثير مماثل لتسرب الذاكرة التقليدي، نمو غير محدود للذاكرة، أخطاء نفاد الذاكرة في النهاية، إعادة تشغيل الخدمة، لكن الآلية مختلفة.

هذا التمييز مهم لأنه يغير مكان البحث عن المشكلة وكيفية حلها. في لغتي C و C++، يعني تسرب الذاكرة فقدان جزء من الذاكرة. free() or deleteفي لغات البرمجة Java وPython وC# وGo وJavaScript، يُشير هذا إلى مرجع كان من المفترض حذفه ولكنه لم يُحذف. لا يوجد خلل في مُجمِّع البيانات المهملة، بل هو يتعامل بشكل صحيح مع مرجع كان من المفترض ألا يحتفظ به البرنامج.

ما يفعله جامعو القمامة فعلياً

تتمثل مهمة جامع البيانات المهملة في تحديد واستعادة الذاكرة التي لم تعد قابلة للوصول إليها من جذور البرنامج، والمتغيرات العامة، ومتغيرات المكدس، وحالة الخيوط المحلية. يُعتبر أي كائن قابل للوصول إليه من الجذر نشطًا. أما أي كائن غير قابل للوصول إليه فهو مؤهل للجمع.

تُعرّف استراتيجيات إدارة المحتوى الثلاث السائدة إمكانية الوصول بشكل مختلف:

تحديد ومسح (المستخدمة في HotSpot في Java وGo وC#/.NET) تبدأ من مجموعة الجذر وتجتاز جميع مراجع الكائنات التي يمكن الوصول إليها. يتم مسح الكائنات التي لم يتم الوصول إليها أثناء الاجتياز. هذا يعالج المراجع الدائرية بشكل صحيح، حيث يتم جمع كائنين يشيران إلى بعضهما البعض ولكن لا يمكن الوصول إليهما من أي مكان آخر. ما لا يمكنها معالجته: حاوية يمكن الوصول إليها من الجذر (ثابتة) HashMapمستوى الفصل الدراسي List) الذي ينمو بلا حدود لأن المدخلات تُضاف ولا تُحذف أبدًا.

عدّ المراجع (الآلية الأساسية في CPython) تتعقب عدد المراجع التي تشير إلى كل كائن. عندما يصل العدد إلى الصفر، يتم تحرير الكائن فورًا. نمط الفشل الكلاسيكي: المراجع الدائرية حيث يشير A إلى B وB يشير إلى A. كلاهما لديه عدد مراجع لا يقل عن 1 ولا يتم تحريرهما أبدًا. تعالج CPython هذا باستخدام جامع دورات إضافي، لكن جامع الدورات هذا لديه حالات استثنائية تتعلق بالكائنات ذات __del__ الأساليب.

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

لا تتحقق أي من هذه الآليات مما إذا كان ينبغي للبرنامج أن لا يزال يستخدم كائنًا ما، بل فقط ما إذا كان بإمكانه الوصول إليه.

الآليات الخمس التي تسبب تسرب الذاكرة في لغات إدارة الذاكرة

1. المجموعات الثابتة ومجموعات مستوى الفئة

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

جافا

// Java: static cache that grows without bound
public class SessionManager {
    // Lives for the lifetime of the JVM process
    private static final Map<String, UserSession> sessions = new HashMap<>();

    public void createSession(String userId) {
        sessions.put(userId, new UserSession(userId));
        // Session is added but never removed when it expires
    }
    // Missing: cleanup when session expires or user logs out
}

استخدم sessions يمكن الوصول إلى الخريطة من مُحمِّل الفئات، والذي يمكن الوصول إليه من الجذر. كل UserSession تتراكم البيانات التي يتم إنشاؤها باستمرار. في خدمة طويلة الأمد، يؤدي ذلك إلى استنزاف الذاكرة على مدار ساعات أو أيام. يتطلب الحل إزالة البيانات بشكل فعال (اتصل بـ sessions.remove(userId) عند تسجيل الخروج أو انتهاء الصلاحية) أو التبديل إلى بنية ذات إخلاء تلقائي مثل ذاكرة التخزين المؤقت المحددة بوقت.

2. مستمعو الأحداث وردود الاتصال

يؤدي تسجيل مراقب أو مستمع أو دالة رد نداء إلى إنشاء مرجع من مصدر الحدث إلى المستمع. إذا لم يتم إلغاء تسجيل المستمع، فإن مصدر الحدث يُبقي المستمع نشطًا طالما أن مصدر الحدث موجود، وهو ما قد يطول أكثر من المتوقع.

الثعبان

# Python: listener retained by long-lived event source
class DataSource:
    def __init__(self):
        self._listeners = []

    def add_listener(self, listener):
        self._listeners.append(listener)

    # Missing: remove_listener method

class DataProcessor:
    def __init__(self, source: DataSource):
        self.source = source
        source.add_listener(self._on_data)   # strong reference held in source

    def _on_data(self, data):
        pass

# Each DataProcessor created is never collected because
# DataSource._listeners holds a reference to its bound method
source = DataSource()
for _ in range(10000):
    processor = DataProcessor(source)
    # processor goes out of scope here
    # but source._listeners still holds 10,000 bound method references

3. المتغيرات المحلية للخيوط في مجموعات الخيوط

يقتصر نطاق التخزين المحلي للخيط على الخيط نفسه، وليس على أي مهمة محددة. في التطبيقات التي تستخدم مجموعات الخيوط، حيث يُعاد استخدام الخيوط عبر العديد من الطلبات، تظل المتغيرات المحلية للخيط التي تم تعيينها أثناء طلب واحد مُعيّنة لكل طلب لاحق يُعالجه نفس الخيط.

جافا

// Java: ThreadLocal leak in a thread pool
public class RequestContextHolder {
    private static final ThreadLocal<RequestContext> context = new ThreadLocal<>();

    public static void setContext(RequestContext ctx) {
        context.set(ctx);
    }

    public static RequestContext getContext() {
        return context.get();
    }

    // Missing: clearContext() method called after each request
}

// In a servlet or request handler:
public void handleRequest(HttpRequest req) {
    RequestContextHolder.setContext(new RequestContext(req));
    // ... process request
    // Missing: RequestContextHolder.clearContext();
    // The RequestContext stays associated with this thread indefinitely
}

في مجموعة خيوط مكونة من 50 خيطًا تعالج ملايين الطلبات، سيحتوي كل خيط في النهاية على RequestContext بالرجوع إلى بيانات الطلب الأخير، وتفاصيل الاتصال، وبيانات اعتماد المستخدم، ومعلمات الطلب. لا يتم جمع هذه البيانات مطلقًا لأن سلاسل العمليات نفسها لا يتم جمعها.

4. عمليات الإغلاق لالتقاط الرسوم البيانية للأجسام الكبيرة

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

جافا سكريبت

// JavaScript: closure capturing large object in event listener
function setupHandler() {
    const largeDataset = fetchLargeDataset(); // 50MB of data

    document.getElementById('btn').addEventListener('click', function() {
        // Only uses one field, but captures entire largeDataset in closure
        console.log(largeDataset.summary);
    });

    // largeDataset cannot be collected as long as the button exists
    // because the event listener closure holds a reference to it
}

// Fix: capture only what you need
function setupHandlerFixed() {
    const largeDataset = fetchLargeDataset();
    const summary = largeDataset.summary; // extract only needed data

    document.getElementById('btn').addEventListener('click', function() {
        console.log(summary); // closure captures only the string
    });
    // largeDataset is now eligible for collection
}

5. ذاكرة تخزين مؤقت غير محدودة بدون إخلاء

تُعدّ ذاكرة التخزين المؤقت من أكثر مصادر تسرب الذاكرة شيوعًا في خدمات الإنتاج. فذاكرة التخزين المؤقت التي تنمو دون سياسة إخلاء تُصبح مُجمّعًا للكائنات التي لا يُمكن جمعها لأن ذاكرة التخزين المؤقت نفسها قابلة للوصول دائمًا.

CSHARP

// C#: unbounded dictionary used as cache
public class PriceService {
    // Growing forever -- no eviction, no size limit
    private static Dictionary<string, decimal> _priceCache = new();

    public decimal GetPrice(string productId) {
        if (!_priceCache.TryGetValue(productId, out var price)) {
            price = FetchPriceFromDatabase(productId);
            _priceCache[productId] = price;
        }
        return price;
    }
    // After processing 1 million unique product IDs, the cache
    // holds 1 million entries and grows with every new product
}

// Fix: use a cache with eviction policy
using Microsoft.Extensions.Caching.Memory;

public class PriceService {
    private readonly IMemoryCache _cache;

    public PriceService(IMemoryCache cache) {
        _cache = cache;
    }

    public decimal GetPrice(string productId) {
        return _cache.GetOrCreate(productId, entry => {
            entry.AbsoluteExpirationRelativeToNow = TimeSpan.FromMinutes(10);
            entry.SizeLimit = 1;  // bounded by cache size configuration
            return FetchPriceFromDatabase(productId);
        });
    }
}

تسرب الذاكرة حسب اللغة

جافا

تتضمن أنماط تسريب الذاكرة الأكثر شيوعًا في جافا، بالإضافة إلى المجموعات الثابتة، ما يلي: finalize() الأساليب والفئات الداخلية. تحتفظ الفئات الداخلية غير الثابتة بمرجع ضمني إلى نسخة الفئة الخارجية المحيطة بها. تحتفظ الفئة المجهولة المُعرَّفة داخل نشاط أو جزء (في نظام أندرويد) بمرجع إلى ذلك النشاط، مما يمنع جمعها بعد التدوير أو التنقل.

جافا WeakHashMap يحل هذا النظام مشكلة المجموعات الثابتة في الحالات التي تكون فيها المفاتيح هي الكائنات ذات الدلالة: فعندما يصبح المفتاح غير قابل للوصول إليه من أي مكان آخر، تتم إزالة الإدخال تلقائيًا. أما بالنسبة للقيم التي يجب تحريرها عند عدم الرجوع إليها، WeakReference و SoftReference قم بتغليف الكائنات دون إنشاء مراجع قوية تمنع التجميع.

أدوات الكشف: Java VisualVM، وEclipse Memory Analyzer (MAT)، وJProfiler، وYourKit، وHeapHero لتحليل ملفات تفريغ الذاكرة. ابحث عن byte[], char[]و Object[] نمو في مخططات التوزيع التكراري للكومة، وعادة ما تدعم هذه المخططات هياكل البيانات في المجموعات المتوسعة.

Python

تتكون آلية جمع البيانات المهملة في بايثون من طبقتين: طبقة عدّ المراجع (الأساسية) وطبقة جامع الحلقات (التكميلية). تقوم طبقة عدّ المراجع بتحرير الكائنات فور وصول العدّ إلى الصفر، مما يجعلها سريعة ويمكن التنبؤ بها. أما طبقة جامع الحلقات فتتعامل مع المراجع الدائرية، ولكنها تعمل بوتيرة أقل وتواجه استثناءات.

الثعبان

# Python circular reference with __del__ -- historically problematic
class Node:
    def __init__(self):
        self.child = None

    def __del__(self):
        print("Node deleted")

a = Node()
b = Node()
a.child = b
b.child = a   # circular reference
del a, b      # neither freed in Python 2; freed by cycle collector in Python 3.4+

يتعامل بايثون 3.4 والإصدارات الأحدث مع معظم المراجع الدائرية بشكل صحيح. أما أنماط تسريب البيانات المتبقية فهي: الكائنات المخزنة في متغيرات عامة على مستوى الوحدة، والتي تتزايد باستمرار. defaultdict or dict الهياكل المستخدمة كسجلات، والذاكرة في وحدات C الإضافية التي لا يتم عرضها لجامع البيانات المهملة في بايثون.

كشف: tracemalloc (المكتبة القياسية)، memory_profiler, objgraph. objgraph.show_most_common_types() و objgraph.show_growth() تحدد الدوال أنواع البيانات التي تتراكم.

سي شارب و.نت

تحدث تسريبات C# في أغلب الأحيان من خلال: معالجات الأحداث التي لم يتم إلغاء الاشتراك فيها، ومصادر الأحداث الثابتة التي تحتفظ بمراجع لمثيلات المشتركين، وكائنات IDisposable التي لم يتم التخلص منها.

CSHARP

// C#: event handler leak
public class Publisher {
    public static event EventHandler DataChanged;  // static event
}

public class Subscriber {
    public Subscriber() {
        Publisher.DataChanged += OnDataChanged;  // strong reference
    }

    private void OnDataChanged(object sender, EventArgs e) { }

    // Missing: Dispose() calling Publisher.DataChanged -= OnDataChanged
}

استخدم Subscriber لا يتم تحصيلها مطلقاً طالما Publisher موجود (وهو ثابت، وبالتالي يبقى للأبد)، لأن الحدث الثابت يحتوي على مُفوَّض يُشير إلى مثيل المُشترك. والحل هو تنفيذ IDisposable وإلغاء الاشتراك في Dispose()أو باستخدام WeakEventManager.

الكشف: .NET Memory Profiler، وdotMemory، وأدوات التشخيص في Visual Studio، وWinDbg مع ملحق SOS لتفريغ الذاكرة المخصصة للإنتاج.

Go

تستخدم لغة Go آلية جمع البيانات المهملة (GC) من نوع "mark-and-sweep" مع فترة توقف قصيرة جدًا. ومع ذلك، تُعاني برامج Go من تسريبات الذاكرة نتيجةً لتسريبات الروتينات الفرعية (goroutines)، وهي روتينات فرعية تبدأ ولا تنتهي أبدًا.

go

// Go: goroutine leak -- channel never closed, goroutine blocked forever
func processItems(items []Item) {
    results := make(chan Result)

    go func() {
        for _, item := range items {
            results <- process(item)
        }
        // Missing: close(results)
        // This goroutine blocks on the send if no one reads after items run out
    }()

    for result := range results {
        handleResult(result)
    }
    // If the goroutine blocks and results is never closed,
    // the loop here also blocks -- both goroutines leak
}

تحتوي كل عملية فرعية مُسرّبة على مكدسها (بحجم مبدئي 2 كيلوبايت، ويتزايد حسب الحاجة) وأي كائنات في الذاكرة الديناميكية تشير إليها. الخدمة التي تُسرّب عملية فرعية واحدة لكل طلب تُراكم الآلاف منها بمرور الوقت.

كشف: runtime.NumGoroutine() متري، pprof نقطة نهاية ملف تعريف الروتين الفرعي (/debug/pprof/goroutine)، و goleak للاختبار. يُظهر ملف تعريف pprof تتبع مكدس كل روتين فرعي، مما يُسهّل تحديد الوظائف التي تُسبب حظرًا غير مُحدد.

جافا سكريبت و Node.js

في Node.js، تتضمن أنماط التسريب الأكثر شيوعًا المتغيرات العامة، ومستمعي باعث الأحداث الذين يتراكمون دون إزالة، والمخازن المؤقتة/التدفقات التي لا يتم إغلاقها بشكل صحيح.

جافا سكريبت

// Node.js: EventEmitter listener leak
const EventEmitter = require('events');
const emitter = new EventEmitter();

function createHandler() {
    emitter.on('data', (data) => {
        // This listener is never removed
        // Each call to createHandler adds another listener
        console.log(data);
    });
}

// Called once per request in a server:
// After 11 calls, Node prints MaxListenersExceededWarning
// After thousands of calls, thousands of listeners accumulate

// Fix: use emitter.once() for one-time listeners
// or explicitly remove with emitter.off()

الكشف: لقطات ذاكرة التخزين المؤقت لأدوات مطوري Chrome (لـ JavaScript المتصفح)، node --inspect باستخدام أدوات مطوري Chrome (لـ Node.js)، clinic.js لأغراض تحليل أداء Node.js في بيئة الإنتاج، و heapdump حزمة npm لالتقاط ومقارنة لقطات الذاكرة المؤقتة بمرور الوقت.

أنماط الوقاية عبر لغات GC

بدلاً من تصحيح أخطاء التسريبات بعد ظهورها في بيئة الإنتاج، تعمل هذه الأنماط الهيكلية على منع الأسباب الأكثر شيوعاً:

مراجع ضعيفة يسمح هذا الخيار بالإشارة إلى كائن دون منع جمعه. عندما يحتاج جامع البيانات المهملة إلى ذاكرة، تكون الكائنات ذات الإشارات الضعيفة مؤهلة للجمع حتى لو وُجدت إشارات إليها. استخدم WeakReference<T> في لغتي جافا وسي شارب، weakref.ref() في بايثون، و WeakRef في جافا سكريبت لذاكرة التخزين المؤقت وتسجيلات المراقبين حيث لا ينبغي أن يمتد عمر الكائن المرجعي إلى عمر الكائن المشار إليه.

ذاكرات تخزين محدودة الحجم مع إمكانية الإخلاء استبدل الخام HashMap or dict مع تطبيقات ذاكرة تخزين مؤقت مصممة خصيصًا: Guava's CacheBuilder في جافا، functools.lru_cache or cachetools في لغة بايثون، IMemoryCache مع وجود حدود للحجم في لغة C#، و node-lru-cache في Node.js.

إدارة دورة الحياة الصريحة يضمن أن الكائنات التي تحتوي على مستمعين مسجلين أو موارد مفتوحة أو حالة محلية خاصة بالخيط تُنفذ close(), dispose()أو طريقة مكافئة تقوم بعملية التنظيف، والتي يستدعيها المستخدمون دائمًا، من خلال try-with-resources في جافا، with عبارات في بايثون، using التصريحات في لغة C#، و defer في الذهاب.

إلغاء الروتين يستخدم Go context.Context مع إمكانية الإلغاء لضمان وجود مسار لإنهاء كل روتين فرعي. الروتينات الفرعية التي تختار ctx.Done() يمكن إرسال إشارة للخروج، مما يمنع التراكم.

كيف يكشف التحليل الثابت عن التسريبات المحتملة قبل الإنتاج

يكشف تحليل الذاكرة عن التسريبات بعد ظهورها. أما التحليل الثابت فيكشف عن الأنماط الهيكلية التي تسببها قبل تشغيل الكود.

SMART TS XLالصورة تحليل الكود الثابت يفحص الخصائص الهيكلية لقواعد البيانات عبر لغات Java و Python و C# و JavaScript وغيرها، ويحدد الأنماط المرتبطة بالاحتفاظ غير المقصود: المجموعات الثابتة بدون إخلاء موثق، وتسجيلات مستمعي الأحداث بدون إلغاء تسجيل مقابل، واستخدام ThreadLocal بدون تنظيف، وتخصيصات الموارد بدون التخلص المقابل.

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

بالنسبة للمؤسسات التي تدير قواعد بيانات برمجية قديمة ضخمة حيث تم وضع أنماط إدارة الذاكرة منذ سنوات أو عقود، SMART TS XLالصورة تحليل الأثر تتيح هذه القدرة تحديد نطاق المعالجة وجعلها منهجية: تحديد كل موقع يحدث فيه نمط مضاد محدد (ذاكرة تخزين مؤقت ثابتة غير محدودة، مستمع غير مُزال)، وحصر المكونات المتأثرة، والتخطيط للمعالجة حسب ترتيب المخاطر بدلاً من اكتشاف الحالات حادثة إنتاج واحدة في كل مرة.