Εθνικό Μετσόβιο Πολυτεχνείο
Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών

Μεταγλωττιστές

https://courses.softlab.ntua.gr/compilers/

Μεταγλωττιστές

Κατ' επιλογήν υποχρεωτικό μάθημα ροής Λ, 8ου εξαμήνου, κωδικός 3.4.40.8

Εξάμηνο:

Εαρινό 2004

Διδάσκων:

Νίκος Παπασπύρου

()

γρ. 1.1.21

τηλ: 210-772-3393

Ανακοινώσεις | Υλικό: Γενικά, Εργασία, Διαφάνειες, Παλαιότερα έτη
Διαλέξεις: 17/3 | 24/3 | 21/4 | 28/4 | 5/5 | 19/5 | 2/6 | 9/6 | 16/6

Ανακοινώσεις

12/19/2004	Ανακοινώθηκε η βαθμολογία της γραπτής επαναληπτικής εξέτασης. Η βαθμολόγηση των εργασιών θα ολοκληρωθεί εντός των ημερών.
10/9/2004	ΠΡΟΣΟΧΗ: Όσες ομάδες δεν έχουν ακόμα παραδώσει την εργασία τους πρέπει να την παραδώσουν μέχρι τη Δευτέρα 11/10. Για καθυστερημένη παράδοση κατ' εξαίρεση, επικοινωνήστε οπωσδήποτε με το διδάσκοντα.
14/7/2004	Ανακοινώθηκε η βαθμολογία της γραπτής τελικής εξέτασης. Η βαθμολόγηση των εργασιών, και κατά συνέπεια η τελική βαθμολογία της κανονικής περιόδου, θα ολοκληρωθεί μέχρι την Παρασκευή 23/7. Όσες ομάδες δεν έχουν ακόμα παραδώσει την εργασία τους και θέλουν να λάβουν βαθμό στην κανονική περίοδο (Ιούνιος 2004) πρέπει να την παραδώσουν μέχρι την Τετάρτη 21/7.
26/5/2004	ΠΡΟΣΟΧΗ: Μέχρι το τέλος του εξαμήνου, οι διαλέξεις του μαθήματος στο εξής θα είναι τρίωρες και διεξάγονται κάθε Τετάρτη, ώρα 11:45-14:30, στην Αίθουσα 0.1.15 του Κτιρίου Ηλεκτρολόγων. Αυτό γίνεται προκειμένου να αναπληρωθούν οι διαλέξεις που δεν πραγματοποιήθηκαν χωρίς να χρειαστούν επιπλέον διαλέξεις.
26/5/2004	Η σημερινή διάλεξη δεν έγινε λόγω της συνέλευσης του συλλόγου σπουδαστών.
12/5/2004	Η σημερινή διάλεξη δεν έγινε λόγω των φοιτητικών εκλογών.
30/3/2004	ΠΡΟΣΟΧΗ: Κατόπιν της σημερινής απόφασης του συλλόγου σπουδαστών, η διάλεξη της 31/3 του μαθήματος δε θα γίνει. Ενδέχεται να χρειαστεί στο μέλλον να αναπληρωθεί αυτή η διάλεξη εκτός προγράμματος και, σε αυτή την περίπτωση, θα ακολουθήσει σχετική ανακοίνωση. Οι ημερομηνίες παράδοσης των τμημάτων του μεταγλωττιστή παραμένουν όπως έχουν οριστεί.
26/3/2004	ΠΡΟΣΟΧΗ: Κατόπιν αιτήματος των σπουδαστών, οι διαλέξεις του μαθήματος στο εξής θα διεξάγονται κάθε Τετάρτη, ώρα 12:45-14:30, σε όποια από τις Αίθουσες 0.1.10 ή 0.1.15 του Κτιρίου Ηλεκτρολόγων είναι διαθέσιμη.
17/3/2004	Οι διαλέξεις του μαθήματος θα διεξάγονται από την Τετάρτη 17/3 και κάθε Τετάρτη, ώρα 11:45-13:30, στην Αίθουσα 0.1.10 του Κτιρίου Ηλεκτρολόγων.

Υλικό

Γενικά

Ενημερωτικό φυλλάδιο (PDF, 139KB). Περιγραφή του μαθήματος και διαδικαστικά θέματα.
Ώρες γραφείου διδασκόντων:
- Ν. Παπασπύρου: Τετάρτη 14:00–15:00, Κτίριο Ηλεκτρολόγων, 1.1.21, τηλ. 210-772-3393.
Διαθέσιμα εργαλεία για την κατασκευή μεταγλωττιστών.

Εργασία

Εκφώνηση: Η γλώσσα προγραμματισμού Edsger (PDF, 444KB).
Εγχειρίδιο χρήσης του flex (PDF, 334KB).
Εγχειρίδιο χρήσης του bison (PDF, 621KB).

Πίνακας συμβόλων σε C (ZIP, 13KB).
Εγχειρίδιο χρήσης για αυτή την έκδοση του πίνακα συμβόλων δε θα διανεμηθεί. Για πληροφορίες σχετικές με τη χρήση του, δείτε το παράδειγμα (symbtest.c).
Θα χρειαστεί να κάνετε μερικές τροποποιήσεις στον πίνακα συμβόλων, προκειμένου να τον χρησιμοποιήσετε για την κατασκευή ενός μεταγλωττιστή για τη γλώσσα Edsger. Οι τύποι δεδομένων που αντιστοιχούν σε πίνακες είναι περιττοί, όμως θα χρειαστεί να ενσωματώσετε στον πίνακα συμβόλων την υποστήριξη μόνιμων (immutable) δεικτών, που αντιστοιχούν σε μονοδιάστατους πίνακες.

Οι ομάδες σπουδαστών που υλοποιούν το μεταγλωττιστή τους σε C++ μπορούν να χρησιμοποιήσουν τον παραπάνω πίνακα συμβόλων, διορθώνοντας ό,τι δεν είναι έγκυρο στη C++ (π.χ. μετονομάζοντας τις συναρτήσεις new και delete για τη δυναμική διαχείριση μνήμης). Εναλλακτικά, μπορούν να προμηθευτούν μια παλιότερη έκδοση (ZIP, 18KB) ενός άλλου πίνακα συμβόλων, γραμμένη σε C++, μαζί με το αντίστοιχο εγχειρίδιο χρήσης (DOC, 200KB).

Περιβάλλον συμβολομετάφρασης (ZIP, 186KB) αποτελούμενο από τον Microsoft Macro Assembler 5.10, τον Microsoft Linker 5.10, τον Microsoft Library Manager 3.17 και το πρόγραμμα exe2bin.
Ενημερωμένη βιβλιοθήκη χρόνου εκτέλεσης (LIB, 10 KB) και ο κώδικας των συναρτήσεων σε x86 assembly (ZIP, 30 KB).

Διαφάνειες

Οι διαφάνειες πρόκειται να τροποποιηθούν κατά τη διάρκεια του εξαμήνου.

Σε μορφή για παρουσίαση (PDF, 1100KB), μία διαφάνεια ανά σελίδα.
Σε μορφή για εκτύπωση (PDF, 1012KB), έξι διαφάνειες ανά σελίδα.
Τελευταία ενημέρωση των διαφανειών: 23/03/2004.

Παλαιότερα έτη

Σελίδα του μαθήματος για το ακαδημαϊκό έτος 2002-03

Διαλέξεις

Παράδοση 17/3/2004

Θέματα διεξαγωγής του μαθήματος.
Εισαγωγή
- Γλώσσες προγραμματισμού
- Μεταγλωττιστές
- Αναγκαιότητα και ιστορική αναδρομή
- Είδη μεταγλωττιστών και συναφή εργαλεία
- Κατασκευή ενός μεταγλωττιστή

Διαφάνειες: 1 έως 10

Παράδοση 24/3/2004

Τυπικές γλώσσες
- Γεννητικά και αναγνωριστικά μοντέλα
- Γραμματικές
- Ιεραρχία Chomsky
- Αναγνωριστές
Κανονικές γλώσσες
- Κανονικές εκφράσεις
- Πεπερασμένα αυτόματα
- Αναγωγές και ισοδυναμίες
Κατασκευή του λεκτικού αναλυτή
- Υλοποίηση ΛΑ με το flex

Διαφάνειες: 11 έως 16 και 23 έως 38

Παράδοση 21/4/2004

Λεκτική ανάλυση
- Διαγράμματα μετάβασης
- Κατασκευή του λεκτικού αναλυτή
Γλώσσες χωρίς συμφραζόμενα
- Διφορούμενες γλώσσες
- Συμβολισμός BNF/EBNF
Συντακτική ανάλυση
- Από πάνω προς τα κάτω και από κάτω προς τα πάνω
- Υλοποίηση ΣΑ με το bison

Διαφάνειες: 17 έως 22, 39 έως 44 και 56 έως 64

Παράδοση 28/4/2004

Συντακτική ανάλυση
- Βοηθητικές έννοιες
- Υπολογισμός FIRST και FOLLOW
- Συντακτική ανάλυση από κάτω προς τα πάνω
- Υλοποίηση ΣΑ με το bison (συνέχεια)

Διαφάνειες: 45 έως 55 και 65 έως 72

Παράδοση 5/5/2004

Κατηγορικές γραμματικές
Πίνακας συμβόλων
Σημασιολογική ανάλυση
- Στατική σημασιολογία
- Δυναμική σημασιολογία
- Σημασιολογικός έλεγχος

Διαφάνειες: 81 έως 96

Παράδοση 19/5/2004

Παραγωγή ενδιάμεσου κώδικα
- Μορφές ενδιάμεσων γλωσσών
- Η γλώσσα των τετράδων
  - Τελούμενα
  - Τελεστές
- Ένα απλό σχέδιο παραγωγής τετράδων
  - Αριθμητικές εκφράσεις
  - Λογικές εκφράσεις

Διαφάνειες: 97 έως 121

Παράδοση 2/6/2004

Παραγωγή ενδιάμεσου κώδικα (συνέχεια)
- Ένα απλό σχέδιο παραγωγής τετράδων (συνέχεια)
  - Απλές εντολές
  - Σύνθετη εντολή
  - Εντολή if
  - Εντολή while
  - Κλήση υποπρογραμμάτων
Παραγωγή τελικού κώδικα
- Γεννήτορας τελικού κώδικα
- Τελικός υπολογιστής
  - Καταχωρητές
  - Εντολές
- Περιβάλλον εκτέλεσης
  - Διαχείριση μνήμης
  - Εγγραφήματα δραστηριοποίησης
  - Δομή ενοτήτων και μη τοπικά δεδομένα
  - Πέρασμα παραμέτρων
- Παραγωγή αποδοτικού τελικού κώδικα
  - Δέσμευση καταχωρητών
  - Επιλογή εντολών

Διαφάνειες: 122 έως 160

Παράδοση 9/6/2004

Παραγωγή τελικού κώδικα (συνέχεια)
- Το τελικό πρόγραμμα
- Βιβλιοθήκη χρόνου εκτέλεσης
- Ένας γεννήτορας τελικού κώδικα για τη γλώσσα των τετράδων
  - Βοηθητικές ρουτίνες
  - Παραγωγή κώδικα

Διαφάνειες: 161 έως 175

Παράδοση 16/6/2004

Συντακτική ανάλυση
- Συντακτικοί αναλυτές από πάνω προς τα κάτω
  - Γραμματικές LL(1)
    - Αντικατάσταση
    - Αριστερή παραγοντοποίηση
    - Απαλοιφή αριστερής αναδρομής
  - Συντακτικοί αναλυτές αναδρομικής κατάβασης
  - Συντακτικοί αναλυτές LL(1)
    - Κατασκευή του πίνακα συντακτικής ανάλυσης LL(1)
    - Λειτουργία συντακτικού αναλυτή LL(1)
Αντικειμενοστρεφείς γλώσσες
- Αντικειμενοστρεφής προγραμματισμός
- Αντικείμενα και μέθοδοι
- Κατασκευαστές και καταστροφείς
- Απλή κληρονομικότητα
- Πολυμορφισμός υποτύπων
- Πολλαπλή κληρονομικότητα
- Έλεγχος υποτύπων και μετατροπές
- Διαπροσωπείες

Διαφάνειες: 73 έως 80 και 176 έως 193

Τελευταία αλλαγή: 12/10/04, 15:27.