Please use this identifier to cite or link to this item: http://artemis.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16177
Title: Συλλογή Σκουπιδιών Σε Συστήματα Πιστοποιημένου Κώδικα
Authors: Ευθύμιος Βερβαινιώτης
Παπασπύρου Νικόλαος
Keywords: συλλογή σκουπιδιών
nflint
σωρός
αυτόματη αποδέσμευση μνήμης
σημείωση σάρωση
σημείωση χωρίς σάρωση
σημείωση συμπύκνωση
διακοπή αντιγραφή
γενετική συλλογή σκουπιδιών.
Issue Date: 15-Nov-2011
Abstract: Η διαχείριση της μνήμης που έχει εκχωρηθεί σε ένα πρόγραμμα αποτελεί μια σοβαρή επιβάρυνση για τον προγραμματιστή, όταν αυτή γίνεται χειροκίνητα. Σε αυτήν την περίπτωση ο ίδιος ο προγραμματιστής είναι υπεύθυνος για την παρακολούθηση του χρόνου ζωής των αντικειμένων, των οποίων τη μνήμη πρέπει να αποδεσμεύει όταν αυτά δεν χρειάζονται πια. Αυτό έχει ως αποτέλεσμα ο κώδικας που απαιτείται για τη δουλειά αυτή να δυσκολεύει την υλοποίηση, την συντήρηση, ακόμα και τη σχεδίαση των προγραμμάτων, ενώ συχνά μπορεί να οδηγήσει σε σφάλματα, όπως αιωρούμενες αναφορές και διαρροές μνήμης. Μια λύση στο πρόβλημα αυτό έρχεται να δώσει η συλλογή σκουπιδιών, η οποία απαλλάσσει τον προγραμματιστή από το καθήκον να παρακολουθεί αυτός τα αντικείμενα και να τα αποδεσμεύει όταν δεν είναι πια χρήσιμα (σκουπίδια). Η διαδικασία αυτή πραγματοποιείται κατά την ώρα εκτέλεσής ενός προγράμματος από το ίδιο το πρόγραμμα, το οποίο φέρει κώδικα που διαπιστώνει πότε ένα αντικείμενο δεν είναι χρήσιμο και ανάλογα φροντίζει να αποδεσμεύσει αυτόματα την μνήμη που έχει εκχωρηθεί σε αυτό. Η συλλογή σκουπιδιών χρησιμοποιείται ευρέως στις συναρτησιακές γλώσσες προγραμματισμού, καθώς σε αυτές τις γλώσσες είναι δύσκολη η ρητή αποδέσμευσή μνήμης.Σκοπός της εργασίας αυτής είναι η συγκριτική μελέτη διάφορων αλγορίθμων συλλογής σκουπιδιών, κατάλληλων για χρήση σε ένα σύστημα μεταγλώττισης πιστοποιημένων εκτελέσιμων (certified binaries). Γίνεται εκτενής παρουσίαση των αλγορίθμων και αναφορά στα πλεονεκτήματα και μειονεκτήματα του καθενός. Οι αλγόριθμοι που αναφέρονται υλοποιήθηκαν σε C για το NFlint, ένα σύστημα μεταγλώττισης πιστοποιημένων εκτελέσιμων που έχει υλοποιηθεί στο Εργαστήριο Τεχνολογίας Λογισμικού του ΕΜΠ.
URI: http://artemis-new.cslab.ece.ntua.gr:8080/jspui/handle/123456789/16177
Appears in Collections:Διπλωματικές Εργασίες - Theses

Files in This Item:
File SizeFormat 
DT2011-0279.pdf1.02 MBAdobe PDFView/Open


Items in Artemis are protected by copyright, with all rights reserved, unless otherwise indicated.