جمع القمامة (حاسوب)
جمع النفايات أو عملية جمع الموارد غير المستخدمة في ذاكرة الحاسب الرام هي شكل من أشكال تنظيم ذاكرة الحاسب بشكل تلقائي حيث أن عملية جمع النفايات تهدف إلى البحث عن الموارد غير المستخدمة في الذاكرة ومن ثم إزالتها من أجل الحصول علي مساحة فارغة من الذاكرة لاستخدامها في أعمال أخرى.
الذي يقوم بهذه العملية يسمى "جامع النفايات".
يعود اختراع جامع النفايات للعالم الأميريكي جون مكارثي عام 1959 من أجل حل مشاكل تنظيم الذاكرة اليدوي (manual memory management) التي كان يواجهها أثناء استخدام لغة ليسب.
الفكرة التي يقوم عليها عمل أي برنامج جامع للنفايات هي :
الكثير من لغات البرمجة تتطلب وجود ال Garbage collection
هناك لغات تحتوي على Garbage collection في تكوينها الأصلي مثل سي شارب وجافا.
و لغات أخرى لا تحتوي على Garbage collection في تكوينها الأصلي ولكن تعمل عمل تطبيق لل Garbage collection خارجي منفصل عنها مثل سي وسي++.
المبادئ الأساسية لجمع النفايات هي:
العديد من لغات البرمجة تتطلب جمع القمامة، إما جزءا من مواصفات اللغة (على سبيل المثال، جافا، سى #، اللغة دى, إنتقل وأكثر لغة البرمجة) أو بشكل فعال للتنفيذ العملي (على سبيل المثال، واللغات الرسمية مثل التفاضل والتكامل لامدا)؛ ويقال إن هذه لتكون " القمامة اللغات التي تم جمعها ". وقد صممت لغات أخرى للاستخدام مع إدارة الذاكرة اليدوية، ولكن لديها القمامة التي تم جمعها تطبيقات المتاحة (على سبيل المثال، سى، سى ++) بعض اللغات، مثل أدا، موديولا -3، و سى ++ / CLI تسمح للكل بجمع القمامة وإدارة الذاكرة اليدوية إلى التعايش في نفس التطبيق باستخدام أكوام منفصلة للكائنات التي تم جمعها وإدارتها يدويا. آخرون، مثل دى، هي القمامة التي تم جمعها ولكن تسمح للمستخدم لحذف مكونات البيانات وجمع القمامة أيضا والتعطيل تماما يدويا عند الحاجة للسرعة.
في حين دمج جمع القمامة إلى المترجم اللغة ووقت التشغيل يتيح للنظام خيار أوسع بكثير من الطرق , اللاحقة لأنظمة GC ، بما في ذلك بعض التي لا تتطلب إعادة تجميع. ( بعد خاص GC يتميز أحيانا باسم " جمع القمامة ".) سوف دائما تقريبا أن تكون متكاملة وجامع القمامة بشكل وثيق مع مخصص الذاكرة.
أزال ال Garbage collection عبئ التعامل المباشر مع الذاكرة من على كاهل المبرمج ; وبالتالي فقد ساعد في التخلص من المشاكل التي تنتج من التعامل المباشر مع الذاكرة مثل :من أكثر أنواع ال garbage collectors شيوعا حيث تعتمد فكرتهم على تحديد الكائنات التي يمكن الوصول إليها عن طريق المؤشرات (pointers) ومن ثم اعتبار الكائنات الباقية (غير المشار إليها) كائنات غير مستخدمة ومن ثم إزالتها من الذاكرة.
يمكن اعتبار الكائن مشار إليه (reachable) عن طريق أمرين :
تعتمد هذه الفكرة على تخصيص بت واحد لكل كائن في الذاكرة يسمى (in use flag) يشير هذا البت إلى إذا كان هذا الكائن مشار إليه أم لا
قيمة هذا البت دائما صفر إلى أن يبدأ ال garbage collector عمله
يبدأ ال collector بفحص الكائنات المعروف أنه مشار إليها مسبقا ويقوم بجعل قيمة ال (in use flag) بواحد
و عن طريق هذه الكائنات يمكن الوصول للكائنات الأخرى التي تشير إليها وجعل قيمة ال (in use flag) بواحد أيضا
و عند الانتهاء من فحص جميع الكائنات في الذاكرة يمكن حذف الكائنات ذات ال (in use flag) قيمته صفر حيث أنه تم التأكد من أنها غير مشار إليها فعلا
عيوب هذه الخوارزمية أنها تعتمد على فحص كل جزء في الذاكرة مما قد يسبب بطئ الحاسبفي هذه الفكرة يتم اعتبار الكائنات في الذاكرة نقاط يشير بعضها لبعض ويتم (نظريا) تقسيم هذه النقاط إلى مجموعة من الآلوان (نقاط بيضاء، نقاط سوداء، نقاط رمادية)في البداية يتم اعتبار جميع النقاط بيضاء ماعدا النقاط المعروف أنها مشار إليها مسبقا يكون لونها رمادي
يبدأ ال collector بالمتغيرات المشار إليها اصلا (الرمادية) يقوم بنقلها إلى المجموعة السوداء عن طريق فحص كل الكائنات التي تشير إليها ونقلها إلى المجموعة الرمادية (حيث أنها أصبحت مشار إليها) الآن أصبح كل النقاط المشار عن طريقة هذه النقطة إذن يمكن نقلها للمجموعة السوداء
يتم إعادة هذه العملية حتى يتم الانتهاء من كل المجموعة الرمادية فيتبقى المجموعة السوداء (جميعها مشار إليها) والمجموعه البيضاء (لا يوجد أحد يشير إليها) إذن يمكن حذفها الآن
ملاحظة : لا يمكن أن يوجد كائن من المجموعة السوداء يشير مباشرة إلى كائن في المجموعة البيضاء
يعتبر التحديد ثلاثي الألوان أكثر سرعة من طريقة التحديد والمسح