Εξηγήστε τις διαφορές μεταξύ διαχείρισης μνήμης στη στοίβα και στο σωρό στο πλαίσιο του προγραμματισμού.

Στον προγραμματισμό, η μνήμη διαχειρίζεται συνήθως με δύο κύριους τρόπους: στοίβα και σωρός.

Στοίβα — είναι μια περιοχή μνήμης όπου αποθηκεύονται τοπικές μεταβλητές και παράμετροι συναρτήσεων. Λειτουργεί σύμφωνα με την αρχή LIFO (τελευταίο εισερχόμενο, πρώτο εξερχόμενο). Η μνήμη στη στοίβα καταχωρείται και ελευθερώνεται αυτόματα κατά την είσοδο και έξοδο από συναρτήσεις, κάτι που είναι πολύ γρήγορο και αποδοτικό. Ωστόσο, το μέγεθος της στοίβας είναι περιορισμένο και δεν μπορεί να αποθηκεύσει μεγάλα αντικείμενα ή δεδομένα με δυναμικό χρόνο ζωής.

Σωρός (Heap) — είναι μια περιοχή μνήμης για δυναμική κατανομή, όπου δημιουργούνται αντικείμενα και παραμένουν όσο υπάρχουν αναφορές σε αυτά (στο Go, ο συλλέκτης απορριμμάτων ελευθερώνει αυτόματα τη μη χρησιμοποιούμενη μνήμη). Η μνήμη στον σωρό καταχωρείται και ελευθερώνεται χειροκίνητα ή αυτόματα, κάτι που είναι πιο αργό από τη στοίβα, αλλά επιτρέπει τη δημιουργία αντικειμένων με αυθαίρετο χρόνο ζωής και μεγαλύτερο μέγεθος.

Παράδειγμα σε Go:

func παράδειγμα() {
    x := 10           // μεταβλητή x αποθηκεύεται στη στοίβα
    p := new(int)     // κατανομή μνήμης στον σωρό
    *p = 20
}

Εδώ, το x είναι μια τοπική μεταβλητή στη στοίβα, και το p δείχνει σε μνήμη στον σωρό.

Συνοπτικά:

• Στοίβα: γρήγορη κατανομή/απελευθέρωση, περιορισμένο μέγεθος, τοπικά δεδομένα.
• Σωρός: δυναμική κατανομή, μεγαλύτερο μέγεθος, διαχείριση χρόνου ζωής αντικειμένων.