Υλοποίηση Μιας Γλώσσας Χαμηλού Επιπέδου Με Υποστήριξη Αυτομεταβαλλόμενου Κώδικα

Abstract

Σκοπός της διπλωματικής αυτής εργασίας είναι η δημιουργία μιας προστακτικής γλώσσας χαμηλού επιπέδου με δυνατότητα συγγραφής σε αυτήν αυτομεταβαλλόμενου κώδικα (self modifyingcode) καθώς και ενός πρότυπου διερμηνέα (interpreter) για αυτήν. Η γλώσσα αυτή ονομάζεται ΑΜΚ και σχεδιάστηκε από την αρχή με σκοπό να αποτελέσει ένα μικρό υποσύνολο μίας κλασικής προστακτικής (imperative) γλώσσας, στην οποία έχει προστεθεί αυτό το χαρακτηριστικό, χωρίς όμως να χάνει σε ικανότητα υπολογισμού και σε ασφάλεια.Ως αυτομεταβαλλόμενος ορίζεται ο κώδικας ο οποίος έχει τη δυνατότητα να μεταβάλλει την αναπαράστασή του στη μνήμη τη στιγμή που εκτελείται χρησιμοποιώντας ειδικές εντολές της γλώσσας ΑΜΚ. Η μεταβολή αυτή επιτυγχάνεται με την αντιμετώπιση του κώδικα ως δεδομένου από το πρόγραμμα και το χειρισμό του μέσω μεταβλητών που τον περιέχουν.Σημαντική παράμετρο στο σχεδιασμό της γλώσσας ΑΜΚ και του διερμηνέα της αποτέλεσε η απαίτηση τα προγράμματα που μπορούν να γραφούν σε αυτή να είναι ασφαλή όσον αφορά το χειρισμό του κώδικα. Έγινε μια προσπάθεια να αντιμετωπιστούν κάποια προβλήματα που συναντώνται στις μέχρι τώρα απόπειρες συγγραφής αυτομεταβαλλόμενου κώδικα σε γλώσσες χαμηλού επιπέδου (γλώσσα μηχανής, συμβολικές γλώσσες), ώστε να παρέχονται εγγυήσεις για τη συμπεριφορά των προγραμμάτων σε ΑΜΚ.Επίσης γίνεται μια αναδρομή σε συστήματα που έχουν ήδηκυκλοφορήσει και υποστηρίζουν ορισμένα ή όλα τα χαρακτηριστικά που θα μελετηθούν σε αυτήν την εργασία.Τέλος η εργασία συμπληρώνεται από ορισμένες εφαρμογές σε ΑΜΚ ώστε με αυτόν τον τρόπο να δειχτεί μία άλλη προσέγγιση σε γνωστούς αλγόριθμους.