HY225 Οργάνωςη Τπολογιςτών

Transcript

1 HY225 Οργάνωςη Τπολογιςτών Διδάςκοντεσ: Δ. Νικολόπουλοσ, Φ. ωτηρίου. 1 Περιεχόμενα Αναςκόπθςθ χεδίαςθ/τλοποίθςθ Επεξεργαςτι Διαδικαςία Εκτζλεςθσ Εντολισ Επιςκόπθςθ δομισ Επεξεργαςτι Τπενκφμιςθ Βαςικϊν γνϊςεων Ψθφιακισ χεδίαςθσ υνδυαςτικζσ μονάδεσ Ακολουκιακά ςτοιχεία, Ρολόι Καταςκευι Ροισ Δεδομζνων (Datapath) Επεξεργαςτι Φόρτωςθ εντολισ, εντολζσ R, lw, sw, beq, bne Πλιρεσ Datapath για εντολζσ R, lw, sw, beq, bne Εξαγωγι θμάτων Ελζγχου ALU Από τθν εντολι υνζνωςθ με Μονάδα Ελζγχου Εκτζλεςθ Εντολϊν Προςκικθ εντολισ j Απόδοςθ, CPI και Ρολόι Επεξεργαςτισ Εντολϊν Πολλαπλϊν κφκλων Διαίρεςθ Εντολισ ςε Βιματα Τλοποίθςθ ΜΠΚ Ελζγχου Αφθρθμζνθ δομι Σμιμα ΜΠΚ ανά τφπο εντολισ Εξαιρζςεισ/Διακοπζσ Προςκικθ Εξερζςεων 2 1

2 Αναςκόπηςη - 1 Παράγοντεσ που επθρεάηουν τθν απόδοςθ Αρικμόσ των εντολϊν του προγράμματοσ υνάρτθςθ (α) ςυνόλου εντολϊν, (β) μεταγλωττιςτι (compiler) Κφκλοι ανά Εντολι CPI, Περίοδοσ Επεξεργαςτι υνάρτθςθ τθσ ίδιασ τθσ υλοποίθςθσ χεδίαςθ και Τλοποίθςθ του Επεξεργαςτι 3 Μονάδεσ επεξεργαςίασ δεδομζνων και μνιμεσ datapath Αρικμθτικζσ, λογικζσ πράξεισ, μεταςχθματιςμοί, μεταφορά, διαμόρφωςθ, πολφπλεξθ δεδομζνων, μνιμεσ εντολϊν/δεδομζνων Κυκλϊματα Ελζγχου ζλεγχοσ control Μθχανζσ Πεπεραςμζνων Καταςτάςεων (ΜΠΚ) Finite State Machines Ακολουκιακά κυκλϊματα που κακορίηουν (α) τθν λειτουργία των μονάδων δεδομζνων, και (β) τθν αλλθλοεπίδραςθ τουσ, μζςω ςθμάτων ελζγχου Αναςκόπηςη 2 Βαςικέσ Εντολέσ MIPS Λειτουργία Εντολή Τφποσ Λειτουργία Εντολή Τφποσ πρόςκεςθ add R ανάκεςθ άμεςου ςτο πάνω τμιμα λζξθσ πρόςκεςθ με άμεςο addi I φόρτωςθ λζξθσ lw I πρόςκεςθ χωρίσ πρόςθμο (χ.π.) addu R αποκικευςθ λζξθσ sw I Πρόςκεςθ χ.π. με άμεςο addiu I διακλάδωςθ με ιςότθτα beq I αφαίρεςθ sub R διακλάδωςθ με ανιςότθτα bne I αφαίρεςθ χ.π. subi R βρόχοσ j J λογικι ςφηευξθ (and) and R βρόχοσ με ςφνδεςθ jal J and με άμεςο andi I βρόχοσ από καταχωρθτι jr R λογικι διάηευξθ (or) or R ανάκεςθ αν μικρότερο (α.μ.) slt R οr με άμεςο ori I ανάκεςθ α.μ. με άμεςο slti I λογικι ολίςκθςθ αριςτερά sll R ανάκεςθ α.μ. χ.π. sltu R λογικι ολίςκθςθ δεξιά srl R ανάκεςθ α.μ. χ.π. με άμεςο sltiu I lui I 4 2

3 χεδίαςη Τλοποίηςη Επεξεργαςτή ε αυτό το μζροσ του μακιματοσ κα αναλφςουμε/επεξθγιςουμε δυο υλοποιιςεισ του MIPS απλοϊκι εκδοχι μια ρεαλιςτικότερθ pipelined ζκδοςθ Θα εςτιάςουμε ςτον πυρινα των εντολϊν του MIPS: Εντολζσ πρόςβαςθσ μνιμθσ lw, sw Αρικμθτικζσ, λογικζσ add, sub, and, or, slt Μεταφοράσ ροισ - beq, j Δεν κα αςχολθκοφμε με τισ πιο πολφπλοκεσ πράξεισ: Πολλαπλαςιαςμό, διαίρεςθ Κινθτισ υποδιαςτολισ floating point 5 Διαδικαςία Εκτέλεςησ Εντολήσ 1. PCΜνιμθ Εντολϊν (Instruction Memory - IM) διαβάηεται θ ςχετικι εντολι προσ εκτζλεςθ 2. ςχετικοί αρικμοί των καταχωρθτϊναρχείο/μνιμθ Καταχωρθτϊν (Register File - RF) διαβάηονται τα περιεχόμενα τουσ και γίνονται διακζςιμα 3. Ανάλογα με τον τφπο τθσ εντολισ: χρθςιμοποιείται θ Αρικμθτικι-Λογικι Μονάδα (ALU) για υπολογιςμό: Αρικμθτικοφ/λογικοφ αποτελζςματοσ διεφκυνςθ μνιμθσ για εντολζσ φόρτωςθσ/αποκικευςθσ διεφκυνςθ κατάλθξθσ για βρόχουσ 4. Γίνεται πρόςβαςθ ςτθν Μνιμθ Δεδομζνων (Data Memory DM) για εντολζσ φόρτωςθσ/αποκικευςθσ 5. ο PC προςαυξάνεται κατά 4 6 3

4 Επιςκόπηςη Δομήσ Επεξεργαςτή 7 Πολύπλεξη Δεδομένων Κςκλωμαηικά δεν μποπούμε να ζςνενώζοςμε εξόδοςρ σπηζιμοποιούμε πολυπλέκτες 8 4

5 Έλεγχοσ και Δεδομένα Μαζί 9 Βαςικέσ Γνώςεισ Χηφιακήσ χεδίαςησ Αναλογικι πλθροφορία κωδικοποιείται ψθφιακά: Λογικό 0, Λογικό 1 αντιςτοιχοφν ςε δυναμικά, λ.χ. 0V, 2.5V Σο κάκε ψθφίο ενόσ αρικμοφ α 5 α 4 α 3 α 2 α 1 α 0 α -1 α -2 α -3 ςτθν βάςθ Β (Β=2) αναπαριςτάνεται ωσ εξισ: Β 5.α 5 + Β 4 α 4 + Β 3 α 3 + Β 2 α 2 + Β 1 α 1 + Β 0 α 0 + Β -1 α -1 + Β -2 α -2 + Β -3 α :1.(-2 4 ) = Κάκε ψθφίο αντιςτοιχεί ςε μια ςφνδεςθ, πολλαπλζσ ςυνδζςεισ αντιςτοιχοφν ςε ζνα δίαυλο bus υνδυαςτικι Λογικι υνδυαςτικζσ Μονάδεσ Επεξεργάηονται δεδομζνα Ζξοδοι = υνάρτθςθ(ειςόδων) Ακολουκιακι Λογικι - Ακολουκιακζσ Μονάδεσ Εςωτερικι κατάςταςθ Ζξοδοι = υνάρτθςθ(εςωτερικισ Κατάςταςθσ, Ειςόδων) 10 5

6 υνδυαςτικέσ Μονάδεσ τοιχεία Πφλθ AND Y = A & B Αθποιζηήρ Y = A + B A B + Y A B I0 I1 M u x S Y Πολςπλέκηηρ Y = S? I1 : I0 Y Απιθμηηική/Λογική Μονάδα Y = F(A, B) A ALU Y B F 11 Ακολουθιακά τοιχεία - 1 Καταχωρθτισ: αποκθκεφει δεδομζνα βάςθ του ρολογιοφ Σο ρολόι αλλάηει τθν κατάςταςθ/δεδομζνα τθσ εξόδου προθγοφμενθ-επόμενθ τιμι Ακμο-πυροδότθτοσ (edge-triggered) θ ενεργοποίθςθ (αλλαγι κατάςταςθσ) γίνεται βάςθ τθσ ακμισ του ρολογιοφ ςυνικωσ τθσ κετικισ D Clk Q Clk D Q 12 6

7 Ακολουθιακά τοιχεία - 2 Καταχωρθτισ με ςιμα ενεργοποίθςθσ Αλλάηει κατάςταςθ μόνο όταν το ςιμα ενεργοποίθςθσ Write είναι ενεργό (1) Χρθςιμοποιείται όταν κζλουμε να αποκθκεφςουμε ζνα δεδομζνο για πολλαπλοφσ κφκλουσ D Write Clk Q Clk Write D Q 13 Ακολουθιακά τοιχεία - 3 ΜΠΚ Ακολουκιακά Κυκλϊματα ελζγχου Μνιμθ κατάςταςθσ Έξοδοσ = Συν(Κατάςταςησ, Ειςόδων) Επόμενη Κατάςταςη = Συν(Κατάςταςη, Είςοδοι) Παράγουν μια αλλθλουχία εξόδων για αλλθλουχία εξόδων ανά κφκλο επόμενθ είςοδοσ/ζξοδοσ Ορίηονται ωσ γράφοσ καταςτάςεων 14 7

8 Τλοποίηςη Ακολουθιακών Κυκλωμάτων με Ρολόι Η ςυνδυαςτικι λογικι μεταςχθματίηει τα δεδομζνα από κφκλο ςε κφκλο μεταξφ των ακμϊν του ρολογιοφ Η είςοδοσ και θ ζξοδοσ των ςυνδυαςτικϊν τμθμάτων προζρχεται από τα ακολουκιακά τμιματα Ο κφκλοσ ορίηεται από το κρίςιμο μονοπάτι διαδρομι από ακμι ςε ακμι με τθν μέγιστη κακυςτζρθςθ 15 Καταςκευή τησ Ροήσ Δεδομένων - Datapath τισ παρακάτω διαφάνειεσ κα καταςκευάςουμε κομμάτικομμάτι τθν ροι δεδομζνων του επεξεργαςτι Περιλαμβάνει τα ςτοιχεία που επεξεργάηονται δεδομζνα και διευκφνςεισ Καταχωρθτζσ, ALU s, πολυπλζκτεσ, μνιμεσ, κτλ. Θα το καταςκευάςουμε βιμα-βιμα επαυξθτικά Σελειοποιϊντασ το ςε κάκε βιμα 16 8

9 Υόρτωςη Εντολήσ Instruction Fetch 32-bit καηασωπηηήρ +4 για ηην επόμενη ενηολή 17 Εντολέσ τύπου R (add, sub, and, or, slt) Διαβάηουν τισ τιμζσ δυο καταχωρθτϊν (δρϊμενα) Εκτελοφν αρικμθτικι ι λογικι πράξθ Αποκθκεφουν το δεδομζνα ςε καταχωρθτι (αποτζλεςμα) 18 9

10 Εντολέσ τύπου M (lw, sw) Διαβάηουν ζνα καταχωρθτι (δρϊμενο) Τπολογίηουν τθν διεφκυνςθ βάςθ 16-bit προςαφξθςθ (offset) Μπορεί να γίνει χριςθ του ALU, όμωσ πρζπει να μετατραπεί το offset ςτα 32-bit από τα 16-bit Load: διαβάηουν από τθν μνιμθ και εγγράφουν καταχωρθτι Store: γράφουν τιμι καταχωρθτι ςτθν μνιμθ 19 Εντολέσ κατά ςυνθήκη βρόχων (beq, bne) Διαβάηουν τισ τιμζσ δυο καταχωρθτϊν (δρϊμενα) υγκρίνουν τα δρϊμενα Χρθςιμοποιοφν το ALU, κάνουν αφαίρεςθ, ελζγχουν τθν ζξοδο Zero Τπολογίηουν τον ςτόχο του βρόχου (target address), διεφκυνςθ αλλαγισ ροισ Προεκτείνουν το πρόςθμο τθσ 16-bit προςαφξθςθσ Εκτελοφν ολίςκθςθ κατά 2 αριςτερά (x4 ευκυγράμμιςθ ςε λζξεισ) Προςκζτουν τθν ςχετικι διεφκυνςθ ςτο αποτζλεςμα PC + 4 Ζχει ιδθ υπολογιςτεί 20 10

11 Εντολέσ κατά ςυνθήκη βρόχων (beq, bne) Μεηαηόπιζη ζςνδέζεων Πποέκηαζη bit ππόζημος 21 υνθέτοντασ τα διαφορετικά τμήματα Η 1 θ εκδοχι του datapath κα εκτελεί 1 εντολι ανά κφκλο Σο κάκε ςτοιχείο εκτελεί μόνο μια λειτουργία Ζτςι, χρθςιμοποιοφμε διακριτζσ μνιμεσ εντολϊν/δεδομζνων Χρθςιμοποιοφμε πολυπλζκτεσ όταν κζλουμε να ςυνδζςουμε πολλαπλζσ εξόδουσ από διάφορεσ μονάδεσ ςε μια είςοδο μιασ άλλθσ μονάδασ 22 11

12 Datapath εντολών R, lw, sw 23 Πλήρεσ Datapath lw, sw,r, beq, bne 24 12

13 Έλεγχοσ τησ ALU Χρθςιμοποιείται για: a. lw, sw, όπου F = πρόςκεςθ b. beq, bne, όπου F = αφαίρεςθ c. R, όπου εξαρτάται από το ςχετικό πεδίο funct τθσ εντολισ Παρακάτω βλζπουμε τα απαιτοφμενα ςιματα ελζγχου τθσ ALU ALU control Function 0000 AND 0001 OR 0010 add 0110 subtract 0111 set-on-less-than 1100 NOR 25 Έλεγχοσ τησ ALU Τποκζτουμε ότι ALUOp[1:0] προκφπτει από το opcode Ο παρακάτω ςυμβολικόσ πίνακασ αλικειασ επιδεικνφει τθν αντιςτοιχία opcode, ALUOp, funct και ALU control opcode ALUOp Operation funct ALU function ALU control lw 00 load word XXXXXX add 0010 sw 00 store word XXXXXX add 0010 beq 01 branch equal XXXXXX subtract 0110 R-type 10 add add 0010 subtract subtract 0110 AND AND 0000 OR OR 0001 set-on-less-than set-on-less-than

14 Έλεγχοσ του ALU Πίνακασ Αλήθειασ Από τον προθγοφμενο, ςυμβολικό πίνακα μπορεί να προκφψει ο παρακάτω πίνακασ αλικειασ με αδιάφορεσ τιμζσ, -, (don t cares dc) - είτε 0 είτε 1, δθλ. αδιάφορθ τιμι Οι αδιάφορεσ τιμζσ ςυμβολίηονται και με X ALUOp[1:0] funct[5:0] ALU control Κεντρική Μονάδα Ελέγχου Σα ςιματα ελζγχου εξάγονται από τα πεδία τθσ εντολισ: R-type Load/ Store Branch 0 rs rt rd shamt f unct 31:26 25:21 20:16 15:11 10:6 5:0 35 or 43 rs rt address 31:26 25:21 20:16 15:0 4 rs rt address 31:26 25:21 20:16 15:0 opcode Μόνιμη ανάγνωζη Ανάγνωζη εκηόρ για lw Δγγπαθή για R και lw Πποέκηαζη ππόζημος και ππόζθεζη 28 14

15 Datapath με Μονάδα Ελέγχου 29 Εκτέλεςη εντολήσ τύπου R 30 15

16 Εκτέλεςη εντολήσ lw 31 Εκτέλεςη εντολήσ τύπου beq 32 16

17 Προςθήκη εντολήσ j Jump 2 address 31:26 25:0 Η εντολι j χρθςιμοποιεί διεφκυνςθ λζξθσ Διατθρεί τα ψθφία 31:28 του PC Άρα θ υλοποίθςθ τθσ απαιτεί ανανζωςθ του PC ωσ εξισ: Δεν μεταβάλλονται τα PC[31:28] Η 26-bit διεφκυνςθ λζξθσ ςυμπλθρϊνεται με 00 για να γίνει διεφκυνςθ byte Για τθν παραπάνω μετατροπι χρειαηόμαςτε νζο ςιμα ελζγχου, βάςθ του opcode τθσ j 33 Προςθήκη δομήσ για εκτέλεςη j 34 17

18 Απόδοςη του Επεξεργαςτή Κυκλωματικά θ περίοδοσ T του ρολογιοφ ορίηεται από τθν κρίςιμθ οδό τθν μζγιςτθ κακυςτζρθςθ μεταξφ δυο ςθμείων που οδθγοφνται από το ρολόι Σο CPI εξαρτάται και από το ρολόι Μπορεί CPI=1 αλλά το ρολόι να είναι πολφ αργό!!! Δεν είναι εφικτό να τροποποιοφμε τθν περίοδο του ρολογιοφ! Ποιο είναι το κρίςιμο μονοπάτι ςτο datapath; (θ κακυςτζρθςθ μιασ ΜΠΚ είναι μικρότερθ) 35 Απόδοςη του επεξεργαςτή Τφποσ εντολήσ Τμήματα datapath που Χρηςιμοποιοφνται Ζςτω: R lw sw beq, bne j Φόρτωςθ εντολισ Φόρτωςθ εντολισ Φόρτωςθ εντολισ Φόρτωςθ εντολισ Φόρτωςθ εντολισ Ανάγνωςθ καταχωρθτι Ανάγνωςθ καταχωρθτι Ανάγνωςθ καταχωρθτι Ανάγνωςθ καταχωρθτι Ανάγνωςθ καταχωρθτι Δμνιμθσ = 10ns, ΔALU/Adder = 10ns, ΔRF = 5ns Ποια είναι θ περίοδοσ ανα τφπο εντολισ; Ποια θ τελικι περίοδοσ το ρολογιοφ; ALU ALU ALU ALU Εγγραφι καταχωρθτι Ανάγνωςθ μνιμθσ Ανάγνωςθ μνιμθσ Εγγραφι καταχωρθτι 36 18

19 Απόδοςη του Επεξεργαςτή Τφποσ Εντολήσ κρίςιμο μονοπάτι: T = 40ns για CPI = 1 Εναλλακτικά: Φόρτωςη Εντολήσ IM Ανάγνωςη Καταχωρητή Λειτουργία ALU Πρόςβαςη μνήμησ DM Εγγραφή Καταχωρητή Εκτελοφμε τθν εντολι ςε πολλαπλοφσ κφκλουσ με ζνα γρθγορότερο ρολόι και εκμεταλλευόμαςτε τον διαφορετικό χρόνο εκτζλεςθσ ανά τφπο εντολισ Π.χ. για το παράδειγμα κα μποροφςαμε να επιλζξουμε Σ = 10ns Σφνολο R ns lw ns sw ns beq,bne ns j 10 10ns 37 Διάγραμμα επεξεργαςτή εντολήσ πολλαπλών κύκλων 38 19

20 Διαίρεςη εντολήσ ςε βήματα (και κύκλουσ) Βήματα Φόρτωςθ εντολισ Αποκωδικοποίθςθ Εντολισ Λογικι Εκτζλεςθ, Τπολογιςμόσ Διεφκυνςθσ, Εκτζλεςθ Βρόχου Πρόςβαςθ Μνιμθσ ι Ολοκλιρωςθ R Εγγραφι αποτελζςματοσ Λειτουργία για εντολζσ τφπου R Λειτουργία για lw, sw Λειτουργία για beq, bne IR = Memory[PC] PC = PC + 4 ή PC = {PC[31:28],IR[25:0],00} A = Registers[IR[25:21]] B = Registers[IR[20:16]] Target = PC + (sign-extend(ir[15:0]) << 2) ALUout = A op B Reg[IR[15:11]] = ALUout ALUout = A + signextend(ir[15:0]) MDR = Memory[ALUout]ή Memory[ALUout] = B Reg[IR[20:16]] = MDR If (A == B) PC = Target 39 Έλεγχοσ - Δημιουργία ΜΠΚ Ο ςτόχοσ τθσ (των) ΜΠΚ ελζγχου είναι: Να οδθγιςουν, ανά τφπο εντολισ και βιμα τα ςιματα ελζγχου. Είςοδοι τθσ ΜΠΚ ελζγχου: Op[5:0], Zero 40 Έξοδοι τθσ ΜΠΚ ελζγχου: PCWriteCond PCWrite IorD MemRead MemWrite MemtoReg IRWrite PCsource[1:0] ALUOp[1:0] ALUSrcB[1:0] ALUSrcA RegWrite RegDst 20

21 ΜΠΚ Ελέγχου Αφηρημένη Δομή 41 ΜΠΚ Ελέγχου Αφηρημένη Δομή Βιμα 1 - IF,ID,RF: Φόρτωςθ εντολισ Αποκωδικοποίθςθ Ανάγνωςθ καταχωρθτϊν Βήμαηα 2, 3, 4 Γιακλάδωζη ανάλογα με ηον ηύπο ενηολήρ 42 21

22 ΜΠΚ Σμήμα IF,ID,RF Διαφάνεια 44 Διαφάνεια 45 Διαφάνεια 46 Διαφάνεια ΜΠΚ Εντολών Μνήμησ Διαφάνεια

23 ΜΠΚ Εντολών τύπου R 45 Διαφάνεια 43 ΜΠΚ Εντολών κατά ςυνθήκη βρόχου Διαφάνεια

24 ΜΠΚ Εντολήσ j Διαφάνεια υνολική ΜΠΚ 48 24

25 Εξαιρέςεισ (Exceptions) και Διακοπέσ (Interrupts) Εξαιρζςεισ Εξαιρετικζσ ςυνκικεσ κατά τθν εκτζλεςθ μιασ εντολισ που επιβάλλουν αλλαγι ςτθν ροι των εντολϊν Άγνωςτοσ opcode, υπερχείλιςθ αποτελζςματοσ, διαίρεςθ με το μθδζν, παραβίαςθ διευκφνςεων μνιμθσ, κλιςθ ρουτίνασ ςυςτιματοσ Διακοπι Interrupt MIPS Χειριςμόσ εξωτερικοφ ςυμβάντοσ αλλαγι ροισ ςε ρουτίνα ςυςτιματοσ Ενεργοποιείται από ελεγκτι I/O Αποκικευςθ αιτίασ ςτον καταχωρθτι Cause 0 = undefined opcode, 1 = overflow Αποκικευςθ PC ςτον EPC Κλιςθ ρουτίνασ χειριςμοφ (handler) ςτθν διεφκυνςθ 32 h Προςθήκη Τποςτήριξησ Εξαιρέςεων 50 25

26 υνολική ΜΠΚ με προςθήκη Εξαιρέςεων 51 26