1 2004 morgan kaufmann publishers lectures for 3rd edition note: these lectures are often...
Post on 20-Dec-2015
218 Views
Preview:
TRANSCRIPT
12004 Morgan Kaufmann Publishers
Lectures for 3rd Edition
Note: these lectures are often supplemented with other materials and also problems from the text worked out on the blackboard. You’ll want to customize these lectures for your class. The student audience for these lectures have had exposure to logic design and attend a hands-on assembly language programming lab that does not follow a typical lecture format.
22004 Morgan Kaufmann Publishers
Chapter Three
32004 Morgan Kaufmann Publishers
• Bits are just bits (no inherent meaning)— conventions define relationship between bits and
numbers
• Binary numbers (base 2)0000 0001 0010 0011 0100 0101 0110 0111 1000 1001...decimal: 0...2n-1
• Of course it gets more complicated:numbers are finite (overflow)fractions and real numbersnegative numberse.g., no MIPS subi instruction; addi can add a negative
number
• How do we represent negative numbers?i.e., which bit patterns will represent which numbers?
Numbers
42004 Morgan Kaufmann Publishers
• Sign Magnitude: One's Complement Two's Complement
000 = +0 000 = +0 000 = +0001 = +1 001 = +1 001 = +1010 = +2 010 = +2 010 = +2011 = +3 011 = +3 011 = +3100 = -0 100 = -3 100 = -4101 = -1 101 = -2 101 = -3110 = -2 110 = -1 110 = -2111 = -3 111 = -0 111 = -1
• Issues: balance, number of zeros, ease of operations
• Which one is best? Why?
Possible Representations
52004 Morgan Kaufmann Publishers
• 32 bit signed numbers:
0000 0000 0000 0000 0000 0000 0000 0000two = 0ten
0000 0000 0000 0000 0000 0000 0000 0001two = + 1ten
0000 0000 0000 0000 0000 0000 0000 0010two = + 2ten
...0111 1111 1111 1111 1111 1111 1111 1110two = + 2,147,483,646ten
0111 1111 1111 1111 1111 1111 1111 1111two = + 2,147,483,647ten
1000 0000 0000 0000 0000 0000 0000 0000two = – 2,147,483,648ten
1000 0000 0000 0000 0000 0000 0000 0001two = – 2,147,483,647ten
1000 0000 0000 0000 0000 0000 0000 0010two = – 2,147,483,646ten
...1111 1111 1111 1111 1111 1111 1111 1101two = – 3ten
1111 1111 1111 1111 1111 1111 1111 1110two = – 2ten
1111 1111 1111 1111 1111 1111 1111 1111two = – 1ten
maxint
minint
MIPS
62004 Morgan Kaufmann Publishers
• Negating a two's complement number: invert all bits and add 1
– remember: “negate” and “invert” are quite different!
• Converting n bit numbers into numbers with more than n bits:
– MIPS 16 bit immediate gets converted to 32 bits for arithmetic
– copy the most significant bit (the sign bit) into the other bits
0010 -> 0000 0010
1010 -> 1111 1010
– "sign extension" (lbu vs. lb)
Two's Complement Operations
72004 Morgan Kaufmann Publishers
• Just like in grade school (carry/borrow 1s) 0111 0111 0110+ 0110 - 0110 - 0101
• Two's complement operations easy
– subtraction using addition of negative numbers 0111+ 1010
• Overflow (result too large for finite computer word):
– e.g., adding two n-bit numbers does not yield an n-bit number 0111+ 0001 note that overflow term is somewhat misleading, 1000 it does not mean a carry “overflowed”
Addition & Subtraction
82004 Morgan Kaufmann Publishers
• No overflow when adding a positive and a negative number
• No overflow when signs are the same for subtraction
• Overflow occurs when the value affects the sign:
– overflow when adding two positives yields a negative
– or, adding two negatives gives a positive
– or, subtract a negative from a positive and get a negative
– or, subtract a positive from a negative and get a positive
• Consider the operations A + B, and A – B
– Can overflow occur if B is 0 ?
– Can overflow occur if A is 0 ?
Detecting Overflow
92004 Morgan Kaufmann Publishers
• An exception (interrupt) occurs
– Control jumps to predefined address for exception
– Interrupted address is saved for possible resumption
• Details based on software system / language
– example: flight control vs. homework assignment
• Don't always want to detect overflow— new MIPS instructions: addu, addiu, subu
note: addiu still sign-extends!note: sltu, sltiu for unsigned comparisons
Effects of Overflow
102004 Morgan Kaufmann Publishers
• More complicated than addition
– accomplished via shifting and addition
• More time and more area
• Let's look at 3 versions based on a gradeschool algorithm
0010 (multiplicand)
__x_1011 (multiplier)
• Negative numbers: convert and multiply
– there are better techniques, we won’t look at them
Multiplication
112004 Morgan Kaufmann Publishers
Multiplication: Implementation
DatapathControl
MultiplicandShift left
64 bits
64-bit ALU
ProductWrite
64 bits
Control test
MultiplierShift right
32 bits
32nd repetition?
1a. Add multiplicand to product and
place the result in Product register
Multiplier0 = 01. Test
Multiplier0
Start
Multiplier0 = 1
2. Shift the Multiplicand register left 1 bit
3. Shift the Multiplier register right 1 bit
No: < 32 repetitions
Yes: 32 repetitions
Done
122004 Morgan Kaufmann Publishers
Final Version
Multiplicand
32 bits
32-bit ALU
ProductWrite
64 bits
Controltest
Shift right
32nd repetition?
Product0 = 01. Test
Product0
Start
Product0 = 1
3. Shift the Product register right 1 bit
No: < 32 repetitions
Yes: 32 repetitions
Done
What goes here?
•Multiplier starts in right half of product
132004 Morgan Kaufmann Publishers
Floating Point (a brief look)
• We need a way to represent
– numbers with fractions, e.g., 3.1416
– very small numbers, e.g., .000000001
– very large numbers, e.g., 3.15576 109
• Representation:
– sign, exponent, significand: (–1)sign significand 2exponent
– more bits for significand gives more accuracy
– more bits for exponent increases range
• IEEE 754 floating point standard:
– single precision: 8 bit exponent, 23 bit significand
– double precision: 11 bit exponent, 52 bit significand
142004 Morgan Kaufmann Publishers
IEEE 754 floating-point standard
• Leading “1” bit of significand is implicit
• Exponent is “biased” to make sorting easier
– all 0s is smallest exponent all 1s is largest
– bias of 127 for single precision and 1023 for double precision
– summary: (–1)sign significand) 2exponent – bias
• Example:
– decimal: -.75 = - ( ½ + ¼ )
– binary: -.11 = -1.1 x 2-1
– floating point: exponent = 126 = 01111110
– IEEE single precision: 10111111010000000000000000000000
152004 Morgan Kaufmann Publishers
Floating point addition
•
Still normalized?
4. Round the significand to the appropriate
number of bits
YesOverflow or
underflow?
Start
No
Yes
Done
1. Compare the exponents of the two numbers.
Shift the smaller number to the right until its
exponent would match the larger exponent
2. Add the significands
3. Normalize the sum, either shifting right and
incrementing the exponent or shifting left
and decrementing the exponent
No Exception
Small ALU
Exponentdifference
Control
ExponentSign Fraction
Big ALU
ExponentSign Fraction
0 1 0 1 0 1
Shift right
0 1 0 1
Increment ordecrement
Shift left or right
Rounding hardware
ExponentSign Fraction
162004 Morgan Kaufmann Publishers
Floating Point Complexities
• Operations are somewhat more complicated (see text)
• In addition to overflow we can have “underflow”
• Accuracy can be a big problem
– IEEE 754 keeps two extra bits, guard and round
– four rounding modes
– positive divided by zero yields “infinity”
– zero divide by zero yields “not a number”
– other complexities
• Implementing the standard can be tricky
• Not using the standard can be even worse
– see text for description of 80x86 and Pentium bug!
172004 Morgan Kaufmann Publishers
Chapter Three Summary
• Computer arithmetic is constrained by limited precision
• Bit patterns have no inherent meaning but standards do exist
– two’s complement
– IEEE 754 floating point
• Computer instructions determine “meaning” of the bit patterns
• Performance and accuracy are important so there are manycomplexities in real machines
• Algorithm choice is important and may lead to hardware optimizations for both space and time (e.g., multiplication)
• You may want to look back (Section 3.10 is great reading!)
182004 Morgan Kaufmann Publishers
Chapter 4
192004 Morgan Kaufmann Publishers
• Measure, Report, and Summarize
• Make intelligent choices
• See through the marketing hype
• Key to understanding underlying organizational motivation
Why is some hardware better than others for different programs?
What factors of system performance are hardware related?(e.g., Do we need a new machine, or a new operating system?)
How does the machine's instruction set affect performance?
Performance
202004 Morgan Kaufmann Publishers
Which of these airplanes has the best performance?
Airplane Passengers Range (mi) Speed (mph)
Boeing 737-100 101 630 598Boeing 747 470 4150 610BAC/Sud Concorde 132 4000 1350Douglas DC-8-50 146 8720 544
•How much faster is the Concorde compared to the 747?
•How much bigger is the 747 than the Douglas DC-8?
212004 Morgan Kaufmann Publishers
• Response Time (latency)
— How long does it take for my job to run?
— How long does it take to execute a job?
— How long must I wait for the database query?
• Throughput
— How many jobs can the machine run at once?
— What is the average execution rate?
— How much work is getting done?
• If we upgrade a machine with a new processor what do we increase?
• If we add a new machine to the lab what do we increase?
Computer Performance: TIME, TIME, TIME
222004 Morgan Kaufmann Publishers
• Elapsed Time
– counts everything (disk and memory accesses, I/O , etc.)
– a useful number, but often not good for comparison purposes
• CPU time
– doesn't count I/O or time spent running other programs
– can be broken up into system time, and user time
• Our focus: user CPU time
– time spent executing the lines of code that are "in" our program
Execution Time
232004 Morgan Kaufmann Publishers
• For some program running on machine X,
PerformanceX = 1 / Execution timeX
• "X is n times faster than Y"
PerformanceX / PerformanceY = n
• Problem:
– machine A runs a program in 20 seconds
– machine B runs the same program in 25 seconds
Book's Definition of Performance
242004 Morgan Kaufmann Publishers
Clock Cycles
• Instead of reporting execution time in seconds, we often use cycles
• Clock “ticks” indicate when to start activities (one abstraction):
• cycle time = time between ticks = seconds per cycle
• clock rate (frequency) = cycles per second (1 Hz. = 1 cycle/sec)
A 4 Ghz. clock has a cycle time
time
seconds
program
cycles
program
seconds
cycle
(ps) spicosecond 2501210 9104
1
252004 Morgan Kaufmann Publishers
So, to improve performance (everything else being equal) you can either
(increase or decrease?)
________ the # of required cycles for a program, or
________ the clock cycle time or, said another way,
________ the clock rate.
How to Improve Performance
seconds
program
cycles
program
seconds
cycle
262004 Morgan Kaufmann Publishers
• Could assume that number of cycles equals number of instructions
This assumption is incorrect,
different instructions take different amounts of time on different machines.
Why? hint: remember that these are machine instructions, not lines of C code
time
1st
inst
ruct
ion
2nd
inst
ruct
ion
3rd
inst
ruct
ion
4th
5th
6th ...
How many cycles are required for a program?
272004 Morgan Kaufmann Publishers
• Multiplication takes more time than addition
• Floating point operations take longer than integer ones
• Accessing memory takes more time than accessing registers
• Important point: changing the cycle time often changes the number of cycles required for various instructions (more later)
time
Different numbers of cycles for different instructions
282004 Morgan Kaufmann Publishers
• Our favorite program runs in 10 seconds on computer A, which has a 4 GHz. clock. We are trying to help a computer designer build a new machine B, that will run this program in 6 seconds. The designer can use new (or perhaps more expensive) technology to substantially increase the clock rate, but has informed us that this increase will affect the rest of the CPU design, causing machine B to require 1.2 times as many clock cycles as machine A for the same program. What clock rate should we tell the designer to target?"
• Don't Panic, can easily work this out from basic principles
Example
292004 Morgan Kaufmann Publishers
• A given program will require
– some number of instructions (machine instructions)
– some number of cycles
– some number of seconds
• We have a vocabulary that relates these quantities:
– cycle time (seconds per cycle)
– clock rate (cycles per second)
– CPI (cycles per instruction)
a floating point intensive application might have a higher CPI
– MIPS (millions of instructions per second)
this would be higher for a program using simple instructions
Now that we understand cycles
302004 Morgan Kaufmann Publishers
Performance
• Performance is determined by execution time
• Do any of the other variables equal performance?
– # of cycles to execute program?
– # of instructions in program?
– # of cycles per second?
– average # of cycles per instruction?
– average # of instructions per second?
• Common pitfall: thinking one of the variables is indicative of performance when it really isn’t.
312004 Morgan Kaufmann Publishers
• Suppose we have two implementations of the same instruction set architecture (ISA).
For some program,
Machine A has a clock cycle time of 250 ps and a CPI of 2.0 Machine B has a clock cycle time of 500 ps and a CPI of 1.2
What machine is faster for this program, and by how much?
• If two machines have the same ISA which of our quantities (e.g., clock rate, CPI, execution time, # of instructions, MIPS) will always be identical?
CPI Example
322004 Morgan Kaufmann Publishers
• A compiler designer is trying to decide between two code sequences for a particular machine. Based on the hardware implementation, there are three different classes of instructions: Class A, Class B, and Class C, and they require one, two, and three cycles (respectively).
The first code sequence has 5 instructions: 2 of A, 1 of B, and 2 of CThe second sequence has 6 instructions: 4 of A, 1 of B, and 1 of C.
Which sequence will be faster? How much?What is the CPI for each sequence?
# of Instructions Example
332004 Morgan Kaufmann Publishers
• Two different compilers are being tested for a 4 GHz. machine with three different classes of instructions: Class A, Class B, and Class C, which require one, two, and three cycles (respectively). Both compilers are used to produce code for a large piece of software.
The first compiler's code uses 5 million Class A instructions, 1 million Class B instructions, and 1 million Class C instructions.
The second compiler's code uses 10 million Class A instructions, 1 million Class B instructions, and 1 million Class C instructions.
• Which sequence will be faster according to MIPS?
• Which sequence will be faster according to execution time?
MIPS example
342004 Morgan Kaufmann Publishers
• Performance best determined by running a real application
– Use programs typical of expected workload
– Or, typical of expected class of applicationse.g., compilers/editors, scientific applications, graphics,
etc.
• Small benchmarks
– nice for architects and designers
– easy to standardize
– can be abused
• SPEC (System Performance Evaluation Cooperative)
– companies have agreed on a set of real program and inputs
– valuable indicator of performance (and compiler technology)
– can still be abused
Benchmarks
352004 Morgan Kaufmann Publishers
Benchmark Games
• An embarrassed Intel Corp. acknowledged Friday that a bug in a software program known as a compiler had led the company to overstate the speed of its microprocessor chips on an industry benchmark by 10 percent. However, industry analysts said the coding error…was a sad commentary on a common industry practice of “cheating” on standardized performance tests…The error was pointed out to Intel two days ago by a competitor, Motorola …came in a test known as SPECint92…Intel acknowledged that it had “optimized” its compiler to improve its test scores. The company had also said that it did not like the practice but felt to compelled to make the optimizations because its competitors were doing the same thing…At the heart of Intel’s problem is the practice of “tuning” compiler programs to recognize certain computing problems in the test and then substituting special handwritten pieces of code…
Saturday, January 6, 1996 New York Times
362004 Morgan Kaufmann Publishers
SPEC ‘89
• Compiler “enhancements” and performance
0
100
200
300
400
500
600
700
800
tomcatvfppppmatrix300eqntottlinasa7doducspiceespressogcc
BenchmarkCompiler
Enhanced compiler
SP
EC
pe
rfo
rman
ce r
atio
372004 Morgan Kaufmann Publishers
SPEC CPU2000
382004 Morgan Kaufmann Publishers
SPEC 2000
Does doubling the clock rate double the performance?
Can a machine with a slower clock rate have better performance?
Clock rate in MHz
500 1000 1500 30002000 2500 35000
200
400
600
800
1000
1200
1400
Pentium III CINT2000
Pentium 4 CINT2000
Pentium III CFP2000
Pentium 4 CFP2000
0.0
0.2
0.4
0.6
0.8
1.0
1.2
1.4
1.6
SPECINT2000 SPECFP2000 SPECINT2000 SPECFP2000 SPECINT2000 SPECFP2000
Always on/maximum clock Laptop mode/adaptiveclock
Minimum power/minimumclock
Benchmark and power mode
Pentium M @ 1.6/0.6 GHz
Pentium 4-M @ 2.4/1.2 GHz
Pentium III-M @ 1.2/0.8 GHz
392004 Morgan Kaufmann Publishers
Experiment
• Phone a major computer retailer and tell them you are having trouble deciding between two different computers, specifically you are confused about the processors strengths and weaknesses
(e.g., Pentium 4 at 2Ghz vs. Celeron M at 1.4 Ghz )
• What kind of response are you likely to get?
• What kind of response could you give a friend with the same question?
402004 Morgan Kaufmann Publishers
Execution Time After Improvement =
Execution Time Unaffected +( Execution Time Affected / Amount of Improvement )
• Example:
"Suppose a program runs in 100 seconds on a machine, with multiply responsible for 80 seconds of this time. How much do we have to improve the speed of multiplication if we want the program to run 4 times faster?"
How about making it 5 times faster?
• Principle: Make the common case fast
Amdahl's Law
412004 Morgan Kaufmann Publishers
• Suppose we enhance a machine making all floating-point instructions run five times faster. If the execution time of some benchmark before the floating-point enhancement is 10 seconds, what will the speedup be if half of the 10 seconds is spent executing floating-point instructions?
• We are looking for a benchmark to show off the new floating-point unit described above, and want the overall benchmark to show a speedup of 3. One benchmark we are considering runs for 100 seconds with the old floating-point hardware. How much of the execution time would floating-point instructions have to account for in this program in order to yield our desired speedup on this benchmark?
Example
422004 Morgan Kaufmann Publishers
• Performance is specific to a particular program/s
– Total execution time is a consistent summary of performance
• For a given architecture performance increases come from:
– increases in clock rate (without adverse CPI affects)
– improvements in processor organization that lower CPI
– compiler enhancements that lower CPI and/or instruction count
– Algorithm/Language choices that affect instruction count
• Pitfall: expecting improvement in one aspect of a machine’s
performance to affect the total performance
Remember
432004 Morgan Kaufmann Publishers
Lets Build a Processor
• Almost ready to move into chapter 5 and start building a processor
• First, let’s review Boolean Logic and build the ALU we’ll need(Material from Appendix B)
32
32
32
operation
result
a
b
ALU
442004 Morgan Kaufmann Publishers
• Problem: Consider a logic function with three inputs: A, B, and C.
Output D is true if at least one input is trueOutput E is true if exactly two inputs are trueOutput F is true only if all three inputs are true
• Show the truth table for these three functions.
• Show the Boolean equations for these three functions.
• Show an implementation consisting of inverters, AND, and OR gates.
Review: Boolean Algebra & Gates
452004 Morgan Kaufmann Publishers
• Let's build an ALU to support the andi and ori instructions
– we'll just build a 1 bit ALU, and use 32 of them
• Possible Implementation (sum-of-products):
b
a
operation
result
op a b res
An ALU (arithmetic logic unit)
462004 Morgan Kaufmann Publishers
• Selects one of the inputs to be the output, based on a control input
• Lets build our ALU using a MUX:
S
CA
B0
1
Review: The Multiplexor
note: we call this a 2-input mux even though it has 3 inputs!
472004 Morgan Kaufmann Publishers
• Not easy to decide the “best” way to build something
– Don't want too many inputs to a single gate
– Don’t want to have to go through too many gates
– for our purposes, ease of comprehension is important
• Let's look at a 1-bit ALU for addition:
• How could we build a 1-bit ALU for add, and, and or?
• How could we build a 32-bit ALU?
Different Implementations
cout = a b + a cin + b cin
sum = a xor b xor cin
Sum
CarryIn
CarryOut
a
b
482004 Morgan Kaufmann Publishers
Building a 32 bit ALU
b
0
2
Result
Operation
a
1
CarryIn
CarryOut
Result31a31
b31
Result0
CarryIn
a0
b0
Result1a1
b1
Result2a2
b2
Operation
ALU0
CarryIn
CarryOut
ALU1
CarryIn
CarryOut
ALU2
CarryIn
CarryOut
ALU31
CarryIn
492004 Morgan Kaufmann Publishers
• Two's complement approach: just negate b and add.
• How do we negate?
• A very clever solution:
What about subtraction (a – b) ?
0
2
Result
Operation
a
1
CarryIn
CarryOut
0
1
Binvert
b
502004 Morgan Kaufmann Publishers
Adding a NOR function
• Can also choose to invert a. How do we get “a NOR b” ?
Binvert
a
b
CarryIn
CarryOut
Operation
1
0
2+
Result
1
0
Ainvert
1
0
512004 Morgan Kaufmann Publishers
• Need to support the set-on-less-than instruction (slt)
– remember: slt is an arithmetic instruction
– produces a 1 if rs < rt and 0 otherwise
– use subtraction: (a-b) < 0 implies a < b
• Need to support test for equality (beq $t5, $t6, $t7)
– use subtraction: (a-b) = 0 implies a = b
Tailoring the ALU to the MIPS
Supporting slt
• Can we figure out the idea?
Binvert
a
b
CarryIn
CarryOut
Operation
1
0
2+
Result
1
0
Ainvert
1
0
3Less
Binvert
a
b
CarryIn
Operation
1
0
2+
Result
1
0
3Less
Overflowdetection
Set
Overflow
Ainvert
1
0
Use this ALU for most significant bitall other bits
532004 Morgan Kaufmann Publishers
a0
Operation
CarryInALU0Less
CarryOut
b0
CarryIn
a1 CarryInALU1Less
CarryOut
b1
Result0
Result1
a2 CarryInALU2Less
CarryOut
b2
a31 CarryInALU31Less
b31
Result2
Result31
......
...
BinvertAinvert
0
0
0 Overflow
Set
CarryIn
Supporting slt
542004 Morgan Kaufmann Publishers
Test for equality
• Notice control lines:
0000 = and0001 = or0010 = add0110 = subtract0111 = slt1100 = NOR
•Note: zero is a 1 when the result is zero!
a0
Operation
CarryInALU0Less
CarryOut
b0
a1 CarryInALU1Less
CarryOut
b1
Result0
Result1
a2 CarryInALU2Less
CarryOut
b2
a31 CarryInALU31Less
b31
Result2
Result31
......
...
Bnegate
Ainvert
0
0
0 Overflow
Set
CarryIn...
...Zero
552004 Morgan Kaufmann Publishers
Conclusion
• We can build an ALU to support the MIPS instruction set
– key idea: use multiplexor to select the output we want
– we can efficiently perform subtraction using two’s complement
– we can replicate a 1-bit ALU to produce a 32-bit ALU
• Important points about hardware
– all of the gates are always working
– the speed of a gate is affected by the number of inputs to the gate
– the speed of a circuit is affected by the number of gates in series(on the “critical path” or the “deepest level of logic”)
• Our primary focus: comprehension, however,– Clever changes to organization can improve performance
(similar to using better algorithms in software)– We saw this in multiplication, let’s look at addition now
562004 Morgan Kaufmann Publishers
• Is a 32-bit ALU as fast as a 1-bit ALU?
• Is there more than one way to do addition?
– two extremes: ripple carry and sum-of-products
Can you see the ripple? How could you get rid of it?
c1 = b0c0 + a0c0 + a0b0
c2 = b1c1 + a1c1 + a1b1 c2 =
c3 = b2c2 + a2c2 + a2b2 c3 =
c4 = b3c3 + a3c3 + a3b3 c4 =
Not feasible! Why?
Problem: ripple carry adder is slow
572004 Morgan Kaufmann Publishers
• An approach in-between our two extremes
• Motivation:
– If we didn't know the value of carry-in, what could we do?
– When would we always generate a carry? gi = ai bi
– When would we propagate the carry? pi = ai + bi
• Did we get rid of the ripple?
c1 = g0 + p0c0
c2 = g1 + p1c1 c2 =
c3 = g2 + p2c2 c3 =
c4 = g3 + p3c3 c4 =
Feasible! Why?
Carry-lookahead adder
582004 Morgan Kaufmann Publishers
• Can’t build a 16 bit adder this way... (too big)• Could use ripple carry of 4-bit CLA adders• Better: use the CLA principle again!
Use principle to build bigger adders
a4 CarryIn
ALU1 P1 G1
b4a5b5a6b6a7b7
a0 CarryIn
ALU0 P0 G0
b0
Carry-lookahead unit
a1b1a2b2a3b3
CarryIn
Result0–3
pigi
ci + 1
pi + 1
gi + 1
C1
Result4–7
a8 CarryIn
ALU2 P2 G2
b8a9b9
a10b10a11b11
ci + 2
pi + 2
gi + 2
C2
Result8–11
a12 CarryIn
ALU3 P3 G3
b12a13b13a14b14a15b15
ci + 3
pi + 3
gi + 3
C3
Result12–15
ci + 4C4
CarryOut
592004 Morgan Kaufmann Publishers
ALU Summary
• We can build an ALU to support MIPS addition
• Our focus is on comprehension, not performance
• Real processors use more sophisticated techniques for arithmetic
• Where performance is not critical, hardware description languages allow designers to completely automate the creation of hardware!
602004 Morgan Kaufmann Publishers
Chapter Five
612004 Morgan Kaufmann Publishers
• We're ready to look at an implementation of the MIPS
• Simplified to contain only:
– memory-reference instructions: lw, sw – arithmetic-logical instructions: add, sub, and, or, slt– control flow instructions: beq, j
• Generic Implementation:
– use the program counter (PC) to supply instruction address
– get the instruction from memory
– read registers
– use the instruction to decide exactly what to do
• All instructions use the ALU after reading the registers
Why? memory-reference? arithmetic? control flow?
The Processor: Datapath & Control
622004 Morgan Kaufmann Publishers
• Abstract / Simplified View:
Two types of functional units:
– elements that operate on data values (combinational)
– elements that contain state (sequential)
More Implementation Details
Data
Register #
Register #
Register #
PC Address Instruction
Instructionmemory
Registers ALU Address
Data
Datamemory
AddAdd
4
632004 Morgan Kaufmann Publishers
• Unclocked vs. Clocked
• Clocks used in synchronous logic
– when should an element that contains state be updated?
State Elements
Clock period Rising edge
Falling edge
cycle time
642004 Morgan Kaufmann Publishers
• The set-reset latch
– output depends on present inputs and also on past inputs
An unclocked state element
R
S
Q
Q
652004 Morgan Kaufmann Publishers
• Output is equal to the stored value inside the element(don't need to ask for permission to look at the value)
• Change of state (value) is based on the clock
• Latches: whenever the inputs change, and the clock is asserted
• Flip-flop: state changes only on a clock edge(edge-triggered methodology)
"logically true", — could mean electrically low
A clocking methodology defines when signals can be read and written— wouldn't want to read a signal at the same time it was being written
Latches and Flip-flops
662004 Morgan Kaufmann Publishers
• Two inputs:
– the data value to be stored (D)
– the clock signal (C) indicating when to read & store D
• Two outputs:
– the value of the internal state (Q) and it's complement
D-latch
Q
C
D
_Q
D
C
Q
672004 Morgan Kaufmann Publishers
D flip-flop
• Output changes only on the clock edge
D
C
Q
D
C
Dlatch
D
C
QD
latch
D
C
Q Q
682004 Morgan Kaufmann Publishers
Our Implementation
• An edge triggered methodology
• Typical execution:
– read contents of some state elements,
– send values through some combinational logic
– write results to one or more state elements
Stateelement
1
Stateelement
2Combinational logic
Clock cycle
692004 Morgan Kaufmann Publishers
• Built using D flip-flops
Register File
Read registernumber 1 Read
data 1Read registernumber 2
Readdata 2
Writeregister
WriteWritedata
Register file
Read registernumber 1
Register 0
Register 1
. . .
Register n – 2
Register n – 1
M
u
x
Read registernumber 2
M
u
x
Read data 1
Read data 2
Do you understand? What is the “Mux” above?
702004 Morgan Kaufmann Publishers
Abstraction
• Make sure you understand the abstractions!
• Sometimes it is easy to think you do, when you don’t
Mux
C
Select
32
32
32
B
A
Mux
Select
B31
A31
C31
Mux
B30
A30
C30
Mux
B0
A0
C0
...
...
712004 Morgan Kaufmann Publishers
Register File
• Note: we still use the real clock to determine when to write
Write
01
n-to-2n
decoder
n – 1
n
Register 0
C
D
Register 1
C
D
Register n – 2
C
D
Register n – 1
C
D
...
Register number...
Register data
722004 Morgan Kaufmann Publishers
Simple Implementation
• Include the functional units we need for each instruction
Why do we need this stuff?
PC
Instructionaddress
Instruction
Instructionmemory
Add Sum
a. Instruction memory b. Program counter c. Adder
Readregister 1
Readregister 2
Writeregister
WriteData
Registers ALUData
Data
Zero
ALUresult
RegWrite
a. Registers b. ALU
5
5
5
Registernumbers
Readdata 1
Readdata 2
ALU operation4
AddressReaddata
Datamemory
a. Data memory unit
Writedata
MemRead
MemWrite
b. Sign-extension unit
Signextend
16 32
732004 Morgan Kaufmann Publishers
Building the Datapath
• Use multiplexors to stitch them together
Readregister 1
Readregister 2
Writeregister
Writedata
Writedata
Registers ALU
Add
Zero
RegWrite
MemRead
MemWrite
PCSrc
MemtoReg
Readdata 1
Readdata 2
ALU operation4
Signextend
16 32
InstructionALU
result
Add
ALUresult
Mux
Mux
Mux
ALUSrc
Address
Datamemory
Readdata
Shiftleft 2
4
Readaddress
Instructionmemory
PC
742004 Morgan Kaufmann Publishers
Control
• Selecting the operations to perform (ALU, read/write, etc.)
• Controlling the flow of data (multiplexor inputs)
• Information comes from the 32 bits of the instruction
• Example:
add $8, $17, $18 Instruction Format:
000000 10001 10010 01000 00000 100000
op rs rt rd shamt funct
• ALU's operation based on instruction type and function code
752004 Morgan Kaufmann Publishers
• e.g., what should the ALU do with this instruction• Example: lw $1, 100($2)
35 2 1 100
op rs rt 16 bit offset
• ALU control input
0000 AND0001 OR0010 add0110 subtract0111 set-on-less-than1100 NOR
• Why is the code for subtract 0110 and not 0011?
Control
762004 Morgan Kaufmann Publishers
• Must describe hardware to compute 4-bit ALU control input
– given instruction type 00 = lw, sw01 = beq, 10 = arithmetic
– function code for arithmetic
• Describe it using a truth table (can turn into gates):
ALUOp computed from instruction type
Control
Instruction RegDst ALUSrcMemto-
RegReg
WriteMem Read
Mem Write Branch ALUOp1 ALUp0
R-format 1 0 0 1 0 0 0 1 0lw 0 1 1 1 1 0 0 0 0sw X 1 X 0 0 1 0 0 0beq X 0 X 0 0 0 1 0 1
Readregister 1
Readregister 2
Writeregister
Writedata
Writedata
Registers
ALU
Add
Zero
Readdata 1
Readdata 2
Signextend
16 32
Instruction[31–0] ALU
result
Add
ALUresult
Mux
Mux
Mux
Address
Datamemory
Readdata
Shiftleft 2
4
Readaddress
Instructionmemory
PC
1
0
0
1
0
1
Mux
0
1
ALUcontrol
Instruction [5–0]
Instruction [25–21]
Instruction [31–26]
Instruction [15–11]
Instruction [20–16]
Instruction [15–0]
RegDstBranchMemReadMemtoRegALUOpMemWriteALUSrcRegWrite
Control
782004 Morgan Kaufmann Publishers
Control
• Simple combinational logic (truth tables)
Operation2
Operation1
Operation0
Operation
ALUOp1
F3
F2
F1
F0
F (5– 0)
ALUOp0
ALUOp
ALU control block
R-format Iw sw beq
Op0
Op1
Op2
Op3
Op4
Op5
Inputs
Outputs
RegDst
ALUSrc
MemtoReg
RegWrite
MemRead
MemWrite
Branch
ALUOp1
ALUOpO
792004 Morgan Kaufmann Publishers
• All of the logic is combinational
• We wait for everything to settle down, and the right thing to be done
– ALU might not produce “right answer” right away
– we use write signals along with clock to determine when to write
• Cycle time determined by length of the longest path
Our Simple Control Structure
We are ignoring some details like setup and hold times
Stateelement
1
Stateelement
2Combinational logic
Clock cycle
802004 Morgan Kaufmann Publishers
Single Cycle Implementation
• Calculate cycle time assuming negligible delays except:
– memory (200ps), ALU and adders (100ps), register file access (50ps)
Readregister 1
Readregister 2
Writeregister
Writedata
Writedata
Registers ALU
Add
Zero
RegWrite
MemRead
MemWrite
PCSrc
MemtoReg
Readdata 1
Readdata 2
ALU operation4
Signextend
16 32
InstructionALU
result
Add
ALUresult
Mux
Mux
Mux
ALUSrc
Address
Datamemory
Readdata
Shiftleft 2
4
Readaddress
Instructionmemory
PC
812004 Morgan Kaufmann Publishers
Where we are headed
• Single Cycle Problems:
– what if we had a more complicated instruction like floating point?
– wasteful of area
• One Solution:
– use a “smaller” cycle time
– have different instructions take different numbers of cycles
– a “multicycle” datapath:
Data
Register #
Register #
Register #
PC Address
Instructionor dataMemory Registers ALU
Instructionregister
Memorydata
register
ALUOut
A
BData
822004 Morgan Kaufmann Publishers
• We will be reusing functional units
– ALU used to compute address and to increment PC
– Memory used for instruction and data
• Our control signals will not be determined directly by instruction
– e.g., what should the ALU do for a “subtract” instruction?
• We’ll use a finite state machine for control
Multicycle Approach
832004 Morgan Kaufmann Publishers
• Break up the instructions into steps, each step takes a cycle
– balance the amount of work to be done
– restrict each cycle to use only one major functional unit
• At the end of a cycle
– store values for use in later cycles (easiest thing to do)
– introduce additional “internal” registers
Multicycle Approach
Readregister 1
Readregister 2
Writeregister
Writedata
Registers ALU
Zero
Readdata 1
Readdata 2
Signextend
16 32
Instruction[25–21]
Instruction[20–16]
Instruction[15–0]
ALUresult
Mux
Mux
Shiftleft 2
Instructionregister
PC 0
1
Mux
0
1
Mux
0
1
Mux
0
1A
B 0
1
2
3
ALUOut
Instruction[15–0]
Memorydata
register
Address
Writedata
Memory
MemData
4
Instruction[15–11]
842004 Morgan Kaufmann Publishers
Instructions from ISA perspective
• Consider each instruction from perspective of ISA.
• Example:
– The add instruction changes a register.
– Register specified by bits 15:11 of instruction.
– Instruction specified by the PC.
– New value is the sum (“op”) of two registers.
– Registers specified by bits 25:21 and 20:16 of the instructionReg[Memory[PC][15:11]] <= Reg[Memory[PC][25:21]] op Reg[Memory[PC][20:16]]
– In order to accomplish this we must break up the instruction.(kind of like introducing variables when programming)
852004 Morgan Kaufmann Publishers
Breaking down an instruction
• ISA definition of arithmetic:
Reg[Memory[PC][15:11]] <= Reg[Memory[PC][25:21]] op Reg[Memory[PC][20:16]]
• Could break down to:– IR <= Memory[PC]– A <= Reg[IR[25:21]]– B <= Reg[IR[20:16]]– ALUOut <= A op B– Reg[IR[20:16]] <= ALUOut
• We forgot an important part of the definition of arithmetic!– PC <= PC + 4
862004 Morgan Kaufmann Publishers
Idea behind multicycle approach
• We define each instruction from the ISA perspective (do this!)
• Break it down into steps following our rule that data flows through at most one major functional unit (e.g., balance work across steps)
• Introduce new registers as needed (e.g, A, B, ALUOut, MDR, etc.)
• Finally try and pack as much work into each step (avoid unnecessary cycles)
while also trying to share steps where possible(minimizes control, helps to simplify solution)
• Result: Our book’s multicycle Implementation!
872004 Morgan Kaufmann Publishers
• Instruction Fetch
• Instruction Decode and Register Fetch
• Execution, Memory Address Computation, or Branch Completion
• Memory Access or R-type instruction completion
• Write-back step
INSTRUCTIONS TAKE FROM 3 - 5 CYCLES!
Five Execution Steps
882004 Morgan Kaufmann Publishers
• Use PC to get instruction and put it in the Instruction Register.
• Increment the PC by 4 and put the result back in the PC.
• Can be described succinctly using RTL "Register-Transfer Language"
IR <= Memory[PC];PC <= PC + 4;
Can we figure out the values of the control signals?
What is the advantage of updating the PC now?
Step 1: Instruction Fetch
892004 Morgan Kaufmann Publishers
• Read registers rs and rt in case we need them
• Compute the branch address in case the instruction is a branch
• RTL:
A <= Reg[IR[25:21]];B <= Reg[IR[20:16]];ALUOut <= PC + (sign-extend(IR[15:0]) << 2);
• We aren't setting any control lines based on the instruction type (we are busy "decoding" it in our control logic)
Step 2: Instruction Decode and Register Fetch
902004 Morgan Kaufmann Publishers
• ALU is performing one of three functions, based on instruction type
• Memory Reference:
ALUOut <= A + sign-extend(IR[15:0]);
• R-type:
ALUOut <= A op B;
• Branch:
if (A==B) PC <= ALUOut;
Step 3 (instruction dependent)
912004 Morgan Kaufmann Publishers
• Loads and stores access memory
MDR <= Memory[ALUOut];or
Memory[ALUOut] <= B;
• R-type instructions finish
Reg[IR[15:11]] <= ALUOut;
The write actually takes place at the end of the cycle on the edge
Step 4 (R-type or memory-access)
922004 Morgan Kaufmann Publishers
• Reg[IR[20:16]] <= MDR;
Which instruction needs this?
Write-back step
932004 Morgan Kaufmann Publishers
Summary:
942004 Morgan Kaufmann Publishers
• How many cycles will it take to execute this code?
lw $t2, 0($t3)lw $t3, 4($t3)beq $t2, $t3, Label #assume notadd $t5, $t2, $t3sw $t5, 8($t3)
Label: ...
• What is going on during the 8th cycle of execution?
• In what cycle does the actual addition of $t2 and $t3 takes place?
Simple Questions
Readregister 1
Readregister 2
Writeregister
Writedata
Registers ALU
Zero
Readdata 1
Readdata 2
Signextend
16 32
Instruction[31–26]
Instruction[25–21]
Instruction[20–16]
Instruction[15–0]
ALUresult
Mux
Mux
Shiftleft 2
Shiftleft 2
Instructionregister
PC 0
1
Mux
0
1
Mux
0
1
Mux
0
1A
B 0
1
2
3
Mux
0
1
2
ALUOut
Instruction[15–0]
Memorydata
register
Address
Writedata
Memory
MemData
4
Instruction[15–11]
PCWriteCond
PCWrite
IorD
MemRead
MemWrite
MemtoReg
IRWrite
PCSource
ALUOp
ALUSrcB
ALUSrcA
RegWrite
RegDst
26 28
Outputs
Control
Op[5–0]
ALUcontrol
PC [31–28]
Instruction [25-0]
Instruction [5–0]
Jumpaddress[31–0]
962004 Morgan Kaufmann Publishers
• Finite state machines:
– a set of states and
– next state function (determined by current state and the input)
– output function (determined by current state and possibly input)
– We’ll use a Moore machine (output based only on current state)
Review: finite state machines
Inputs
Current state
Outputs
Clock
Next-statefunction
Outputfunction
Nextstate
972004 Morgan Kaufmann Publishers
Review: finite state machines
• Example:
B. 37 A friend would like you to build an “electronic eye” for use as a fake security device. The device consists of three lights lined up in a row, controlled by the outputs Left, Middle, and Right, which, if asserted, indicate that a light should be on. Only one light is on at a time, and the light “moves” from left to right and then from right to left, thus scaring away thieves who believe that the device is monitoring their activity. Draw the graphical representation for the finite state machine used to specify the electronic eye. Note that the rate of the eye’s movement will be controlled by the clock speed (which should not be too great) and that there are essentially no inputs.
982004 Morgan Kaufmann Publishers
• Value of control signals is dependent upon:
– what instruction is being executed
– which step is being performed
• Use the information we’ve accumulated to specify a finite state machine
– specify the finite state machine graphically, or
– use microprogramming
• Implementation can be derived from specification
Implementing the Control
992004 Morgan Kaufmann Publishers
• Note:– don’t care if not mentioned– asserted if name only
– otherwise exact value
• How many state bits will we need?
Graphical Specification of FSMMemRead
ALUSrcA = 0IorD = 0IRWrite
ALUSrcB = 01ALUOp = 00
PCWritePCSource = 00
ALUSrcA = 0ALUSrcB = 11ALUOp = 00
ALUSrcA = 1ALUSrcB = 00ALUOp = 10
ALUSrcA = 1ALUSrcB = 10ALUOp = 00
MemReadIorD = 1
MemWriteIorD = 1
RegDst = 1RegWrite
MemtoReg = 0
RegDst = 1RegWrite
MemtoReg = 0
PCWritePCSource = 10
ALUSrcA = 1ALUSrcB = 00ALUOp = 01
PCWriteCondPCSource = 01
Instruction decode/register fetch
Instruction fetch
0 1
Start
Jumpcompletion
9862
3
4
5 7
Memory readcompleton step
R-type completionMemoryaccess
Memoryaccess
ExecutionBranch
completionMemory address
computation
1002004 Morgan Kaufmann Publishers
• Implementation:
Finite State Machine for Control
PCWrite
PCWriteCond
IorD
MemtoReg
PCSource
ALUOp
ALUSrcB
ALUSrcA
RegWrite
RegDst
NS3NS2NS1NS0
Op5
Op4
Op3
Op2
Op1
Op0
S3
S2
S1
S0
State register
IRWrite
MemRead
MemWrite
Instruction registeropcode field
Outputs
Control logic
Inputs
1012004 Morgan Kaufmann Publishers
PLA Implementation
• If I picked a horizontal or vertical line could you explain it?Op5
Op4
Op3
Op2
Op1
Op0
S3
S2
S1
S0
IorD
IRWrite
MemReadMemWrite
PCWritePCWriteCond
MemtoRegPCSource1
ALUOp1
ALUSrcB0ALUSrcARegWriteRegDstNS3NS2NS1NS0
ALUSrcB1ALUOp0
PCSource0
1022004 Morgan Kaufmann Publishers
• ROM = "Read Only Memory"– values of memory locations are fixed ahead of time
• A ROM can be used to implement a truth table– if the address is m-bits, we can address 2m entries in the ROM.– our outputs are the bits of data that the address points to.
m is the "height", and n is the "width"
ROM Implementation
m n
0 0 0 0 0 1 10 0 1 1 1 0 00 1 0 1 1 0 00 1 1 1 0 0 0 1 0 0 0 0 0 0 1 0 1 0 0 0 11 1 0 0 1 1 01 1 1 0 1 1 1
1032004 Morgan Kaufmann Publishers
• How many inputs are there?6 bits for opcode, 4 bits for state = 10 address lines(i.e., 210 = 1024 different addresses)
• How many outputs are there?16 datapath-control outputs, 4 state bits = 20 outputs
• ROM is 210 x 20 = 20K bits (and a rather unusual size)
• Rather wasteful, since for lots of the entries, the outputs are the same
— i.e., opcode is often ignored
ROM Implementation
1042004 Morgan Kaufmann Publishers
• Break up the table into two parts
— 4 state bits tell you the 16 outputs, 24 x 16 bits of ROM
— 10 bits tell you the 4 next state bits, 210 x 4 bits of ROM
— Total: 4.3K bits of ROM
• PLA is much smaller
— can share product terms
— only need entries that produce an active output
— can take into account don't cares
• Size is (#inputs #product-terms) + (#outputs #product-terms)
For this example = (10x17)+(20x17) = 510 PLA cells
• PLA cells usually about the size of a ROM cell (slightly bigger)
ROM vs PLA
1052004 Morgan Kaufmann Publishers
• Complex instructions: the "next state" is often current state + 1
Another Implementation Style
AddrCtl
Outputs
PLA or ROM
State
Address select logic
Op
[5–
0]
Adder
Instruction registeropcode field
1
Control unit
Input
PCWritePCWriteCondIorD
MemtoRegPCSourceALUOpALUSrcBALUSrcARegWriteRegDst
IRWrite
MemReadMemWrite
BWrite
1062004 Morgan Kaufmann Publishers
DetailsDispatch ROM 1 Dispatch ROM 2
Op Opcode name Value Op Opcode name Value000000 R-format 0110 100011 lw 0011000010 jmp 1001 101011 sw 0101000100 beq 1000100011 lw 0010101011 sw 0010
State number Address-control action Value of AddrCtl
0 Use incremented state 31 Use dispatch ROM 1 12 Use dispatch ROM 2 23 Use incremented state 34 Replace state number by 0 05 Replace state number by 0 06 Use incremented state 37 Replace state number by 0 08 Replace state number by 0 09 Replace state number by 0 0
State
Adder
1
PLA or ROM
Mux3 2 1 0
Dispatch ROM 1Dispatch ROM 2
0
AddrCtl
Address select logic
Instruction registeropcode field
1072004 Morgan Kaufmann Publishers
Microprogramming
• What are the “microinstructions” ?
PCWritePCWriteCondIorD
MemtoRegPCSourceALUOpALUSrcBALUSrcARegWrite
AddrCtl
Outputs
Microcode memory
IRWrite
MemReadMemWrite
RegDst
Control unit
Input
Microprogram counter
Address select logic
Adder
1
Instruction registeropcode field
BWrite
Datapath
1082004 Morgan Kaufmann Publishers
• A specification methodology– appropriate if hundreds of opcodes, modes, cycles, etc.– signals specified symbolically using microinstructions
• Will two implementations of the same architecture have the same microcode?• What would a microassembler do?
Microprogramming
LabelALU
control SRC1 SRC2Register control Memory
PCWrite control Sequencing
Fetch Add PC 4 Read PC ALU SeqAdd PC Extshft Read Dispatch 1
Mem1 Add A Extend Dispatch 2LW2 Read ALU Seq
Write MDR FetchSW2 Write ALU FetchRformat1 Func code A B Seq
Write ALU FetchBEQ1 Subt A B ALUOut-cond FetchJUMP1 Jump address Fetch
1092004 Morgan Kaufmann Publishers
Microinstruction formatField name Value Signals active Comment
Add ALUOp = 00 Cause the ALU to add.ALU control Subt ALUOp = 01 Cause the ALU to subtract; this implements the compare for
branches.Func code ALUOp = 10 Use the instruction's function code to determine ALU control.
SRC1 PC ALUSrcA = 0 Use the PC as the first ALU input.A ALUSrcA = 1 Register A is the first ALU input.B ALUSrcB = 00 Register B is the second ALU input.
SRC2 4 ALUSrcB = 01 Use 4 as the second ALU input.Extend ALUSrcB = 10 Use output of the sign extension unit as the second ALU input.Extshft ALUSrcB = 11 Use the output of the shift-by-two unit as the second ALU input.Read Read two registers using the rs and rt fields of the IR as the register
numbers and putting the data into registers A and B.Write ALU RegWrite, Write a register using the rd field of the IR as the register number and
Register RegDst = 1, the contents of the ALUOut as the data.control MemtoReg = 0
Write MDR RegWrite, Write a register using the rt field of the IR as the register number andRegDst = 0, the contents of the MDR as the data.MemtoReg = 1
Read PC MemRead, Read memory using the PC as address; write result into IR (and lorD = 0 the MDR).
Memory Read ALU MemRead, Read memory using the ALUOut as address; write result into MDR.lorD = 1
Write ALU MemWrite, Write memory using the ALUOut as address, contents of B as thelorD = 1 data.
ALU PCSource = 00 Write the output of the ALU into the PC.PCWrite
PC write control ALUOut-cond PCSource = 01, If the Zero output of the ALU is active, write the PC with the contentsPCWriteCond of the register ALUOut.
jump address PCSource = 10, Write the PC with the jump address from the instruction.PCWrite
Seq AddrCtl = 11 Choose the next microinstruction sequentially.Sequencing Fetch AddrCtl = 00 Go to the first microinstruction to begin a new instruction.
Dispatch 1 AddrCtl = 01 Dispatch using the ROM 1.Dispatch 2 AddrCtl = 10 Dispatch using the ROM 2.
1102004 Morgan Kaufmann Publishers
• No encoding:
– 1 bit for each datapath operation
– faster, requires more memory (logic)
– used for Vax 780 — an astonishing 400K of memory!
• Lots of encoding:
– send the microinstructions through logic to get control signals
– uses less memory, slower
• Historical context of CISC:
– Too much logic to put on a single chip with everything else
– Use a ROM (or even RAM) to hold the microcode
– It’s easy to add new instructions
Maximally vs. Minimally Encoded
1112004 Morgan Kaufmann Publishers
Microcode: Trade-offs
• Distinction between specification and implementation is sometimes blurred
• Specification Advantages:
– Easy to design and write
– Design architecture and microcode in parallel
• Implementation (off-chip ROM) Advantages
– Easy to change since values are in memory
– Can emulate other architectures
– Can make use of internal registers
• Implementation Disadvantages, SLOWER now that:
– Control is implemented on same chip as processor
– ROM is no longer faster than RAM
– No need to go back and make changes
1122004 Morgan Kaufmann Publishers
Historical Perspective
• In the ‘60s and ‘70s microprogramming was very important for implementing machines
• This led to more sophisticated ISAs and the VAX• In the ‘80s RISC processors based on pipelining became popular• Pipelining the microinstructions is also possible!• Implementations of IA-32 architecture processors since 486 use:
– “hardwired control” for simpler instructions (few cycles, FSM control implemented using PLA or random
logic)
– “microcoded control” for more complex instructions(large numbers of cycles, central control store)
• The IA-64 architecture uses a RISC-style ISA and can be implemented without a large central control store
1132004 Morgan Kaufmann Publishers
Pentium 4
• Pipelining is important (last IA-32 without it was 80386 in 1985)
• Pipelining is used for the simple instructions favored by compilers
“Simply put, a high performance implementation needs to ensure that the simple instructions execute quickly, and that the burden of the complexities of the instruction set penalize the complex, less frequently used, instructions”
Control
Control
Control
Enhancedfloating pointand multimedia
Control
I/Ointerface
Instruction cache
Integerdatapath
Datacache
Secondarycacheandmemoryinterface
Advanced pipelininghyperthreading support
Chapter 6
Chapter 7
1142004 Morgan Kaufmann Publishers
Pentium 4
• Somewhere in all that “control we must handle complex instructions
• Processor executes simple microinstructions, 70 bits wide (hardwired)
• 120 control lines for integer datapath (400 for floating point)
• If an instruction requires more than 4 microinstructions to implement, control from microcode ROM (8000 microinstructions)
• Its complicated!
Control
Control
Control
Enhancedfloating pointand multimedia
Control
I/Ointerface
Instruction cache
Integerdatapath
Datacache
Secondarycacheandmemoryinterface
Advanced pipelininghyperthreading support
1152004 Morgan Kaufmann Publishers
Chapter 5 Summary
• If we understand the instructions…
We can build a simple processor!
• If instructions take different amounts of time, multi-cycle is better
• Datapath implemented using:
– Combinational logic for arithmetic
– State holding elements to remember bits
• Control implemented using:
– Combinational logic for single-cycle implementation
– Finite state machine for multi-cycle implementation
top related