Πείτε μας για τις μεθόδους λειτουργίας του συλλέκτη απορριμμάτων (Garbage Collector).

Ο συλλέκτης απορριμμάτων είναι μια διαδικασία αυτόματης διαχείρισης μνήμης που ελευθερώνει τη μνήμη που καταλαμβάνεται από αντικείμενα που δεν χρησιμοποιούνται πλέον από το πρόγραμμα.

Οι βασικές μέθοδοι λειτουργίας του συλλέκτη απορριμμάτων:

1. Μετρητής αναφορών:

   • Κάθε αντικείμενο έχει έναν μετρητή που αποθηκεύει τον αριθμό των αναφορών σε αυτό.
   • Όταν δημιουργείται μια αναφορά σε ένα αντικείμενο, ο μετρητής αυξάνεται.
   • Όταν μια αναφορά εξαφανίζεται (π.χ., μια μεταβλητή βγαίνει από το πεδίο ορατότητας), ο μετρητής μειώνεται.
   • Όταν ο μετρητής φτάσει στο μηδέν, το αντικείμενο θεωρείται απρόσιτο και η μνήμη του ελευθερώνεται.
   • Προβλήματα: Δεν μπορεί να χειριστεί κυκλικές αναφορές, όταν δύο ή περισσότερα αντικείμενα αναφέρονται το ένα στο άλλο, αλλά είναι απρόσιτα από έξω.

2. Ανιχνευτής απορριμμάτων (Tracing Garbage Collector):

   • Λειτουργεί σε δύο στάδια: σήμανση και σάρωση ή συμπίεση.
   • Στάδιο σήμανσης: Ξεκινά από τις "ρίζες" (root set) - αντικείμενα που είναι εγγυημένα προσβάσιμα (π.χ., παγκόσμιες μεταβλητές, αντικείμενα στη στοίβα). Ο GC διασχίζει όλα τα προσβάσιμα από τις ρίζες αντικείμενα και τα σημαδεύει ως "ζωντανά".
   • Στάδιο σάρωσης: Ο GC ελέγχει ολόκληρη τη μνήμη. Τα μη σημαδεμένα αντικείμενα θεωρούνται "σκουπίδια" και η μνήμη τους ελευθερώνεται.
   • Συμπίεση (προαιρετικά): Μετά τη σάρωση, ο GC μπορεί να μετακινήσει τα "ζωντανά" αντικείμενα για να εξαλείψει τον κατακερματισμό της μνήμης.
   • Πλεονεκτήματα: Μπορεί να χειριστεί κυκλικές αναφορές.
   • Μειονεκτήματα: Μπορεί να προκαλέσει διακοπές στην εκτέλεση του προγράμματος (stop-the-world) ενώ λειτουργεί ο GC.

Οι πιο συνηθισμένοι αλγόριθμοι των συλλεκτών απορριμμάτων τύπου tracing:

• Mark-and-Sweep: Σημαδεύει τα ζωντανά αντικείμενα και στη συνέχεια συλλέγει τα απορρίμματα.
• Mark-and-Compact: Σημαδεύει τα ζωντανά αντικείμενα και τα μετακινεί για να αποτρέψει την κατακερματισμό.
• Copying: Χωρίζει το σωρό σε δύο μισά. Κατά τη συλλογή, ο GC αντιγράφει τα ζωντανά αντικείμενα από το ένα μισό στο άλλο και στη συνέχεια ελευθερώνει το αρχικό μισό.
• Γενεακός: Βασίζεται στην υπόθεση ότι τα περισσότερα αντικείμενα πεθαίνουν νέοι. Ο σωρός χωρίζεται σε γενιές (π.χ., νέο και παλιό). Ο GC συλλέγει συχνότερα στη νεαρή γενιά, οδηγώντας σε μικρότερες διακοπές.

Ο συγκεκριμένος τρόπος λειτουργίας του συλλέκτη απορριμμάτων εξαρτάται από τη χρησιμοποιούμενη γλώσσα προγραμματισμού και την υλοποίησή του. Για παράδειγμα, η Java και η C# χρησιμοποιούν διαφορετικές παραλλαγές συλλεκτών απορριμμάτων, συμπεριλαμβανομένων των γενεακών. Η Python παραδοσιακά χρησιμοποιούσε την αναφορά μετρώντας με έναν επιπλέον μηχανισμό για την ανίχνευση κυκλικών αναφορών, και σε νεότερες εκδόσεις χρησιμοποιούνται επίσης στοιχεία ανίχνευσης.