Ενδιάμεση Β205. Κεφ. 1-2, Παράρτημα Α Εργαστήρια Εργασίες Ενδιάμεση του 2014 Όχι διάλεξη την Τρίτη (Προετοιμασία)

Transcript

1 Ενδιάμεση Β205 Κεφ. 1-2, Παράρτημα Α Εργαστήρια Εργασίες Ενδιάμεση του 2014 Όχι διάλεξη την Τρίτη (Προετοιμασία) 1

2 Παράρτημα Β και Κεφάλαιο 3 Αριθμητική Υπολογιστών Review signed numbers, 2 s complement, hex/dec/bin, add/subtract, logical Hardware implementation of simple ALU Multiply/Divide Real Numbers 2

3 Προσημασμένοι και Απρόσημοι Αριθμοί Οι λέξεις στον MIPS είναι μεγέθους 32bits, διαφορετικούς 32bits συνδυασμούς, δηλαδή από 0 μέχρι two = 0 ten two = 1 ten two = 2 ten two = 4,294,967,293 ten two = 4,294,967,294 ten two = 4,294,967,295 ten Απρόσημη Αριθμητική Αν έχουμε n bits η περιοχή των αριθμών είναι : 0 έως (2 n -1) πχ Για n=8 0 έως 255 Για n=16 0 έως Για n=32 0 έως (2 32-1) 3

4 Προσημασμένη Αριθμητική Συμπλήρωμα ως προς 2:με n bits -2 (n-1) έως 2 (n-1) -1 Για n=8-128 έως +127 Για n= έως Για n= έως Μετατροπή από δυαδικό σε δεκαδικό Παράδειγμα Ποια η δεκαδική τιμή του πιο κάτω δυαδικού αριθμού: two Απάντηση (1x 2 31 )+ (1x2 30 )+ (1x2 29 )+ + (1x2 2 )+ (0x2 1 )+ (0x2 0 ) = = -2,147,483,648 ten + 2,147,483,644 ten = -4 ten 4

5 Προσημασμένη εναντίον απρόσημων συγκρίσεων Παράδειγμα Υποθέτουμε ότι ο καταχωρητής $s0 περιέχει τον δυαδικό αριθμό two και ο καταχωρητής $s1 περιέχει τον αριθμό two ποιες είναι οι τιμές των καταχωρητών $t0, $t1 μετά από αυτές τις εντολές slt $t0, $s0, $s1 #signed comparison sltu $t1, $s0, $s1 #unsigned comparison 5

6 Απάντηση Η τιμή του καταχωρητή $s0 αναπαριστά το 1 εάν είναι ακέραιος και το 4,294,967,295 ten εάν είναι απρόσημος ακέραιος. Η τιμή του καταχωρητή $s1 αναπαριστά το 1 σε οποιαδήποτε περίπτωση. Ο καταχωρητής $t0 έχει τη τιμή 1, αφού 1 ten < 1 ten, Oκαταχωρητής $t1 έχει τη τιμή 0, αφού 4,294,967,295ten > 1 ten. 6

7 Μετατροπή πρόσημου 2 ten = two βρίσκουμε το συμπλήρωμα της τιμής και προσθέτουμε two + 1 two = two = -2 ten επαληθεύοντας, two two + 1 two = two = 2 ten 7

8 Πίνακας μετατροπής δεκαεξαδικού αριθμού σε δυαδικό Hex Bin Hex Bin Hex Bin Ηex Bin 0 hex 0000 two 4 hex 0100 two 8 hex 1000 two C hex 1100 two 1 hex 0001 two 5 hex 0101 two 9 hex 1001 two D hex 1101 two 2 hex 0010 two 6 hex 0110 two A hex 1010 two E hex 1110 two 3 hex 0011 two 7 hex 0111 two B hex 1011 two F hex 1111 two Παράδειγμα Μετάτρεψε τον ακόλουθο δεκαεξαδικό και δυαδικό αριθμό στην αντίστροφη βάση : eca hex two 8

9 Απάντηση eca hex two two bdf hex 9

10 Πρόσθεση και Αφαίρεση Τα ψηφία προσθέτονται ανά bit από τα δεξιά προς τα αριστερά. Τα κρατούμενα (carries) μεταφέρονται στο επόμενο ψηφίο στα αριστερά. Παράδειγμα Προσθέστε το 6 ten με το 7 ten και μετά αφαιρέστε το 6 ten από το 7 ten. Απάντηση two = 7 ten two = 6 ten two = 13 ten 10

11 Η αφαίρεση του 6 ten απο το 7 ten μπορεί να γίνει απευθείας: two = 7 ten two = 6 ten two = 1 ten ή μπορεί να γίνει μέσω της πρόσθεσης χρησιμοποιώντας το συμπλήρωμα ως προς 2 (two s complement) του -6, two = 7 ten two = -6 ten two = 1 ten 11

12 Υπάρχει ο κίνδυνος το άθροισμα των δύο 32 - bit αριθμών να είναι πολύ μεγάλο και να μην μπορεί να αναπαρασταθεί κανονικά από τα 32 bit. Το φαινόμενο αυτό ονομάζεται υπερχείλιση (overflow). H υπερχείλιση μπορεί επίσης να συμβεί και στην αφαίρεση. Για παράδειγμα, για να αφαιρέσουμε 2 από το -2,147,483,647 ten μετατρέπουμε το 2 σε -2 και το προσθέτουμε στο -2,147,483,647 ten. Κανονικά το αποτέλεσμα θα έπρεπε να ήταν -2,147,483,649 ten αλλά δεν μπορούμε να αναπαραστήσουμε αυτό το αποτέλεσμα σε 32 bits, έτσι παίρνουμε την λανθασμένη θετική τιμή του 2,147,483,645 ten. Η υπερχείλιση δεν μπορεί να συμβεί στη πρόσθεση δύο αριθμών με διαφορετικό πρόσημο και κατά συνέπεια δεν μπορεί να συμβεί ούτε στην αφαίρεση δυο αριθμών με το ίδιο πρόσημο. 12

13 Παράδειγμα Έστω ότι έχουμε μια μηχανή των 4 bits =? Προσημασμένη αριθμητική -8 μέχρι 7 5 -> > overflow flag = Cout_msb Cin_msb = 0 1 = 1 Υπερχείλιση carry out msb = 0 carry in msb = 1 13

14 Στο πίνακα φαίνονται όλοι οι συνδυασμοί των λειτουργιών και των τελεστών που οδηγούν σε υπερχείλιση. Operation Operand A Operand B Result indicating an Overflow A + B >= 0 >= 0 < 0 A + B < 0 < 0 >= 0 A B >=0 < 0 < 0 A B < 0 >= 0 >= 0 Οι σχεδιαστές μηχανών πρέπει να βρουν ένα τρόπο που θα αγνοεί την υπερχείλιση σε κάποιες περιπτώσεις (π.χ. απρόσημους αριθμούς) και σε κάποιες άλλες να την αναγνωρίζει (π.χ. προσημασμένους αριθμούς). Η μηχανή MIPS έχει δύο είδη αριθμητικών εντολών για να αναγνωρίζει τις δύο επιλογές: Η πρόσθεση (add), η add immediate (addi) και η αφαίρεση (sub) προκαλούν exceptions στην υπερχείλιση, δηλαδή αναγνωρίζεται. Η απρόσημη πρόσθεση (addu), η άμεση απρόσημη πρόσθεση (addiu) και η απρόσημη αφαίρεση (subu) δεν προκαλούν exceptions στην υπερχείλιση, δηλαδή δεν αναγνωρίζεται. 14

15 Λογικές Λειτουργίες Η μηχανή MIPS παρέχει εντολές για επεξεργασία χαρακτήρων μέσα σε μια λέξη (32 bits). Μια ομάδα από τέτοιου είδους εντολές ονομάζονται μετακινήσεις (shifts). Αυτές οι εντολές μεταφέρουν όλα τα bits μιας λέξης στα αριστερά ή στα δεξιά, γεμίζοντας τα κενά με μηδενικά. Για παράδειγμα, αν ο καταχωρητής $16 περιέχει: και εκτελέσουμε την εντολή που μεταφέρει 8 bits αριστερά θα πάρουμε:

16 Οι δύο εντολές μετακίνησης στον MIPS ονομάζονται λογική μετακίνηση προς τα αριστερά (shift left logical - sll) και λογική μετακίνηση προς τα δεξιά (shift right logical - srl). Αν θέλαμε να εκτελέσουμε την πιο πάνω λειτουργία, υποθέτοντας ότι το αποτέλεσμα θα αποθηκευτεί στο καταχωρητή $10, θα έχουμε: sll $10, $16, 8 # reg $10 = reg $16 << 8 bits H αναπαράσταση της πιο πάνω εντολής στη γλώσσα μηχανής θα είναι: Op rs Rt Rd Shamt funct

17 Μια άλλη εντολή που είναι χρήσιμη για απομόνωση πεδίων είναι η εντολή AND. H εντολή AND είναι μια bit προς bit λειτουργία που βάζει 1 στο αποτέλεσμα μόνο αν και τα δύο bits των τελεστών είναι 1. Αν για παράδειγμα ο καταχωρητής $9 περιέχει: και ο καταχωρητής $10 περιέχει: Μετά την εκτέλεση της εντολής, and $8, $9, $10 # reg $8 = reg $9 & reg $10 Η τιμή στο καταχωρητή $8 θα είναι:

18 Η εντολή OR είναι μια bit προς bit λειτουργία η οποία βάζει 1 στο αποτέλεσμα αν το bit οποιουδήποτε από τους τελεσταίους είναι 1. Αν για παράδειγμα έχουμε τους καταχωρητές $9 και $10 με τα ίδια περιεχόμενα όπως στο πιο πάνω παράδειγμα, το αποτέλεσμα της εντολής MIPS: or $8, $9, $10 # reg $8 = reg $9 reg $ είναι το αποτέλεσμα στο καταχωρητή $8:

19 Οι λογικές εντολές στη γλώσσα C και MIPS. Logical Operations C Operators MIPS Instructions Shift Left << sll Shift Right >> srl AND & and, andi OR or, ori 19

20 Κατασκευή της αριθμητικής και λογικής μονάδας Η αριθμητική και λογική μονάδα είναι μια συσκευή που εκτελεί τις αριθμητικές λειτουργίες όπως πρόσθεση και αφαίρεση και τις λογικές εντολές όπως and και or στον υπολογιστή. Θα κατασκευάσουμε την ALU από τα τέσσερα κομμάτια υλικού που φαίνονται στο σχήμα 20

21 Επειδή οι λέξεις στον MIPS έχουν μέγεθος 32 bit, πρέπει και η ALU να έχει μέγεθος 32 bit. Ας υποθέσουμε ότι θα συνδέσουμε 32 ALU μεγέθους 1 bit η κάθε μια. ALU του 1 bit Η ALU ενός bit λογική μονάδα για τις λειτουργίες AND και OR, απεικονίζεται πιο κάτω: Ο πολυπλέκτης στα δεξιά διαλέγει την λειτουργία a AND b ή a OR b, ανάλογα με την τιμή της Operation, αν είναι 1 ή 0. 21

22 Το επόμενο βήμα είναι να συμπεριλάβουμε και την λειτουργία της πρόσθεσης στο υλικό που κατασκευάζουμε. Ένας αθροιστής (adder) πρέπει να έχει δύο εισόδους για τους τελεσταίους και μια έξοδο 1 bit για το αποτέλεσμα (Sum). Μια δεύτερη έξοδος, CarryOut, μεταφέρει το κρατούμενο της πρόσθεσης αν υπάρχει. Αφού το CarryOut του γειτονικού αθροιστή πρέπει να συμπεριληφθεί ως είσοδος θα χρειαστούμε μια τρίτη είσοδο που θα ονομάσουμε CarryIn. Μπορούμε να εκφράσουμε τις συναρτήσεις εξόδου CarryOut και Sum ως λογικές εξισώσεις. 22

23 Ο πιο κάτω πίνακας δείχνει τις τιμές των εισόδων όταν το CarryOut είναι 1: 23

24 24

25 1-bit ALU η οποία εκτελεί τις λειτουργίες AND, OR, και πρόσθεσης 25

26 32-bit ALU φτιαγμένη από 32 1-bit ALU 26

27 Η 1-bit ALU η οποία εκτελεί τις λειτουργίες: AND, OR, και πρόσθεσης a+ b και a + NOT (b). Αφαίρεση μπορεί να γίνει με το να προσθέσουμε το Συμπλήρωμα του 2: Επιλέγουμε το Binvert και προσθέτουμε 1 (carryin=0 για το LSB) 27

28 Μετατροπή της 32-bit ALU για τον MIPS Το σύνολο εντολών add, subtract, AND, OR βρίσκεται στην ALU σε όλους σχεδόν τους υπολογιστές. Όλες σχεδόν οι εντολές του MIPS μπορούν να εκτελεστούν από την πιο πάνω ALU. Η εντολή set-on- less-than επιστρέφει 1 αν Rs < Rt, διαφορετικά επιστρέφει 0. Άρα η εντολή set on less than θα δώσει τιμή 0 σε όλα τα bits, εκτός από το least significant bit το οποίο θα πάρει τιμή ανάλογα με το αποτέλεσμα της σύγκρισης. Πρέπει να επεκτείνουμε τον πολυπλέκτη, για να δίνει μια τιμή για την σύγκριση less than, για κάθε bit στην ALU. 28

29 Η καινούρια 1-bit ALU με τον επεκταμένο πολυπλέκτη. 29

30 Χρειαζόμαστε μια νέα ALU για το most significant bit που κάνει την έξοδο του αθροιστή διαθέσιμη για την πρόσθεση με το καθορισμένο αποτέλεσμα εξόδου (standard result output). Στο Σχήμα φαίνεται ο σχεδιασμός με αυτή την καινούρια έξοδο στον αθροιστή. Αφού χρειαζόμαστε μια καινούργια ALU για το most significant bit πρέπει να προσθέσουμε την τεχνική για ανίχνευση της υπερχείλισης (overflow), αφού σχετίζεται με αυτό το bit. Μια 1-bit ALU για το most significant bit. 30

31 Το Σχήμα δείχνει την τελική μορφή της 32 bit ALU. Προσέξτε ότι κάθε φορά που θέλουμε η ALU να εκτελέσει την λειτουργία της αφαίρεσης, το CarryIn και το Binvert παίρνουν τιμή 1. Για την πρόσθεση ή τις λογικές λειτουργίες θέλουμε και οι δύο γραμμές ελέγχου να έχουν τιμή 0. Άρα μπορούμε να απλοποιήσουμε την σχεδίαση της ALU, ενώνοντας την CarryIn και Binvert σε μια γραμμή που θα ονομάζεται Bnegate. 31

32 ALUγια την μηχανή MIPS πρέπει επίσης να υποστηρίζει τις εντολές διακλάδωσης υπό συνθήκη (conditional branch). Αυτές οι εντολές διακλαδώνονται αν τα περιεχόμενα των δύο καταχωρητών είναι ίσα ή αν δεν είναι ίσα. Ο πιο εύκολος τρόπος για έλεγχο της ισότητας με την ALU είναι να αφαιρέσεις τα περιεχόμενα του ενός καταχωρητή από τον άλλο και μετά να ελέγξεις αν το αποτέλεσμα είναι ίσο με μηδέν. Πρέπει να προσθέσουμε υλικό που θα ελέγχει αν η έξοδος είναι ίση με μηδέν. Αυτό μπορεί να γίνει με μια OR πύλη η οποία θα μαζεύει όλες τις εξόδους. 32

33 Η τελική 32 bit ALU 33

34 ALU Control Function lines 000 And 001 Or 010 Add 110 Subtract 111 Set-on-lessthan Οι τιμές των τριών γραμμών ελέγχου της ALU, Bnegate και Operation και η αντίστοιχη ALU λειτουργία. 34

35 Στο σχήμα φαίνεται ο παγκόσμιος συμβολισμός για την ολοκληρωμένη ALU. Οι τρεις γραμμές λειτουργίας της ALU που αποτελούνται από τους συνδυασμούς της 1-bit Bnegate γραμμής και της 2-bit γραμμής λειτουργίας (operation line), κάνουν την ALU να παράγει τις επιθυμητές πράξεις: πρόσθεση, αφαίρεση, AND, OR, set on less than. 35

36 Πολλαπλασιασμός a b a x b c Χρήσιμη μονάδα για υπολογισμό γινομένων Πώς να την υλοποιήσουμε για n bit αριθμούς; 1. Συνδυαστικό και Ακολουθιακό 2. Συνδυαστικό κύκλωμα Συνδιαλλαγή κόστους και ταχύτητας 36

37 Πολλαπλασιασμός 123 x

38 Πολλαπλασιασμός (πιθανή υλοποίηση 1) 7 πράξεις σειριακά 123 x x 123 = x 123 = = x 123 = = x 123= =

39 Πολλαπλασιασμός (πιθανή υλοποίηση 1) x x x 123 = x 123 = = x 123 = = x 123= = πράξεις σειριακά με 2 μονάδες και καταχωρήτη σε 4 κύκλους 39

40 Πολλαπλασιασμός (πιθανή υλοποίηση 2) 123 x x 123 = x 123 = = x 123 = = x 123= =

41 Πολλαπλασιασμός (πιθανή υλοποίηση 2) x x x 123 x x 123 = x 123 = = x 123 = = x 123= = x 7 πράξεις με παραλληλισμό (με 7 μονάδες) σε 1 κύκλο μεγάλο 41

42 Πολλαπλασιασμός (πιθανή υλοποίηση 3) x Ενδιάμεσος Καταχώρητης x x 123 x x 123 = x 123 = = x 123 = = x 123= = x 7 πράξεις με παραλληλισμό (με 7 μονάδες) σε 2 κύκλους (πιο μικρούς) 42

43 Πολλαπλασιασμός (πιθανή υλοποίηση 4) x x x x Ενδιάμεσος Καταχώρητης Pipelining: να ξεκινά 2 η πράξη πριν τελειώσει η πρώτη 43

44 Κύκλος x 2137 και 96 x x x x x Pipelining: να ξεκινά 2 η πράξη πριν τελειώσει η πρώτη 44

45 Κύκλος x 2137 και 96 x x + + x x x Pipelining: να ξεκινά 2 η πράξη πριν τελειώσει η πρώτη 45

46 Κύκλος x 2137 και 96 x x + + x x x Pipelining: να ξεκινά 2 η πράξη πριν τελειώσει η πρώτη 46

47 Κύκλος x 2137 και 96 x x + + x x x Pipelining: να ξεκινά 2 η πράξη πριν τελειώσει η πρώτη 47

48 Πολλαπλασιασμός (πιθανή υλοποίηση 5) x x x 123 x x 123 = x 123 = = x 123 = = x 123= = x 7 πράξεις με παραλληλισμό (με 7 μονάδες) σε 4 κύκλους μικρούς με pipelining 48

49 Πολλαπλασιασμός (πιθανή υλοποίηση 6) a 1.b 1.c 1.d x a 2.b a x x x x b c d = a = b = πράξεις με πιο πολύ παραλληλισμό 49

50 Πολλές πιθανές υλοποιήσεις 50

51 Πολλαπλασιασμός στο δυαδικό 8 x 9 = 1000 x Πολλαπλασιαστέος (multiplicand) Πολλαπλασιαστής (multiplier) Γινόμενο (product) Εάν a x b = c και το a και το b είναι n-bit ακέραιοι τότε η μέγιστη του γινομένου c χρειάζεται 2n bits να αναπαρασταθεί 51

52 Πολλαπλασιασμός για 32 bit αριθμούς (ακολουθιακό+συνδυαστικό) Ο multiplier (Πολλαπλασιαστής) βρίσκεται σε ένα 32-bit Multiplier καταχωρητή ενώ ο multiplicand (Πολλαπλασιαστέος) βρίσκεται στο Multiplicand καταχωρητή που είναι 64-bit και το γινόμενο τοποθετείται στο καταχωρητή Product, είναι 64-bit και αρχικά έχει τιμή 0. Πολλαπλασιαστέος Πολλαπλασιαστής Η πρώτη έκδοση του υλικού του πολλαπλασιασμού 52

53 Ο πρώτος αλγόριθμος πολλαπλασιασμού Least Significant Bit Πολλαπλασιαστέος 1001 Πολλαπλασιαστής 53

54 Παράδειγμα Χρησιμοποιώντας 4-bit αριθμούς πολλαπλασιάστε το 2 * 3 (0010 * 0011) Iteration Step Multiplier Multiplicand Product 0 Initial values a: 1=>Prod=Prod+Mcand : Shift left Multiplicand : Shift right Multiplier a: 1=>Prod=Prod+Mcand : Shift left Multiplicand : Shift right Multiplier : 0=>no operation : Shift left Multiplicand : Shift right Multiplier : 0=>no operation : Shift left Multiplicand : Shift right Multiplier

55 Πιο γρήγορος Πολλαπλασιασμός Ο Νόμος του Moore δίνει την δυνατότητα στους σχεδιαστές να δημιουργούν πιο γρήγορο MULT με την χρήση πιο πολλών κυκλωμάτων Στον σειριακό MULT έχουμε το κόστος του κύκλου για κάθε add. Η χρήση μεγάλου αριθμού ADDers μας δίνει την δυνατότητα να εφαρμόσουμε πολλές βελτιστοποίησης Carry Bit + 31 Bits LSB 55

56 0010 * 0011 = Mplier1 Mcand Πολλαπλασιαστής Mplier0 Mcand Πολλαπλασιαστέος Mplier2 Mcand Mplier2 Mcand Carry Bit + 31 Bits LSB

57 * = Mplier1 Mcand Πολλαπλασιαστέος Mplier0 Mcand Πολλαπλασιαστής Mplier2 Mcand Carry Bit + 31 Bits Mplier2 Mcand LSB

58 Πρώτη επανάληψη αλγόριθμου διαίρεσης Ο καταχωρητής Divisor (Διαιρέτης), η ALU και ο καταχωρητής Remainder (υπόλοιπο) είναι 64-bits, ενώ ο καταχωρητής Quotient (Πηλίκο) είναι 32-bits. Ο 32-bits divisor ξεκινά από το αριστερό μισό του καταχωρητή Divisor και μετακινείται δεξιά 1bitκάθε φορά. O Remainder παίρνει αρχική τιμή με τον dividend (Διαιρετέος). Η μονάδα ελέγχου αποφασίζει πότε θα μετακινήσει τους καταχωρητές Divisor και Quotient και πότε θα γράψει την νέα τιμή στο καταχωρητή Remainder. dividend Η πρώτη έκδοση υλικού της διαίρεσης 58

59 ιαιρέτης Initial value = Divisor + 32 zeros Initial value = 0 Πηλίκο Υπόλοιπο Initial value = dividend ιαιρετέος Ο πρώτος αλγόριθμος διαίρεσης ιαιρέτης Πηλίκο ιαιρετέος Υπόλοιπο 59

60 ιαιρετέος/ Πηλίκο ιαιρέτης Υπόλοιπο Iteration Step Quotient Divisor Remainder Παράδειγμα Διαιρέστε το 7 / 2 ( / 0010) 0 Initial values : Rem=Rem-Div b: Rem < 0 => +Div,sll Q,Q0 = : Shift Div right : Rem=Rem-Div b: Rem < 0 => +Div,sll Q,Q0 = : Shift Div right : Rem=Rem-Div b: Rem < 0 => +Div,sll Q,Q0 = : Shift Div right : Rem=Rem-Div a: Rem 0 => sll Q,Q0 = : Shift Div right : Rem=Rem-Div a: Rem 0 => sll Q,Q0 = : Shift Div right

61 Πράξεις κινητής υποδιαστολής - IEEE 754 IEEE είναι ένα βιομηχανικό πρότυπο για την αναπαράσταση αριθμών κινητής υποδιαστολής σε υπολογιστές, που υιοθετήθηκε επίσημα το 1985 και αντικαταστάθηκε το 2008 από την τρέχουσα αναθεώρηση. Κατά τη διάρκεια 23 χρόνια του, ήταν η πιο διαδεδομένη μορφή για floating-point υπολογισμούς. Εφαρμόστηκε σε λογισμικό, με τη μορφή κινητής υποδιαστολής βιβλιοθήκες και στο υλικό, στις οδηγίες πολλών CPUs και FPUs. Το πρώτο ολοκληρωμένο κύκλωμα που να υλοποιεί το σχέδιο για το τι επρόκειτο να γίνει IEEE ήταν η Intel

62 Πράξεις κινητής υποδιαστολής - IEEE 754 Για πρακτικούς λόγους είναι καλύτερα οι αριθμοί κινητής υποδιαστολής (floating point numbers) να έχουν μέγεθος μια λέξη. Πιο κάτω φαίνεται η αναπαράσταση ενός αριθμού κινητής υποδιαστολής στον MIPS, s: πρόσημο του συγκεκριμένου αριθμού (1 για αρνητικό), exponent: τιμή του 8-bit exponent πεδίου (συμπεριλαμβανομένου του πρόσημου του exponent) significant είναι ο 23-bit αριθμός μέσα στο fraction. Αυτή η αναπαράσταση ονομάζεται sign and magnitude representation s exponent 1 bit 8 bits Significant 23 bits 62 Try:

63 Γενικά οι αριθμοί υποδιαστολής είναι της μορφής (-1) s x F x 2 E F είναι η τιμή του significant πεδίου Ε είναι η τιμή του exponent πεδίου. Τα μικρότερα κλάσματα (fractions) που μπορούν να αναπαρασταθούν από τον υπολογιστή είναι μεγέθους 2.0 x Οι Μεγαλύτεροι αριθμοί που μπορούν να αναπαρασταθούν είναι μεγέθους 2.0 x Η υπερχείλιση εδώ σημαίνει ότι ο exponent είναι πολύ μεγάλος για να μπορέσει να αναπαρασταθεί από το πεδίο exponent. Αν ο αρνητικός exponent είναι πολύ μεγάλος για να αναπαρασταθεί από το exponent πεδίο, έχουμε το φαινόμενο underflow. Το fraction που πρέπει να υπολογιστεί είναι τόσο μικρό που δεν μπορεί να αναπαρασταθεί. Για να ελαττωθούν οι περιπτώσεις υπερχείλισης ή underflow, πολλές γλώσσες προγραμματισμού παρέχουν μια γραφή (notation) με μεγάλο exponent. Στην C ονομάζεται double και οι λειτουργίες με doubles ονομάζονται double precision floating-point arithmetic. 63

64 Στον MIPS οι double precision λειτουργίες επιτρέπουν την αναπαράσταση αριθμών 2.0 x μέχρι 2.0 x Η αναπαράσταση ενός double precision αριθμού κινητής υποδιαστολής έχει μέγεθος δύο λέξεις στη μηχανή MIPS, όπως φαίνεται πιο κάτω, όπου s είναι το πρόσημο του αριθμού, exponent είναι η τιμή του 11-bit πεδίου exponent και significant είναι ο 52-bit αριθμός μέσα στο fraction s exponent 1 bit 11 bits significant 52 bits Η γενική αναπαράσταση για τους floating point αριθμούς είναι: (-1) s x (1 + significant) x 2 (exponent bias) O exponent bias για single precision αριθμούς είναι 127 και για double precision αριθμούς είναι ( ) 64

65 32bit I EEE floating-point number and 64bit IEEE 754 float 65

66 Παράδειγμα Δείξτε την δυαδική αναπαράσταση της IEEE 754 για τον αριθμό -0,75 σε single και double precision. Απάντηση Ο αριθμός -0,75 γράφεται επίσης ως -3/4 ή -3/2 2. Μπορεί επίσης να αναπαρασταθεί από το fraction -1.5/2 =-1,1 2 x 2-1. H γενική αναπαράσταση ενός single precision αριθμού είναι: (-1) s x ( two )x2 ( ) H single precision δυαδική αναπαράσταση του -0,75 είναι:

67 Η double precision αναπαράσταση είναι: (-1) 1 x (1 +, two ) x 2 ( ) Παράδειγμα: Ποιόν δεκαδικό αριθμό αναπαριστά η πιο κάτω λέξη;

68 Απάντηση Το bit πρόσημου (sign bit) είναι 1, το πεδίο exponent περιέχει το 129 και το significant πεδίο περιέχει το 1 x 2-2 = ¼ h 0,25. Χρησιμοποιώντας την βασική εξίσωση: (-1) s x (1 + significant) x 2 (exponent bias) = (-1) 1 x (1 + 0,25) x 2 ( ) = -1 x 1,25 x 2 2 = -1,25 x 4 = -5 68

69 Πρόσθεση κινητής υποδιαστολής Ας προσπαθήσουμε να προσθέσουμε τους αριθμούς 9,999 x ,610 x Υποθέστε ότι μόνο τέσσερα ψηφία του significant μπορούν να αποθηκευτούν και μόνο δύο δεκαδικά ψηφία από τον exponent. Δίνεται ο πιο κάτω αλγόριθμος. Αλγόριθμος Βήμα 1: Ο significant του μικρότερου αριθμού πρέπει να μετακινηθεί δεξιά μέχρι ο exponent να ταιριάζει με αυτόν του μεγαλύτερου αριθμού. Δηλαδή, 1,610 x 10-1 = 0,1610 x 10 0 = 0,01610 x 10 1, όμως μόνο τέσσερα δεκαδικά ψηφία μπορούν να αναπαρασταθούν, άρα ο μετακινημένος αριθμός θα είναι: 0,016 x

70 Βήμα 2: Μετά θα γίνει η πρόσθεση των significant 9, ,016 10,015 Άρα το άθροισμα είναι 10,015 x Βήμα 3: Μετά την πρόσθεση πρέπει να μετακινήσουμε το άθροισμα για να φέρουμε σε κανονική μορφή, κανονικοποιώντας τον exponent. Όταν αυξάνουμε ή μειώνουμε τον exponent πρέπει να ελέγχουμε αν υπάρχει υπερχείλιση ή Underflow. Στο συγκεκριμένο παράδειγμα θα έχουμε: 10,015 x 10 1 = 1,0015 x Βήμα 4: Αφού υποθέσουμε ότι ο significant μπορεί να έχει μέγεθος μέχρι 4 ψηφία, τότε πρέπει να στρογγυλοποιήσουμε τον αριθμό. Δηλαδή, το ψηφίο στα δεξιά είναι μεταξύ του 0 και 4 τότε το αγνοούμε, αν είναι μεταξύ του 5 και του 9 τότε προσθέτουμε ένα στο συγκεκριμένο ψηφίο. Ο αριθμός 1,0015 x 10 2, μετατρέπεται στον αριθμό 1,002 x

71 Βήμα 1: 1,610 x 10-1 = 0,1610 x 10 0 = 0,01610 x 10 1 Βήμα 2: 9, ,016 10,015 Βήμα 3: 10,015 x 10 1 = 1,0015 x Βήμα 4: 1,002 x Αλγόριθμος πρόσθεσης κινητής υποδιαστολής 71

72 72

73 Πολλαπλασιασμός κινητής υποδιαστολής Ας προσπαθήσουμε να πολλαπλασιάσουμε τους αριθμούς 1,110 x x 9,100 x Υποθέστε ότι μόνο τέσσερα ψηφία του significant μπορούν να αποθηκευτούν και μόνο δύο δεκαδικά ψηφία από τον exponent. Αλγόριθμος Βήμα 1: Υπολογίζουμε τον exponent του γινομένου προσθέτοντας απλά exponents των τελεσταίων: Νέος exponent: 10 + (-5) = 5 Ας κάνουμε την ίδια διαδικασία με τα biased exponent για να σιγουρευτούμε ότι θα πάρουμε το ίδιο αποτέλεσμα = 137 και = 122, άρα, τους Νέος exponent: = 259 Αυτό το αποτέλεσμα όμως είναι πολύ μεγάλο, αυτό είναι το πρόβλημα με την πρόσθεση των biases. Μπορούμε να πάρουμε το σωστό άθροισμα αν αφαιρέσουμε το άθροισμα των biased αριθμών από το άθροισμα: Νέος exponent: = = 132 = ( ). 73

74 Βήμα 2: Μετά θα γίνει ο πολλαπλασιασμός των significants 1,110 x 9, Υπάρχουν τρία ψηφία από δεξιά του δεκαδικού για κάθε τελεστή, άρα το δεκαδικό σημείο (τελεία) τοποθετείτε έξι ψηφία από τα δεξιά στον significant του γινομένου: 10, Υποθέτοντας ότι μπορούμε να κρατήσουμε μόνο τρία ψηφία στα δεξιά του δεκαδικού σημείου, το γινόμενο είναι: 10,212 x

75 Βήμα 3: Πρέπει να γίνει κανονικοποίηση του γινομένου. Δηλαδή, 10,212 x 10 5 = 1,0212 x Άρα μετά τον πολλαπλασιασμό, το γινόμενο πρέπει να μετακινηθεί δεξιά ένα ψηφίο και να προστεθεί ένα στον exponent. Σε αυτό το σημείο μπορούμε να ελέγξουμε για υπερχείλιση ή underflow (υπορροή). Βήμα 4: Αφού υποθέσουμε ότι ο significant μπορεί να έχει μέγεθος μέχρι τέσσερα ψηφία, τότε πρέπει να στρογγυλοποιήσουμε τον αριθμό. Ο αριθμός, 1,0212 x 10 6, μετατρέπεται στον αριθμό, 1,021 x Βήμα 5: Το πρόσημο του γινομένου εξαρτάται από τα πρόσημα των αρχικών τελεσταίων. Αν είναι τα ίδια και τα δύο τότε το πρόσημο είναι θετικό, διαφορετικά είναι αρνητικό. Άρα το γινόμενο θα είναι: +1,021 x

76 1) = = 132 = ( ). 2) 1,110 x 9, , ) 10,212 x 10 5 = 1,0212 x Αλγόριθμος πολλαπλασιασμού κινητής υποδιαστολής 76

77 Ειδικές Περιπτώσεις στο ΙΕΕ NaN (fraction = anything except all 0 bits (since all 0 bits represents infinity).) E

78 78 Ενότητα 4 - Αριθμητική για υπολογιστές

79 79

80 Επιπρόσθετο Υλικό 80

81 Δεύτερη επανάληψη του αλγόριθμου πολλαπλασιασμού Τα μισά από τα bits του multiplicand στον πρώτο αλγόριθμο είναι πάντα 0, άρα μόνο τα μισά στοιχεία που περιέχει ο multiplicand είναι χρήσιμες πληροφορίες. Η 64-bit ALU είναι αργή και πιο μεγάλη από ότι χρειάζεται αφού τα μισά από τα Bits του adder προσθέτουν 0 στο άθροισμα. Η δεύτερη έκδοση υλικού για το πολλαπλασιασμό 81

82 Ο δεύτερος αλγόριθμος πολλαπλασιασμού 82

83 Παράδειγμα: 2 * 3 (0010 * 0011) Iteration Step Multiplier Multiplicand Product 0 Initial values a: 1=>Prod=Prod+Mcand : Shift right Product : Shift right Multiplier a: 1=>Prod=Prod+Mcand : Shift right Product : Shift right Multiplier : 0=>no operation : Shift right Product : Shift right Multiplier : 0=>no operation : Shift right Product : Shift right Multiplier

84 Τελική επανάληψη του αλγόριθμου πολλαπλασιασμού Ο καταχωρητής Register αφήνει αχρησιμοποίητο χώρο ακριβώς όσο είναι το μέγεθος του multiplier. Άρα στη τελευταία έκδοση του αλγόριθμου πολλαπλασιασμού το δεξιότερο μισό του γινόμενου ενώνεται με τον multiplier. Η Τρίτη έκδοση του υλικού του πολλαπλασιασμού 84

85 Ο τρίτος αλγόριθμος πολλαπλασιασμού 85

86 Παράδειγμα: 2 * 3 (0010 * 0011) Iteration Step Multiplicand Product Initial values a: 1=>Prod=Prod+Mcand : Shift right Product a: 1=>Prod=Prod+Mcand : Shift right Product : 0=>no operation : Shift right Product : 0=>no operation : Shift right Product

87 Δεύτερη επανάληψη αλγόριθμου διαίρεσης Μόνο ο μισός χώρος του Divisor περιέχει χρήσιμες πληροφορίες, έτσι τόσο ο divisor όσο και η ALU μπορούν να χωριστούν στη μέση. Η μετακίνηση του Remainder αριστερά αντί για την μετακίνηση του Divisor στα δεξιά, παράγει την ίδια ευθυγράμμιση, και πετυχαίνει τον σκοπό της απλοποίησης υλικού για την ALU και τον Divisor. Η δεύτερη έκδοση υλικού της διαίρεσης 87

88 Τελευταία επανάληψη αλγόριθμου διαίρεσης Ο καταχωρητής Quotient μπορεί να αφαιρεθεί αν μετακινήσουμε τα bits του Quotient στον καταχωρητή Remainder. Η τελευταία έκδοση υλικού της διαίρεσης 88

89 Ο τελικός αλγόριθμος διαίρεσης 89

90 Παράδειγμα 7 / 2 ( / 0010) Iteration Step Divisor Remainder Initial values Shift Rem left : Rem = Rem Div b: Rem < 0 => + Div, sll R, R0 = : Rem = Rem Div b: Rem < 0 => + Div, sll R, R0 = : Rem = Rem Div a: Rem 0 => sll R, R0 = : Rem = Rem Div a: Rem 0 => sll R, R0 = Shift left half of Rem right