Tietokonearitmetiikka

Transkriptio

1 Luento 6 ALU: Aritmeettis-Looginen Yksikkö Tietokonearitmetiikka (Computer Arithmetic) Stallings: Ch 9 Kokonaislukuesitys Kokonaislukuaritmetiikka Liukulukuesitys Liukulukuaritmetiikka Luento 6-1 ALU = Aritmetic Logic Unit Suorittava yksikkö, tiedon käsittely u Kokonaisluku ja liukulukuaritmetiikkaa u Vertailut, sivuttaissiirrot u Bittien kopiointi rekisteristä toiseen u Osoitelaskenta: Hypyt, muistiviittaukset Input u Yleensä kaksi operandia sisään u Rekistereistä (ja muistista) Operatio u Usein käskyrekisterin perusteella Output u Rekisteriin/Muistiin/PSW:hen + - *?? ylivuoto? 2 kpl? (Sta06 Fig 9.1) Luento 6-2 tulos Kokonaislukuesitys (Integer Representation) Arvo binäärimuodossa, bittijonona Merkin paino määräytyy paikan mukaan Kokonaislukujen esitys 57 = 5* *10 0 = = 1* * * * * *2 0 = = 0x39 = 3* *16 0 heksadesimaaliesitys Eniten merkitsevä bitti / vähiten merkitsevä bitti u MSB, most significant bit u LSB, Least significant bit Luento 6-3 Luento 6-4 Kokonaislukuesitys (Integer Representation) Entä negatiiviset arvot? u Etumerkki-suuruus u 2:n komplemettimuoto Tietokoneet käyttävät 2:n komplementtia u Ei erikseen +0 ja -0 u Laskuissa ei tarvitse erikseen huomioida etumerkkiä u Vähennyslasku voidaan suorittaa yhteenlaskuna! u Helpompi laitteistolle -57 = etumerkki -57 = = = = = = :n komplementti Esimerkki u 8-bittinen esitys, esitä arvo = itseisarvo invertoi bitit (1:n komplementti) lisää :n komplementtimuoto u Laajentuu helposti esim. 16-bittiseksi 57 = = = = Hylkää mahd. ylivuotava bitti sign extension Luento 6-5 Luento 6-6 / 2007 / Liisa Marttinen 1

2 2:n komplementti Arvoalue: -2 n-1 2 n bits: = bits: = Yhteenlaskun ylivuoto helppo havaita u Ei ylivuotoa, jos erimerkkiset yhteenlaskettavat u Ylivuoto, jos samanmerkkiset yhteenlaskettavat ja tuloksen merkki eri kuin yhteenlaskettavien merkki 57 = = = Ylivuoto! Luento 6-7 2:n komplementti Vähennyslasku yhteenlaskuna! u Unohda etumerkki, käsittele etumerkittöminä! u Ensin 2:n komplementti vähennettävästä, sitten add u Helppo laitteisto -3 = = = = 0011 u Tarkistus Tuliko ylivuoto? Merkki = 1, siis negatiivinen Itseisarvo: invertoi bitit ja lisää 1-3 2:n komplementtiesityksessä (Sta06 Table 9.1) Luento 6-8 Negaatio = 2:n komplementti Kokonaislukuaritmetiikkaa Negaatio Yhteen/vähennyslasku Kertolasku Jakolasku 1: invertoi kaikki bitit 2: lisää 1 3: tarkista erikoistilanteet u Jätä ylivuotobitti huomiotta u Muuttuiko merkki? Pienimmälle luvulle ei negaatiota Ellei, aiheuta poikkeus Helppo laitteisto -57 = = = Luento 6-9 Luento 6-10 Yhteenlasku (ja vähennyslasku) Normaali binääriyhteenlasku u Jos vähennyslasku, muodosta vähennettävästä ensin komplementti, sitten yhteenlaskuna Ylivuotobitistä ei tarvitse välittää u Tarkkaile sensijaan summan merkkiä Helppo laitetoiminto u 2:n komplementtipiiri ja yhteenlaskupiiri 1100 = = = = = =? YLIVUOTO! (Sta06 Fig 9.6) Kokonaislukujen kertolasku Binääriluvuillakin kuten koulussa opittu u Helppo kertoa 0:lla tai 1:llä Laitteistolla? u Monimutkainen u Tarjolla useita algoritmeja Ylivuoto? u 32 b operandit tulos 64 b? Helppo laitteisto, jos etumerkittömiä u Vain monta yhteenlaskua u Tai sivuttaissiirtoa ja yhteenlaskua siirto vasemmalle = kerro 2:lla esim: 5 * => add, shift, shift, add (Sta06 Fig 9.7) 2* => Esimerkki: 5*11 add=> 1011 shift=> shift=> add=> (= 55) Luento 6-11 Luento 6-12 / 2007 / Liisa Marttinen 2

3 Etumerkittömien lukujen kertolasku kerrottava (Fig. 8.8 [Stal99]) (Fig. 9.8) Unsigned Multiplication Example (19) Overflow? No. 13 * 11 =??? M 1011 = = = 143 Result on left, multiplier on right! ADD ADD ADD tulo(s) kertoja (+ tuloksen loppuosa) JosQ 0 =0 vain shift muuten add, shift (Sta06 Fig 9.8a) Luento 6-13 SHIFT SHIFT SHIFT SHIFT C A Q from C take next sumtake next sum result bit from A take skip next next sum sum just do SHIFT Luento 6-14 Etumerkittömien lukujen kertolasku Etumerkittömien kertolasku Q * M = 1101 * 1011 = eli 13*11 = 143 [Sta06 Fig 9.8a] (Sta06 Fig 9.9) (Sta06 Fig 9.8b) Luento 6-15 Luento 6-16 Negatiivisten kertolasku? Ed. algoritmi ei toimi negatiivisille luvuille Voisi tehdä näin u muuta operandit positiivisiksi kokonaisluvuiksi v käytä ed. algoritmia tutki operandien merkki, muuta tulos tarvittaessa komplementtimuotoon Parempia ja nopeampia tapoja olemassa Boothin Algoritmi Huomio edell. algoritmista uyhteenlasku vain (aina), kun kertojassa esiintyy 1 Boothin algoritmin idea (tehostus) uyhdistä vierekkäiset 1:set yhdeksi köntäksi utee köntälle yksi yhteenlasku ja yksi vähennyslasku uesim. 7*x = 8*x +( x) 111*x = 1000*x +(-x) = add, shift, shift, shift, complement, add (todellisuudessa päinvastainen järjestys, vähennyslasku ensin) 5 * 7 = 0101 * = 0101 * ( ) = 35 Toimii 2:n komplementtimuodoille, myös negatiivisille! Luento 6-17 Luento 6-18 / 2007 / Liisa Marttinen 3

4 Boothin Algoritmi Booth s Algorithm for Twos Complement Multiplication (Sta06 Fig 9.12) 10 = könttä alkoi 11 = könttä jatkuu 01 = könttä loppui Arithmetic Shift Right: = täytä etumerkillä (Fig [Stal99]) Fig operands / arithmetic shift right Miksi toimii? M*( ) = M*( ) = M*( ) = result Q -1 Luento 6-19 Luento 6-20 Booth s Algorithm Example (15) Boothin Algoritmi, esim. Sta06 Fig * 3 =? = = 21 M: 0111 Fig [Sta06] Q * M = 0011 * 0111 = eli 3*7 = 21 Arithmetic Arithm Shift Right SHIFT Arithm SHIFT A: Q: sign extended 1 bit of result Carry bit was lost Luento 6-21 Q ADD just SHIFT 10 subtract 00 just A-M SHIFT (Sta06 Fig 9.13) Luento 6-22 Kokonaislukujen jakolasku (6) Kokonaislukujen jakolasku Binääriluvuillakin kuten koulussa opittu u Helppo: osamäärään tulee vain 0:ia ja 1:siä (jakaja) osamäärä jaettava Toimii positiivisilla luvuilla, negatiivisille lisävirittelyjä Ks. tarkemmin kirjan esimerkki Fig 9.17 [Sta06 ] A Q Q 0 SHL arvaa, että seuraava tuloksen bitti on 1 +/- jakojäännös Laitteistototeutus vastaavasti kuin kertolaskussa u Siirto vasemmalle = uusi numero mukaan (Sta06 Fig 9.15) Luento 6-23 arvaus meni pieleen, palauta A ennalleen ja ota uusi numero alas Sta06 Fig 9.16 Luento 6-24 / 2007 / Liisa Marttinen 4

5 Esimerkki: kahden komplementin jakolasku Jakolasku: 7/3 A+ Q = 7 = M= 3 = 0011 A Q Subtract M = Add ( M) -M = -3 = initial value shift left 1101 subtract M restore sift left 1110 subtract M restore shift left 0000 subtract M set Q 0 = shift 1110 subtract M restore Sta06 Fig 9.17 a Ensin kokeillaan, onnistuuko jako eli vähennetään ja tutkitaan muuttuuko A:n etumerkki vähennyksen jälkeen. Jos muuttuu, niin vähennys peruutetaan. Toistetaan, niin monta kertaa kuin Q:ssa on bittejä. Jos vähennys onnistuu, Q 0 = 1 Q = quotient = 2 A = remainder = 1 Luento 6-25 Liukulukuesitys Luento 6-26 Liukulukuesitys IEEE 754 Liukulukuformaatit Merkitsevät numerot ja suuruusluokka Normeerattu muoto u pistettä edeltävä numero > = * = * = * = * Luento 6-27 (Sta06 Table 9.3) Luento bittinen liukulukuesitys 1 b etumerkille u 1 = -, 0 = + 8 b exponentille u Ei erikseen etumerkkiä, vaan erillinen nollataso (bias) Esim. Exp=5gtalleta 127+5, Exp=-5gtalleta b mantissalle (significant) u Normeeratussa muodossa binääripistettä edeltävä numero aina 1, ei talleteta (piilobitti, Zuse Z3 1939) Binäärimuodossa esitetyn liukuluvun arvo -1 Sign * 1.Mantissa * 2 Exponent-127 Esimerkkejä 23.0 = * 2 0 = * 2 4 =? 127+4=131 sign 1.0 = * 2 0 =? = sign exponent exponent mantissa mantissa Luento 6-29 Luento 6-30 / 2007 / Liisa Marttinen 5

6 Esimerkkejä Liukulukujen tarkkuudesta (32b) sign exponent mantissa X =? X = (-1) 0 * * 2 ( ) = * 2 = (1+ 1/2 + 1/4 + 1/8 + 1/16) * 2 = ( ) * 2 = * 2 = Arvoalue u 8 b eksponenttig ~ Tarkkuus u 24 b mantissa g 2 24 ~ 1.7 * 10-7 ~ 6 desimaalia u Parempi tarkkuus pienille luvuille ilman normalisointia Luento 6-31 Luento 6-32 IEEE 754 Erityismerkitykset NaN: Not a Number Not a Number Double Precision vastaavasti (Sta06 Table 9.4) (Sta06 Table 9.6) Luento 6-33 Luento 6-34 Liukulukuaritmetiikkaa IEEE-754 Standardi Yhteen/vähennyslasku Kertolasku Jakolasku Liukulukuaritmetiikka Laskentaa varten leveämpiä työrekistereitä u Guard bits u Enemmän merkitseviä bittejä mm. mantissalle u Käytetään myös normeeraamattomia muotoja Yhteen- ja vähennyslasku u Enemmän välivaiheita kuin kerto/jakolaskussa u Operandeille ensin sama eksponentti Pienemmän exponentin omaavan normeeraus purettava tarkkuutta ja siis tietoa häviää u Tulos voi vaatia normeerauksen Kerto- ja jakolasku u Mantissa ja eksponentti käsiteltävä erikseen Luento 6-35 Luento 6-36 / 2007 / Liisa Marttinen 6

7 Liukulukuaritmetiikka Yhteen- ja vähennyslasku (Sta06 Table 9.5) Pienempi operandi hävisi kokonaan! (Sta06 Fig 9.22) Luento 6-37 Luento 6-38 Erikoistilanteita Eksponentin ylivuoto (Hyvin suuri luku) u Arvoksi tai - vai u Aiheuta poikkeus ohjelmoitava optio Eksponentin alivuoto (Olemattoman pieni luku) u Arvoksi 0 (tai aiheuta poikkeus) ohjelmoitava optio Mantissan ylivuoto u Yhteenlaskun tuloksena mantissa, jossa binääripisteen edellä useita numeroita u Normeeraa! Mantissan alivuoto u Yhteiseen eksponenttiin siirtyminen voi aiheuttaa merkitsevien bittien katoamista (entä, jos kaikki merkitsevät menee?) u Pyöristä? Luento 6-39 Pyöristys Esimerkki u Arvo neljän desimaalin tarkkuudella , u Esittämiseen käytössä vain 3 desimaalia u Normaalien pyöristyssääntöjen mukaan lähimpään esitettävissä olevaan u Aina kohti (ylöspäin) u Aina- kohti (alaspäin) u Aina 0 kohti 3.123, , , , Esim. Intel Itanium -laitteisto tukee näitä kaikkia Luento 6-40 Kertolasku Jakolasku (Sta06 Fig 9.23) Luento 6-41 (Sta06 Fig 9.24) Luento 6-42 / 2007 / Liisa Marttinen 7

8 Kertauskysymyksiä Miksi käytetään 2:n komplementtimuotoa? Miten 2:n komplementtiesitys laajenee suurempaan tilaan (esim. 8b esitys 16 b:n esitys)? Millainen on yksinkertaisen tarkkuuden liukuluvun esitysmuoto? Milloin tulee liukuluvun alivuoto? Luento 6-43 / 2007 / Liisa Marttinen 8